Skip to main content
SpringerLink
Log in

Action Languages Based Actual Causality in Decision Making Contexts

  • Conference paper
  • First Online:
PRIMA 2022: Principles and Practice of Multi-Agent Systems (PRIMA 2022)

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

Abstract

Rationally understanding the evolution of the physical world is inherently linked with the idea of causality. It follows that agents based on automated planning have inevitably to deal with causality, especially when considering imputability. However, the many debates around causation in the last decades have shown how complex this notion is and thus, how difficult it is to integrate it with planning. This paper’s contribution is to link up two research topics—automated planning and causality—by proposing an actual causation definition suitable for action languages. This definition is a formalisation of Wright’s NESS test of causation.

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

Access this chapter

Log in via an institution
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 EPUB and 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

Institutional subscriptions

Similar content being viewed by others

References

  1. Abarca, A.I.R., Broersen, J.M.: A stit logic of responsibility. In: 21st International Conference on Autonomous Agents and Multiagent Systems, pp. 1717–1719. International Foundation for Autonomous Agents and Multiagent Systems, Auckland, New Zealand (2022)

    Google Scholar 

  2. Andreas, H., Guenther, M.: Regularity and inferential theories of causation. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2021 edn. (2021)

    Google Scholar 

  3. Baral, C., Gelfond, M.: Reasoning about effects of concurrent actions. J. Log. Program. 31(1–3), 85–117 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  4. Batusov, V., Soutchanski, M.: Situation calculus semantics for actual causality. In: McIlraith, S.A., Weinberger, K.Q. (eds.) Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), pp. 1744–1752. AAAI Press, New Orleans, Louisiana, USA (2018)

    Google Scholar 

  5. Baumgartner, M.: A regularity theoretic approach to actual causation. Erkenntnis 78(1), 85–109 (2013). Dec

    Article  MathSciNet  MATH  Google Scholar 

  6. Beckers, S.: The counterfactual NESS definition of causation. Proc. AAAI Conf. Artif. Intell. 35(7), 6210–6217 (2021). May

    Google Scholar 

  7. Beckers, S., Vennekens, J.: A principled approach to defining actual causation. Synth. 195(2), 835–862 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  8. Berreby, F., Bourgne, G., Ganascia, J.G.: Event-based and scenario-based causality for computational ethics. In: 17th International Conference on Autonomous Agents and Multiagent Systems, pp. 147–155. International Foundation for Autonomous Agents and Multiagent Systems, Stockholm, Sweden (2018)

    Google Scholar 

  9. Bochman, A.: Actual causality in a logical setting. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13–19, 2018, pp. 1730–1736. Stockholm, Sweden (2018)

    Google Scholar 

  10. Bochman, A.: On laws and counterfactuals in causal reasoning. In: Thielscher, M., Toni, F., Wolter, F. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, pp. 494–503. AAAI Press, Tempe, Arizona (2018)

    Google Scholar 

  11. Bourgne, G., Sarmiento, C., Ganascia, J.G.: ACE modular framework for computational ethics: dealing with multiple actions, concurrency and omission. In: 1st International Workshop on Computational Machine Ethics. CEUR-WS.org (2021)

    Google Scholar 

  12. Fox, M., Long, D.: Modelling mixed discrete-continuous domains for planning. J. Artif. Intell. Res. 27, 235–297 (2006). Oct

    Article  MATH  Google Scholar 

  13. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. J. Log. Program. 17(2-4), 301–321 (1993)

    Google Scholar 

  14. Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2, 193–210 (1998)

    MathSciNet  Google Scholar 

  15. Ghallab, M., et al.: PDDL - The planning domain definition language. Tech. Rep. CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control (1998)

    Google Scholar 

  16. Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: preliminary report. In: Mostow, J., Rich, C. (eds.) Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26–30, 1998, Madison, Wisconsin, USA, pp. 623–630. AAAI Press / The MIT Press (1998)

    Google Scholar 

  17. Hall, N., Paul, L.A.: Causation and Pre-emption. In: Clark, P., Hawley, K. (eds.) Philosophy of Science Today. Oxford University Press, Oxford, New York, May 2003

    Google Scholar 

  18. Halpern, J.Y.: Actual Causality. The MIT Press (2016)

    Google Scholar 

  19. Halpern, J.Y.: Actual causality: a survey: Joseph Halpern, 26:38–27:21 (2018). https://www.youtube.com/watch?v=hXnCX2pJ0sg

  20. Haslum, P., Lipovetzky, N., Magazzeni, D., Muise, C.: An introduction to the planning domain definition language. No. 42 in Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers. 13(2), 1–187 (Apr 2019)

    Google Scholar 

  21. Hopkins, M., Pearl, J.: Causality and counterfactuals in the situation calculus. J. Log. Comput. 17(5), 939–953 (2007). Oct

    Article  MathSciNet  MATH  Google Scholar 

  22. Hume, D.: Enquête sur l’entendement humain. No. 1305 in GF, Flammarion, Paris, 2006 edn. (1748)

    Google Scholar 

  23. Khan, S.M., Lespérance, Y.: Knowing why: on the dynamics of knowledge about actual causes in the situation calculus. In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, pp. 701–709. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC (2021)

    Google Scholar 

  24. LeBlanc, E.C., Balduccini, M., Vennekens, J.: Explaining actual causation via reasoning about actions and change. In: Calimeri, F., Leone, N., Manna, M. (eds.) Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11468, pp. 231–246. Springer (2019). https://doi.org/10.1007/978-3-030-19570-0_15

  25. Lewis, D.: Causation. J. Philos. 70(17), 556–567 (1973), publisher: Oxford Up

    Google Scholar 

  26. Lorini, E., Longin, D., Mayor, E.: A logical analysis of responsibility attribution: emotions, individuals and collectives. J. Log. Comput. 24(6), 1313–1339 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  27. Mackie, J.L.: The Cement of the Universe: A Study of Causation. Oxford University Press, Oxford, Clarendon Library of Logic and Philosophy (1980)

    Book  Google Scholar 

  28. Menzies, P., Beebee, H.: Counterfactual theories of causation. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2020 edn. (2020)

    Google Scholar 

  29. Milgram, S.: Behavioral Study of obedience. J. Abnorm. Soc. Psychol. 67(4), 371–378. publisher: American Psychological Association (1963)

    Google Scholar 

  30. Mill, J.S.: A system of logic, ratiocinative and inductive: being a connected view of the principles of evidence, and the methods of scientific investigation, cambridge library collection - philosophy, vol. 1. Cambridge University Press, Cambridge, 2011 edn. (1843)

    Google Scholar 

  31. Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2014)

    Google Scholar 

  32. Pearl, J.: Causality: models, reasoning, and inference. Cambridge University Press, Cambridge, U.K.; New York (2000)

    MATH  Google Scholar 

  33. Pednault, E.P.D.: ADL: exploring the middle ground between STRIPS and the situation calculus. In: Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pp. 324–332. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1989)

    Google Scholar 

  34. Russell, S., Norvig, P.: Artificial Intelligence - A Modern Approach. Pearson Education, third edn, Prentice Hall Series (2010)

    MATH  Google Scholar 

  35. Vincent, N.A.: A Structured Taxonomy of Responsibility Concepts. In: Vincent, N.A., van de Poel, I., van den Hoven, J. (eds.) Moral Responsibility, Library of Ethics and Applied Philosophy, vol. 27. Springer, Netherlands, Dordrecht (2011). https://doi.org/10.1007/978-94-007-1878-4_2

    Chapter  Google Scholar 

  36. Wright, R.W.: Causation in tort law. Calif. L. Rev. 73(6), 1735–1828 (1985), publisher: California Law Review Inc

    Google Scholar 

  37. Wright, R.W.: Causation, responsibility, risk, probability, naked statistics, and proof: pruning the bramble bush by clarifying the concepts. Iowa Law Review 73, 1001 (1988). Dec

    Google Scholar 

  38. Wright, R.W.: The NESS account of natural causation: a response to criticisms. In: Goldberg, R. (ed.) Perspectives on Causation. Social Science Research Network, Rochester, NY, hart publishing edn. (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sorbonne Université, CNRS, LIP6, 75005, Paris, France

    Camilo Sarmiento, Gauvain Bourgne & Jean-Gabriel Ganascia

  2. National Institute of Informatics, Tokyo, Japan

    Katsumi Inoue

Authors
  1. Camilo Sarmiento
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gauvain Bourgne
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Katsumi Inoue
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jean-Gabriel Ganascia
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Camilo Sarmiento .

Editor information

Editors and Affiliations

  1. Özyeğin University, Istanbul, Turkey

    Reyhan Aydoğan

  2. Universitat Politècnica de València, Valencia, Spain

    Natalia Criado

  3. Université Paris-Dauphine, Paris, France

    Jérôme Lang

  4. Universitat Politècnica de València, Valencia, Spain

    Victor Sanchez-Anguix

  5. King's College London, London, UK

    Marc Serramia

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Sarmiento, C., Bourgne, G., Inoue, K., Ganascia, JG. (2023). Action Languages Based Actual Causality in Decision Making Contexts. In: Aydoğan, R., Criado, N., Lang, J., Sanchez-Anguix, V., Serramia, M. (eds) PRIMA 2022: Principles and Practice of Multi-Agent Systems. PRIMA 2022. Lecture Notes in Computer Science(), vol 13753. Springer, Cham. https://doi.org/10.1007/978-3-031-21203-1_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-21203-1_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-21202-4

  • Online ISBN: 978-3-031-21203-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation