Specification of Heterogeneous Agent Architectures

Agent-based software applications need to incorporate agents having heterogeneous architectures in order for each agent to optimally perform its task. HEMASL is a simple meta-language used to specify intelligent agents and multi-agent systems when different and heterogeneous agent architectures must be used. HEMASLspecifications are based on an agent model that abstracts several existing agent architectures. The paper describes some of the features of the language, presents examples of its use and outlines its operational semantics. We argue that adding HEMASL to CaseLP, a specification and prototyping environment for MAS, can enhance its flexibility and usability.

[1]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[2]  Koen V. Hindriks,et al.  Control Structures of Rule-Based Agent Languages , 1998, ATAL.

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

[4]  Giorgio Delzanno,et al.  Proofs as computations in linear logic , 2001, Theor. Comput. Sci..

[5]  Viviana Mascardi,et al.  Specification and Simulation of Multi-Agent Systems in CaseLP , 1999, APPIA-GULP-PRODE.

[6]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[7]  Michael R. M. Jenkin,et al.  Reactivity in a Logic-Based Robot Programming Framework , 1999, ATAL.

[8]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[9]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[10]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[11]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[12]  Viviana Mascardi,et al.  Multi-agent Systems Development as a Software Engineering Enterprise , 1999, PADL.

[13]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[14]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[15]  Frank S. de Boer,et al.  Generalised Object-Oriented Concepts for Inter-agent Communication , 2000, ATAL.

[16]  Michael Wooldridge,et al.  Issues in Agent-Based Software Engineering , 1997, CIA.

[17]  Hector J. LevesqueDepartment.  Specifying Communicative Multi-Agent Systems with ConGologSteven , 1997 .

[18]  Michael Fisher,et al.  Representing Abstract Agent Architectures , 1998, ATAL.

[19]  Viviana Mascardi,et al.  HEMASL: A Flexible Language to Specify Heterogeneous Agents , 2000, WOA.

[20]  Jörg P. Müller,et al.  The Right Agent (Architecture) to do the Right Thing , 1998, ATAL.