Formalisms for multi-agent systems

d'Inverno, Mark; Fisher, Michael; Lomuscio, Alessio; Luck, Michael; De Rijke, Maarten; Ryan, Mark and Wooldridge, Michael. 1997. Formalisms for multi-agent systems. The Knowledge Engineering Review, 12(03), pp. 315-321. [Article]

[img]
Preview
Text (Formalisms for multi-agent systems)
Formalisms for Multi-Agent Systems.pdf - Published Version

Download (35kB) | Preview

Abstract or Description

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.
For example, formalisms such as temporal logics and multi-modal logics seem some distance from
agents that have actually been implemented. All too often, a new logic, notation, or formalism is presented,
without any convincing attempt to explain what its purpose is. Clearly, if we claim that theories
expressed in such formalisms are agent specifications, then there must surely be an obligation to establish
a clear link between the formalism and real agent applications.
This panel was concerned with several fundamental issues relating to formalisms for the description
and development of multi-agent systems.

Item Type:

Article

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
1997Published

Item ID:

9721

Date Deposited:

07 Feb 2014 15:32

Last Modified:

29 Apr 2020 15:57

Peer Reviewed:

Yes, this version has been peer-reviewed.

URI:

https://research.gold.ac.uk/id/eprint/9721

View statistics for this item...

Edit Record Edit Record (login required)