研究分担者
研究課題基本情報（最新年度）
研究期間
1995年度〜1996年度研究分野
審査区分
総合
研究種目
総合研究(A)→基盤研究(A)
研究機関
九州工業大学
配分額
- 総額：5900千円
- 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件、が報告された。
発表された内容は、人工知能における理論的な成果のみならず実用的にも有用な成果が含まれている。また、研究集会では試作システムやインタ-ネットを用いたデモンストレ-ションども行なわれた。これらの成果の一部が報告書としてまとめられている。
The purpose of this research project is to establish a reasoning pronciple and advanced technology for artifical intelligence. Two research meetings had been held in every year aiming presentations and discussions on the obtained results, and the presented results are summarized as follows.
(1) Theoretical research result : Reasoning principles based on modal logic, temporal logic, linear logic (6 reports), Reasoning principles based on hypotheses, analogy, abstraction (4 reports), Reasoning based on induction, learning (4 reports), Logic and lambda calculus for reasoning (5 reports), Knowledge representation and language (5 reports), mobile processing (2 reports).
(2) Theorem prover and computaion : Reasoning machines and their improvement (5 reports), New theorem proving method by proof grammar and inductive inference (4 reports), Theorem prover based on modal logic or type system (2 reports)
(3) Intelligent reasoning system and application : High performance theorem prover (4 reports), Proof discovery learning (2 reports), Proving system using internet and proof support system (2 reports).
We have obtained significant results concerning artificial intelligence not only from the theoretical viewpoint but also practical viewpoint. Several implemented system had been demonstrated also. The research results are arranged as a report.
このページのURI
http://kaken.nii.ac.jp/ja/p/07308027