Towards Multi-Agent Software Prototyping

Integration and reusing of different kinds of information and software tools is a pressing necessity that more and more complex applications have to cope with. This fact and the distributed nature of many applications made it very appealing to use multi–agent technology. However, agent–based software still lacks well founded development methodologies, thus rapid prototyping and executable specifications could be very important for the realization of these applications. We present CaseLP, a specification framework for agent–based complex applications founded on Logic Programming. Many of the desirable features of an ideal system have already been implemented in CaseLP which, as a first prototype, has already been proven very useful in the case of some real applications. The paper outlines the general features of the system, describes some aspects of the implementation and presents two case studies that is, real–world applications that have been specified using CaseLP.

[1]  Afsaneh Haddadi,et al.  Application of multi-agent systems in traffic and transportation , 1997, IEE Proc. Softw. Eng..

[2]  Koen De Bosschere,et al.  ICLP'97 Post-Conference Workshop on Logic Programming Tools for Internet Applications , 1997 .

[3]  Mark S. Fox,et al.  The Architecture of an Agent Building Shell , 1995, ATAL.

[4]  J. Lloyd Foundations of Logic Programming , 1984, Symbolic Computation.

[5]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[6]  Carlos Angel Iglesias,et al.  MIX: A General Purpose Multiagent Architecture , 1995, ATAL.

[7]  Patrice Enjalbert,et al.  Cooperating Logical Agents , 1995, WOCFAI.

[8]  Robert A. Kowalski,et al.  Towards a Unified Agent Architecture that Combines Rationality with Reactivity , 1996, Logic in Databases.

[9]  Jeff Kramer,et al.  Distributed software engineering , 1994, Proceedings of 16th International Conference on Software Engineering.

[10]  Luís Moniz Pereira,et al.  A deliberative and reactive diagnosis agent based on logic programming , 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.

[11]  Timothy W. Finin,et al.  Evaluation of KQML as an Agent Communication Language , 1995, ATAL.

[12]  Steven C. Laufmann,et al.  Toward Agent-Based Software Engineering for Information-Dependent Enterprise Applications , 1996 .

[13]  Nicholas R. Jennings,et al.  Modelling Distributed Industrial Processes in a Multi-Agent Framework , 1997 .

[14]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[15]  Jonathan P. Bowen,et al.  Formal Methods , 2010, Computing Handbook, 3rd ed..

[16]  Robert B. Ross,et al.  IMPACT: the interactive Maryland platform for agents collaborating together , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[17]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

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

[19]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[20]  Viviana Mascardi,et al.  Applying Logic Programming to the Specification of Complex Applications , 1997, APPIA-GULP-PRODE.

[21]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

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

[23]  Jörg P. Müller,et al.  The Design of Intelligent Agents , 1996, Lecture Notes in Computer Science.

[24]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.