Eleventh International Workshop on
Non-Monotonic Reasoning
Lake District, England, May 30 - June 1, 2006
Special session on
Action and Change
One of the original motivations for developing formalisms for nonmonotonic
reasoning (NMR) 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. This relationship between NMR and Reasoning about
Action and Change (RAC) is reinforced by the qualification problem where
the need for modular and compact representations of action theories can be
linked with default reasoning on the properties that qualify the effect
laws of an action theory. Research in RAC has also been strongly influenced
by the study of causality: effect laws include statements of ramifications
that capture the causal relationship between different effects in the
domain.
Advances in the study of these three foundational problems (frame,
ramification
and qualification) have helped in the development of cognitive agents where
systems operate autonomously in a complex and dynamic environment. A
consistent
and informed view of the world of a cognitive agent is maintained through
its capability of reasoning about action and change. This has lead to
the need to consider the development of more advanced implemented
systems for RAC
with a wider scope and larger scale application.
Topics
This workshop at NMR-2006 aims to bring researchers together to
consider the fundamental issues in the field of RAC with their
links to NMR, together with the new challenges that the deployment
of RAC into applications can bring.
Topics of interest include, but are not limited to:
Special Theme
There will be a special theme at this year's workshop, similar to the one
held at NRAC-05 in Edinburgh: We especially encourage submissions describing
solutions to challenge problems for logically reasoning agents based on
existing systems for reasoning about actions. Details on the NRAC-05 event
can be found on the
This page will be updated soon with descriptions of the new challenge problems.
We plan to devote a session of the workshop on papers presenting solutions to
any of these problems and accompany the presentation of these papers by a panel
on Comparative Evaluations of systems for logic-based agents.
Session co-chairs
Program committee
Submission details
All NMR-06 sessions have the same submission requirements. Submissions
are limited to 9 pages using KR paper format.
Send a PDF file with the submission to each
of the organizers by e-mail.
Important dates