Book chapter 719 views
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
Marina De Vos,
Tom Crick 
,
Julian Padget,
Martin Brain,
Owen Cliffe,
Jonathan Needham
,
Julian Padget,
Martin Brain,
Owen Cliffe,
Jonathan Needham
Declarative Agent Languages and Technologies III, Volume: 3904, Pages: 72 - 88
Swansea University Author:
Tom Crick
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/11691792_5
Abstract
Multi-agent systems (MAS) can take many forms depending on the characteristics of the agents populating them. Amongst the more demanding properties with respect to the design and implementation of multi-agent system is how these agents may individually reason and communicate about their knowledge an...
| Published in: | Declarative Agent Languages and Technologies III |
|---|---|
| ISBN: | 978-3-540-33106-3 978-3-540-33107-0 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Utrecht, Netherlands
Springer
2006
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa43403 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
Multi-agent systems (MAS) can take many forms depending on the characteristics of the agents populating them. Amongst the more demanding properties with respect to the design and implementation of multi-agent system is how these agents may individually reason and communicate about their knowledge and beliefs, with a view to cooperation and collaboration. In this paper, we present a deductive reasoning multi-agent platform using an extension of answer set programming (ASP). We show that it is capable of dealing with the specification and implementation of the system’s architecture, communication and the individual agent’s reasoning capacities. Agents are represented as Ordered Choice Logic Programs (OCLP) as a way of modelling their knowledge and reasoning capacities, with communication between the agents regulated by uni-directional channels transporting information based on their answer sets. In the implementation of our system we combine the extensibility of the JADE framework with the flexibility of the OCT front-end to the Smodels answer set solver. The power of this approach is demonstrated by a multi-agent system reasoning about equilibria of extensive games with perfect information. |
|---|---|
| Item Description: |
3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005) |
| College: |
Faculty of Humanities and Social Sciences |
| Start Page: |
72 |
| End Page: |
88 |