No Cover Image

Book Chapter 23 views

LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming / Marina De Vos; Tom Crick; Julian Padget; Martin Brain; Owen Cliffe; Jonathan Needham

Declarative Agent Languages and Technologies III, Volume: 3904, Pages: 72 - 88

Swansea University Author: Crick, Tom

Full text not available from this repository: check for access using links below.

Check full text

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...

Full description

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!
first_indexed 2018-08-14T15:01:05Z
last_indexed 2018-10-15T19:17:24Z
id cronfa43403
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-10-15T15:00:54Z</datestamp><bib-version>v2</bib-version><id>43403</id><entry>2018-08-14</entry><title>LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming</title><alternativeTitle></alternativeTitle><author>Tom Crick</author><firstname>Tom</firstname><surname>Crick</surname><active>true</active><ORCID>0000-0001-5196-9389</ORCID><ethesisStudent>false</ethesisStudent><sid>200c66ef0fc55391f736f6e926fb4b99</sid><email>9971fd6d74987b78a0d7fce128f8c721</email><emailaddr>z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs=</emailaddr><date>2018-08-14</date><deptcode>EDUC</deptcode><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&#x2019;s architecture, communication and the individual agent&#x2019;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.</abstract><type>Chapter in book</type><journal>Declarative Agent Languages and Technologies III</journal><volume>3904</volume><journalNumber/><paginationStart>72</paginationStart><paginationEnd>88</paginationEnd><publisher>Springer</publisher><placeOfPublication>Utrecht, Netherlands</placeOfPublication><isbnPrint>978-3-540-33106-3</isbnPrint><isbnElectronic>978-3-540-33107-0</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords></keywords><publishedDay>25</publishedDay><publishedMonth>7</publishedMonth><publishedYear>2006</publishedYear><publishedDate>2006-07-25</publishedDate><doi>10.1007/11691792_5</doi><url>https://link.springer.com/chapter/10.1007%2F11691792_5</url><notes>3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005)</notes><college>College of Arts and Humanities</college><department>School of Education</department><CollegeCode>CAAH</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename></degreename><lastEdited>2018-10-15T15:00:54Z</lastEdited><Created>2018-08-14T15:45:21Z</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>Marina</firstname><surname>De Vos</surname><orcid/><order>1</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>2</order></author><author><firstname>Julian</firstname><surname>Padget</surname><orcid/><order>3</order></author><author><firstname>Martin</firstname><surname>Brain</surname><orcid/><order>4</order></author><author><firstname>Owen</firstname><surname>Cliffe</surname><orcid/><order>5</order></author><author><firstname>Jonathan</firstname><surname>Needham</surname><orcid/><order>6</order></author></authors><documents/></rfc1807>
spelling 2018-10-15T15:00:54Z v2 43403 2018-08-14 LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming Tom Crick Tom Crick true 0000-0001-5196-9389 false 200c66ef0fc55391f736f6e926fb4b99 9971fd6d74987b78a0d7fce128f8c721 z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs= 2018-08-14 EDUC 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. Chapter in book Declarative Agent Languages and Technologies III 3904 72 88 Springer Utrecht, Netherlands 978-3-540-33106-3 978-3-540-33107-0 0302-9743 1611-3349 25 7 2006 2006-07-25 10.1007/11691792_5 https://link.springer.com/chapter/10.1007%2F11691792_5 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005) College of Arts and Humanities School of Education CAAH EDUC None 2018-10-15T15:00:54Z 2018-08-14T15:45:21Z College of Science Computer Science Marina De Vos 1 Tom Crick 0000-0001-5196-9389 2 Julian Padget 3 Martin Brain 4 Owen Cliffe 5 Jonathan Needham 6
title LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
spellingShingle LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
Crick, Tom
title_short LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
title_full LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
title_fullStr LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
title_full_unstemmed LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
title_sort LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
author_id_str_mv 200c66ef0fc55391f736f6e926fb4b99
author_id_fullname_str_mv 200c66ef0fc55391f736f6e926fb4b99_***_Crick, Tom
author Crick, Tom
author2 Marina De Vos
Tom Crick
Julian Padget
Martin Brain
Owen Cliffe
Jonathan Needham
format Book Chapter
container_title Declarative Agent Languages and Technologies III
container_volume 3904
container_start_page 72
publishDate 2006
institution Swansea University
isbn 978-3-540-33106-3
978-3-540-33107-0
issn 0302-9743
1611-3349
doi_str_mv 10.1007/11691792_5
publisher Springer
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
url https://link.springer.com/chapter/10.1007%2F11691792_5
document_store_str 0
active_str 1
description 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.
published_date 2006-07-25T12:12:14Z
_version_ 1634049179670020096
score 10.810247