汎用的な自動定理発見ツールの実現と応用

• 研究課題/領域番号: 19700127
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 知能情報学
• 研究機関: 埼玉大学
• 研究代表者: 後藤 祐一 埼玉大学, 大学院理工学研究科, 助教 (70400801)
• 研究期間 (年度): 2007 – 2008
• 研究課題ステータス: 完了 (2008年度)
• 配分額: 2,780千円 (直接経費: 2,300千円、間接経費: 480千円); 2008年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円); 2007年度: 700千円 (直接経費: 700千円)
• キーワード: 情報システム / 知識工学 / 自動発見

研究概要

自動定理発見問題に対して帰結演算による自動定理発見法が提案されたがいまだ実現されていない.本研究では,帰結演算による自動定理発見法において中心的役割を果たす汎用自動前向き帰結演算システムを実装し,公理的集合論において帰結演算による自動定理発見を試みるのが最終目的である.支援期間内には,論理式を構成する語彙,論理式の構成規則,公理,そして,推論規則を入力として自由に与えられるようにした汎用前向き推論エンジンFreeEnCalの開発を行った.また,開発したFreeEnCalの処理アルゴリズムを見直し処理の高速化を行った.

研究成果

• [雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems (2008)
  • 著者名/発表者名: Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng
  • 雑誌名: International Journal of Computing Anticipatory Systems Vol. 20 ページ: 177-190
  • 査読あり
• [雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems (2008)
  • 著者名/発表者名: Jingde Cheng, Yuichi Goto, and Natsumi Kitajima
  • 雑誌名: "Computing Anticipatory Systems: CASYS 2007 - Eighth International Conference, Liege, Belgium, 6-11 August 2007"(D. M. Dubois (Ed.)), AIP Conference Proceedings(American Institute of Physics) Vol. 1051 ページ: 244-254
  • 査読あり
• [雑誌論文] A Fast Duplication Checking Algorithm for Forward Reasoning Engines (2008)
  • 著者名/発表者名: Takahiro Koh, Yuichi Goto, and Jingde Cheng
  • 雑誌名: "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings" (I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.)), Lecture Notes in Artificial Intelligence (Subs Vol. 5178 ページ: 499-507
  • 査読あり
• [雑誌論文] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations (2008)
  • 著者名/発表者名: Yuichi Goto, Takahiro Koh, and Jingde Cheng
  • 雑誌名: "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II"(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.)), Lecture Notes in Artificial Intelligen Vol. 5178 ページ: 526-535
  • 査読あり
• [雑誌論文] A Fast Duplication Checking algorithm for Forward Reasoning Engines (2008)
  • 著者名/発表者名: T. Koh, Y.Goto, J.Cheng
  • 雑誌名: Lecture Notes in Artificial Intelligence 5178 ページ: 499-507
  • 査読あり
• [雑誌論文] A General Forward Reasoning algorithm for Various Logic Systems with Different Formalizations (2008)
  • 著者名/発表者名: Y. Goto, T. Koh, J. Cheng
  • 雑誌名: Lecture Notes in Artificial Intelligence 5178 ページ: 526-535
  • 査読あり
• [雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems (2008)
  • 著者名/発表者名: J. Cheng, Y. Goto, N. Kitajima
  • 雑誌名: AIP Conference Proceedings 1051 ページ: 244-254
  • 査読あり
• [雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory System (2008)
  • 著者名/発表者名: N. Kitajima, Y. Goto, J. Cheng
  • 雑誌名: International Journal of Computing Anticipatory Systems 20 ページ: 177-190
  • 査読あり
• [雑誌論文] FreeEnCal: A Forward Reasoning Engine with General-Purpose (2007)
  • 著者名/発表者名: Jingde Cheng, Shinsuke Nara, and Yuichi Goto
  • 雑誌名: "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II"(B. Apolloni, R. J. Howlett, and L. C. Vol. 4693 ページ: 444-452
  • 査読あり
• [雑誌論文] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing (2007)
  • 著者名/発表者名: Jingde Cheng, Yuichi Goto, Shinsuke Nara, and Takahiro Koh
  • 雑誌名: "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II"(B. Apolloni, R. J. Howlett, and L. C. Vol. 4693 ページ: 840-851
  • 査読あり
• [雑誌論文] EPLAS: An Epistemic Programming Language for All Scientists (2007)
  • 著者名/発表者名: Isao Takahashi, Shinsuke Nara, Yuichi Goto, and Jingde Cheng
  • 雑誌名: "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part I"(Y. Shi (Eds.)), Lecture Notes in Computer Science(Springer-Verlag) Vol. 4487 ページ: 406-413
  • 査読あり
• [雑誌論文] EPLAS: An Epistemic Programming Language for All Scientists (2007)
  • 著者名/発表者名: Isao TAKAHASHI, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
  • 雑誌名: Lecture Notes in Computer Science 4487 ページ: 406-413
  • 査読あり
• [雑誌論文] FreeEnCal: A Forward Reasoning Engine with General-Purpose (2007)
  • 著者名/発表者名: Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
  • 雑誌名: Lecture Notes in Computer Science 4693 ページ: 444-452
  • 査読あり
• [雑誌論文] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing (2007)
  • 著者名/発表者名: Jingde CHENG, Yuichi GOTO, Shinsuke NARA, and Takahiro KOH
  • 雑誌名: Lecture Notes in Computer Science 4693 ページ: 840-851
  • 査読あり
• [学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems (2008)
  • 著者名/発表者名: Natsumi Kitajima, Yuichi Goto, and Jingde Cheng
  • 学会等名: Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08)(IEEE Computer Society Press), pp. 171-178
  • 発表場所: Barcelona, Spain
  • 年月日: 2008-03-04
• [学会発表] Fast Qualitative Reasoning about Actions for Computing Antic ipatory Systems (2008)
  • 著者名/発表者名: Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
  • 学会等名: The 3rd International Conference on Availability, Reliability and Security
  • 発表場所: Barcelona, Spain