論理式の置換と選言標準形への変形による論理プログラムの計算手続き
スポンサーリンク
概要
- 論文の詳細を見る
本論文では論理式の置換手続きと,等式の選言標準形(DNF)への変形手続きを組み合わせた論理プログラムの計算手続きの改良について述べる.改良前の手続きは,論理プログラムとして任意のFirstt-order Logic Program (FLP)を,ゴールとして任意の1階論理プログラムをとることができ,FLPと2値論理で同値な完備プログラム(FLPの完備化)の3値論理での論理的帰結を健全かつ完令に判定できる.言い換えると,FLPの2値論理での論理的帰結の中に,この手続きでは判定できないものが存在する.しかし,論理式の置換方法を改良することによって,FLPの2値論理での論理的帰結をより多く判定できるようになり,また,DNFへの変形手続きを引き続き用いることによって,ゴールがFLPの論理的帰結となる自由変数の値を表現するDNFを計算できるという手続きの特徴を維持できる.本論文では,改良された論理式の置換方法を提示し,この方法を用いた計算手続きはFLPの2値論埋での論理的帰結を改良前の手続きよりも真に多く判定できることを示す.また,この手続きはFLPの完備化とは異なる完備プログラムの3値論理での論理的帰結を健全かつ完全に判定できることを証明する.
- 2003-03-01
論文 | ランダム
- 107 胃癌の c-erbB-2 mRNA の RT-PCR法による特異的検出(第38回日本消化器外科学会総会)
- 87 腹膜播種に対する持続温熱腹膜灌流と Jet 噴流による制癌剤局所注入法の臨床効果(第38回日本消化器外科学会総会)
- 62 胃癌幽門側胃部分切除術における術式と術後愁訴の検討(第38回日本消化器外科学会総会)
- Ki-67 を用いた flow cytometry による胃癌の増殖活性の検討
- 420 胃癌治癒切除後の晩期再発に関する検討(第37回日本消化器外科学会総会)