Ontology-based inference for causal explanation

Integrated Computer-Aided Engineering

Volumn 15, Issue 4, 2008, Pages 351-367

  Besnard, Ph ^a   Cordier, M O ^b   Moinard, Y ^c  

^a IRIT   (France)

^b UNIVERSITÉ DE RENNES 1   (France)

^c CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED ENGINEERING; COMPUTER APPLICATIONS;

CAUSAL EXPLANATIONS; DATALOG; INFERENCE PATTERNS; INFERENCE SYSTEMS; LOGICAL LANGUAGE; ONTOLOGY-BASED;

ONTOLOGY;

EID: 50249143907     PISSN: 10692509     EISSN: None     Source Type: Journal    
DOI: 10.3233/ica-2008-15406     Document Type: Conference Paper

References (16)

1. Baral, Chitta, Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
2. Ph. Besnard and M-O. Cordier, Inferring Causal Explanations, in: ECSQARU-99, A. Hunter and S. Parsons, eds, LNAI 1638, Springer, 1999, pp. pp. 55-67.
3. Ph. Besnard, M.-O. Cordier and Y. Moinard, Configurations for Inference between Causal Statements, in: KSEM06, LNAI 4092, J. Lang, L. Fangzhen and W. Ju, eds, Springer-Verlag, 2006, pp. 292-304.
4. Ph. Besnard, M.-O. Cordier and Y. Moinard, Ontology-based inference for causal explanation, in: KSEM07, LNAI 4798, Z. Zhang and J. Siekmann, eds, Springer-Verlag, 2007, pp. 153-164.
5. J. Bell, Causation as Production, in: ECAI-06, G. Brewka, S. Coradeschi, A. Perini and P. Traverso, eds, IOS Press, 2006, pp. 327-331.
6. A. Bochman, A Logic for Causal Reasoning, in: IJCAI-03, G. Gottlob and T. Walsh, eds, Acapulco, Mexico. Morgan Kaufmann, 2003, pp. 141-146.
7. S. Cauvin, M.-O. Cordier, C. Dousson, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, I. Servet and L. Travé-Massuyès, Monitoring and alarm interpretation in industrial environments, AI Communications 11(3-4) (1998), 139-173.
8. L. Console and D. Theseider Dupré, Abductive Reasoning with Abstraction Axioms, LNCS 810, 1994, pp. 98-112.
9. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner, Nonmonotonic Causal Theories, Artificial Intelligence 153(1-2) (2004), 49-104.
10. J. Halpern and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part I: Causes, in: UAI-01, J.S. Breese and D. Koller, eds, Seattle, Wa., USA. Morgan Kaufmann, 2001, pp. 194-202.
11. J. Halpern and J. Pearl, Causes and Explanations: A Structural-Model Approach - Part II: Explanations, in: IJCAI-01, B. Nebel, ed., Seattle, Wa., USA. Morgan Kaufmann, 2001, pp. 27-34,
12. H.-A. Kautz, A Formal Theory of Plan Recognition and its Implementation, in: Reasoning About Plans, J.F. Allen, H.A. Kautz, R. Pelavin and J. Tenenberg, eds, Morgan Kaufmann Publ, 1991, pp. 69-125.
13. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri and F. Scarcello, The DLV System for Knowledge Representation and Reasoning, ACM Trans. on Computational Logic (TOCL) 7(3) (2006), 499-562.
14. D.-H. Mellor, The Facts of Causation, Routledge, 1995.
15. Y. Moinard, An Experience of Using ASP for Toy Examples, in: Fourth Workshop on Answer Set Programming (ASP'07), Porto, Portugal, 2007, http://www.cs.ttu.edu/asp07/, pp. 133-147.
16. G. Shafer, Causal Logic, in: ECAI-98, H. Prade, ed., Brighton, UK. Wiley, 1998, pp. 711-720.