/ プログラム / 発表一覧 / 著者一覧 / JSAI2005 ホーム

1F2-04 自動類推証明のための射影ラベル付けに基づく効率的スキーママッチング

6月15日(水) 11:00〜12:40 F会場
論理と学習

演題番号1F2-04
題目自動類推証明のための射影ラベル付けに基づく効率的スキーママッチング
著者山田 敬三 (九州工業大学情報工学部)
尹 淑萍 (九州工業大学大学院情報工学研究科)
原尾 政輝 (九州工業大学情報工学部)
平田 耕一 (九州工業大学情報工学部)
時間6月15日(水) 12:00〜12:20
概要本研究では、論理式とその証明を一般化したスキーマを蓄え、証明制御情報として用いることで証明を自動化する、スキーマ誘導型類推証明の自動化を目指している。本論文では、この類推処理の要となるスキーママッチングの効率化について述べる。
論文PDFファイル

/ プログラム / 発表一覧 / 著者一覧 / JSAI2005 ホーム