Skip to main content
SpringerLink
Log in
Book cover

Reasoning Robots pp 243–272Cite as

Troubleshooting: Qualification Problem

  • Chapter

  • 1063 Accesses

Part of the Applied Logic Series book series (APLS,volume 33)

Keywords

  • Default Rule
  • Default Theory
  • Prefer Extension
  • Fault Theory
  • Exogenous Action

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   19.99
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

10.5 Bibliographical Notes

  1. J. B. Amsterdam. Temporal reasoning and narrative conventions. In J. F. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 15–21, Cambridge, MA, 1991.

    Google Scholar 

  2. Charles Elkan. On solving the qualification problem. In C. Boutilier and M. Goldszmidt, editors, Extending Theories of Actions: Formal Theory and Practical Applications, volume SS-95-07 of AAAI Spring Symposia, Stanford University, March 1995. AAAI Press.

    Google Scholar 

  3. Matthew L. Ginsberg and David E. Smith. Reasoning about action II: The qualification problem. Artificial Intelligence, 35:311–342, 1988.

    Google Scholar 

  4. [Giunchiglia et al., 2004]_Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1–2):49–104, 2004.

    Google Scholar 

  5. Antonis Kakas and Loizos Michael. On the qualification problem and elaboration tolerance. In Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposia, Stanford, CA, March 2003. AAAI Press.

    Google Scholar 

  6. Henry Kautz. The logic of persistence. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 401–405, Philadelphia, PA, August 1986.

    Google Scholar 

  7. Vladimir Lifschitz. Formal theories of action (preliminary report). In J. McDermott, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 966–972, Milan, Italy, August 1987. Morgan Kaufmann.

    Google Scholar 

  8. Fangzhen Lin and Ray Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655–678, 1994.

    Google Scholar 

  9. Yves Martin and Michael Thielscher. Addressing the qualification problem in FLUX. In F. Baader, G. Brewka, and T. Eiter, editors, Proceedings of the German Annual Conference on Artificial Intelligence (KI), volume 2174 of LNAI, pages 290–304, Vienna, Austria, September 2001. Springer.

    Google Scholar 

  10. John McCarthy. Epistemological problems of artificial intelligence. In R. Reddy, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1038–1044, Cambridge, MA, 1977. MIT Press.

    Google Scholar 

  11. John McCarthy. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13:27–39, 1980.

    Google Scholar 

  12. John McCarthy. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, 28:89–116, 1986.

    CrossRef  Google Scholar 

  13. Charles L. Ortiz, Jr. Explanatory update theory: applications of counterfactual reasoning to causation. Artificial Intelligence, 108:125–178, 1999.

    Google Scholar 

  14. Yoav Shoham. Reasoning about Change. MIT Press, 1987.

    Google Scholar 

  15. Yoav Shoham. Chronological ignorance: Experiments in nonmonotonic temporal reasoning. Artificial Intelligence, 36:279–331, 1988.

    Google Scholar 

  16. Erik Sandewall. Systematic assessment of temporal reasoning methods for use in autonomous systems. In B. Fronhöfer, editor, Workshop on Reasoning about Action & Change at IJCAI, pages 21–36, Chambéry, August 1993.

    Google Scholar 

  17. Lynn Andrea Stein and Leora Morgenstern. Motivated action theory: A formal theory of causal reasoning. Artificial Intelligence, 71:1–42, 1994.

    CrossRef  Google Scholar 

  18. Lynn Andrea Stein and Leora Morgenstern. Motivated action theory: A formal theory of causal reasoning. Artificial Intelligence, 71:1–42, 1994.

    CrossRef  Google Scholar 

  19. Murray Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, 1997.

    Google Scholar 

  20. Michael Thielscher. The qualification problem: A solution to the problem of anomalous models. Artificial Intelligence, 131(1–2):1–37, 2001.

    Google Scholar 

  21. [White et al., 1998]_Graham White, John Bell, and Wilfrid Hodges. Building models of prediction theories. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 557–568, Trento, Italy, June 1998. Morgan Kaufmann.

    Google Scholar 

Download references

Rights and permissions

Reprints and Permissions

Copyright information

© 2005 Springer

About this chapter

Cite this chapter

(2005). Troubleshooting: Qualification Problem. In: Reasoning Robots. Applied Logic Series, vol 33. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3069-X_10

Download citation

Publish with us

Policies and ethics

search

Navigation