OASIcs.ICLP.2016.8.pdf
- Filesize: 335 kB
- 4 pages
Document
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents
Authors
-
Part of:
Volume:
Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2016-11-11
Cite AsGet BibTex
Tran Cao Son, Enrico Pontelli, Michael Gelfond, and Marcello Balduccini. An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 8:1-8:4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/OASIcs.ICLP.2016.8
https://doi.org/10.4230/OASIcs.ICLP.2016.8
Abstract
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.
Keywords
- Agents
- ASP
- Reasoning
- Knowledge
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads