番原 睦則 BANBARA Mutsunori

ID:9000258237612

神戸大学学術情報基盤センター Information Science and Technology Center, Kobe University (2003年 CiNii収録論文より)

同姓同名の著者を検索

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

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

    田村 直之 , 番原 睦則

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

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

    J-STAGE DOI

ページトップへ