代表者
-
- 原尾 正輝
- HARAO, Masateru
- 研究者番号：00006272
- 九州工業大学・情報工学部・教授
研究課題基本情報
研究期間
1995年度〜1996年度研究分野
審査区分
総合
研究種目
基盤研究(A)
研究機関
九州工業大学
配分額
- 1995年度：3400千円 (直接経費：3400千円)
- 1996年度：2500千円 (直接経費：2500千円)
研究分担者
研究概要
この研究プロジェクトは、現在の人工知能における壁をブレークスルーし将来に繋がる理論的かつ先駆的な研究を目的として、平成7年度、平成8年度の2年間にわたって行なわれた。各年度に、研究経過、成果の報告および討論のための研究集会を2回開催した。いずれの研究会も活発な討論と研究交流が行なわれ、概略以下のような研究成果が報告された。
(1)高次推論原理と知能言語に関する理論的研究:様相論理、時相論理、線形論理、型理論といった新しい論理的枠組みに基づいた推論原理に関する研究6件、仮説推論、類推、抽象化といった機能を導入した推論原理に関する研究4件、帰納的推論や学習を融合した推論原理に関する研究4件、論理とラムダ計算や推論に関する研究5件、知識表現や言語に関する研究5年、モ-ビルプロセスに関する研究2件、が報告された。
(2)定理証明器と推論計算法に関する研究:仮説推論、類推、モデル推論、消去法といった推論処理の定式化とその効率化に関する研究5件、証明文法や帰納的証明論を融合した新しい手法による推論法に関する研究4件、様相論理や型理論に基づく定理証明器の提案2件、が報告された。
(3)高次推論システムと応用に関する研究:種々の技法を用いた高性能の一般定理証明器の開発に関する研究4件、類推や非単調推論を用いた証明発見システムや学習に関する研究2件、インターネットを用いた証明システムや思考支援のための計算機環境に関する研究2件、が報告された。
発表された内容は、人工知能における理論的な成果のみならず実用的にも有用な成果が含まれている。また、研究集会では試作システムやインターネットを用いたデモンストレーションども行なわれた。これらの成果の一部が報告書としてまとめられている。
発表文献
-
Yoshiura,N.and Yonezaki,N.: "Relevant inference and reliability dependent on implication" Information Modeling and Knowledge Bases. VII. 154-172 (1996)
-
Hirokawa.S.: "The proofs of α → α in P-W" Journal of Symbolic Logic.61. 195-221 (1996)
-
Hirata,K.: "A classification of abduction : Abduction for logic programming" Machine Intelligence. 14. 397-424 (1996)
-
Satoh,K.: "A goal-directed procedure for an extension membership problem in arbitrary propositional default theories" 人工知能学会論文誌. 11. 290-299 (1996),
-
Inoue,K.and Sakama,C.: "A fixpoint characterization of abductive logic programs" Journal of Logic Programming. 27. 107-136 (1996),
-
Kato,S.,Kamakura,C.,Seki,H.and Itoh,H.: "PARCAR : A parallel cost-based abductive reasoning system" Proc.9th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 57-62 (1996),
このページのURI
http://kaken.nii.ac.jp/ja/p/07308027/1996/6/ja