| 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
|
| Project Status |
Completed (Fiscal Year 2018)
|
| Budget Amount *help |
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2018: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2017: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2016: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2015: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2014: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
|---|
| 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.
|
| Academic Significance and Societal Importance of the Research Achievements |
本研究で得られた結果は, インターネット上のシステムを記述したり検証したりするのに役に立つ論理体系に関する基本的な結果である. 例えば, 本研究で提案した拡張時間論理やそれに対する基本定理は, 従来の時間論理に基づいたソフトウェア検証技術を, これらを用いて拡張することができることを理論的に保証する. また, 本研究で提案した拡張論理を使用することによって, web上の複雑な階層構造を検証したり, 効率の良いプログラムを書いたりするための厳密な理論基盤を提供することができる.
|
