International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR 2015: Logic Programming and Nonmonotonic Reasoning pp 199-212 | Cite as

Enablers and Inhibitors in Causal Justifications of Logic Programs

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9345)

Abstract

In this paper we propose an extension of logic programming (LP) where each default literal derived from the well-founded model is associated a justification represented as an algebraic expression. This expression contains both causal explanations (in the form of proof graphs built with rule labels) and terms under the scope of negation that stand for conditions that enable or disable the application of causal rules. Using some examples, we discuss how these new conditions, we respectively call enablers and inhibitors, are intimately related to default negation and have an essentially different nature from regular cause-effect relations. The most important result is a formal comparison to the recent algebraic approaches for justifications in LP: Why-not Provenance (WnP) and Causal Graphs (CG). We show that the current approach extends both WnP and CG justifications under the Well-Founded Semantics and, as a byproduct, we also establish a formal relation between these two approaches.

Notes

Acknowledgements

We are thankful to Carlos Damasio for his suggestions and comments on earlier versions of this work. We also thank the anonymous reviewers for their help to improve the paper. This research was partially supported by Spanish Project TIN2013-42149-P.

References

  1. 1.
    Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25, 241–273 (1999)MATHCrossRefGoogle Scholar
  2. 2.
    Marek, V.W., Truszczyńki, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczyńki, M., Warren, D.S. (eds.) The Logic Programming Paradigm. Artificial Intelligence, pp. 375–398. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  3. 3.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming: Proceedings of the Fifth International Conference and Symposium, vol. 2 (1988)Google Scholar
  4. 4.
    Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM (JACM) 38, 619–649 (1991)CrossRefGoogle Scholar
  5. 5.
    Specht, G.: Generating explanation trees even for negations in deductive database systems. In: LPE 1993, pp. 8–13 (1993)Google Scholar
  6. 6.
    Pemmasani, G., Guo, H.-F., Dong, Y., Ramakrishnan, C.R., Ramakrishnan, I.V.: Online justification for tabled logic programs. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 24–38. Springer, Heidelberg (2004) CrossRefGoogle Scholar
  7. 7.
    Gebser, M., Pührer, J., Schaub, T., Tompits, H.: Meta-programming technique for debugging answer-set programs. In: Proceedings of the 23rd Conference on Artificial Inteligence (AAAI 2008) (2008)Google Scholar
  8. 8.
    Oetsch, J., Pührer, J., Tompits, H.: Catching the ouroboros: on debugging non-ground answer-set programs. Theory Pract. Logic Program. 10, 513–529 (2010)MATHCrossRefGoogle Scholar
  9. 9.
    Schulz, C., Toni, F.: ABA-based answer set justification. In: TPLP 13(4-5-Online-Supplement) (2013)Google Scholar
  10. 10.
    Denecker, M., De Schreye, D.: Justification semantics: a unifiying framework for the semantics of logic programs. In: Proceedings of the LPNMR Workshop (1993)Google Scholar
  11. 11.
    Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory Pract. Logic Program. (TPLP) 9, 1–56 (2009)MATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Viegas Damásio, C., Analyti, A., Antoniou, G.: Justifications for logic programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 530–542. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  13. 13.
    Cabalar, P., Fandinno, J., Fink, M.: Causal graph justifications of logic programs. TPLP 14, 603–618 (2014)MATHMathSciNetGoogle Scholar
  14. 14.
    Hall, N.: Two concepts of causation. In: Collins, J., Hall, E.J., Paul, L.A. (eds.) Causation and Counterfactuals, pp. 225–276. MIT Press, Cambridge (2004)Google Scholar
  15. 15.
    Hall, N.: Structural equations and causation. Philos. Stud. 132, 109–136 (2007)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Cabalar, P., Fandinno, J., Fink, M.: A complexity assessment for queries involving sufficient and necessary causes. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 297–310. Springer, Heidelberg (2014) Google Scholar
  17. 17.
    Van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 1–10. ACM (1989)Google Scholar
  18. 18.
    Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Mellish, C.S. (ed.)Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, Montreal (1995)Google Scholar
  19. 19.
    McCain, N., Turner, H.: Causal theories of action and change. In: Proceedings of the AAAI 1997, pp. 460–465 (1997)Google Scholar
  20. 20.
    Thielscher, M.: Ramification and causality. Artif. Intell. J. 1–2, 317–364 (1997)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, New York (2000) Google Scholar
  22. 22.
    Halpern, J.Y., Hitchcock, C.: Actual causation and the art of modeling. arXiv preprint arXiv:1106.2652 (2011)
  23. 23.
    Hume, D.: An enquiry concerning human understanding (1748) Reprinted by Open Court Press. LaSalle, IL (1958)Google Scholar
  24. 24.
    Meliou, A., Gatterbauer, W., Halpern, J.Y., Koch, C., Moore, K.F., Suciu, D.: Causality in databases. IEEE Data Eng. Bull. 33, 59–67 (2010)Google Scholar
  25. 25.
    Vennekens, J.: Actual causation in CP-logic. TPLP 11, 647–662 (2011)MATHMathSciNetGoogle Scholar
  26. 26.
    Viegas Damásio, C., Analyti, A., Antoniou, G.: Justifications for logic programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 530–542. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  27. 27.
    Maudlin, T.: Causation, counterfactuals, and the third factor. In: Collins, J., Hall, E.J., Paul, L.A. (eds.) Causation and Counterfactuals. MIT Press, Cambridge (2004)Google Scholar
  28. 28.
    Halpern, J.Y.: Defaults and normality in causal structures. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 198–208. AAAI Press (2008)Google Scholar
  29. 29.
    Hitchcock, C., Knobe, J.: Cause and norm. J. Philos. 11, 587–612 (2009)Google Scholar
  30. 30.
    Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol. 1216. Springer, Heidelberg (1997) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of CorunnaA CorunnaSpain

Personalised recommendations