研究課題
挑戦的萌芽研究
従来の論理計算の理論体系は、一階述語論理式で書かれた証明問題を推論によって解くことが基本になっている。しかし、解くことのできる証明問題は、組み込み述語を使わないものに限られている。さらに求解問題を解く理論も十分でない。本研究は、従来の証明問題中心の理論を脱皮して、求解問題中心の理論へ、そしてモデルインターセクション問題中心の理論へ拡大飛躍した。この理論は、① 新しいロジックであるＫＲロジック、② 新しい問題クラスであるモデルインターセクション問題、③ 新しい計算を生み出す等価変換、という枠組みを確立し、論理学と論理計算を歴史的に新たな段階へと発展させるものである。
すべて 2016 2015 2014
すべて 雑誌論文 (6件) (うち国際共著 4件、 査読あり 6件、 謝辞記載あり 4件) 学会発表 (5件) (うち招待講演 1件)
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016)
巻: 2 ページ: 52-63
巻: 2 ページ: 96-103
Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
巻: 2 ページ: 38-49
巻: 2 ページ: 212-222
International Journal of Innovative Computing, Information and Control
巻: Vol. 10, No. 5 ページ: 1653-1667
Lecture Notes in Artificial Intelligence
巻: LNAI 8397 ページ: 232-241
