Local Change

An agent can usually hold a very large number of beliefs. However, only a small part of these beliefs is used at a time. Efficient operations for belief change should affect the beliefs of the agent locally, that is, the changes should be performed only in the relevant part of the belief state. In this paper we define a local consequence operator that only considers the relevant part of a belief base. This operator is used to define local versions of the operations for belief change. Representation theorems are given for the local operators.

[1]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

[2]  Reinhard Kahle,et al.  Structured belief bases , 2004 .

[3]  S. Hansson.  A Survey of non-Prioritized Belief Revision , 1999 .

[4]  Luis Fariñas del Cerro,et al.  Belief Change and Dependence , 1996, TARK.

[5]  Neil Tennant,et al.  Perfect validity, entailment and paraconsistency , 1984 .

[6]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .

[7]  Didier Dubois,et al.  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[8]  John K. Slaney,et al.  Realistic Belief Revision , 1995, WOCFAI.

[9]  Bernhard Nebel,et al.  How Hard is it to Revise a Belief Base , 1996 .

[10]  S. Hansson.  Belief base dynamics , 1991 .

[11]  Lorenzo Peña y Gonzalo.  Paraconsistent logic: essays on the inconsistent , 1990 .

[12]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[13]  Erik J Olsson.  Coherence and the Modularity of Mind , 1997 .

[14]  S. Jaskowski.  Propositional calculus for contradictory deductive systems , 1969 .

[15]  J. Michael Dunn,et al.  Relevance Logic and Entailment , 1986 .

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

[17]  Pierre Marquis,et al.  Complexity Results for Independence and Definability in Propositional Logic , 1998, KR.

[18]  Erik J Olsson.  Coherence : Studies in epistemology and belief revision , 1997 .

[19]  S. Hansson.  In defense of base contraction , 1992, Synthese.

[20]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[21]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[22]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

[23]  Sten Lindström,et al.  A semantic approach to nonmonotonic reasoning: Inference operations and choice , 2022, Theoria.

[24]  SVEN OVE HANSSON,et al.  Reversing the Levi identity , 1993, J. Philos. Log..