Logic Modelling Workshop

Axiom structure and reasoning tasks

Each axiomatization of a scenario should contain the following kinds of information:

• Description of the landscape structure and the active structure
• Action laws specifying the effects of actions
• Domain constraints (static and dynamic)
• Specification of specific actions that are performed in the course of the scenario
• Observations, that is, statements of values of fluents at specific times during the scenario
• Other information that is needed for performing the reasoning tasks
• Nonmonotonic reasoning principles (preference relations on models, circumscription policies, etc) that are to be used.

Using this information, the following inference tasks (deduction, abduction, etc) are to be performed:

• Obtaining the values of fluents at other times than those specified in the scenario. Both prediction and postdiction allowed.
• Obtaining information about the values of fluents (constraints, times of change, constraints on time of change, etc) other than what is specified in the scenario
• Planning and replanning tasks.
• Explanation tasks, that is, inferring what actions may have been performed in addition to those mentioned in the scenario description.

Maintenance information:

Latest update 21.6.1999 by EMTEK group. Edit mode aml, position code C.lmw.gen.task.