Skip to main content
SpringerLink
Log in
Book cover

Correct Reasoning pp 102–116Cite as

Causal Logic Programming

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7265))

Abstract

In this work, we present a causal extension of logic programming under the stable models semantics where, for a given stable model, we capture the alternative causes of each true atom. The syntax is extended by the simple addition of an optional reference label per each rule in the program. Then, the obtained causes rely on the concept of a causal proof: an inverted tree of labels that keeps track of the ordered application of rules that has allowed deriving a given true atom.

This research was partially supported by Spanish MEC project TIN2009-14562-C05-04.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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. Lifschitz, V.: Formal theories of action (preliminary report). In: Proc. of the 10th IJCAI, Milan, Italy, pp. 966–972 (1987)

    Google Scholar 

  2. Haugh, B.A.: Simple causal minimizations for temporal persistence and projection. In: Proceedings of the 6th National Conference of Artificial Intelligence, pp. 218–223 (1987)

    Google Scholar 

  3. Hanks, S., McDermott, D.: Nonmonotonic logic and temporal projection. Artificial Intelligence Journal 33, 379–413 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  4. Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Mellish, C.S. (ed.) Proc. of the Intl. Joint Conf. on Artificial Intelligence (IJCAI), Montreal, Canada. Morgan Kaufmann (1995)

    Google Scholar 

  5. McCain, N., Turner, H.: Causal theories of action and change. In: Proc. of the AAAI 1997, pp. 460–465 (1997)

    Google Scholar 

  6. Thielscher, M.: Ramification and causality. Artificial Intelligence Journal 1-2(89), 317–364 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  7. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  8. Otero, R.P., Varela, M.: Iaction: a system for learning action descriptions for planning. In: Proc. of the 16th Intl. Conf. on Inductive Logic Programming, ILP 2006 (2006)

    Google Scholar 

  9. Balduccini, M.: Learning action descriptions with A-Prolog: Action language \(\cal C\). In: Amir, E., Lifschitz, V., Miller, R. (eds.) Proc. of Logical Formalizations of Commonsense Reasoning (Commonsense 2007) AAAI Spring Symposium (2007)

    Google Scholar 

  10. Halpern, J.Y., Pearl, J.: Causes and explana- tions: A structural-model approach. part I: Causes. British Journal for Philosophy of Science 56(4), 843–887 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hume, D.: An enquiry concerning human understanding (1748); Reprinted by Open Court Press, LaSalle, IL (1958)

    Google Scholar 

  12. Halpern, J.Y.: Defaults and normality in causal structures. In: Proc. of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 198–208 (2008)

    Google Scholar 

  13. Cabalar, P.: A preliminary study on reasoning about causes. In: Proc. of the 6th Intl. Symposium on Logical Formalizations of Commonsense Reasoning (2003)

    Google Scholar 

  14. Marek, V., Truszczyński, M.: In: Stable models and an alternative logic programming paradigm, pp. 169–181. Springer (1999)

    Google Scholar 

  15. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 241–273 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  16. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Logic Programming: Proc. of the Fifth International Conference and Symposium, vol. 2, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  17. Artëmov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  18. van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM 23, 733–742 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  19. Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285–309 (1955)

    Article  MathSciNet  MATH  Google Scholar 

  20. Broda, K., Gabbay, D., Lamb, L., Russo., A.: Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics. Research Studies Press (2004)

    Google Scholar 

  21. Cabalar, P.: Logic programs and causal proofs. In: Proc. of the 10th Intl. Symposium on Logical Formalization on Commonsense Reasoning (Commonsense 2011). AAAI Spring Symposium Series (2011)

    Google Scholar 

  22. Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence 47(1-2), 3–41 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  23. Gebser, M., Pührer, J., Schaub, T., Tompits, H.: Meta-programming technique for debugging answer-set programs. In: Proc. of the 23rd Conf. on Artificial Inteligence (AAAI 2008), pp. 448–453 (2008)

    Google Scholar 

  24. Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming 9(1), 1–56 (2009)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Corunna, Spain

    Pedro Cabalar

Authors
  1. Pedro Cabalar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering and Natural Science, Sabanci University, Orhanli, 34956, Tuzla, Istanbul, Turkey

    Esra Erdem

  2. School of Computing, Informatics and Decision Systems Engineering, Arizona State University, P.O. Box 878809, 85287, Tempe, AZ, USA

    Joohyung Lee

  3. Department of Computer Science, University of Kentucky, 329 Rose Street, 40506, Lexington, KY, USA

    Yuliya Lierler

  4. Department of Artificial Intelligence, Politechnical University of Madrid, Campus de Montegancedo, 28660, Boadilla del Monte, Madrid, Spain

    David Pearce

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Cabalar, P. (2012). Causal Logic Programming. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds) Correct Reasoning. Lecture Notes in Computer Science, vol 7265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30743-0_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30743-0_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30742-3

  • Online ISBN: 978-3-642-30743-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation