著者

犬塚 慎也 松崎 拓也 佐藤 理史

出版者

一般社団法人 人工知能学会

雑誌

人工知能学会全国大会論文集 第31回全国大会(2017)

巻号頁・発行日

pp.3O15, 2017 (Released:2018-07-30)

---

大学入試センター試験「数学」の整数問題に対して自動解答するシステムを開発した。数量を求める問題において限量子除去は強力なツールだが、整数領域の一階述語論理式は一般には限量子除去が不可能である。そのため、特殊な述語を用意して、テキストに表れている問題を解く上での手がかりが失われないような中間表現を設計し、発見的な手法を用いた限量子除去を効果的に行えるようにした。