1989 Fiscal Year Annual Research Report

推論による学習の基礎研究

Research Project

Project/Area Number	01633011
Research Institution	Kyushu University
Principal Investigator	有川節夫九州大学, 理学部, 教授 (40037221)
Co-Investigator(Kenkyū-buntansha)	篠原武九州工業大学, 情報工学部, 助教授 (60154225) 原口誠東京工業大学, 総合理工学研究所, 助教授 (40128450) 宮原哲浩九州大学, 教養部, 講師 (90209932) 宮野悟九州大学, 理学部, 助教授 (50128104)
Keywords	推論 / 学習 / 帰納推論 / 不完全情報 / 類推 / 教示 / 抽象化 / 並列計算量
Research Abstract	本研究の目的は、学習の様々な局面で活用される各種の推論および学習方式そのものについて、理論的に定式化し、それを計算可能なレベルまで導き、さらに実用レベルまで効率化することである。この目的を達成するために、本年度は次の各点に重点を置いて基礎となる重要な成果を得た。 (1)帰納推論による言語の学習のための統一的枠組み。SmullyanによるEFS(Elementary Formal System)は、形式言語の生成だけでなく受理機構としても有用であることを発見し、形式言語理論との関連を明らかにし、さらに文字列を対象にした論理プログラムとしても位置付けられることを示し、形式言語の学習の統一的枠組みとして最適であることを示した。この枠組みにより形式言語理論を中心にした理論計算機科学の種々の成果を帰納推論に取り込むことおよびホーン節を対象にしたモデル推論と言語の帰納推論とを直接結合させることに成功した。 (2)正データからの帰納推論。正データからの帰納推論は能力が劣ると信じられてきたが、上記EFSを使って、実は十分に強力であることを証明した。この成果によって、正データからの学習の有用性が明らかになったので、従来の常識を再検討することが必要となった。 (3)アルゴリズム論的教示の理論。Valiantに始まるPAC学習の枠組みで、学習における教示の役割りについて理論的に明らかにして、教示の数学的理論の基礎を築いた。 (4)類推における負の事実と抽象化の利用。決定則(determination)による類推とルーツ変換による類推の融合をはかり、同時に負の事実を妥当性のチェックに使う新しい類推の方式を開発した。また、抽象化の手法を普通のH空間や階層構造に適用した新しい類推の方式を提案した。これらの研究によって意味を考慮した類推理論への道が拓けた。

Research Products
(8 results)

All Other

All Publications (8 results)

[Publications] S.Arikawa,T.Shinohara,A.Yamamoto: "Elementary Formal System as a Unifying Framework for Language Learning" Proc.Computational Learning Theory Morgan Koufmann. 312-327 (1989)
[Publications] H.Yuasa,S.Arikawa: "Pseudo Extension in Default Reasoning and Belief Revision by Model Inference" Lecture Notes in Artificial Intelligence. 383. 27-37 (1989)
[Publications] S.Miyano: "The Lexicographically First Maximal Subgraph Problems:PーCompleteness and NC Algorithms" Mathematical Systems Theory. 22. 47-73 (1989)
[Publications] 原口誠: "不完全情報の類推による推論問題" 人工知能学会研究会資料(SIGーFAI). 8804ー4. 132-139 (1989)
[Publications] T.Shinohara: "Inductive Inference from Positive Data is Powerful" RIFIS Technical Report,Res.Inst.of Fund.Inform.Sci.,Kyushu Univ.CSー20. 1-13 (1989)
[Publications] A.Shinohara,S.Miyano: "A Foundation of Algorithmic Teachning" RIFIS Technical Report,Res.Inst.of Fund.Inform.Sci.,Kyushu Univ.CSー22. 1-14 (1989)
[Publications] 有川節夫,石坂裕毅: "帰納推論手法による自動プログラミング(大野監修,自動プログラミングハンドブック,分担執筆)" オーム社, 457 (1989)
[Publications] 有川節夫: "プログラミングのパラダイム(ACMチューリング賞講演集,訳者代表赤摂也,分担翻訳)" 共立出版, 578 (1989)

1989 Fiscal Year Annual Research Report

推論による学習の基礎研究

Principal Investigator

有川 節夫 九州大学, 理学部, 教授 (40037221)

Research Products

[Publications] S.Arikawa,T.Shinohara,A.Yamamoto: "Elementary Formal System as a Unifying Framework for Language Learning" Proc.Computational Learning Theory Morgan Koufmann. 312-327 (1989)

[Publications] H.Yuasa,S.Arikawa: "Pseudo Extension in Default Reasoning and Belief Revision by Model Inference" Lecture Notes in Artificial Intelligence. 383. 27-37 (1989)

[Publications] S.Miyano: "The Lexicographically First Maximal Subgraph Problems:PーCompleteness and NC Algorithms" Mathematical Systems Theory. 22. 47-73 (1989)

[Publications] 原口誠: "不完全情報の類推による推論問題" 人工知能学会研究会資料(SIGーFAI). 8804ー4. 132-139 (1989)

[Publications] T.Shinohara: "Inductive Inference from Positive Data is Powerful" RIFIS Technical Report,Res.Inst.of Fund.Inform.Sci.,Kyushu Univ.CSー20. 1-13 (1989)

[Publications] A.Shinohara,S.Miyano: "A Foundation of Algorithmic Teachning" RIFIS Technical Report,Res.Inst.of Fund.Inform.Sci.,Kyushu Univ.CSー22. 1-14 (1989)

[Publications] 有川節夫,石坂裕毅: "帰納推論手法による自動プログラミング(大野監修,自動プログラミングハンドブック,分担執筆)" オーム社, 457 (1989)

[Publications] 有川節夫: "プログラミングのパラダイム(ACMチューリング賞講演集,訳者代表 赤摂也,分担翻訳)" 共立出版, 578 (1989)

有川節夫九州大学, 理学部, 教授 (40037221)

[Publications] 有川節夫: "プログラミングのパラダイム(ACMチューリング賞講演集,訳者代表赤摂也,分担翻訳)" 共立出版, 578 (1989)