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 language||English (US)|
|Number of pages||56|
|State||Published - Mar 2004|
|Event||Logical Formalizations and Commonsense Reasoning - New York, NY, United States|
Duration: May 1 2001 → May 1 2001
Bibliographical noteFunding 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.
- Action languages
- Commonsense reasoning
- Knowledge representation
- Nonmonotonic reasoning
- Reasoning about actions