2026-07-23T10:11:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6738 2024-03-06T10:29:56Z ddc:004 open_access

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents Cao Son, Tran Pontelli, Enrico Gelfond, Michael Balduccini, Marcello Agents ASP Reasoning Knowledge We propose a framework for answering the question of whether statements made by an agent can be believed, in light of observations made over time. The basic components of the framework are a formalism for reasoning about actions, changes, and observations and a formalism for default reasoning. The framework is suitable for concrete implementation, e.g., using answer set programming for asserting the truthfulness of statements made by agents, starting from observations, knowledge about the actions of the agents, and a theory about the "normal" behavior of agents. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tran Cao Son and Enrico Pontelli and Michael Gelfond and Marcello Balduccini 2016 Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2016.8 urn:nbn:de:0030-drops-67383 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.8 eng https://creativecommons.org/licenses/by/3.0/legalcode