SG2: Logics and models of action

Topics

  1. One main topic of SG2 is the analysis and comparison of approaches to logics of action. This includes extensions of dynamic logic, modal-logic approaches, logics for causality and initiative, etc The contribution is mainly in the development of applicable logics of action. This includes axiomatization, declarative semantics and operational semantics.

  2. A second aspect is the relation of these logic approaches to models of actions in the context of agents. The notion of agent state connected to actions, models of communication and cooperation, aspects of distribution, visibility of and knowledge about other agents, behaviour evolution depending on communication history, etc are some aspects important for this topic.

  3. Concurrency and communication: SG2 will study models, logics and algebraic approaches as appearing in the area of concurrency semantics and theoretical software engineering, and see whether they can be used in the setting of ModelAge.

  4. The theoretical work should be guided by practical case studies based on the experiences of the partners.

  5. Partners in SG2 have developed languages for requirements engineering and application modelling (Albert, CMSL, Troll dialects) based on concepts of agent/object and actions. The analysed logic approaches will be applied to give formal semantics to (part of) these languages. Together with modelling aspects of case studies, this task will validate the applicability of the various logic approaches.

Goals SG2 will first collect the various diverse logics and models of (concurrent) actions, and assess them in the intended context(s). They will then be integrated in order to arrive at a flexible and useful model of a multi-agent system.

For assessing these formalisms a number of small but typical cases studies will be established.

Schedule

SG2 will hold a yearly meeting. The first meeting will have a tutorial nature where the participants present their work related to the SG2 topics. At this meeting, the presentations for the ModelAge workshop will be discussed.