ASTREA: answer sets for a trusted reasoning environment for agents

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