1989 Fiscal Year Annual Research Report

類推を用いる知識情報処理システムの開発

Research Project

Project/Area Number	62880008
Research Institution	Kyushu University
Principal Investigator	有川節夫九州大学, 理学部, 教授 (40037221)
Co-Investigator(Kenkyū-buntansha)	宮原哲浩九州大学, 教養部, 講師 (90209932) 武谷峻一九州大学, 工学部, 助教授 (60038073) 宮野悟九州大学, 理学部, 助教授 (50128104) 原口誠東京工業大学, 総合理工学研究科, 助教授 (40128450)
Keywords	類推 / 知識情報処理 / 日本語インタ-フェ-ス / 抽象化 / 推論の計算量 / 知識の牽引付け / 類比 / 帰納推論
Research Abstract	本研究の目的は、類推に基づいた一般性のある知識情報処理システムを研究開発し、知識情報処理を知的に強化して、それによって問題解決を柔軟にすることである。また、そのための基礎理論を構築することも主な目的の1つである。最終年度である本年度は、次の事項について研究し、システムを完成させ、新しく類推理論の拡張を行った。 (1)類推のための抽象化。抽象化は、知識を単純化して学習や問題解決の実行を効率化するために導入された手法であるが、本研究では、これを類推におけるソ-ス領域の牽引付けと可能性の無いソ-ス領域との類推を排除するための手法として位置付けた。まず、従来の類推理論を関数記号や述語記号の対応付けも扱えるように拡張し、その拡張された理論を用いて、上記目的のための抽象化を考え、それを実際のシステムに搭載した。 (2)類推システムの効率化。前年度までに開発していた類推システムARTSの効率化を、インタ-フェ-スの改良、(1)による検索機能の追加、インタプリタの簡潔化、条件EPICの完全な実現、ARTSシェルの開発という面から達成した。これによって、システムが利用し易くなり、スピ-ドも初版に比べて6〜12倍程度高速化でき、全体のシステムが完成できた。 (3)知識表現言語の拡張。本研究では主として確定節を対象にしてきたが、これでは表現力だけでなく、類推による推論結果の妥当性の議論にも不十分である。そこで、本年度は、否定の扱いとともに階層構造について研究し、それぞれ類推結果の妥当性と知識の構造に関する基礎研究を行い多くの成果を得た。また、Rnsselによる決定規則(deter mination rule)による類推との関連についても成果を得た。

Research Products
(8 results)

All Other

All Publications (8 results)

[Publications] S.Arikawa: "Elementary Formal System as a Unifying Framework for Language Learning" Proc.Computational Learning Theory Morgan Kaufmann. 312-327 (1989)
[Publications] H.Yuasa: "Pseude Extension in Default Reasoning and Bolief Revision by Model Inference" Locture Notes in Artificial Intelligence Springer-Verlag. 382. 27-37 (1989)
[Publications] 原口誠: "不完全情報の類推による推論問題" 人工知能学会研究会試料(SIG-FAI). 8804-4. 132-139 (1989)
[Publications] 脇園竜次: "類推のための抽象化" 人工知能学会研究会試料(SIG-FAI). 8904-2. 11-20 (1990)
[Publications] T.Miyahara: "A Reasong System, Using Inductive Inference of Analogical Union" Bull.Informatics and Cybernetics. 23. 121-128 (1989)
[Publications] S.Miyano: "The Lexicographically First Maximal Subgraph Problems:P-Completeness and NC Algorithms" Mathematical System Theory. 22. 47-73 (1989)
[Publications] 有川節夫: "帰納推論による自動プログラミング(大野豊監修、自動プログラミングハンドブック、分担執筆)" オ-ム社, 457 (1989)
[Publications] 有川節夫: "プログラミングのパラダイム(ACMチュ-リング賞講演集、分担翻訳)" 共立出版, 578 (1989)

1989 Fiscal Year Annual Research Report

類推を用いる知識情報処理システムの開発

Principal Investigator

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

Research Products

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

[Publications] H.Yuasa: "Pseude Extension in Default Reasoning and Bolief Revision by Model Inference" Locture Notes in Artificial Intelligence Springer-Verlag. 382. 27-37 (1989)

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

[Publications] 脇園竜次: "類推のための抽象化" 人工知能学会研究会試料(SIG-FAI). 8904-2. 11-20 (1990)

[Publications] T.Miyahara: "A Reasong System, Using Inductive Inference of Analogical Union" Bull.Informatics and Cybernetics. 23. 121-128 (1989)

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

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

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

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