Updates with Disjunctive Information: From Syntactical and Semantical Perspectives

The possible models approach is a classical minimal change semantics for knowledge base update, which provides an exclusive interpretation for disjunctive information in updates. It has been recognized that the exclusive interpretation for disjunction may be problematic under some circumstances. In this paper, we investigate inclusive interpretations for disjunctions in updates from both syntactical and semantical viewpoints. In particular, we propose two approaches for disjunctive update—the minimal change with exceptions (MCE) and the minimal change with maximal disjunctive inclusions (MCD). Both approaches provide inclusive interpretations for disjunctions in updates, though the first is syntax‐based and the second is model‐theoretic. We then characterize the MCE and MCD in terms of alternative minimal change criteria and relate them to traditional Katsuno and Mendelzon's update postulates.

[1]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[2]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[3]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[4]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[5]  M. Gelfond,et al.  Disjunctive Defaults , 1991 .

[6]  Bernhard Nebel,et al.  Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91) , 1992, Künstliche Intell..

[7]  Peter Jackson,et al.  Computing Prime Implicates Incrementally , 1992, CADE.

[8]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[9]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

[10]  Georg Gottlob,et al.  Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information , 1993, IJCAI.

[11]  Norman Y. Foo,et al.  Reasoning About Persistence: A Theory of Actions , 1993, IJCAI.

[12]  Andreas Herzig,et al.  Update Operations: A Review , 1998, ECAI.

[13]  Marie-Odile Cordier,et al.  A temporal revision model for reasoning about world change , 1994, Int. J. Intell. Syst..

[14]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[15]  Yan Zhang,et al.  Disjunctive Update, Minimal Change, and Default Reasoning , 1997, ECSQARU-FAPR.

[16]  Paolo Liberatore,et al.  The Complexity of Belief Update , 1997, IJCAI.

[17]  Norman Y. Foo,et al.  Updating Knowledge Bases with Disjunctive Information , 1996, AAAI/IAAI, Vol. 1.

[18]  Johan de Kleer An Improved Incremental Algorithm for Generating Prime Implicates , 1992, AAAI.

[19]  Marianne Winslett,et al.  Immortal: A Model-Based Belief Revision System , 1991, KR.

[20]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.

[21]  Alvaro del Val Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation , 1994, KR.

[22]  Joachim Hertzberg,et al.  How to do Things with Worlds: On Formalizing Actions and Plans , 1993, J. Log. Comput..

[23]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[24]  Pierre Marquis Possible Models Approach via Independency , 1994, ECAI.

[25]  Andreas Herzig,et al.  The PMA Revisited , 1996, KR.

[26]  Gabriel M. Kuper,et al.  Updating Logical Databases , 1986, Adv. Comput. Res..

[27]  Norman Y. Foo,et al.  Towards Generalized Rule-based Updates , 1997, IJCAI.

[28]  Teow-Hin Ngair,et al.  A New Algorithm for Incremental Prime Implicate Generation , 1993, IJCAI.

[29]  Yan Zhang,et al.  On Propositional Knowledge Base Updates , 1995 .

[30]  Vladimir Lifschitz,et al.  Frames in the Space of Situations , 1990, Artif. Intell..

[31]  Fangzhen Lin Embracing causality in specifying the effects of indeterminate actions , 1996, AAAI 1996.