Reasoning about Truthfulness of Agents Using Answer Set Programming.
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini · Principles of Knowledge Representation and Reasoning · 2015
We propose a declarative framework for representing and reasoning about truthfulness of agents using answer set programming. We show how statements by agents can be evaluated against a set of observations over time equipped with our knowledge about the actions of the agents and the normal behavior of agents. We illustrate the framework using examples and discuss possible extensions that need to be considered.