Document Open Access Logo

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents

Authors Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini

PDF

File

Thumbnail PDF
PDF
OASIcs.ICLP.2016.8.pdf
  • Filesize: 335 kB
  • 4 pages

Document Identifiers

Subject Classification

Keywords
  • Agents
  • ASP
  • Reasoning
  • Knowledge

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get 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

Author Details

Tran Cao Son
Enrico Pontelli
Michael Gelfond
Marcello Balduccini
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact