ASTREA: Answer sets for a trusted reasoning environment for agents

Richard Watson, Marina De Vos

Research output: Chapter in Book/Report/Conference proceedingChapter

71 Downloads (Pure)

Abstract

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
Subtitle of host publicationSymposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.
Place of PublicationHeidelberg
PublisherSpringer
Pages490-509
Number of pages20
ISBN (Print)978-3-642-20831-7
DOIs
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6565
ISSN (Print)0302-9743

Fingerprint

Intelligent agents
Multi agent systems

Cite this

Watson, R., & De Vos, M. (2011). ASTREA: Answer sets for a trusted reasoning environment for agents. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States. (pp. 490-509). (Lecture Notes in Computer Science; Vol. 6565). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-20832-4_30

ASTREA: Answer sets for a trusted reasoning environment for agents. / Watson, Richard; De Vos, Marina.

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.. Heidelberg : Springer, 2011. p. 490-509 (Lecture Notes in Computer Science; Vol. 6565).

Research output: Chapter in Book/Report/Conference proceedingChapter

Watson, R & De Vos, M 2011, ASTREA: Answer sets for a trusted reasoning environment for agents. in Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.. Lecture Notes in Computer Science, vol. 6565, Springer, Heidelberg, pp. 490-509. https://doi.org/10.1007/978-3-642-20832-4_30
Watson R, De Vos M. ASTREA: Answer sets for a trusted reasoning environment for agents. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.. Heidelberg: Springer. 2011. p. 490-509. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-20832-4_30
Watson, Richard ; De Vos, Marina. / ASTREA: Answer sets for a trusted reasoning environment for agents. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.. Heidelberg : Springer, 2011. pp. 490-509 (Lecture Notes in Computer Science).
@inbook{cfd29c8a64fc4c3faf19d2f143e2b5ff,
title = "ASTREA: Answer sets for a trusted reasoning environment for agents",
abstract = "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.",
author = "Richard Watson and {De Vos}, Marina",
year = "2011",
doi = "10.1007/978-3-642-20832-4_30",
language = "English",
isbn = "978-3-642-20831-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "490--509",
booktitle = "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday",

}

TY - CHAP

T1 - ASTREA: Answer sets for a trusted reasoning environment for agents

AU - Watson, Richard

AU - De Vos, Marina

PY - 2011

Y1 - 2011

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

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

UR - http://dx.doi.org/10.1007/978-3-642-20832-4_30

U2 - 10.1007/978-3-642-20832-4_30

DO - 10.1007/978-3-642-20832-4_30

M3 - Chapter

SN - 978-3-642-20831-7

T3 - Lecture Notes in Computer Science

SP - 490

EP - 509

BT - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

PB - Springer

CY - Heidelberg

ER -