Abstract
Recently there has been considerable interest in change operators for theory bases, rather than entire theories. Especially since such operators could support computer-based implementations of revision systems. However, a perceived problem associated with theory base change operators is their sensitivity to the syntax of the theory base used. Although it has been argued that this sensitivity should reflect a higher level of commitment to formulae in the theory base than formulae derivable from the theory base. In this paper we develop a logic of theory base change, using constructions based on ensconcements. We show whenever two theory bases have equivalent ensconcements, the logical closure of their theory base revisions are identical. Moreover, we give explicit relationships associating theory base revision and theory base contraction, and provide explicit relationships between theory base change and theory change operations. We claim that these relationships show that our theory base revision and theory base contraction operators exhibit desirable behaviour.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C., and Makinson, D., On the logic of theory change: Contraction functions and their associated revision functions, Theoria 48, 14–37, 1982.
Alchourrón, C., Gärdenfors, P., Makinson, D., On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision, Journal of Symbolic Logic, 50: 510–530, 1985.
Alchourrón, C.E., and Makinson, D., On the logic of theory change: Safe contraction, Studia Logica 44, 405–422, 1985.
Alchourrón, C.E., and Makinson, D., Maps between some different kinds of contraction function: The finite case, Studia Logica, 45: 187–198, 1986.
Dalal, M., Investigations into a theory of knowledge base revision: preliminary report, Proceedings of the seventh National Conference of the American Association for Artificial Intelligence, pp 475–479, 1988.
Fagin, R., Halpern, J.Y., Belief awareness and limited reasoning, Artificial Intelligence, 34: 39–76, 1988.
Fuhrmann, A., Theory contraction through base contraction, Journal of Philosophical Logic, 20: 175–203, 1991.
Gärdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, A Bradford Book, MIT Press, 1988.
Gärdenfors, P., The dynamics of belief systems: Foundations vs. coherence, Revue Internationale de Philosophie, 1989.
Gärdenfors, P. and Makinson, D., Revisions of knowledge systems using epistemic entrenchment, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge Conference, pp 83–95, Morgan Kaufmann, 1988.
Gärdenfors, P. and Makinson, D., Nonmonotonic inference based on expectations, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1991.
Gärdenfors, P. and Rott, H., Belief Revision, Chapter 4.2 in the Handbook of Logic in AI and Logic Programming, Volume IV: Epistemic and Temporal Reasoning, D. Gabbay (ed), Oxford University Press, Oxford, to appear.
Grove A., Two modellings for theory change, Journal of Philosophical Logic 17: 157–170, 1988.
Hansson, S.O., New operators for theory change, Theoria 55: 115–132, 1989.
Lakemeyer, On the relation between explicit and implicit beliefs, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp 368–375, 1991.
Makinson, D., How to give it up: A survey of some formal aspects of the logic of theory change, Synthese 62: 347–363, 1985
Makinson, D., On the status of the postulate of recovery in the logic of theory change, Journal of Philosophical Logic, 16: 383–394, 1987.
Nayak, A., Foundational belief change, Journal of Philosophical Logic, to appear.
Nebel, B., A knowledge level analysis of belief revision, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pp 301–311, Morgan Kaufmann, 1989.
Nebel, B., Belief revision and default reasoning: Syntax-based approaches, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp 301–311, Morgan Kaufmann, 1991.
Niederée, R., Multiple contraction: A further case against Gärdenfors' principle of recovery, The Logic of Theory Change, Proceedings for the Workshop at Konstanz, FRG, October 13–15, 1989, Springer-Verlag, Berlin, 1991.
Peppas, P., Belief change and reasoning about action: An axiomatic approach to modelling inert dynamic worlds and the connection to the logic of theory change, PhD Dissertation, University of Sydney, Australia, submitted 1993.
Rescher, N., Plausible reasoning: An introduction to the theory and practice of Plausibilistic Inference, Van Gorcum, Amsterdam, 1976.
Rott, H., Two methods of constructing contractions and revisions of knowledge systems, Journal of Philosophical Logic, 20: 149–173, 1991.
Rott, H., A nonmonotonic conditional logic for belief revision I, in A. Fuhrmann and M. Morreau (eds), The logic of theory change, Springer Verlag, LNAI 465, Berlin, 135–183.
Vardi, On epistemic logic and logical omniscience, Proceedings of the First Conference on Theoretical Aspects of Reasoning about Knowledge Conference, pp 293–305 Morgan Kaufmann, 1986
Williams, M.A., Transmutations for theory base Change, Information Systems Research Report, University of Newcastle, a revised and corrected version of a paper with the same title in the Proceedings of the Joint Australian Artificial Intelligence Conference, 1993.
Williams, M.A., Transmutations of knowledge systems, PhD dissertation, Department of Computer Science, University of Sydney, Australia, submitted 1993.
Williams, M.A., Transmutations of knowledge systems, in J. Doyle, E. Sandewall, and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, Morgan Kaufmann, San Mateo, CA, 1994 (to appear).
Williams, M.A., Explanation and theory base transmutations, in the Proceedings of the European Conference on Artificial Intelligence, 1994 (to appear).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Williams, MA. (1994). On the logic of theory base change. In: MacNish, C., Pearce, D., Pereira, L.M. (eds) Logics in Artificial Intelligence. JELIA 1994. Lecture Notes in Computer Science, vol 838. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021966
Download citation
DOI: https://doi.org/10.1007/BFb0021966
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58332-5
Online ISBN: 978-3-540-48657-2
eBook Packages: Springer Book Archive