Reasoning about Truthfulness of Agents Using Answer Set Programming

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.