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

DOI Web Site

書誌事項

タイトル別名
  • ジドウ ルイスイ ショウメイ ノ タメ ノ シャエイ ラベル ズケ ニ モトズク コウリツテキ スキーママッチング

この論文をさがす

抄録

本研究では、論理式とその証明を一般化したスキーマを蓄え、証明制御情報として用いることで証明を自動化する、スキーマ誘導型類推証明の自動化を目指している。本論文では、この類推処理の要となるスキーママッチングの効率化について述べる。

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ