Abstract
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.
Similar content being viewed by others
References
Alchourrón, C., P. Gärdenfors, and D. Makinson: 1985, 'On The Logic of Theory Change'. Journal of Symbolic Logic 50(2), 510-530.
Alchourrón, C., and D. Makinson: 1982, 'On The Logic of Theory Change: contraction functions and their associated revision functions'. Theoria 48, 14-37.
Benferhat, S., D. Dubois, and H. Prade: 1997, 'Some syntactic approaches to the handling of inconsistent knowledge bases'. Studia Logica 58, 17-45.
del Cerro, L. F., and A. Herzig: 1996, 'Belief Change and Dependence'. In: Y. Shoham (ed.): Proceedings of TARK 96.
Dunn, M.: 1986, 'Relevance Logic and Entailment'. In: F. Guenthner and D. Gabbay (eds.): Handbook of Philosophical Logic, Vol. 3. D. Reidel, pp. 117-224.
Fagin, R., and J. Halpern: 1988, 'Belief, Awareness, and Limited Reasoning'. Artificial Intelligence 34, 39-76.
Fuhrmann, A.: 1991, 'Theory Contraction Through Base Contraction'. Journal of Philosophical Logic 20, 175-203.
Fuhrmann, A.: 1997, An Esay on Contraction. CSLI Publications and Folli.
Gabbay, D.: 1985, 'Theoretical Foundations for Non-monotonic Reasoning in Expert Systems'. In: K. Apt (ed.): Logics and Models of Concurrent Systems. pp. 439-459.
Gabbay, D.: 1996, Labelled Deductive Systems (vol.1). Oxford University Press.
Hansson, S. O.: 1989, 'New Operators for Theory Change'. Theoria 55, 114-132.
Hansson, S. O.: 1991, 'Belief Base Dynamics'. Ph.D. thesis, Uppsala University.
Hansson, S. O.: 1992a, 'In Defense of Base Contraction'. Synthese 91, 239-245.
Hansson, S. O.: 1992b, 'Reversing the Levi Identity'. Journal of Philosophical Logic 22, 637-639.
Hansson, S. O.: 1994, 'Kernel Contraction'. Journal of Symbolic Logic 59, 845-859.
Hansson, S. O.: 1997a, 'Semi-revision'. J. of Applied Non-Classical Logic 7(1–2), 151-175.
Hansson, S. O. (ed.): 1997b, 'Theoria — special issue on non-prioritized belief revision', Vol. 63.
Hansson, S. O.: 1999a, 'A Survey of Non-Prioritized Belief Revision'. Erkenntnis 50(2/3), 413-427.
Hansson, S. O.: 1999b, A Textbook of Belief Dynamics. Kluwer Academic Press.
Hansson, S. O., E. Fermé, J. Cantwell, and M. Falappa: 2001, 'Credibilit-Limited Revision'. Journal of Symbolic Logic (to appear).
Jaśkowski, S.: 1969, 'Propositional Calculus for Contradictory Deductive Systems'. Studia Logica 24, 143-157.
Lang, J., and P. Marquis: 1998, 'Complexity results for independence and definability in propositional logic'. In: A. G. Cohn, L. Schubert, and S. Shapiro (eds.): Proceedings of KR'98. pp. 356-367.
Lewis, D.: 1982, 'Logic for Equivocators'. Noûs 16, 431-441.
Lindström, S.: 1991, 'A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice'. (Unpublished Manuscript).
Lugardon, V.: 1996, 'Sur le Fondaments de la Notion de Dépendance et de son Application a la Theorie de l'Action'. Ph.D. thesis, Université Paul Sabatier de Toulouse.
Makinson, D.: 1989, 'General Theory of Cumulative Inference'. In: M. Reinfrank, J. de Kleer, M. L. Ginsberg, and E. Sandewall (eds.): Proceedings of the Second International Workshop on Non-Monotonic Reasoning. Springer-Verlag.
Makinson, D.: 1997, 'Screened Revision'. Theoria 63, 14-23.
Nebel, B.: 1992, 'Syntax Based Approaches to Belief Revision'. In: P. Gärdenfors (ed.): Belief Revision. Cambridge University Press.
Nebel, B.: 1996, 'How Hard is it to Revise a Belief Base?'. Technical Report Report 83, Albert-Ludwigs-Universität Freiburg — Institut für Informatik.
Olsson, E. J.: 1997a, 'Coherence — Studies in Epistemology and Belief Revision'. Ph.D. thesis, Department of Philosophy, Uppsala University.
Olsson, E. J.: 1997b, 'Coherence and the Modularity of Mind'. Australasian Journal of Philosophy.
Parikh, R.: 1999, 'Beliefs, belief revision, and splitting languages'. In: L. Moss, J. Ginzburg, and M. de Rijke (eds.): Logic, Language, and Computation, Volume 2, CSLI Lecture Notes No. 96. CSLI Publications, pp. 266-268.
Priest, G., R. Routley, and J. Norman (eds.): 1989, Paraconsistent logic: essays on the inconsistent. Philosophia.
Restall, G., and J. Slaney: 1995, 'Realistic Belief Revision'. Technical Report TR-ARP-2-95, Automatic Reasoning Project, Australian National University.
Smiley, T. J.: 1959, 'Entailment and Deducibility'. Proceedings of the Aristotelian Society pp. 233-254.
Tennant, N.: 1984, 'Perfect Validity, Entailment and Paraconsistency'. Studia Logica 43, 181-200.
Wassermann, R.: 2001, 'On Structured Belief Bases'. In: H. Rott and M.-A. Williams (eds.): Frontiers in Belief Revision. Kluwer.
Winslett, M.: 1990, Updating Logic Databases, No. 9 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hansson, S.O., Wassermann, R. Local Change. Studia Logica 70, 49–76 (2002). https://doi.org/10.1023/A:1014654208944
Issue Date:
DOI: https://doi.org/10.1023/A:1014654208944