認識的プログラミングによる自動定理発見

2017 年度 研究成果報告書

• 研究課題/領域番号: 15H06081
• 研究種目: 研究活動スタート支援
• 配分区分: 補助金
• 研究分野: 知能情報学
• 研究機関: 埼玉大学
• 研究代表者: 高 宏彪 埼玉大学, 理工学研究科, 助教 (50756955)
• 研究期間 (年度): 2015-08-28 – 2017-03-31
• キーワード: 自動推論 / 自動定理発見 / 認識的プログラミング / 離散数学

研究成果の概要

1988年Wosにより提案された世界的に知られている未解決難問である自動定理発見問題とは、新しくて面白い定理を自動的に発見する自動推論プログラムが持つべき一般的性質を明らかにする問題である。本研究は強相関論理に基づく前向き推論による手法に基づいて、認識的プログラミングによる自動定理発見を行うという試みで、自動定理発見問題の完全解決に対して新しい突破口を切り拓くものである。

自由記述の分野

自動推論