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.

[1]  Jan Treur,et al.  Compositional Formal Specification of Multi-Agent Systems , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

[2]  Frances M. T. Brazier,et al.  Modelling Collective User Satisfaction , 1993, HCI.

[3]  Nicholas R. Jennings,et al.  ARCHON: a distributed artificial intelligence system for industrial application , 1996 .

[4]  Jan Treur,et al.  Formal Notions for Verification of Dynamics of Knowledge-Based Systems , 1995, EUROVAV.

[5]  D. Mcdonald,et al.  ARCHON : A DISTRIBUTED ARTIFICIAL INTELLIGENCE SYSTEM FOR INDUSTRIAL APPLICATIONS , 1995 .

[6]  Olivier Corby,et al.  Agent-Based Knowledge Acquisition , 1994, EKAW.

[7]  Jan Treur,et al.  Temporal Theories of Reasoning , 1995, J. Appl. Non Class. Logics.

[8]  Jan Treur,et al.  Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994, META.

[9]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[10]  Jan Treur,et al.  Temporal Theories of Reasoning , 1994, J. Appl. Non Class. Logics.

[11]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[12]  Alberto Pettorossi.  Proceedings of the 3rd International Workshop on Meta-Programming in Logic , 1992 .

[13]  Terry Patten,et al.  The formal model , 1988 .

[14]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[15]  Jan Treur,et al.  User Centered Knowledge-Based System Design: a Formal Modelling Approach , 1994, EKAW.

[16]  Luc Steels,et al.  A Future for Knowledge Acquisition , 1994, Lecture Notes in Computer Science.