In the area of belief change, contraction operations are used to modify a given belief set or belief base such that certain unwanted consequences no longer follow. In previous work we have introduced a framework for constructing contraction operations that generalizes the well-known partial meet contraction approach, called partial product contractions (PPCs). The main idea was to replace the remainders employed by partial meet contractions with optimal repairs, which were first considered in ontology engineering. We were able to characterize PPCs with variants of well-known rationality postulates, and provided a large number of concrete instances of the general framework. In the present work, we start to investigate whether the rather weak conditions imposed by our framework are sufficient to generalize further classical results from belief change to this setting. To this purpose, we consider Gärdenfors’s supplementary postulates for belief contractions. We are able to show that, under two reasonable additional conditions, PPCs induced by maximizingly and transitively relational selection functions indeed satisfy these postulates, similarly to the classical case.

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

Gärdenfors’s Supplementary Postulates for Partial Product Contractions

  • Franz Baader,
  • Renata Wassermann

摘要

In the area of belief change, contraction operations are used to modify a given belief set or belief base such that certain unwanted consequences no longer follow. In previous work we have introduced a framework for constructing contraction operations that generalizes the well-known partial meet contraction approach, called partial product contractions (PPCs). The main idea was to replace the remainders employed by partial meet contractions with optimal repairs, which were first considered in ontology engineering. We were able to characterize PPCs with variants of well-known rationality postulates, and provided a large number of concrete instances of the general framework. In the present work, we start to investigate whether the rather weak conditions imposed by our framework are sufficient to generalize further classical results from belief change to this setting. To this purpose, we consider Gärdenfors’s supplementary postulates for belief contractions. We are able to show that, under two reasonable additional conditions, PPCs induced by maximizingly and transitively relational selection functions indeed satisfy these postulates, similarly to the classical case.