Nonmonotonic causal theories

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner

Research output: Contribution to journalConference article

308 Scopus citations


The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowledge representation, and discuss its implementation, called the Causal Calculator.

Original languageEnglish (US)
Pages (from-to)49-104
Number of pages56
JournalArtificial Intelligence
Issue number1-2
StatePublished - Mar 1 2004
EventLogical Formalizations and Commonsense Reasoning - New York, NY, United States
Duration: May 1 2001May 1 2001



  • Action languages
  • Causality
  • Commonsense reasoning
  • Knowledge representation
  • Nonmonotonic reasoning
  • Reasoning about actions

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Cite this

Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., & Turner, H. (2004). Nonmonotonic causal theories. Artificial Intelligence, 153(1-2), 49-104.