Formal Specification of Multi-Agent Systems: a Real World Case

In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems

Modelling conflict management in design: an explicit approach

This paper focusses on how conflicts that arise during a design process and the management of conflicts can be modelled. A number of possible conflict types are distinguished and it is described how each of them can be detected during the design process, using an explicit meta-representation. Furthermore, it is shown how these conflict types can be analyzed and managed by means of strategic meta-knowledge about design processes. © 1995, Cambridge University Press. All rights reserved

Monotonicity and Persistence in Preferential Logics

An important characteristic of many logics for Artificial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequences. There may, however, exist formulae that can always be safely added to the premises without destroying any of the consequences: we say they respect monotonicity. Also, there may be formulae that, when they are a consequence, can not be invalidated when adding any formula to the premises: we call them conservative. We study these two classes of formulae for preferential logics, and show that they are closely linked to the formulae whose truth-value is preserved along the (preferential) ordering. We will consider some preferential logics for illustration, and prove syntactic characterization results for them. The results in this paper may improve the efficiency of theorem provers for preferential logics.Comment: See http://www.jair.org/ for any accompanying file

Dynamics, Adaptation and Control for Mental Models:A Cognitive Architecture

In this chapter, an overview of the wide variety of occurrences of mental models in the literature is discussed. They are classified according to two dimensions obtaining four categories of mental models: static-dynamic and world-mental, where static refers to mental models for static world states or for static mental states and dynamic refers to mental models for world processes or for mental processes. In addition, distinctions are made for what can be done by mental models: they can, for example, be (1) used for internal simulation, they can be (2) adapted, and these processes can be (3) controlled. This leads to a global three-level cognitive architecture covering these three ways of handling mental models. It is discussed that in this cognitive architecture reflection principles play an important role to define the interactions between the different levels.</p

Re-design of compositional systems

Treur, J. [Promotor]Brazier, F.M.T. [Copromotor

Analysis of the Dynamics of Cognitive Processes

Jonker, C.M. [Promotor]Treur, J. [Promotor