1996-Updating Knowledge Bases with Disjunctive Information

It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA (Winslett 1988), are generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two different approaches to deal with this problem one is called the nae’pzirnal charage with excepqons (MCE), the other is called the miraimal charage with maximal disjunctive inclusions (MCD). The first method is syntax-based, while the second is modeltheoretic. We show that these two approaches are equivalent for propositional knowledge base updates, and the second method is also appropriate for first order knowledge base updates. We then prove that our new update approaches still satisfy the standard Katsuno and Mendelzon’s update postulates.