On the Relation between Weak Completion Semantics and Answer Set Semantics
This work connects a cognitive theory to established AI semantics, potentially aiding researchers in logic programming and cognitive science.
The paper investigates the relationship between Weak Completion Semantics (WCS), a logic programming approach for modeling human reasoning, and Answer Set Semantics (ASP), showing that WCS programs can be translated into ASP programs using a definition completion method.
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.