文章基本信息

标题：An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents
本地全文：下载
作者：Tran Cao Son ; Enrico Pontelli ; Michael Gelfond 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2016
卷号：52
页码：1-4
DOI：10.4230/OASIcs.ICLP.2016.8
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Agents; ASP; Reasoning; Knowledge