Skip to main content
Log in

Local Change

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • Alchourrón, C., and D. Makinson: 1982, 'On The Logic of Theory Change: contraction functions and their associated revision functions'. Theoria 48, 14-37.

    Google Scholar 

  • Benferhat, S., D. Dubois, and H. Prade: 1997, 'Some syntactic approaches to the handling of inconsistent knowledge bases'. Studia Logica 58, 17-45.

    Google Scholar 

  • 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.

    Google Scholar 

  • Fuhrmann, A.: 1991, 'Theory Contraction Through Base Contraction'. Journal of Philosophical Logic 20, 175-203.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hansson, S. O.: 1992b, 'Reversing the Levi Identity'. Journal of Philosophical Logic 22, 637-639.

    Google Scholar 

  • Hansson, S. O.: 1994, 'Kernel Contraction'. Journal of Symbolic Logic 59, 845-859.

    Google Scholar 

  • Hansson, S. O.: 1997a, 'Semi-revision'. J. of Applied Non-Classical Logic 7(1–2), 151-175.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1014654208944

Navigation