Abstract
We examine the representations of epistemic states and their revision processes (RP) through default theories (DTs). Using a sphere-based semantics for DTs we characterize a RP as a sequence of consistent expansions without using contractions. We show that DTs provide an unifying framework for revision in both semantical and syntactical-based approaches as well as in coherent and foundation approaches. Motivated by Nebel’s work, we propose to extend the use of default theories in two directions: (i) using supernormal default theories to represent semantical classified revision processes; (ii) using general default theories and some variants of Reiter’s default logics to represent foundation classified revision processes. We define revision operators, which can be viewed as a revision on the epistemic states, represented by a DT T, by a sentence α. Basically, they are defined via some operations on the class of the extensions of a default theory T’ obtained from T and α.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Antoniou, G.: On the Dynamics of Default Reasoning. Proc. of ESCQARU 1999: pp. 1–10.
Brewka, G., Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge Univ. Press, Cambridge, 1991.
Boutilier, C.: Unifying Default Reasoning and Belief Revision in a Modal Framework.Artificial Intelligence 68(1): pp. 33–85 (1994).
Dalal, M., Investigations into a Theory of Knowledge Base Revision: Preliminary report, in Proc. of the 7th Nat. Conf. of the AAAI, Saint Paul, pp. 475–479, 1988.
del Val, A.: On the Relation between the Coherence and Foundations Theories of Belief Revision. Proc. of AAAI, Vol. 2 1994: pp. 909–914.
del Val, A., Belief Revision and Non-Monotonic Reasoning: Syntactic, Semantic, Foundational and Coherence Approaches, J. of Ap. Non-Classical Logics, 7(1997):213–240.
Gärdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA, The MIT Press, Bradford Books, 1988.
Ghose, A.K. and. Goebel, R.G., Belief States as Default Theories: Studies in Nonprioritized Belief Change, Proc. of the 1998 European Conf. on A. I., Brighton, U.K., August, 1998, pp.8–12.
Grove, A., Two Modellings for Theory Change, J. of Phil. Logic 17 (1988) pp.157–170.
Katsuno, H. and Mendelzon, A.O., Propostional Knowledge Base Revision and Minimal Change, Artif. Intell. 52 (1991), pp. 263–294.
Lukaszewicz, W., Two Results on Default Logic, Proc. IJCAI-85, L. A., pp.459–461.
Makinson, D. and Gärdenfors, P., Relations between the Logic of Theory Change and Nonmonotonic Logic, The Logic of Theory Change, LNAI 465 (1991) pp.185–205.
Nebel, B., Syntax based Approaches to Belief Revision, Belief Revision, Ed. P. Gärdenfors, Cambridge Tracts in Theor. Comp. Sc. 29, pp.52–88, 1992.
Poole, D., Mackworth, A. and Goebe, R., Computational Intelligence: A Logica Approach-Oxford University Press-1998.
Reiter, R., A Logic for Default Reasoning, Artif. Intell. 13 (1980) pp. 81–132.
Schaub, T.H., Considerations on Default Logic, Ph.D. Thesis, 1992.
da Silva, J.C.P. and Veloso, S.R., A Sphere World Semantics for Default Reasoning, in the Proc. of the 3rd Int’l Conf. on LPNMR-LNCS928-Springer Verlag 1995 pp. 175–188.
da Silva, J.C.P. and Veloso, S.R., A Sphere World Semantics framework for Default Reasoning, Tech. Rep.-COPPE / UFRJ-ES-322/94-November-1994.
Williams, M., Antoniou, G.: A Strategy for Revising Default Theory Extensions. Proc. of KR 1998: pp. 24–35.
Zowghi, D., Ghose, A., Peppas, P.: A Framework for Reasoning about Requirements Evolution. Proc. of PRICAI 1996: pp. 157–168.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
da Silva, J.C.P., Veloso, S.R.M. (2000). Representing Belief Revision through Default Theories. In: Monard, M.C., Sichman, J.S. (eds) Advances in Artificial Intelligence. IBERAMIA SBIA 2000 2000. Lecture Notes in Computer Science(), vol 1952. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44399-1_24
Download citation
DOI: https://doi.org/10.1007/3-540-44399-1_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41276-2
Online ISBN: 978-3-540-44399-5
eBook Packages: Springer Book Archive