ASTREA: Answer sets for a trusted reasoning environment for agents


Watson, R. and 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. Heidelberg: Springer, pp. 490-509. (Lecture Notes in Computer Science; 6565)

Related documents:

PDF (proceedingsVersion) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (308kB) | Preview

    Official URL:


    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.


    Item Type Book Sections
    CreatorsWatson, R.and De Vos, M.
    DepartmentsFaculty of Science > Computer Science
    Research CentresCentre for Mathematical Biology
    ID Code24158


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...