2018 Fiscal Year Final Research Report
Logical foundations of knowledge representation and reasoning systems
Project/Area Number |
26330263
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Intelligent informatics
|
Research Institution | Teikyo University |
Principal Investigator |
|
Project Period (FY) |
2014-04-01 – 2019-03-31
|
Keywords | 非古典論理 / 矛盾許容論理 / 時間論理 / モデル検査 |
Outline of Final Research Achievements |
In this study, we develop methods for combining some non-classical logics such as temporal logics and paraconsistent logics. These proposed logical methods are intended to be useful for realizing efficient and expressive knowledge representation and reasoning systems. To develop such methods, we introduce some new combined non-classical logics and prove some fundamental theorems including cut-elimination, completeness, and embedding theorems for these logics. Furthermore, we propose some new applications of these proposed logics and methods to computing technologies such as model checking and logic programming.
|
Free Research Field |
数理論理学 情報論理学
|
Academic Significance and Societal Importance of the Research Achievements |
本研究で得られた結果は, インターネット上のシステムを記述したり検証したりするのに役に立つ論理体系に関する基本的な結果である. 例えば, 本研究で提案した拡張時間論理やそれに対する基本定理は, 従来の時間論理に基づいたソフトウェア検証技術を, これらを用いて拡張することができることを理論的に保証する. また, 本研究で提案した拡張論理を使用することによって, web上の複雑な階層構造を検証したり, 効率の良いプログラムを書いたりするための厳密な理論基盤を提供することができる.
|