1988 Fiscal Year Annual Research Report
Project/Area Number |
62880008
|
Research Institution | Kyushu University |
Principal Investigator |
有川 節夫 九州大学, 理学部, 教授 (40037221)
|
Co-Investigator(Kenkyū-buntansha) |
宮原 哲浩 九州大学, 理学部, 助手 (90209932)
武谷 峻一 九州大学, 工学部, 助教授 (60038073)
宮野 悟 九州大学, 理学部, 助教授 (50128104)
原口 誠 東京工業大学, 総合理工学研究科, 助教授 (40128450)
|
Keywords | 類推 / 知識情報処理 / 自然言語インターフェース / 推論 / 推論の計算量 / 推論の並列化 / 知識の索引付け |
Research Abstract |
本研究の目的は、類推に基づいた一般性のある知識情報処理システムを研究開発し、知識処理を知的に強化して、それによって問題解決を柔軟にすることである。また、開発したシステムをエキスパートシステムにおける知識獲得や類推を用いたソフトウェアの再利用による開発支援,類推による言語の翻訳などへの応用をはかることも本研究の目的である。この目的を達成するため、本年度は次の各点に重点を置き成果を得た。 (1)知識の入力及び問題の表現に使う英語風の言語と、前年度にほぼ完成した日本語風の言語との間の類推による翻訳システムについて研究した。具体的には、言語間の翻訳の枠組みを支える文法について理論的な研究を行い、簡単な文の学習機能をもつ翻訳システムを試作した。 (2)類推による知識獲得のための方式について研究し、関係データベースにおける関数等の依存関係を類推の基本におく方式と既に提案していた方式との融合をはかった。具体的には、負の事実を類推の妥当性の判定に使える新しい類推理論を展開し、意味に立ち入った類推を可能にした。 (3)類推と帰納推論を併用する方式について研究し、有効性を確認した。具体的には、類推理論における類推和をユーザが与えるペアの集合から帰納推論する方式を研究開発した。 (4)類推における計算量の評価を指向して、一般的な推論の並列化の方式を研究し、並列化の手法とともに、効率的に並列化できない多くの問題を組織的に提出した。これによって、計算量評価と効率化のための基礎が得られた。 (5)確定節を対象にした類推理論に基づく類推システムを、日本語による入出力インターフェースも付けて本研究費で購入したSUN3エンジニアリング・ワークステーション上に完成させた。
|
-
[Publications] 原口誠: 人工知能学会研究会資料 SIGーFAI. 8804. 31-39 (1989)
-
[Publications] 有川節夫: 計測自動制御学会 特別講演会資料. 1-7 (1988)
-
[Publications] T.Miyahara: Bull.Informatics and Cybernetics. 23. (1989)
-
[Publications] H.Yuasa;S.Arikawa: Springer LNCS. (1989)
-
[Publications] S.Miyano: Springer LNCS. 317. 454-462 (1988)
-
[Publications] S.Miyano: Proc.International conference on Fifth Generation Computer Systems. 2. 532-541 (1988)
-
[Publications] 有川節夫,原口誠: "述語論理と論理プログラミング" オーム社, 1-217 (1988)