Logic Modelling Workshop

Standard Approaches to Actions and Change

Contributions to the Logic Modelling Workshop are normally supposed to use one of the standard approaches to logics of actions and change, defined here as those for which the ETAI has published a reference article containing an authoritative definition of the syntax, semtantics, and recommended style of usage of the logic in question. The submenue bar contains links to these standard approaches, which are at present:

• Action languages
• Cognitive Robotics Logic (CRL)
• Event Calculus (reference article still in the reviewing phase)
• Fluent Calculus
• Situation Calculus, Toronto variant
• Time and Action Logic (TAL)

The webpage for each of the standard approaches has the following actual or potential contents:

• A link to the reference article (obligatory)

• A link to an additional webpage provided by the author(s) of the reference article, providing additional information about the approach, tutorial articles, etc

• A link (links) to implementation(s) for the logic in question

• Specification of the input format to be used for entering axioms into one or more of those implementations. (Authors of axiomatizations are encouraged, but not required, to submit their axioms in such implementation formats, in addition to the latex-based presentation in the LMW technical notes).

• A link to a list of axiomatizations that use the approach in question.

Adding More Logics

If you feel that the present reportoire of standard approaches is not sufficient, then please consider the following possibilities:

1. You may submit a reference article for an additional logic of your preference, to the ETAI. It will be reviewed using the same criteria as present reference articles, and if accepted, it will enter the set that is maintained here.

2. Consider making a contribution to our section for "Alternatives and Challenges". Then you don't need to write a reference article, but you do need (a) to show some problem that none of the present approaches is able to handle, (b) to show or make probable that another approach does handle that problem, (c) to give a reference to an article elsewhere describing the alternative approach.

In either case, please be prepared for a certain amount of competition within the present workshop: both the "standard" approaches and the alternatives and challenges will be open to discussion, comparison, and arguments why (or when) one is to be preferred over another.

Maintenance information:

Latest update 1.7.1999 by EMTEK group. Edit mode aml, position code C.lmw.logics.intro.