研究課題
研究活動スタート支援
1988年Wosにより提案された世界的に知られている未解決難問である自動定理発見問題とは、新しくて面白い定理を自動的に発見する自動推論プログラムが持つべき一般的性質を明らかにする問題である。本研究は強相関論理に基づく前向き推論による手法に基づいて、認識的プログラミングによる自動定理発見を行うという試みで、自動定理発見問題の完全解決に対して新しい突破口を切り拓くものである。
すべて 2017 2016 2015
すべて 雑誌論文 (5件) (うち査読あり 5件) 学会発表 (2件) (うち国際学会 2件)
Lecture Notes in Computer Science
巻: 10192 ページ: 115-124
10.1007/978-3-319-54430-4_12
巻: 10192 ページ: 125-134
10.1007/978-3-319-54430-4_13
Lecture Notes in Electrical Engineering
巻: 393 ページ: 55-61
10.1007/978-981-10-1536-6_8
巻: 393 ページ: 263-270
10.1007/978-981-10-1536-6_35
Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques
巻: 9243 ページ: 508-517
10.1007/978-3-319-23862-3_50
