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

本研究项目的目的是为人工智能建立一种先进的推理原理和技术。理论研究成果：基于模态逻辑、时态逻辑、线性逻辑的推理原理(6篇)，基于假设、类比、抽象的推理原理(4篇)，基于归纳、学习的推理(4篇)，用于推理的逻辑和Lambda演算(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.