Restricted Four-Valued Semantics for Answer Set Programming

In answer set programming, an extended logic program may have no answer set, or only one trivial answer set. In this paper, we propose a new stable model semantics based on the restricted four-valued logic to overcome both inconsistences and incoherences in answer set programming. Our stable models coincide with classical answer sets when reasoning on consistent and coherent logic programs, and can be solved by transformation in existing ASP solvers. We also show the connection between our stable models and the extensions of default logic.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[3]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[4]  Arnon Avron,et al.  The Value of the Four Values , 1998, Artif. Intell..

[5]  François Fages,et al.  Combining Explicit Negation and Negation by Failure Via Belnap's Logic , 1997, Theor. Comput. Sci..

[6]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..

[7]  Luís Moniz Pereira,et al.  A Declarative Characterization of Disjunctive Paraconsistent Answer Sets , 2004, ECAI.

[8]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..

[9]  Thomas Eiter,et al.  Paracoherent Answer Set Programming , 2010, KR.

[10]  Francesco Buccafurri,et al.  Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..

[11]  David Pearce,et al.  Quantified Equilibrium Logic and Foundations for Answer Set Programs , 2008, ICLP.

[12]  Melvin Fitting,et al.  Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..

[13]  Chiaki Sakama,et al.  Paraconsistent Stable Semantics for Extended Disjunctive Programs , 1995, J. Log. Comput..

[14]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[15]  Thomas Eiter,et al.  Modular Paracoherent Answer Sets , 2014, JELIA.

[16]  Chen Chen,et al.  Restricted Four-Valued Logic for Default Reasoning , 2015, KSEM.

[17]  David Pearce,et al.  Routley Semantics for Answer Sets , 2005, LPNMR.