TY - JOUR
T1 - Nonmonotonic causal theories
AU - Giunchiglia, Enrico
AU - Lee, Joohyung
AU - Lifschitz, Vladimir
AU - McCain, Norman
AU - Turner, Hudson
N1 - Funding Information:
We are grateful to Varol Akman, Ernest Davis, Esra Erdem, Neelakantan Kartha, Leora Morgenstern, Maurice Pagnucco and the anonymous referees for useful comments. Enrico Giunchiglia was partially supported by ASI, CNR and MUIR. Joohyung Lee and Vladimir Lifschitz were partially supported by the National Science Foundation under Grant IIS-9732744 and by the Texas Higher Education Coordinating Board under Grant 003658-0322-2001. Hudson Turner was partially supported by the National Science Foundation under CAREER Grant 0091773.
PY - 2004/3
Y1 - 2004/3
N2 - 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.
AB - 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.
KW - Action languages
KW - Causality
KW - Commonsense reasoning
KW - Knowledge representation
KW - Nonmonotonic reasoning
KW - Reasoning about actions
UR - http://www.scopus.com/inward/record.url?scp=1642484543&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=1642484543&partnerID=8YFLogxK
U2 - 10.1016/j.artint.2002.12.001
DO - 10.1016/j.artint.2002.12.001
M3 - Conference article
AN - SCOPUS:1642484543
SN - 0004-3702
VL - 153
SP - 49
EP - 104
JO - Artificial Intelligence
JF - Artificial Intelligence
IS - 1-2
T2 - Logical Formalizations and Commonsense Reasoning
Y2 - 1 May 2001 through 1 May 2001
ER -