Paraconsistent logic programming
Theoretical Computer Science
Logic programming with strong negation
Proceedings of the international workshop on Extensions of logic programming
Answer sets and constructive logic, II: extended logic programs and related nonmonotonic formalisms
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
A survey of paraconsistent semantics for logic programs
Handbook of defeasible reasoning and uncertainty management systems
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation
Logic of Information Structures
Logic of Information Structures
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
A Tableau Calculus for Equilibrium Entailment
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Computing Equilibrium Models Using Signed Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
Ex contradictione nihil sequitur
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
We present an alternative model theory for answer sets based on the possible worlds semantics proposed by Routley (1974) as a framework for the propositional logics of Fitch and Nelson. By introducing a falsity constant or second negation into Routley models, we show how paraconsistent as well as ordinary answer sets can be represented via a simple minimality condition on models. This means we can define a paraconsistent version of equilibrium logic, or paraconsistent answer sets (PAS) for propositional theories. The underlying logic of PAS is denoted by N9. We characterise it axiomatically and algebraically, showing it to be the least conservative extension of the logic of here-and-there with strong negation. In addition, we show that N9 captures the strong equivalence of programs in the paraconsistent case and can thus serve as a useful mathematical foundation for PAS. We end by showing that N9 has the Interpolation Property.