階層型多値論理ネットワークにおける真理値制約の伝播

概要

論文の詳細を見る
階層型多値論理ネットワークにおける真理値の制約伝播による推論方法を提案する.多値論理ネットワークとは, 多値論理における含意を用いてノード間の因果関係を表現する比循環有向グラフである.各ノードは事象の生起に関する命題を表し, [0,1]間の真理値をとる論理変数を持つ.2つのノードを結ぶアークは命題間に成立する含意すなわち事象間の因果関係を表し, 含意もまた[0,1]間の真理値を持つ.本稿では多値論理ネットワークの中で最も単純な2段の階層型ネットワークを対象として, 任意に選択されたノードの真理値の制約が区間真理値で与えられた場合に, その制約を他ノードへ伝播する推論について議論し提案する.本稿ではまず多値論理の一つであるルカシェヴィッツの無限値論理を用いた因果推論と因果推論に基づいて真理値の制約を表す区間真理値の伝播を定義する.この伝播に関しては, 含意に対して前向きに行われる順伝播と逆向きに行われる逆伝播を考える.さらに順伝播と逆伝播それぞれに対して, 無矛盾を基準とする弱伝播と因果関係による支持を基準とする強伝播を定義する.次いで定義された区間真理値の伝播を用いてすべてのノードに任意の区間真理値が与えられたときに, その制約の範囲内で結合されたすべてのノードが互いに無矛盾となる区間真理値を求める方法を提案する.さらに, 一部のノードの区間真理値を固定したとき支持による強い制約を満たすように他ノードの区間真理値を推論する方法を提案する.最後に本稿で提案する推論の具体的な例を示し, まとめる.
1997-06-15

階層型多値論理ネットワークにおける真理値制約の伝播

スポンサーリンク

概要

著者

関連論文

スポンサーリンク