Formalisms for multi-agent systems
D'INVERNO a1, MICHAEL
FISHER a2, ALESSIO
LOMUSCIO a3, MICHAEL
LUCK a4, MAARTEN
DE RIJKE a4, MARK
RYAN a3 and MICHAEL
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
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.
1 This report is the result of a panel discussion at the First
Systems (FoMAS'96). All members of the panel are authors, listed alphabetically.