A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.

本课题的研究目的是建立人工智能的推理原理和先进技术。每年举行两次研究会议，目的是介绍和讨论所取得的成果，所介绍的成果概述如下。(1)理论研究成果：基于模态逻辑、时态逻辑、线性逻辑的推理原理（6份报告）;基于假设、类比、抽象的推理原理（4份报告）;基于归纳、学习的推理（4份报告）;用于推理的逻辑和lambda演算（5份报告）;知识表示和语言（5份报告）;移动的处理（2份报告）。(2)定理证明与计算：推理机及其改进利用证明文法和归纳推理证明定理的新方法（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.