Author(s): Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, and Jonathan Needham
Title: A Multi-agent Platform using Ordered Choice Logic Programming
Abstract: Multi-agent systems (MAS) are able to take many forms depending on the characteristics of the agents populating them. Amongst the more demanding properties from the point of view of design and implementation point 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 reasoning capacities of the agents. Agents are represented as Ordered Choice Logic Programs (OCLP) for modelling their knowledge and reasoning capacities. Communication between the agents is regulated by uni-directional channels transporting answer sets. For the implementation of our system we combine the strength of the JADE framework with the efficiency of the OCT answer set solver. The power of this approach is demonstrated by a multi-agent system reasoning about equilibria of extensive games with perfect information.
Download: PDF
Thursday, 19-May-2005 20:48:40 CEST