Nonmonotonic causal theories

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

Research output: Contribution to journalConference articlepeer-review

334 Scopus citations

Abstract

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
Volume153
Issue number1-2
DOIs
StatePublished - Mar 1 2004
Externally publishedYes
EventLogical Formalizations and Commonsense Reasoning - New York, NY, United States
Duration: May 1 2001May 1 2001

Keywords

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

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Nonmonotonic causal theories'. Together they form a unique fingerprint.

Cite this