Skip Navigation



Journal of Logic and Computation Advance Access published online on February 15, 2008
Journal of Logic and Computation, doi:10.1093/logcom/exm093
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by FermÉ, E.
Right arrow Articles by Reis, M.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2008. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original papers

An Axiomatic Characterization of Ensconcement-Based Contraction

Eduardo FermÉ

Departamento de Matemática e Engenharias - Universidade da Madeira Campus Universitário da Penteada, 9000-390 Funchal Portugal.
E-mail: ferme{at}uma.pt

MartÍn Krevneris

Gestion-Digital, Buenos Aires, Argentina.
E-mail: mkrev{at}gestion-digital.com.ar

MaurÍcio Reis

Departamento de Matemática e Engenharias - Universidade da Madeira Campus Universitário da Penteada, 9000-390 Funchal Portugal.
E-mail: m_reis{at}uma.pt

Received 1 December 2007.

In this article, we propose an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed by Williams. We relate this function with other kinds of base contraction functions.

Keywords: Logic of Theory Change; Belief Bases; Base Contraction; Ensconcement



References

  1. Alchourrón C, Gärdenfors P, Makinson D. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic (1985) 50:510-a–530.[CrossRef][ISI]
  2. Alchourrón C, Makinson D. Hierarchies of regulations and their logic. In: New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics—Hilpinen R, ed. (1981) D. Reidel Publishing Company. 125–148.
  3. Alchourrón C, Makinson D. On the logic of theory change: Contraction functions and their associated revision functions. Theoria (1982) 48:14–37.[CrossRef][ISI]
  4. Alchourrón C, Makinson D. On the logic of theory change: Safe contraction. Studia Logica (1985) 44:405–422.[CrossRef]
  5. Belnap N. Rescher's hypothetical reasoning: an amendment. In: The philosophy of Nicholas Rescher:Discussion and Replies—Sosa E, ed. (1979) 19–28. D. Reidel, Dordrecht.
  6. Dalal M. Investigations into a theory of knowledge base revision: Preliminary report. In: Seventh National Conference on Artificial Intelligence, (AAAI-88) (1988) St. Paul. 475–479.
  7. Dubois D, Prade H. Belief change and possibilistic logic. In: Belief Revision—Gärdenfors P, ed. (1992) Cambridge University Press. 142–182. number 29 in Cambridge Tracts in Theoretical Computer Science.
  8. Fermé E. Actualización de bases de conocimiento usando teorías de cambio de creencia. Iberamia (1992) 92:419–436.
  9. Fermé E. Five faces of recovery. In: Frontiers in Belief Revision—Williams M-A, Rott H, eds. (2001) Dordrecht, The Netherlands: Applied Logic Series. Kluwer Academic Publishers. 247–259.
  10. Falappa M, Fermé E, Kern-Isberner G. On the logic of theory change: relations between incision and selection functions. In: Proceedings 17th European Conference on Artificial Intelligence, ECAI06—Brewka G, Coradeschi S, Perini A, Traverso P, eds. (2006) Netherlands: IOS Press. 402–406.
  11. Fuhrmann A, Hansson S.O. A survey of multiple contraction. Journal of Logic, Language and Information (1994) 3:39–74.[CrossRef]
  12. Fermé E, Rodríguez R. A brief note about the Rott contraction. Logic Journal of the IGPL (1998) 6:835–842.[CrossRef]
  13. Fermé E, Rodríguez R. Semi-contraction: Axioms and construction. Notre Dame Journal of Formal Logic (1998) 39:332–345.[CrossRef]
  14. Fermé E, Rott H. Revision by comparison. Artificial Intelligence (2004) 157:5–47.[CrossRef][ISI]
  15. Fuhrmann A. Theory contraction through base contraction. Journal of Philosophical Logic (1991) 20:175–203.[ISI]
  16. Gärdenfors P. Rules for rational changes of belief. In: Philosophical Essays dedicated to Lennart Aqvist on his fiftieth birthday—Pauli T, ed. (1982) 88–101.
  17. Gärdenfors P. Knowledge in Flux: Modeling the Dynamics of Epistemic States (1988) Cambridge: The MIT Press.
  18. Gärdenfors P, Makinson D. Revisions of knowledge systems using epistemic entrench ment. In: Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge—Vardi MY, ed. (1988) Los Altos: Morgan Kaufmann. 83–95.
  19. Grove A. Two modellings for theory change. Journal of Philosophical Logic (1988) 17:157–170.[ISI]
  20. Hansson SO. Belief Base Dynamics. In: PhD thesis (1991) Uppsala University.
  21. Hansson SO. A dyadic representation of belief. In: Belief Revision—Gärdenfors P, ed. (1992) Cambridge University Press. 89–121. number 29 in Cambridge Tracts in Theoretical Computer Science.
  22. Hansson SO. In defense of base contraction. Synthese (1992) 91:239–245.[CrossRef][ISI]
  23. Hansson SO. Kernel contraction. Journal of Symbolic Logic (1994) 59:845–859.[CrossRef][ISI]
  24. Hansson SO. Taking belief bases seriously. In: Logic and Philosophy of Science in Uppsala—Prawitz, Westerståhl, eds. (1994) Dordrecht: Kluwer Academic Publishers. 13–28.
  25. Hansson SO. A survey of non-prioritized belief revision. Erkenntnis (1999) 50:413–427.[CrossRef]
  26. Hansson SO. A Textbook of Belief Dynamics. Theory Change and Database Updating. (1999) Dordrecht: Applied Logic Series. Kluwer Academic Publishers.
  27. Hansson SO, Wassermann Renata. Local change. Studia Logica (2002) 70:49–76.[CrossRef]
  28. Nebel B. A knowledge level analysis of belief revision. In: Proceedings of the 1st International Conference of Principles of Knowledge Representation and Reasoning (1989) San Francisco, CA, USA: Morgan Kaufmann Publishers Inc. 301–311.
  29. Dubois D, Prade H. How hard is it to revise a belief base? In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 3: Belief Change (1998) Dordrecht: Kluwer Academic Publishers. 77–145.
  30. Rott H. Two methods of constructing contractions and revisions of knowledge systems. Journal of Philosophical Logic (1991) 20:149–173.[ISI]
  31. Buss S, Hajek P, Pudlak P. "Just because". Taking belief bases seriously. Logic Colloquium '98 - Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Lecture Notes in Logic (2000) vol. 13. Prague, Association for Symbolic Logic.
  32. Rott H, Pagnucco M. Severe withdrawal (and recovery). Journal of Philosophical Logic (1999) 28:501–547.[CrossRef][ISI]
  33. Spohn W. Ordinal conditional functions: A dynamic theory of epistemic states. Causation in Decision, Belief Change and Statistics—Harper W, Skyrms B, eds. (1987) vol. 2. Dordrecht: D. Reidel. 105–134.
  34. Wassermann R. Resource Bounded Belief Revision. In: PhD thesis (2000) University of Amsterdam.
  35. Williams M-A. Two operators for theory bases. In: Proceedings Australian Joint Artificial Intelligence Conference (1992) Tasmania: World Scientific, Hobart. 259–265.
  36. Williams M-A. On the logic of theory base change. In: Logics in Artificial Intelligence—MacNish C, Pearce D, Pereira LM, eds. (1994) Springer-Verlag: London, UK. 86–105. number 838 in Lecture Notes Series in Computer Science.
  37. Williams M-A. Transmutations of knowledge systems. In: Proceedings of the fourth International Conference on Principles of Knowledge Representation and Reasoning—Doyle J, Sandewall E, Torasso P, eds. (1994) May. Germany: Morgan Kaufmann, Bonn. 619–629.
  38. Williams M-A. Iterated theory base change: A computational model. In: Proceedings of the 14th IJCAI (1995) San Francisco: Morgan Kaufmann Publishers. 1541–1547.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by FermÉ, E.
Right arrow Articles by Reis, M.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?