No Cover Image

Conference contribution 16 views 1 download

T-LAIMA: Answer Set Programming for Modelling Agents with Trust / Marina De Vos; Owen Cliffe; Richard Watson; Tom Crick; Julian Padget; Jonathan Needham; Martin Brain

Proceedings of 3rd European Workshop on Multi-Agent Systems, Pages: 126 - 136

Swansea University Author: Crick, Tom

Abstract

In a time where multi-agent systems (MAS) become increasingly more popular, they come in many forms and shapes depending on the requirements of the agents that need to populate them. Amongst the more demanding properties with respect to the design and implementation is how these agents may individua...

Full description

Published in: Proceedings of 3rd European Workshop on Multi-Agent Systems
Published: Brussels, Belgium 2005
URI: https://cronfa.swan.ac.uk/Record/cronfa43779
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2018-09-12T12:59:42Z
last_indexed 2018-10-15T19:18:03Z
id cronfa43779
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-10-15T15:02:10Z</datestamp><bib-version>v2</bib-version><id>43779</id><entry>2018-09-12</entry><title>T-LAIMA: Answer Set Programming for Modelling Agents with Trust</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-09-12</date><deptcode>EDUC</deptcode><abstract>In a time where multi-agent systems (MAS) become increasingly more popular, they come in many forms and shapes depending on the requirements of the agents that need to populate them. Amongst the more demanding properties with respect to the design and implementation is how these agents may individually reason and communicate about their knowledge and beliefs, with a view to cooperation and collaboration. With information coming from various sources, it becomes vital for agents to have an idea how reliable these information providers are, especially if they start to contradict each other. In this paper we present a hybrid multi-agent platform, called T-LAIMA, using an extension of answer set programming (ASP). We show that our framework is capable of dealing with the specification and implementation of the system&#x2019;s architecture, communication and the individual reasoning capacities of the agents. We discuss both the theoretical framework which models a single, fixed encounter between a number of agents and the implementation that sets ups these encounters in a open multi-agent domain.</abstract><type>Conference contribution</type><journal>Proceedings of 3rd European Workshop on Multi-Agent Systems</journal><volume/><journalNumber/><paginationStart>126</paginationStart><paginationEnd>136</paginationEnd><publisher></publisher><placeOfPublication>Brussels, Belgium</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic/><keywords></keywords><publishedDay>7</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2005</publishedYear><publishedDate>2005-12-07</publishedDate><doi></doi><url></url><notes>3rd European Workshop on Multi-Agent Systems (EUMAS 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>None</degreename><lastEdited>2018-10-15T15:02:10Z</lastEdited><Created>2018-09-12T08:21:35Z</Created><path><level id="1">College of Arts and Humanities</level><level id="2">College of Arts and Humanities</level></path><authors><author><firstname>Marina</firstname><surname>De Vos</surname><orcid/><order>1</order></author><author><firstname>Owen</firstname><surname>Cliffe</surname><orcid/><order>2</order></author><author><firstname>Richard</firstname><surname>Watson</surname><orcid/><order>3</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>4</order></author><author><firstname>Julian</firstname><surname>Padget</surname><orcid/><order>5</order></author><author><firstname>Jonathan</firstname><surname>Needham</surname><orcid/><order>6</order></author><author><firstname>Martin</firstname><surname>Brain</surname><orcid/><order>7</order></author></authors><documents><document><filename>0043779-12092018082408.pdf</filename><originalFilename>eumas.pdf</originalFilename><uploaded>2018-09-12T08:24:08Z</uploaded><type>Output</type><contentLength>159097</contentLength><contentType>application/pdf</contentType><version>AM</version><cronfaStatus>true</cronfaStatus><action>Updated Copyright</action><actionDate>15/10/2018</actionDate><embargoDate>2018-09-12T00:00:00</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2018-10-15T15:02:10Z v2 43779 2018-09-12 T-LAIMA: Answer Set Programming for Modelling Agents with Trust Tom Crick Tom Crick true 0000-0001-5196-9389 false 200c66ef0fc55391f736f6e926fb4b99 9971fd6d74987b78a0d7fce128f8c721 z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs= 2018-09-12 EDUC In a time where multi-agent systems (MAS) become increasingly more popular, they come in many forms and shapes depending on the requirements of the agents that need to populate them. Amongst the more demanding properties with respect to the design and implementation is how these agents may individually reason and communicate about their knowledge and beliefs, with a view to cooperation and collaboration. With information coming from various sources, it becomes vital for agents to have an idea how reliable these information providers are, especially if they start to contradict each other. In this paper we present a hybrid multi-agent platform, called T-LAIMA, using an extension of answer set programming (ASP). We show that our framework is capable of dealing with the specification and implementation of the system’s architecture, communication and the individual reasoning capacities of the agents. We discuss both the theoretical framework which models a single, fixed encounter between a number of agents and the implementation that sets ups these encounters in a open multi-agent domain. Conference contribution Proceedings of 3rd European Workshop on Multi-Agent Systems 126 136 Brussels, Belgium 7 12 2005 2005-12-07 3rd European Workshop on Multi-Agent Systems (EUMAS 2005) College of Arts and Humanities School of Education CAAH EDUC None None 2018-10-15T15:02:10Z 2018-09-12T08:21:35Z College of Arts and Humanities College of Arts and Humanities Marina De Vos 1 Owen Cliffe 2 Richard Watson 3 Tom Crick 0000-0001-5196-9389 4 Julian Padget 5 Jonathan Needham 6 Martin Brain 7 0043779-12092018082408.pdf eumas.pdf 2018-09-12T08:24:08Z Output 159097 application/pdf AM true Updated Copyright 15/10/2018 2018-09-12T00:00:00 true eng
title T-LAIMA: Answer Set Programming for Modelling Agents with Trust
spellingShingle T-LAIMA: Answer Set Programming for Modelling Agents with Trust
Crick, Tom
title_short T-LAIMA: Answer Set Programming for Modelling Agents with Trust
title_full T-LAIMA: Answer Set Programming for Modelling Agents with Trust
title_fullStr T-LAIMA: Answer Set Programming for Modelling Agents with Trust
title_full_unstemmed T-LAIMA: Answer Set Programming for Modelling Agents with Trust
title_sort T-LAIMA: Answer Set Programming for Modelling Agents with Trust
author_id_str_mv 200c66ef0fc55391f736f6e926fb4b99
author_id_fullname_str_mv 200c66ef0fc55391f736f6e926fb4b99_***_Crick, Tom
author Crick, Tom
author2 Marina De Vos
Owen Cliffe
Richard Watson
Tom Crick
Julian Padget
Jonathan Needham
Martin Brain
format Conference contribution
container_title Proceedings of 3rd European Workshop on Multi-Agent Systems
container_start_page 126
publishDate 2005
institution Swansea University
college_str College of Arts and Humanities
hierarchytype
hierarchy_top_id collegeofartsandhumanities
hierarchy_top_title College of Arts and Humanities
hierarchy_parent_id collegeofartsandhumanities
hierarchy_parent_title College of Arts and Humanities
department_str College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities
document_store_str 1
active_str 1
description In a time where multi-agent systems (MAS) become increasingly more popular, they come in many forms and shapes depending on the requirements of the agents that need to populate them. Amongst the more demanding properties with respect to the design and implementation is how these agents may individually reason and communicate about their knowledge and beliefs, with a view to cooperation and collaboration. With information coming from various sources, it becomes vital for agents to have an idea how reliable these information providers are, especially if they start to contradict each other. In this paper we present a hybrid multi-agent platform, called T-LAIMA, using an extension of answer set programming (ASP). We show that our framework is capable of dealing with the specification and implementation of the system’s architecture, communication and the individual reasoning capacities of the agents. We discuss both the theoretical framework which models a single, fixed encounter between a number of agents and the implementation that sets ups these encounters in a open multi-agent domain.
published_date 2005-12-07T12:13:09Z
_version_ 1634049237452849152
score 11.318357