Action and Causality
Specialized workshop in conjunction with NMR2004 (www.pims.math.ca/science/2004/NMR/papers.html)
One of the original motivations for developing formalisms for nonmonotonic reasoning was to provide solutions to the frame problem, a problem associated with the modeling of actions and events and their effects in complex and dynamic environments. Since the introduction of the major nonmonotonic families: circumscription, default logic, and modal nonmonotonic logics in the late 70's, development of nonmonotonic logics and associated automated reasoning techniques have gone hand in hand with the development of logics of action and change. Research in reasoning about actions has also been strongly influenced by the research in causality. In fact, understanding the distinction between classical implication and causal implication is a key in solving the ramification problem.
This workshop is a one-day event intended to bring together researchers interested in the area of nonmonotonic reasoning, reasoning about action, and causality to discuss current research, results, and foundational problems pertaining to action and causality. It will be a part of the technical program of the tenth Nonmonotonic Reasoning Workshop (NMR-04), to be held in Whistler, BC, Canada, immediately following the KR-04 conference.
Topics of interest include, but are not limited to:
NMR2004 AND OTHER NMR2004 SUBWORKSHOPS
Richard A. Baldwin and Eric Neufeld
Frame consistency: computing with causal explanations
Plan reversals for recovery in execution monitoring
Domain descriptions should be modular
Adding modal operators to the action language A
Actions, planning and defeasible reasoning
Pacific Institute for
the Mathematical Sciences
Last Modified: April 15, 2004