2026-04-11T20:48:21Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00215038 2025-01-19T16:21:00Z 6504:10735:10808

強相関論理に基づく前向き推論を用いた自動定理発見法の項書き換え処理による改善 高島, 望 後藤, 祐一 人工知能と認知科学 自動定理発見問題は自動定理発見の一般的な方法を求めるという問題である。自動定理発見問題を解決するために強相関論理に基づく前向き推論を用いた自動定理発見法が提案された。提案手法に基づき、公理的集合論の一種である NBG 集合論による自動定理発見の試行が行われ、いくつかの既知の定理を再発見することができた。再発見とは提案手法で既知の定理が導出されることである。一方、提案手法で再発見できていない既知の定理があり、それらの既知の定理を再発見するために提案手法を改善する必要がある。そこで本研究では項書き換え処理を自動定理発見手法に実装を行った。そして新たに既知の定理の再発見を行うことができた。 conference paper 情報処理学会 2021-03-04 application/pdf 第83回全国大会講演論文集 1 2021 477 478 AN00349328 https://ipsj.ixsq.nii.ac.jp/record/215038/files/IPSJ-Z83-4R-02.pdf jpn