Configurations for Inference Between Causal Statements

  • Philippe Besnard
  • Marie-Odile Cordier
  • Yves Moinard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4092)


When dealing with a cause, cases involving some effect due to that cause are precious as such cases contribute to what the cause is. They must be reasoned upon if inference about causes is to take place. It thus seems like a good logic for causes would arise from a semantics based on collections of cases, to be called configurations, that gather instances of a given cause yielding some effect(s). Two crucial features of this analysis of causation are transitivity, which is endorsed here, and the event-based formulation, which is given up here in favor of a fact-based approach. A reason is that the logic proposed is ultimately meant to deal with both deduction (given a cause, what is to hold?) and abduction (given the facts, what could be the cause?) thus paving the way to the inference of explanations. The logic developed is shown to enjoy many desirable traits. These traits form a basic kernel which can be modified but which cannot be extended significantly without losing the adequacy with the nature of causation rules.


Proof System Causal Statement Propositional Atom Propositional Formula Classical Propositional Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Besnard, P., Cordier, M.-O.: Inferring Causal Explanations. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS (LNAI), vol. 1638, pp. 55–67. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  2. 2.
    Bell, J.: Causation and Causal Conditionals. In: Dubois, D., Welty, C., Williams, M.-A. (eds.) KR 2004, pp. 2–11. AAAI Press, Menlo Park (2004)Google Scholar
  3. 3.
    Bochman, A.: On Disjunctive Causal Inference and Indeterminism. In: Brewka, G., Peppas, P. (eds.) IJCAI Workshop: NRAC 2003, pp. 45–50 (2003)Google Scholar
  4. 4.
    Bochman, A.: A Causal Theory of Abduction. In: Common Sense 2005, pp. 33–38 (2005)Google Scholar
  5. 5.
    Collins, J., Hall, N., Paul, L.A.: Causation and Counterfactuals. MIT Press, Cambridge (2004)Google Scholar
  6. 6.
    Chellas, B.F.: Modal Logic. Cambridge University Press, Cambridge (1980)zbMATHGoogle Scholar
  7. 7.
    Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic Causal Theories. Artificial Intelligence 153(1-2), 49–104 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Hall, N.: Causation and the Price of Transitivity. Journal of Philosophy 97, 198–222 (2000)CrossRefGoogle Scholar
  9. 9.
    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, San Francisco (2001)Google Scholar
  10. 10.
    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, San Francisco (2001)Google Scholar
  11. 11.
    Lewis, D.: Causation. Journal of Philosophy 70, 556–567 (1973)CrossRefGoogle Scholar
  12. 12.
    Lewis, D.: Counterfactuals. Blackwell, Malden (1973)Google Scholar
  13. 13.
    Lewis, D.: Causation as Influence. Journal of Philosophy 97, 182–197 (2000)CrossRefGoogle Scholar
  14. 14.
    Mellor, D.H.: The Facts of Causation, Routledge (1995)Google Scholar
  15. 15.
    Nute, D.: Topics in Conditional Logic. Reidel, Dordrechtz (1980)zbMATHGoogle Scholar
  16. 16.
    Pearl, J.: Causality. Cambridge University Press, Cambridge (2000)zbMATHGoogle Scholar
  17. 17.
    Shafer, G.: The Art of Causal Conjecture. MIT Press, Cambridge (1996)zbMATHGoogle Scholar
  18. 18.
    Shafer, G.: Causal Logic. In: Prade, H. (ed.) ECAI 1998, pp. 711–720. Wiley, Chichester (1998)Google Scholar
  19. 19.
    Yablo, S.: Advertisement for a Sketch of an Outline of a Proto-Theory of Causation. In: [5]Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Philippe Besnard
    • 1
  • Marie-Odile Cordier
    • 2
  • Yves Moinard
    • 3
  1. 1.CNRS, IRIT, Université Paul SabatierToulouseFrance
  2. 2.IRISAUniversité de Rennes IRennesFrance
  3. 3.INRIA, IRISA, Campus de BeaulieuRennesFrance

Personalised recommendations