The Knowledge Engineering Review



Short Communication

Formalisms for multi-agent systems 1


MARK  D'INVERNO a1, MICHAEL  FISHER a2, ALESSIO  LOMUSCIO a3, MICHAEL  LUCK a4, MAARTEN  DE RIJKE a4, MARK  RYAN a3 and MICHAEL  WOOLDRIDGE a5
a1 School of Computer Science, University of Westminster, UK
a2 Department of Computing, Manchester Metropolitan University, UK
a3 School of Computer Science, University of Birmingham, UK
a4 Department of Computer Science, University of Warwick, UK
a5 Agent Systems Group, Zuno, London, UK

Abstract

As computer scientists, our goals are motivated by the desire to improve computer systems in some way: making them easier to design and implement, more robust and less prone to error, easier to use, faster, cheaper, and so on. In the field of multi-agent systems, our goal is to build systems capable of flexible autonomous decision making, with societies of such systems cooperating with one-another. There is a lot of formal theory in the area but it is often not obvious what such theories should represent and what role the theory is intended to play. Theories of agents are often abstract and obtuse and not related to concrete computational models.



Footnotes

1 This report is the result of a panel discussion at the First UK Workshop on Foundations of Multi-Agent Systems (FoMAS'96). All members of the panel are authors, listed alphabetically.