inria-00476906, version 1
Ontology-based inference for causal explanation
Philippe Besnard
a, 1, 2Marie-Odile Cordier b, 1Yves Moinard 1
Integrated Computer-Aided Engineering 15, 4 (2008) 351-367
Résumé : We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another fact and that a fact explains another fact. We present a set of formal inference patterns from causal statements to explanation statements. We introduce an elementary ontology which gives greater expressiveness to the system while staying close to propositional reasoning. We provide an inference system that captures the patterns discussed, firstly in a purely propositional framework, then in a datalog (limited predicate) framework.
- a – CNRS
- b – Université Rennes I
- 1 : DREAM (INRIA - IRISA)
- CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
- 2 : Institut de recherche en informatique de Toulouse (IRIT)
- CNRS : UMR5505 – Institut National Polytechnique de Toulouse - INPT – Université des Sciences Sociales - Toulouse I – Université Toulouse I [UT1] Capitole – Université Toulouse le Mirail - Toulouse II – Université Paul Sabatier [UPS] - Toulouse III
- Domaine : Informatique/Intelligence artificielle
- Mots-clés : Explanation – Causal reasoning – Abduction
- inria-00476906, version 1
- http://hal.inria.fr/inria-00476906
- oai:hal.inria.fr:inria-00476906
- Contributeur : Yves Moinard
- Soumis le : Mardi 27 Avril 2010, 15:20:55
- Dernière modification le : Jeudi 29 Avril 2010, 09:15:53
Documents associés
Exporter