[論文レビュー] Declarative Representation of Revision Strategies

Gerhard Brewka|arXiv (Cornell University)|Mar 8, 2000

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

ひとこと要約

この論文は、論理的言語内での埋め込みを通じて情報信頼性に関するメタ知識を統合する、宣言的で非単調な信念修正のフレームワークを提示する。Poole風のデフォルト推論システムと最小不動点推論作用素を用いることで、一貫した結論を保証し、修正戦略を明示的かつ人間が読みやすい形で指定可能にする。

ABSTRACT

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on metaknowledge about the information is possible, and where revision strategies can be described declaratively. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a monotone operator is used to make sure that all theories possess a consistent set of conclusions.

研究の動機と目的

• 信頼性メタデータを信念修正プロセスに統合する課題に対処すること。
• 論理的枠組み内での修正戦略を明示的かつ人間が読みやすい形で指定可能にすること。
• 非単調推論のもとでも一貫性があり安定した結論を得ること。
• 最小不動点に基づく卒調作用素を用いて修正戦略を形式化し、明確に定義された結果を保証すること。

提案手法

• 信念の相対的な重要性や信頼性を示す埋め込み情報（entrenchment）を、論理的言語そのものに直接表現すること。
• 不確実性下での非単調推論を扱うために、Poole風のデフォルト推論システムを採用すること。
• 単調作用素の最小不動点を用いて推論を定義し、すべての理論が一貫した結論集合を導くことを保証すること。
• 情報源に関するメタ知識を論理的構造に統合し、修正意思決定を支援すること。
• 論理式を用いて修正戦略を宣言的に符号化することで、透明性と形式的分析を可能にすること。
• すべての信念集合が推論メカニズムに関して閉じていることを保証し、論理的整合性を維持すること。

実験結果

リサーチクエスチョン

• RQ1 情報信頼性に関するメタ知識を、信念修正に形式的に統合する方法は何か？
• RQ2 一貫性を保証しつつ、論理的枠組み内で修正戦略を宣言的に指定できるか？
• RQ3 すべての信念集合が論理的に一貫していることを保証する形式的メカニズムは何か？
• RQ4 非単調推論をどのように構造化すれば、信頼性があり予測可能な信念の更新を可能にするか？
• RQ5 最小不動点作用素の使用が、信念修正の結果の安定性をどのように向上させるか？

主な発見

• このフレームワークは、情報信頼性に関するメタ知識を信念の論理的表現に成功して統合した。
• 修正戦略は論理式を用いて宣言的に表現可能であり、透明性と形式的分析が可能である。
• 最小不動点推論作用素の使用により、システムから導かれるすべての信念集合が論理的に一貫していることが保証された。
• このアプローチは非単調推論をサポートしつつ、明確で安定した結論を維持できる。
• Poole風のデフォルト推論システムにより、矛盾するか不確実な情報の扱いが原理的に行える。
• 埋め込み情報（entrenchment）が論理言語に効果的に埋め込まれており、文脈に応じた修正意思決定が可能になった。