License: Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2016.8
URN: urn:nbn:de:0030-drops-67383
URL: https://drops.dagstuhl.de/opus/volltexte/2016/6738/
Go to the corresponding OASIcs Volume Portal


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

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

pdf-format:
OASIcs-ICLP-2016-8.pdf (0.3 MB)


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.

BibTeX - Entry

@InProceedings{caoson_et_al:OASIcs:2016:6738,
  author =	{Tran Cao Son and Enrico Pontelli and Michael Gelfond and Marcello Balduccini},
  title =	{{An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  pages =	{8:1--8:4},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6738},
  URN =		{urn:nbn:de:0030-drops-67383},
  doi =		{10.4230/OASIcs.ICLP.2016.8},
  annote =	{Keywords: Agents, ASP, Reasoning, Knowledge}
}

Keywords: Agents, ASP, Reasoning, Knowledge
Collection: Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Issue Date: 2016
Date of publication: 11.11.2016


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI