A Model Theory for Paraconsistent Logic Programming

We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-functional logic, NINE, based on the bilattice construction of Ginsberg and Fitting. The models identified by WFSX p are models of logic NINE. We conclude with a discussion on the conditions to obtain an isomorphism between the two definitions, and thereby characterizing WFSX p model-theoretically.

• Type: Conference
• Year: 1995
• Where: EPIA
• Authors: Carlos Viegas Damásio, Luís Moniz Pereira
• Keywords: Artificial Intelligence, EPIA 1995, Explicit Negation Wfsx, Logic, Paraconsistent Well-founded Semantics