Skip to main content

Dynamics of Defeasible and Tentative Inference

  • Conference paper
Logic, Language, and Computation (TbiLLC 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7758))

Included in the following conference series:

  • 721 Accesses

Abstract

Standard refinements of epistemic and doxastic logics that avoid the problems of logical and deductive omniscience cannot easily be generalised to default reasoning. This is even more so when defeasible reasoning is understood as tentative reasoning; an understanding that is inspired by the dynamic proofs of adaptive logic. In the present paper we extend the abnormality (preference) models for adaptive consequence with a set of open worlds to account for this type of inferential dynamics. In doing so, we argue that unlike for mere deductive reasoning, tentative inference cannot be modelled without such open worlds.

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

Access this chapter

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 49.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. Allo, P.: The many faces of closure and introspection. Journal of Philosophical Logic, 1–34 (2011)

    Google Scholar 

  2. Allo, P.: Adaptive logic as a modal logic. Studia Logica (forthcoming)

    Google Scholar 

  3. Baltag, A., Smets, S.: A Qualitative Theory of Dynamic Interactive Belief Revision, pp. 11–58. Amsterdam University Press, Amsterdam (2008)

    Google Scholar 

  4. Batens, D.: Blocks. the clue to dynamic aspects of logic. Logique & Analyse 38(150-152), 285–328 (1995)

    MathSciNet  MATH  Google Scholar 

  5. Batens, D.: A universal logic approach to adaptive logics. Logica Universalis 1(1), 221–242 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  6. D’Agostino, M.: Tableau Methods for Classical Propositional Logic, pp. 45–123. Kluwer Academic Publishers, Dordrecht (1999)

    Google Scholar 

  7. Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34, 39–76 (1988)

    Article  MathSciNet  Google Scholar 

  8. Konolige, K.: A deductive model of belief, pp. 377–381. Morgan Kaufmann Publishers Inc., Karlsruhe (1983)

    Google Scholar 

  9. Levesque, H.J.: A logic of implicit and explicit belief. In: National Conference on Artificial Intelligence, Houston, Texas, pp. 198–202 (1984)

    Google Scholar 

  10. Priest, G.: Towards Non-Being. The logic and metaphysics of intentionality. Oxford University Press, Oxford (2005)

    Book  Google Scholar 

  11. Reiter, R.: A logic for default reasoning. Artificial Intelligence 13(1-2), 81–132 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  12. Smullyan, R.M.: First-Order Logic. Dover Publications, New York (1995)

    Google Scholar 

  13. van Benthem, J., Girard, P., Roy, O.: Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic 38(1), 83–125 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  14. Velzquez-Quesada, F.R.V.: Small steps in dynamics of information. PhD thesis (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Allo, P. (2013). Dynamics of Defeasible and Tentative Inference. In: Bezhanishvili, G., Löbner, S., Marra, V., Richter, F. (eds) Logic, Language, and Computation. TbiLLC 2011. Lecture Notes in Computer Science, vol 7758. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36976-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36976-6_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36975-9

  • Online ISBN: 978-3-642-36976-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics