3値アブダクション枠組の意味論
スポンサーリンク
概要
- 論文の詳細を見る
アブダクション枠組は従来2値論理において定義されていたが, 宣言的意味を定義することのできない論理プログラムが存在する, 定義が複雑になるなどの問題があった.それらの問題を解消ため, 本稿では3値論理においてアブダクション枠組を定義する.そこではアブダクティブ調整という未定義と解釈される集合が新たに導入されており, アブダクティブプログラムとアブダクティブ説明を用いて, 自然な形で定義されている.本稿ではまた, 3値アブダクション枠組の宣言的意味が従来のアブダクション枠組の宣言的意味と対応していること, 一般論理プログラムにおける交替不動点とも密接な関わりがあることを示す.
- 社団法人電子情報通信学会の論文
- 1999-01-23
著者
関連論文
- 調整と無限導出を伴うアブダクティブ手続き
- 拡張論理プログラムに対する矛盾解消アブダクションの枠組
- 一般プログラムに対する矛盾解消交替演算子
- 3値アブダクション枠組における一貫性制約と意味論
- 3値アブダクティブ証明手続き
- 3値アブダクション枠組の意味論
- 一般プログラムに対する矛盾解消交替演算子
- 3値論理におけるアブダクション
- 状況理論に基づくプランニング争点解消手法
- 安全でないSLDNF導出に基づくアブダクション手続きの正当性
- 矛盾による否定と二重否定問題
- 一般論理プログラムに対する安全でないSLDNF導出と最小不動点意味論
- データフローネットワークに基づく論理プログラムの計算機構と意味論(ソフトウェア科学・工学における数理的方法)