1989 年度実績報告書

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

研究課題

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

研究成果
(8件)

すべてその他

すべて文献書誌 (8件)

[文献書誌] 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)
[文献書誌] H.Yuasa,S.Arikawa: "Pseudo Extension in Default Reasoning and Belief Revision by Model Inference" Lecture Notes in Artificial Intelligence. 383. 27-37 (1989)
[文献書誌] S.Miyano: "The Lexicographically First Maximal Subgraph Problems:PーCompleteness and NC Algorithms" Mathematical Systems Theory. 22. 47-73 (1989)
[文献書誌] 原口誠: "不完全情報の類推による推論問題" 人工知能学会研究会資料(SIGーFAI). 8804ー4. 132-139 (1989)
[文献書誌] 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)
[文献書誌] 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)
[文献書誌] 有川節夫,石坂裕毅: "帰納推論手法による自動プログラミング(大野監修,自動プログラミングハンドブック,分担執筆)" オーム社, 457 (1989)
[文献書誌] 有川節夫: "プログラミングのパラダイム(ACMチューリング賞講演集,訳者代表赤摂也,分担翻訳)" 共立出版, 578 (1989)

1989 年度 実績報告書

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

研究代表者

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

研究成果

[文献書誌] 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)

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

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

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

[文献書誌] 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)

[文献書誌] 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)

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

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

1989 年度実績報告書

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

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