Scholarlink

<p>In this paper we propose a satisfaction measure for the theory of belief revision, which should be an alternative to the classical distance measure for defining revision operators. We present the idea of satisfaction measure as a monotonic condition, and characterize how it affects the revision operation by proving an extension of the <i>AGM</i> representation theorem (Katsuno and Mendelzon, 1991). A unique syntactical form, the disjunction of all prime implicants, is used to compile the belief bases. Then we develop a method to generate revision operators meet that monotonic condition. We introduce a normal operator in the satisfaction manner and highlight its advantages by comparing it with four other revision operators. Lastly, we show that the application of satisfaction measure can also bring a new perspective to the study of belief merging.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Belief revision with satisfaction measure

  • 期刊论文

  • 发表日期：

    2026年2月23日

查看全文
  • Wei Zhao

摘要

In this paper we propose a satisfaction measure for the theory of belief revision, which should be an alternative to the classical distance measure for defining revision operators. We present the idea of satisfaction measure as a monotonic condition, and characterize how it affects the revision operation by proving an extension of the AGM representation theorem (Katsuno and Mendelzon, 1991). A unique syntactical form, the disjunction of all prime implicants, is used to compile the belief bases. Then we develop a method to generate revision operators meet that monotonic condition. We introduce a normal operator in the satisfaction manner and highlight its advantages by comparing it with four other revision operators. Lastly, we show that the application of satisfaction measure can also bring a new perspective to the study of belief merging.