2026-04-21T19:55:29Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00235977 2025-01-19T09:26:39Z 6504:11678:11689

前向き推論を用いた自動定理発見の試行支援環境の開発 山鹿, 親作 後藤, 祐一 人工知能と認知科学 自動定理発見問題とは, 自動定理発見の一般的な方法を求めるという問題である.自動定理発見問題を解決するために強相関論理に基づく前向き推論を用いた自動定理発見の論理的基礎および方法が提案された(以下, 前向き推論法). 前向き推論法の試行を支援するためにいくつかの支援ツールや手法が提案・開発されている.しかし,これらの支援ツールや手法は互いに連携しておらず独立しているため, 前向き推論法の試行を簡単に実施できる環境は実現されていなかった.開発した新たな支援環境を利用することで,試行にかかる時間が減少し,試行者の負担を減らすことができた. conference paper 情報処理学会 2024-03-01 application/pdf 第86回全国大会講演論文集 1 2024 267 268 AN00349328 https://ipsj.ixsq.nii.ac.jp/record/235977/files/IPSJ-Z86-1Q-07.pdf jpn