Skip to main content
SpringerLink
Log in
Book cover

Reasoning Robots pp 211–242Cite as

Indirect Effects: Ramification Problem*

  • Chapter

  • 1075 Accesses

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

Keywords

  • Water Level
  • Steam Boiler
  • Causal Relationship
  • Transitive Closure
  • Successor State

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.

9.4 Bibliographical Notes

  1. Gerhard Brewka and Joachim Hertzberg. How to do things with worlds: On formalizing actions and plans. Journal of Logic and Computation, 3(5):517–532, 1993.

    Google Scholar 

  2. [Denecker et al., 1998]_Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem. An inductive definition approach to ramifications. Electronic Transactions on Artificial Intelligence, 2(1–2):25–67, 1998.

    Google Scholar 

  3. Joseph J. Finger. Exploiting Constraints in Design Synthesis. PhD thesis, Stanford University, CA, 1987.

    Google Scholar 

  4. Hector Geffner. Causal theories for nonmonotonic reasoning. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 524–530, Boston, MA, 1990.

    Google Scholar 

  5. [Giunchiglia et al., 1997]_Enrico Giunchiglia, G. Neelakantan Kartha, and Vladimir Lifschitz. Representing action: Indeterminacy and ramifications. Artificial Intelligence, 95:409–443, 1997.

    CrossRef  Google Scholar 

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

    Google Scholar 

  7. Joakim Gustafsson and Patrick Doherty. Embracing occlusion in specifying the indirect effects of actions. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 87–98, Cambridge, MA, November 1996. Morgan Kaufmann.

    Google Scholar 

  8. Antonis Kakas and Rob Miller. Reasoning about actions, narratives, and ramifications. Electronic Transactions on Artificial Intelligence, 1(4):39–72, 1997.

    Google Scholar 

  9. G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 341–350, Bonn, Germany, May 1994. Morgan Kaufmann.

    Google Scholar 

  10. Vladimir Lifschitz. Frames in the space of situations. Artificial Intelligence, 46:365–376, 1990.

    CrossRef  Google Scholar 

  11. Fangzhen Lin. Embracing causality in specifying the indirect effects of actions. In C. S. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1985–1991, Montreal, Canada, August 1995. Morgan Kaufmann.

    Google Scholar 

  12. Witold Łukaszewicz and Ewa Madalińska-Bugaj. Reasoning about action and change using Dijkstra’s semantics for programming languages: Preliminary report. In C. S. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1950–1955, Montreal, Canada, August 1995. Morgan Kaufmann.

    Google Scholar 

  13. Norman McCain and Hudson Turner. A causal theory of ramifications and qalifications. In C. S. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1978–1984, Montreal, Canada, August 1995. Morgan Kaufmann.

    Google Scholar 

  14. Sheila McIlraith. An axiomatic solution to the ramification problem (sometimes). Artificial Intelligence, 116(1–2):87–121, 2000.

    Google Scholar 

  15. Judea Pearl. A probabilistic calculus of actions. In R. Lopez de Mantaras and D. Poole, editors, Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI), pages 454–462, San Mateo, CA, 1994. Morgan Kaufmann.

    Google Scholar 

  16. [Peppas et al., 1999]_Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, and Abhaya Nayak. Preferential semantics for causal systems. In T. Dean, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 118–123. Morgan Kaufmann, Stockholm, Sweden, 1999.

    Google Scholar 

  17. [Prokopenko et al., 1999]_Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, and Abhaya Nayak. Causal propagation semantics—a study. In N. Foo, editor, Proceedings of the Australian Joint Conference on Artificial Intelligence, volume 1747 of LNAI, pages 378–392, Sydney, Australia, December 1999. Springer.

    Google Scholar 

  18. [Prokopenko et al., 2000]_Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, and Abhaya Nayak. A unifying semantics for causal propagation. In Proceedings of the Pacific Rim International Conference on Artificial Intelligence, pages 38–48, Melbourne, Australia, August 2000.

    Google Scholar 

  19. Erik Sandewall. Reasoning about actions and change with ramification. In van Leeuwen, editor, Computer Science Today, volume 1000 of LNCS, pages 486–504. Springer, 1995.

    Google Scholar 

  20. Erik Sandewall. Systematic comparison of approaches to ramification using restricted minimization of change. Technical Report LiTH-IDA-R-95-15, Department of Computer Science, Linköping University, Sweden, 1995.

    Google Scholar 

  21. Erik Sandewall. Assessments of ramification methods that use static domain constraints. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 99–110, Cambridge, MA, November 1996. Morgan Kaufmann.

    Google Scholar 

  22. Murray Shanahan. The ramification problem in the event calculus. In T. Dean, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 140–146, Stockholm, Sweden, 1999. Morgan Kaufmann.

    Google Scholar 

  23. Michael Thielscher. Ramification and causality. Artificial Intelligence, 89(1–2):317–364, 1997.

    Google Scholar 

  24. Richard Watson. An application of action theory to the space shuttle. In G. Gupta, editor, Proceedings of the Workshop on Practical Aspects of Declarative Languages, volume 1551 of LNCS, pages 290–304. Springer, 1998.

    Google Scholar 

Download references

Rights and permissions

Reprints and Permissions

Copyright information

© 2005 Springer

About this chapter

Cite this chapter

(2005). Indirect Effects: Ramification Problem*. In: Reasoning Robots. Applied Logic Series, vol 33. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3069-X_9

Download citation

Publish with us

Policies and ethics

search

Navigation