Skip to main content

Ramification in the Normative Method of Causality

  • Conference paper
  • First Online:
  • 731 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2143))

Abstract

We present a method to tackle indirect effects in the context of reasoning about actions. The framework is based on the normative theory of causality. The method we propose, is close to Thielscher’s method. To represent ramifications, we use directed relations between two single effects called indirect effects relationships, stating under which conditions the occurrence of the second effect follows the occurrence of the first. Our relationships represent both instantaneous and delayed indirect effects.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. A. Castilho, O. Gasquet, A. Herzig. Formalizing action and change in modal logic I:the frame problem. In Journal of Logic and Computation, 9(5): 701–735, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  2. L. Giordano, A. Martelli and C. Schwind. Ramification and Causality in a Modal Action Logic. Journal of Logic and Computation, 2000.

    Google Scholar 

  3. A. Kakas and R. Miller. Reasoning about actions, narratives and ramification. Electronic Transactions on Artificial Intelligence, vol 1: 39–72, 1997. (http://www.ep.liu.se/ej/etai/1997/003/).

    MathSciNet  Google Scholar 

  4. L. Karlsson, J. Gustafsson and P. Doherty. Delayed effects of actions. In proceedings of ECAI’98, 1998.

    Google Scholar 

  5. D. Kayser and A. Mokhtari. Time in a causal theory. Annals of Mathematics and Artificial Intelligence 22, pages 117–138, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  6. F. Lin. Embracing causality in specifying the indirect effects of actions. In Proc. of IJCAI’95, 1995.

    Google Scholar 

  7. N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proc. of IJCAI’95, 1995.

    Google Scholar 

  8. S. McIlraith. A closed-form solution to the ramification problem (sometimes). Artificial Intelligence, 116:87–121, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  9. A. Mokhtari. Action-based causal reasoning. Applied Intelligence, 7(2):99–112, 1997.

    Article  Google Scholar 

  10. M. Shanahan. The ramification problem in the event calculus. In proc. of IJCAI’99, 1999.

    Google Scholar 

  11. E. Ternovskaia. Causality via Inductive Definitions. Working Notes of “Prospects for a Commonsense Theory of Causation”, AAAI Spring Symposium Series: 94–100, 1998.

    Google Scholar 

  12. M. Thielscher. Ramification and causality. Artificial Intelligence, 89:317–364, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  13. M. Thielscher. Steady versus stabilizing state constraints. Formalizing Common Sense (FCS’98), 1998.

    Google Scholar 

  14. K. Van Belleghem, M. Denecker and D. Theseider Dupré. Representing ramifications in an event-based language. Technical report, Leuven University, dec 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khelfallah, M., Mokhtari, A. (2001). Ramification in the Normative Method of Causality. In: Benferhat, S., Besnard, P. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2001. Lecture Notes in Computer Science(), vol 2143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44652-4_62

Download citation

  • DOI: https://doi.org/10.1007/3-540-44652-4_62

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42464-2

  • Online ISBN: 978-3-540-44652-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics