Skip to main content

Conclusions

  • Chapter
  • First Online:
Dynamic Tractable Reasoning

Part of the book series: Synthese Library ((SYLI,volume 420))

  • 124 Accesses

Abstract

Abstract

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 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 89.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    Cf. Nebel [89], who has given a comprehensive overview of complexity results in belief revision.

References

  1. Carruthers, P. (2006). The architecture of the mind: Massive modularity and the flexibility of thought. Oxford: Oxford University Press.

    Book  Google Scholar 

  2. Cherniak, C. (1986). Minimal rationality. Cambridge, MA: MIT Press.

    Google Scholar 

  3. Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12, 231–271.

    Article  Google Scholar 

  4. Fodor, J. (2001). The mind doesn’t work that way. Cambridge, MA: MIT Press.

    Google Scholar 

  5. Johnson-Laird, P. (2006). How we reason. Oxford: Oxford University Press.

    Google Scholar 

  6. Minsky, M. A. (1975). Framework for Representing Knowledge. In P. Winston (Ed.), The psychology of computer vision (pp. 211–277). McGraw-Hill. http://web.media.mit.edu/~minsky/papers/Frames/frames.html

    Google Scholar 

  7. Nebel, B. (1998). How hard is it to revise a belief base? In D. Dubois & H. Prade (Eds.), Handbook of defeasible reasoning and uncertainty management systems. Belief change (pp. 77–145). Dordrecht: Kluwer.

    Google Scholar 

  8. Schneider, S. (2011). Language of thought: A new philosophical direction. Cambridge, MA: MIT Press.

    Book  Google Scholar 

  9. Stenning, K., & van Lambalgen, M. (2008). Human reasoning and cognitive science. Boston: MIT Press.

    Book  Google Scholar 

  10. van Benthem, J. (2008). Logic and reasoning: Do the facts matter? Studia Logica, 88, 67–84.

    Article  Google Scholar 

  11. Woods, J. (2013). Errors of reasoning: Naturalizing the logic of inference. London: College Publications.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Andreas, H. (2020). Conclusions. In: Dynamic Tractable Reasoning. Synthese Library, vol 420. Springer, Cham. https://doi.org/10.1007/978-3-030-36233-1_9

Download citation

Publish with us

Policies and ethics