Implementing Iterated Belief Change Via Prime Implicates
نویسندگان
چکیده
1 School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW 2052, Australia [email protected] 2 ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Comp. Sci. and Eng., The University of New South Wales, Sydney, NSW 2052, Australia [email protected] http://www.cse.unsw.edu.au/ ̃morri/ 3 National ICT Australia and School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia [email protected] http://www.cse.unsw.edu.au/ ̃tmeyer/
منابع مشابه
A Syntactical Approach to Belief Update
In the Belief Change domain, Katsuno and Mendelzon have proposed a set of postulates that should be satisfied by update operators. In 1989, Forbus semantically defined an update operator that satisfies these postulates. In order to calculate the resulting belief base all models of the relevant belief bases must be known. This paper proposes to use the prime implicants and prime implicates norma...
متن کاملPrime Normal Forms in Belief Merging
The aim of Belief Merging is to aggregate possibly conflicting pieces of information issued from different sources. The quality of the resulting set is usually considered in terms of a closeness criterion between the resulting belief set and the initial belief sets. The notion of distance between belief sets is thus a crucial issue when we face the merging problem. The aim of this paper is twof...
متن کاملA Dynamic Logic of Iterated Belief Change
In this paper we propose a general framework to study iterated changes of belief. Expansions, contractions and revisions are taken as actions which may be performed by an agent, resulting in a change of its beliefs. The syntax of the framework is given by a multi-modal language, containing modalities to reason about the agent's knowledge | representing its nondefeasible, veridical information |...
متن کاملIterated Belief Contraction from First Principles
Importance of contraction for belief change notwithstanding, literature on iterated belief change has by and large centered around the issue of iterated belief revision, ignoring the problem of iterated belief contraction. In this paper we examine iterated belief contraction in a principled way, starting with Qualified Insertion, a proposal by Hans Rott. We show that a judicious combination of ...
متن کاملExtending the Harper Identity to Iterated Belief Change
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e., contraction receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007