| Project/Area Number |
07308027
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 総合 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
HARAO Masateru Kyushu Inst.of Tech., Fac.of Comput.Sci.& Syst.Eng.Professor., 情報工学部, 教授 (00006272)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
IWANUMA Kouji Yamanashi Univ., Fac.of Eng., Associate Professor., 工学部, 助教授 (30176557)
INOUE Katsumi Toyohashi Univ.of Tech., Dept.of Inf.& Comput.Sci., Associate Professor., 情報工学系, 助教授 (10252321)
ASO Hirotomo Tohoku Unv., Fac.of Eng., Professor., 工学部, 教授 (10005522)
YONEZAKI Naoki Tokyo Inst.of Tech., Grad.School of Inf.Sci.& Eng., Professor., 情報理工学研究科, 教授 (00126286)
HAGIYA Masami Univ.of Tokyo, Grad.School of Sci., Prof., 大学院理学研究系, 教授 (30156252)
|
|---|
| Project Period (FY) |
1995 – 1996
|
| Project Status |
Completed (Fiscal Year 1996)
|
| Budget Amount *help |
¥5,900,000 (Direct Cost: ¥5,900,000)
Fiscal Year 1996: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 1995: ¥3,400,000 (Direct Cost: ¥3,400,000)
|
|---|
| Keywords | Artificial Intelligence / Reasoning / Intelligent Programming / Theorem Prover / Learning / Logical system / Knowledge / Type Theory |
|---|
| Research Abstract |
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.
|
