[論文レビュー] Revising Partially Ordered Beliefs

Salem Benferhat, Sylvain Lagrue+1 more|ArXiv.org|Oct 3, 2002

Logic, Reasoning, and Knowledge参考文献 12被引用数 4

ひとこと要約

本稿では、解釈および信念ベースにおける全順序から部分順序への一般化を通じて、二つの信念修正作用素—履歴に基づく修正と可能性論的修正—を一般化する。両作用素について、意味論的および句法学的同等性を確立し、部分順序からの信念集合が繰り返しの修正を経て全順序に収束することを示し、不完全または比較不能な情報源における一貫性のある推論を可能にする。

ABSTRACT

This paper deals with the revision of partially ordered beliefs. It proposes a semantic representation of epistemic states by partial pre-orders on interpretations and a syntactic representation by partially ordered belief bases. Two revision operations, the revision stemming from the history of observations and the possibilistic revision, defined when the epistemic state is represented by a total pre-order, are generalized, at a semantic level, to the case of a partial pre-order on interpretations, and at a syntactic level, to the case of a partially ordered belief base. The equivalence between the two representations is shown for the two revision operations.

研究の動機と目的

• エピステム的状態における比較不能な信念をモデル化する際の全順序の制限を解消すること。
• 解釈および部分的に順序付けられた信念ベースにおける部分順序を用いたエピステム的状態の形式化。
• 既存の二つの修正作用素—履歴に基づく修正と可能性論的修正—を部分順序の状況に拡張すること。
• 部分順序における意味論的および句法学的信念修正表現の同等性を証明すること。
• 繰り返しの修正によって部分順序が全順序に収束することを可能にし、信念の進化における一貫性を保証すること。

提案手法

• 解釈における部分順序を用いてエピステム的状態を表現し、可能な世界間の比較不能性を許容する。
• 論理式における部分順序を用いた句法学的信念ベースを定義し、不確実または矛盾する知識の構造的表現を可能にする。
• 新しい観測に基づく解釈の妥当性の更新を通じて、履歴に基づく修正作用素を部分順序に一般化する。
• 可能性理論の原則を用いて、相対的な妥当性順序を保持する形で、可能性論的修正作用素を部分順序に一般化する。
• 論理式の整合的集合の部分集合に対する優先順位比較を用いて、句法学的部分順序から意味論的部分順序への写像を定義する。
• 修正後の句法学的および意味論的信念集合の同等性を証明し、表現間の一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 エピステミック論理における解釈の全順序から部分順序への信念修正の一般化はどのように可能か？
• RQ2 信念が部分的に順序付けられている場合、意味論的修正操作の適切な句法学的対応は何か？
• RQ3 論理式の部分順序を、信念の整合的集合の部分集合への部分順序にどのように写像できるか？
• RQ4 部分順序における句法学的および意味論的信念修正の同等性を保証する条件は何か？
• RQ5 部分順序は繰り返しの修正によって全順序に収束することができ、これは信念の一貫性にどのような意味を持つのか？

主な発見

• 本稿では、履歴に基づく修正および可能性論的修正の両状況において、句法学的修正作用素から導かれる信念集合が、意味論的修正作用素から導かれる信念集合と論理的に同等であることを証明している。
• 句法学的信念集合は、部分順序に基づく部分集合のうち、優先順位の高い整合的集合の論理和として計算される。
• 一連の修正を経て、解釈における部分順序は全順序に収束し、信念の進化における長期的一致性が保証される。
• 句法学的から意味論的順序への写像は、整合的集合の補集合の優先順位比較に基づき定義され、信念推論の堅牢性を確保する。
• 三つの矛盾するが比較不能な規則を含むタバコ栽培の例を通じて、任意の全順序付けを避けることで、規則や信念間の比較不能性を許容する。
• 本手法は、データソースが完全に比較可能でない地理情報システムなどの、部分的に順序付けられた情報を持つシステムへの実用的応用を可能にする。