2014 Fiscal Year Research-status Report
Project/Area Number |
26330263
|
Research Institution | Teikyo University |
Principal Investigator |
上出 哲広 帝京大学, 理工学部, 准教授 (60332053)
|
Project Period (FY) |
2014-04-01 – 2019-03-31
|
Keywords | 矛盾許容論理 / 時間論理 / 完全性定理 / カット除去定理 / モデル検査 |
Outline of Annual Research Achievements |
矛盾許容性および時間性を同時に表現可能な論理体系をいくつか提案し、それらに対して、完全性定理およびカット除去定理を証明した。また、これら論理をベースにしたモデル検査問題、証明可能性問題および妥当性問題に対する決定可能性を証明した。これら性質を証明するにあたって、埋め込み定理を使用する新たな証明手法を提案した。 上記の提案した論理および証明した性質を用いて、マルチエージェント系への応用やセキュリティー系への応用を提案した。特に、セキュリティー系への応用としては、矛盾許容性、時間性および確率性を同時に表現可能な拡張CTL(Computation Tree Logic)を用いた、SQLインジェクションアタック検出アルゴリズムの記述・検証法を提案した。 上記の結果およびこれまでの研究結果をまとめて、国際会議論文2本、ジャーナル論文3本、著書1冊として出版することができた。特に、以下の論文および著書は、これまでの研究成果の中でも基礎になる部分をまとめたものであり、埋め込み定理とその応用について論じたものである。 ジャーナル論文:Norihiro kamide, Embedding theorems for LTL and its variants, Mathematical Structures in Computer Science 25 (1), pp.83-134, 2015, Cambridge University Press. 著書:Norihiro Kamide and Heinrich Wansing, Proof theory of N4-related paraconsistent logics, Studies in Logic, Volume 54, College Publications, pp. 1-412, 2015.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
当初予定していた以下の書籍の執筆が完了し、出版することができた。当初の予定では同書の出版は来年度以降としていた。しかしながら、共著者の精力的な執筆努力により同書を前倒しで完成することができた。 書籍:Norihiro Kamide and Heinrich Wansing, Proof theory of N4-related paraconsistent logics, Studies in Logic, Volume 54, College Publications, pp. 1-412, 2015.
|
Strategy for Future Research Activity |
今後、拡張論理の基礎となる矛盾許容論理の構築およびそれら論理体系に関する主要な性質(完全性、カット除去性、補完性、決定可能性、等)の証明を実現する予定である。構築する論理の応用としては、医療推論への応用を考察中である。 以上により得られた結果を以下のような国際会議やジャーナル誌上で発表する予定である。 国際会議:[1] International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). [2] Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). [3] Frontiers of Combining Systems (FroCos). [4] EACSL Annual Conference on Computer Science Logic (CSL). ジャーナル:[1] Journal of Logic and Computation. [2] Theoretical Computer Science. [3] Studia Logica. [4] Mathematical Logic Quarterly.
|
Research Products
(10 results)