Inferring causal explanations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1638, Issue , 1999, Pages 55-67

  Besnard, Philippe ^a   Cordier, Marie Odile ^b,c  

^a IRIT   (France)

^b CAMPUS DE BEAULIEU   (France)

^c CEMAGREF   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BACKWARD CHAINING; CAUSAL EXPLANATIONS; COMMON SENSE; LOGICAL IMPLICATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84947935935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48747-6_6     Document Type: Conference Paper

References (20)

1. A. Aliseda. Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. PhD thesis, Stanford University, Department of Computer Science, 1998.
2. P. Besnard and M.-O. Cordier. Explanatory diagnoses and their characterization by circumscription. Annals of Mathematics and Artificial Intelligence, 11:75-96, 1994.
3. V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupre. Characterizing temporal abductive diagnosis. In Proc. of the Int. Workshop on Principles of Diagnosis (DX’95), pages 34-40, Goslar (Germany), 1995.
4. M. Cialdea-Mayer and F. Pirri. Abduction is not deduction-in-reverse. IGPL, 4:1-14, 1996.
5. L. Console and D. Theseider Dupré. Abductive reasoning with abstraction axioms. In Foundations of Knowledge Representation and Reasoning, pages 98-112, 1994.
6. L. Console and P. Torasso. Heuristic and causal reasoning in check. In J.-P. Krivine, J.M. David, R. Huber and C. Kulikowski, editors, IMACS Transactions on Scientific Computing, Paris, 1988.
7. L. Console and P. Torasso. Hypothetic reasoning in causal models. Intelligent Systems, 5(1):83-124, 1990.
8. L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133-141, 1991.
9. M.-O. Cordier. When abductive diagnosis fails to explain too precise observations. In Proc. of the Int. Workshop on Principles of Diagnosis (DX’98), pages 24-31, Cape Cod (USA), 1998.
10. H. A. Kautz. A Formal Theory for Plan Recognition. PhD thesis, University of Rochester, Department of Computer Science, 1987.
11. V. Lifschitz. On the logic of causal explanation. Artificial Intelligence, 96:451-465, 1997.
12. J. Lobo and C. Uzcátegui. Abductive consequence relations. Artificial Intelligence, 89:149-171, 1997.
13. W. Nedjl and J. Gamper. Harnessing the power of temporal abstractions in model-based diagnosis of dynamic systems. In Proc. of the European Conference on Artificial Intelligence (ECAI), pages 667-671, Amsterdam, 1994.
14. D. Poole. Explanation and prediction: An architecture for default and abductive reasoning. Computational Intelligence, 5(1):97-110, 1989.
15. D. Poole. A methodology for using a default and abductive reasoning system. Intelligent Systems, 5(5):521-548, 1990.
16. M. Porcheron and B. Ricard. An application of abductive diagnosis methods to a real-world problem. In Proc. of the Int. Workshop on Principles of Diagnosis (DX’97), pages 87-94, Mont-Saint-Michel (Prance), 1997.
17. C. Preist. Abduction using disjunctive causal models. In Proc. of the Int. Workshop on Principles of Diagnosis (DX’94), pages 242-251, New Paltz (NY), 1994.
18. J. A. Reggia, D. S. Nau, and P. Y. Wang. Diagnostic expert systems based on a set covering model. Man-Machine Studies, 19(5):437-460, 1983.
19. C. Sakama and K. Inoue. On generality in abduction and induction. In ECAI Workshop on "Abduction and Induction in AI", Brighton, 1998.
20. A. ten Teije and F. van Harmelen. An extended spectrum of logical definitions of diagnosis. In Proc. of the Int. Workshop on Principles of Diagnosis (DX’94), pages 334-342, New Paltz (USA), 1994.