Formal Agent Development: Framework to System

Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophisticated logics for reasoning about agent systems on the other. Our own view is that work on formal models of agent-based systems are valuable inasmuch as they contribute to a fundamental goal of computing of practical agent development. In an ongoing project that has been running for several years, we have sought to do exactly that through the development of a formal framework that provides a conceptual infrastructure for the analysis and modelling of agents and multi-agent systems on the one hand, and enables implemented and deployed systems to be evaluated and compared on the other. In this paper, we describe our research programme, review its achievements to date, and suggest directions for the future.

[1]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[2]  Michael Wooldridge,et al.  Formalizing the Cooperative Problem Solving Process , 1994 .

[3]  Michael Luck,et al.  Interaction protocols in Agentis , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[4]  Michael Luck,et al.  From definition to deployment: What next for agent-based systems? , 1999, The Knowledge Engineering Review.

[5]  Richard Goodwin,et al.  Formalizing Properties of Agents , 1993, J. Log. Comput..

[6]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

[7]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[8]  Michael Luck,et al.  Plan Analysis for Autonomous Sociological Agents , 2000, ATAL.

[9]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[10]  Nathan Griffiths,et al.  From Agent Theory to Agent Construction: A Case Study , 1996, ATAL.

[11]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[12]  Michael Luck,et al.  Engineering AgentSpeak(L): A Formal Computational Model , 1998, J. Log. Comput..

[13]  Nicholas R. Jennings,et al.  Agent Systems and Applications , 1998, Knowl. Eng. Rev..

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

[15]  Iain D. Craig.  Formal specification of advanced AI architectures , 1991, Ellis Horwood series in artificial intelligence.

[16]  Mark Ryan,et al.  Formalisms for multi-agent systems , 1997, Knowl. Eng. Rev..

[17]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[18]  Michael Luck,et al.  Engagement and Cooperating in Motivated Agent Modelling , 1995, DAI.

[19]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[20]  Michael Luck,et al.  Development and application of a formal agent framework , 1997, First IEEE International Conference on Formal Engineering Methods.

[21]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.