Towards Deriving Conclusions from Cause-effect Relations

• Autorzy: Fandinno J.

Identyfikatory

DOI

10.3233/FI-2016-1399

• Konferencja: ASPOCP 2015 : ASPOCP International Workshop on “Answer Set Programming and Other Computing Paradigms” (8: August 31, 2015: Cork, Ireland)
• Języki publikacji: EN

Abstrakty

EN

In this work we propose an extension of logic programming, under the stable model semantics, and the action language BC where rule bodies and causal laws may contain a new kind of literal, that we call causal literal, that allows us to inspect the causal justifications of standard atoms. To this aim, we extend a recently proposed semantics where each atom belonging to a stable model is associated with a justification in the form of an algebraic expression (which corresponds to a logical proof built with rule labels). In particular, we use causal literals for evaluating and deriving new conclusions from statements like "A has been sufficient to cause B." We also use the proposed semantics to extend the action language BC with causal literals and, by some examples, show how this action language is useful for expressing a high level representation of some typical Knowledge Representation examples involving causal knowledge.

Słowa kluczowe

EN

logic programming; semantics; knowledge representation; performance evaluation; computer algorithms

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2016
• Tom: Vol. 147, nr 1
• Strony: 93--131
• Opis fizyczny: Bibliogr. 43 poz., rys., tab.

Twórcy

autor

Fandinno J.

• Department of Computer Science, University of Corunna, Spain

Bibliografia

• [1] Hall N. Two concepts of causation. In: Collins J, Hall N, Paul LA, editors. Causation and counterfactuals. Cambridge, MA: MIT Press; 2004. p. 225–276. ISBN: 9780262532563.
• [2] Hall N. Structural equations and causation. Philosophical Studies. 2007;132(1):109–136. doi: 10.1007/s11098-006-9057-9.
• [3] Hitchcock C. The intransitivity of causation revealed in equations and graphs. The Journal of Philosophy. 2001; p. 273–299.
• [4] Lewis DK. Causation. The journal of philosophy. 1973;70(17):556–567. Available from: http://philpapers.org/rec/LEWC.
• [5] Mackie JL. Causes and Conditions. American Philosophical Quarterly. 1965;2(4):245–264.
• [6] Maudlin T. Causation, Counterfactuals, and the Third Factor. In: Collins J, Hall EJ, Paul LA, editors. Causation and Counterfactuals. MIT Press; 2004. ISBN: 9780262532563.
• [7] Halpern JY. Defaults and Normality in Causal Structures. In: Brewka G, Lang J, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. AAAI Press; 2008. p. 198–208. Available from: http://www.aaai.org/Library/KR/2008/kr08-020.php.
• [8] Halpern JY. Appropriate Causal Models and Stability of Causation. In: Baral C, Giacomo GD, Eiter T, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press; 2014. Available from: http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8015. doi: 10.1017/S1755020315000246.
• [9] Halpern JY. A Modification of the Halpern-Pearl Definition of Causality. In: Yang Q, Wooldridge M, editors. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press; 2015. p. 3022–3033. Available from: http://ijcai.org/papers15/Abstracts/IJCAI15-427.html.
• [10] Halpern JY, Hitchcock C. Actual causation and the art of modeling. CoRR. 2011;abs/1106.2652. Available from: http://arxiv.org/abs/1106.2652.
• [11] Halpern JY, Pearl J. Causes and explanations: A structural-model approach. Part I: Causes. British Journal for Philosophy of Science. 2005;56(4):843–887.
• [12] Pearl J. Causality: models, reasoning, and inference. New York, USA: Cambridge University Press; 2000.
• [13] Lin F. Embracing Causality in Specifying the Indirect Effects of Actions. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes. Morgan Kaufmann; 1995. p. 1985–1993.
• [14] McCain N, Turner H. Causal Theories of Action and Change. In: Kuipers B, Webber BL, editors. Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, July 27-31, 1997, Providence, Rhode Island. AAAI Press / The MIT Press; 1997. p. 460–465. Available from: http://www.aaai.org/Library/AAAI/1997/aaai97-071.php. doi: 10.1093/acprof:oso/9780198235880.003.0005.
• [15] Thielscher M. Ramification and Causality. Artificial Intelligence. 1997;89(1-2):317–364. Available from: http://dx.doi.org/10.1016/S0004-3702(96)00033-1. doi:10.1016/S0004-3702(96)00033-1.
• [16] McCarthy J. Elaboration Tolerance. In: Proceedings of the Fourth Symposium on Logical Formalizations of Commonsense Reasoning, Common Sense. London, UK; 1998. p. 198–217. Available from: http://www-formal.stanford.edu/jmc/elaboration.ps.
• [17] McCarthy J, Hayes P. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence Journal. 1969;4:463–512. Available from: www-formal.stanford.edu/jmc/mcchay69.pdf.
• [18] Kautz HA. The Logic of Persistence. In: Kehler T, editor. Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science. Morgan Kaufmann; 1986. p. 401–405. Available from: http://www.aaai.org/Library/AAAI/1986/aaai86-067.php.
• [19] McCarthy J. Programs with common sense; 1959. Available from: http://www-formal.stanford.edu/jmc/mcc59.html.
• [20] Gelfond M, Lifschitz V. The Stable Model Semantics for Logic Programming. In: Kowalski RA, Bowen KA, editors. Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19. MIT Press; 1988. p. 1070–1080.
• [21] Cabalar P, Fandinno J, Fink M. Causal Graph Justifications of Logic Programs. Theory and Practice of Logic Programming TPLP. 2014;14(4-5):603–618. Available from: http://dx.doi.org/10.1017/S1471068414000234. doi:10.1017/S1471068414000234.
• [22] Cabalar P, Fandinno J, Fink M. A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. In: Fermé E, Leite J, editors. Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. vol. 8761 of Lecture Notes in Computer Science. Springer; 2014. p. 297–310. Available from: http://dx.doi.org/10.1007/978-3-319-11558-0_21. doi:10.1007/978-3-319-11558-0_21.
• [23] Lee J, Lifschitz V, Yang F. Action Language BC: Preliminary Report. In: Rossi F, editor. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. IJCAI/AAAI; 2013. Available from: http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6937.
• [24] Lifschitz V, Tang LR, Turner H. Nested Expressions in Logic Programs. Ann Math Artif Intell. 1999; 25(3-4):369–389. Available from: http://dx.doi.org/10.1023/A:1018978005636. doi:10.1023/A:1018978005636.
• [25] van Emden MH, Kowalski RA. The Semantics of Predicate Logic as a Programming Language. Journal of the ACM (JACM). 1976;23(4):733–742. Available from: http://doi.acm.org/10.1145/321978.321991. doi:10.1145/321978.321991.
• [26] Gelfond M, Lifschitz V. Action Languages. Electron Trans Artificial Intelligence. 1998;2:193–210. Available from: http://www.ep.liu.se/ej/etai/1998/007/.
• [27] Lewis DK. Causation as influence. The Journal of Philosophy. 2000;97(4):182–197. Available from: http://www.jstor.org/stable/2678389.
• [28] Fandinno J. A causal semantics for Logic Programming. University of Corunna; 2015.
• [29] Lifschitz V, Turner H. Splitting a Logic Program. In: Hentenryck PV, editor. Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994. MIT Press; 1994. p. 23–37.
• [30] Marek VW, Truszczynski M. Autoepistemic Logic. Journal of the ACM (JACM). 1991;38(3):587–618. Available from: http://doi.acm.org/10.1145/116825.116836. doi:10.1145/116825.116836.
• [31] Cabalar P. Logic Programs and Causal Proofs. In: Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI; 2011. Available from: http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2422.
• [32] Baral C, Hunsaker M. Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. In: Veloso MM, editor. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007; 2007. p. 243–249. Available from: http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-037.pdf.
• [33] Baral C, Gelfond M, Rushton JN. Probabilistic reasoning with answer sets. TPLP. 2009;9(1):57–144. Available from: http://dx.doi.org/10.1017/S1471068408003645. doi:10.1017/ S1471068408003645.
• [34] Meliou A, Gatterbauer W, Halpern JY, Koch C, Moore KF, Suciu D. Causality in databases. IEEE Data Eng Bull. 2010;33(EPFL-ARTICLE-165841):59–67.
• [35] Vennekens J. Actual causation in CP-logic. Theory and Practice of Logic Programming TPLP. 2011; 11(4-5):647–662. Available from: http://dx.doi.org/10.1017/S1471068411000226. doi: 10.1017/S1471068411000226.
• [36] Damásio CV, Analyti A, Antoniou G. Justifications for Logic Programming. In: Cabalar P, Son TC, editors. Logic Programming and Nonmonotonic Reasoning, Twelfth International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proc. vol. 8148 of Lecture Notes in Computer Science. Springer; 2013. p. 530–542. Available from: http://dx.doi.org/10.1007/978-3-642-40564-8_53. doi:10.1007/978-3-642-40564-8_53.
• [37] Gebser M, Pührer J, Schaub T, Tompits H. A Meta-Programming Technique for Debugging Answer-Set Programs. In: Fox D, Gomes CP, editors. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. AAAI Press; 2008. p. 448–453. Available from: http://www.aaai.org/Library/AAAI/2008/aaai08-071.php.
• [38] Pontelli E, Son TC, El-Khatib O. Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming TPLP. 2009;9(1):1–56. Available from: http://dx.doi.org/10.1017/S1471068408003633. doi:10.1017/S1471068408003633.
• [39] Schulz C, Toni F. Justifying Answer Sets using Argumentation. CoRR. 2014;abs/1411.5635. Available from: http://arxiv.org/abs/1411.5635.
• [40] Cabalar P, Fandinno J. Enablers and Inhibitors in Causal Justifications of Logic Programs. In: Francesco Calimeri MT Giovambattista Ianni, editor. Logic Programming and Non-monotonic Reasoning, 13th International Conference, LPNMR 2015 Lexington, KY, USA September 27-30, 2015. Proc. 2015.
• [41] Gebser M, Kaufmann B, Kaminski R, Ostrowski M, Schaub T, Schneider MT. Potassco: The Potsdam Answer Set Solving Collection. AI Communications. 2011;24(2):107–124. Available from: http://dx.doi.org/10.3233/AIC-2011-0491. doi:10.3233/AIC-2011-0491.
• [42] Pearce D. A New Logical Characterisation of Stable Models and Answer Sets. In: Dix J, Pereira LM, Przymusinski TC, editors. Non-Monotonic Extensions of Logic Programming, NMELP 1996, Bad Honnef, Germany, September 5-6, 1996, Selected Papers. vol. 1216 of Lecture Notes in Computer Science. Springer; 1996. p. 57–70. Available from: http://dx.doi.org/10.1007/BFb0023801. doi:10.1007/BFb0023801.
• [43] Gelfond M, Przymusinska H. Definitions in Epistemic Specifications. In: LPNMR; 1991. p. 245–259.

Uwagi

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę (zadania 2017).