著者

塚田 武志 末永 幸平 海野 広志 関山 太朗

出版者

千葉大学

雑誌

基盤研究(B)

巻号頁・発行日

2022-04-01

---

本研究では,近年著しい発展を遂げている機械学習技術を数理論理学的な問題に応用して,高効率な演繹的推論エンジンを構成することを目指す.機械学習技術は画像認識やゲームAIを含む様々な分野で著しい成功を遂げているが,証明などの演繹的推論が関わる分野には未だに古典的な演繹的推論技術が機械学習技術に優位である問題が多い.これまでの研究では解きたい問題を直接解く機械学習モデルを作る End-to-End の方法が主流であったが,本研究では解きたい問題ではなく機械学習に適した問題を学習させて,学習結果を演繹的推論エンジンで活用する.