Agent-Oriented Software Engineering III

In previous work [1] we presented a framework for the specification of open computational societies i.e. societies where the behaviour of the members and their interactions cannot be predicted in advance. We viewed computational systems from an external perspective, with a focus on the institutional and the social aspects of these systems. The social constraints and roles of the open societies were specified with the use of the Event Calculus. In this paper, we formalise our framework with the use of the C + language, a formalism with explicit state transition semantics. We use the implementation of the C + language, the Causal Calculator, a software tool for representing commonsense knowledge about action and change, to animate and validate the specifications of computational societies. We demonstrate the utility of the Causal Calculator (by specifying and executing a Contract-Net Protocol) and comment on its functionality regarding the specification of computational societies.

[1]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[2]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[3]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[4]  Afsaneh Haddadi,et al.  Generic, Configurable, Cooperation Protocols for Multi-Agent Systems , 1993, MAAMAW.

[5]  Kevin Crowston,et al.  The interdisciplinary study of coordination , 1994, CSUR.

[6]  Yves Demazeau,et al.  A Social Reasoning Mechanism Based On Dependence Networks , 1997, ECAI.

[7]  Ali Mili,et al.  Reusing Software: Issues and Research Directions , 1995, IEEE Trans. Software Eng..

[8]  Victor R. Lesser,et al.  Designing a Family of Coordination Algorithms , 1997, ICMAS.

[9]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[10]  Edmund H. Durfee,et al.  Planning in distributed artificial intelligence , 1996 .

[11]  Michael P. Georgeff,et al.  Modelling and Design of Multi-Agent Systems , 1997, ATAL.

[12]  Bernard Coulange,et al.  Software Reuse , 1997, Springer London.

[13]  Hyacinth S. Nwana,et al.  ZEUS: A Toolkit for Building Distributed Multiagent Systems , 1999, Appl. Artif. Intell..

[14]  Tuomas Sandholm,et al.  Distributed rational decision making , 1999 .

[15]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.

[16]  James B. Steinberg.  Where Have All the Computers Gone , 2001 .

[17]  Matthias Klusch,et al.  Information agent technology for the Internet: A survey , 2001, Data Knowl. Eng..

[18]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[19]  Jürgen Lind,et al.  Patterns in Agent-Oriented Software Engineering , 2002, AOSE.

[20]  Jörg P. Müller,et al.  Editorial Engineering Agent Systems: Best of "From Agent Theory to Agent Implementation (AT2AI)-3" , 2002, Appl. Artif. Intell..

[21]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..