On the Relation between Weak Completion Semantics and Answer Set Semantics

Autor:	Saldanha, Emmanuelle-Anna Dietz, Fandinno, Jorge
Rok vydání:	2019
Předmět:	Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	The Weak Completion Semantics (WCS) is a computational cognitive theory that has shown to be successful in modeling episodes of human reasoning. As the WCS is a recently developed logic programming approach, this paper investigates the correspondence of the WCS with respect to the well-established Answer Set Semantics (ASP). The underlying three-valued logic of both semantics is different and their models are evaluated with respect to different program transformations. We first illustrate these differences by the formal representation of some examples of a well-known psychological experiment, the suppression task. After that, we will provide a translation from logic programs understood under the WCS into logic programs understood under the ASP. In particular, we will show that logic programs under the WCS can be represented as logic programs under the ASP by means of a definition completion, where all defined atoms in a program must be false when their definitions are false. Comment: 12th Workshop on Answer Set Programming and Other Computing Paradigms, Philadelphia, PA (USA)
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1910.07278 Zobrazit plný text záznamu View this record from Arxiv