Skip to main content
SpringerLink
Log in

Representing Belief Revision through Default Theories

  • Conference paper
Advances in Artificial Intelligence (IBERAMIA 2000, SBIA 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1952))

  • 878 Accesses

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

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antoniou, G.: On the Dynamics of Default Reasoning. Proc. of ESCQARU 1999: pp. 1–10.

    Google Scholar 

  2. Brewka, G., Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge Univ. Press, Cambridge, 1991.

    Google Scholar 

  3. Boutilier, C.: Unifying Default Reasoning and Belief Revision in a Modal Framework.Artificial Intelligence 68(1): pp. 33–85 (1994).

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

  5. del Val, A.: On the Relation between the Coherence and Foundations Theories of Belief Revision. Proc. of AAAI, Vol. 2 1994: pp. 909–914.

    Google Scholar 

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

    Article  Google Scholar 

  7. Gärdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA, The MIT Press, Bradford Books, 1988.

    Google Scholar 

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

    Google Scholar 

  9. Grove, A., Two Modellings for Theory Change, J. of Phil. Logic 17 (1988) pp.157–170.

    Article  MathSciNet  Google Scholar 

  10. Katsuno, H. and Mendelzon, A.O., Propostional Knowledge Base Revision and Minimal Change, Artif. Intell. 52 (1991), pp. 263–294.

    Article  Google Scholar 

  11. Lukaszewicz, W., Two Results on Default Logic, Proc. IJCAI-85, L. A., pp.459–461.

    Google Scholar 

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

    MathSciNet  Google Scholar 

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

    Google Scholar 

  14. Poole, D., Mackworth, A. and Goebe, R., Computational Intelligence: A Logica Approach-Oxford University Press-1998.

    Google Scholar 

  15. Reiter, R., A Logic for Default Reasoning, Artif. Intell. 13 (1980) pp. 81–132.

    Google Scholar 

  16. Schaub, T.H., Considerations on Default Logic, Ph.D. Thesis, 1992.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  19. Williams, M., Antoniou, G.: A Strategy for Revising Default Theory Extensions. Proc. of KR 1998: pp. 24–35.

    Google Scholar 

  20. Zowghi, D., Ghose, A., Peppas, P.: A Framework for Reasoning about Requirements Evolution. Proc. of PRICAI 1996: pp. 157–168.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. de Ciência da ComputaçÃo, Instituto de Matemática, Universidade Federal do Rio deJaneiro, Caixa Postal, 68530, 21945-970, Rio de Janeiro, Brazil

    João C. P. da Silva & Sheila R. M. Veloso

  2. Programa de Engenharia de Sistemas e Computação — COPPE, Universidade Federal doRio de Janeiro, Caixa Postal, 68511, 21945-970, Rio de Janeiro, Brazil

    Sheila R. M. Veloso

Authors
  1. João C. P. da Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sheila R. M. Veloso
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Statistics Computational Intelligence Laboratory, University of São Paulo, Avenida Trabalhador Sãocarlense 400, 13566-590, São Carlos, Brazil

    Maria Carolina Monard

  2. Computer Engineering Department Intelligent Techniques Laboratory, University of São Paulo, Av. Prof. Luciano Gualberto, 158, tv. 3, 05508-900, São Paulo, Brazil

    Jaime Simão Sichman

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation