Abstract
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. These patterns exhibit ontological premises that are argued to be essential in deducing explanation statements. We provide an inference system that captures the patterns discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)
Besnard, Ph., Cordier, M.-O.: Inferring Causal Explanations. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS (LNAI), vol. 1638, pp. 55–67. Springer, Heidelberg (1999)
Bell, J.: Causation as Production. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, pp. 327–331. IOS Press, Riva del Garda, Italy (2006)
Bochman, A.: A Logic for Causal Reasoning. In: Gottlob, G., Walsh, T. (eds.) IJCAI 2003, pp. 141–146. Morgan Kaufmann, Acapulco, Mexico (2003)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic Causal Theories. Artificial Intelligence 153(1-2), 49–104 (2004)
Halpern, J., Pearl, J.: Causes and Explanations: A Structural-Model Approach. Part I: Causes. In: Breese, J.S., Koller, D. (eds.) UAI 2001, pp. 194–202. Morgan Kaufmann, Seattle, Wa. (2001)
Halpern, J., Pearl, J.: Causes and Explanations: A Structural-Model Approach - Part II: Explanations. In: Nebel, B. (ed.) IJCAI 2001, pp. 27–34. Morgan Kaufmann, Seattle, Wa. (2001)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Trans. on Computational Logic (TOCL) 7(3), 499–562 (2006)
Mellor, D.H.: The Facts of Causation. Routledge, London (1995)
Shafer, G.: Causal Logic. In: Prade, H. (ed.) ECAI 1998, pp. 711–720. Wiley, Brighton, UK (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Besnard, P., Cordier, M.O., Moinard, Y. (2007). Ontology-Based Inference for Causal Explanation. In: Zhang, Z., Siekmann, J. (eds) Knowledge Science, Engineering and Management. KSEM 2007. Lecture Notes in Computer Science(), vol 4798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-76719-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76718-3
Online ISBN: 978-3-540-76719-0
eBook Packages: Computer ScienceComputer Science (R0)