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