权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

人工智能智能推理原理与编程语言综述。

基本信息

批准号：
07308027
负责人：
HARAO Masateru
金额：
$ 3.78万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至 1996
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07308027/
关键词：
Artificial Intelligence Reasoning Intelligent Programming Theorem Prover Learning Logical system Knowledge Type Theory

项目摘要

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.

本课题的研究目的是建立人工智能的推理原理和先进技术。每年召开两次研究会议，对所取得的成果进行展示和讨论，所展示的成果总结如下。(1)理论研究成果：基于模态逻辑、时态逻辑、线性逻辑的推理原理（6份报告）;基于假设、类比、抽象的推理原理（4份报告）;基于归纳、学习的推理（4份报告）;用于推理的逻辑和lambda演算（5份报告）;知识表示和语言（5份报告）;移动的处理（2份报告）。(2)定理证明与计算：推理机及其改进利用证明文法和归纳推理证明定理的新方法（4篇报告），基于模态逻辑或类型系统的定理证明器（2篇报告）（3）智能推理系统及应用：高性能定理证明器（4份报告），证明发现学习（2份报告），使用因特网的证明系统和证明支持系统（2篇报告）。我们不仅从理论观点而且从实践观点都获得了有关人工智能的重大成果。并对几个已实现的系统进行了演示。研究结果整理成报告。