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 exe- cuted 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 knowl- edge representation, and discuss its implementation, called the Causal Calculator.

PS

Artificial Intelligence, 153(1--2):49-104, 2004.

@Article{giu04, title={Nonmonotonic Causal Theories}, author={Enrico Giunchiglia and Joohyung Lee and Vladimir Lifschitz and Norman McCain and Hudson Turner}, volume={153(1--2)}, journal={Artificial Intelligence}, pages={49-104}, url="http://www.cs.utexas.edu/users/ai-lab/?giu04", year={2004} }