Mutsunori Banbara

論文一覧:  1件中 1-1 を表示

  • LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム

    田村 直之 , 番原 睦則 , Naoyuki Tamura , Mutsunori Banbara , 神戸大学学術情報基盤センター , 神戸大学学術情報基盤センター , Information Science and Technology Center Kobe University. , Information Science and Technology Center Kobe University.

    一階述語論理の節形式をPrologプログラムに変換し, Prologコンパイラ処理系を用いて定理証明を行うシステムとしてPTTP (Prolog Technology Theorem Prover)が知られている.本論文では,節形式を線形論理型言語LLPのプログラムに変換し, LLPコンパイラ処理系を用いることで,より効率的な証明探索が可能になることを示す.特に,証明中のリテラルをリソースとして追 …

    コンピュータソフトウェア = Computer software 20(5), 502-508, 2003-09-25

    CiNii 外部リンク 機関リポジトリ 参考文献13件

ページトップへ