ASTREA: Answer sets for a trusted reasoning environment for agents

Richard Watson, Marina De Vos

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


In recent years, numerous papers have shown the power and flexibility of answer set programming (ASP) in the modeling of intelligent agents. This is not surprising since ASP was developed specifically for non-monotonic reasoning - including common-sense reasoning required in agent modeling. When dealing with multiple agents exchanging information, a common problem is dealing with conflicting information. As with humans, our intelligent agents may trust information from some agents more and than from others. In this paper, we present ASTREA, a methodology and framework for modeling multi-agent systems with trust. Starting from agents written in standard , we model the agent's knowledge, beliefs, reasoning capabilities and trust in other agents together with a conflict resolution strategy in CR-Prolog. The system is then able to advise the agent what information to take into account and what to discard.

Original languageEnglish
Title of host publicationLogic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Number of pages20
StatePublished - 2011
EventSymposium on Constructive Mathematics in Computer Science - Lexington, KY, United States
Duration: Oct 25 2010Oct 26 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6565 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceSymposium on Constructive Mathematics in Computer Science
Country/TerritoryUnited States
CityLexington, KY


Dive into the research topics of 'ASTREA: Answer sets for a trusted reasoning environment for agents'. Together they form a unique fingerprint.

Cite this