Logics for Belief Base Updating

A database is a device to store and retrieve information. In the terminology of Levesque [Levesque, 1984], a database comes equipped with a querying function ASK and an update function TELL. The query ASK (light-on) means that the database is asked whether it follows from the data contained in it that the light in question is on. The answer is basically ‘yes’ or ‘no’. (There might be more cooperative answers such as a variable substitution a la PROLOG.) In the simplest case light-on ollows from the database just if light-on explicitly appears in it, but in the case of more expressive systems such as logical databases the answering mechanism resorts to deduction.

[1]  J. van Benthem,et al.  Temporal logic , 1995 .

[2]  Arthur M. Keller,et al.  On the Use of an Extended Relational Model to Handle Changing Incomplete Information , 1985, IEEE Transactions on Software Engineering.

[3]  Craig Boutilier.  Conditional Logics of Normality as Modal Systems , 1990, AAAI.

[4]  Marcus Kracht,et al.  Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

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

[6]  Andreas Herzig,et al.  An automated modal logic for elementary changes , 1988 .

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

[8]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[9]  Philippe Lamarre,et al.  S4 as the Conditional Logic of Nonmonotonicity , 1991, KR.

[10]  Alvaro del Val.  Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches , 1997, J. Appl. Non Class. Logics.

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

[12]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[13]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[14]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[15]  E. Sosa.  Causation and conditionals , 1975 .

[16]  Gösta Grahne,et al.  Updates and Counterfactuals , 1998, J. Log. Comput..

[17]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[18]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[19]  Johan van Benthem,et al.  Time, logic and computation , 1988, REX Workshop.

[20]  Luis Fariñas del Cerro,et al.  A Conditional Logic for Updating in the Possible Models Approach , 1994, KI.

[21]  Yoav Shoham,et al.  A Unified View of Belief Revision and Update , 1994, J. Log. Comput..

[22]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[23]  Wolfgang Nejdl,et al.  The P-Systems: A Systematic Classification of Logics of Nonmonotonicity , 1991, AAAI.

[24]  Léa Sombé,et al.  A glance at revision and updating in knowledge bases , 1994, Int. J. Intell. Syst..

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

[26]  John P. Burgess,et al.  Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..

[27]  Pierre-Yves Schobbens,et al.  Counterfactuals and Updates as Inverse Modalities , 1996, J. Log. Lang. Inf..

[28]  Kenneth D. Forbus.  Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[29]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[30]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

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

[32]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[33]  Pierre-Yves Schobbens,et al.  Intertranslating Counterfactuals and Updates , 1996, ECAI.

[34]  Alvaro del Val.  Computing Knowledge Base Updates , 1992, KR.

[35]  L. Fariñas del Cerro,et al.  Structure, consequence relation and logic , 1994 .

[36]  Frank Wolter,et al.  A Counterexample in Tense Logic , 1996, Notre Dame J. Formal Log..

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

[38]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

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

[40]  Hirofumi Katsuno,et al.  A Unified View of Consequence Relation, Belief Revision and Conditional Logic , 1991, IJCAI.

[41]  Alberto O. Mendelzon,et al.  Updates and Subjunctive Queries , 1995, Inf. Comput..

[42]  Georg Gottlob,et al.  On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals , 1992, Artif. Intell..

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

[44]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[45]  Luis Fariñas del Cerro,et al.  All Other Things Being Equal: On a Notion of Inertia in Conditional Logic , 1997 .

[46]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[47]  Giuseppe De Giacomo.  Eliminating “converse” from converse PDL , 1996, J. Log. Lang. Inf..

[48]  David Makinson,et al.  Five faces of minimality , 1993, Stud Logica.

[49]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

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

[51]  Sven Ove Hansson.  A Test Battery for Rational Database Updating , 1996, Artif. Intell..

[52]  Hirofumi Katsuno,et al.  A Unified View of Propositional Knowledge Base Updates , 1989, IJCAI.

[53]  Brian F. Chellas.  Basic conditional logic , 1975, J. Philos. Log..

[54]  Horacio L. Arló-Costa,et al.  Maps Between Nonmonotonic and Conditional Logic , 1992, KR.

[55]  Marianne Winslett,et al.  The implementation of a model-based belief revision system , 1991, SGAR.

[56]  D. Nute.  Topics in Conditional Logic , 1980 .