Paraconsistent Stable Semantics for Extended Disjunctive Programs

Chiaki Sakama and Katsumi Inoue

Journal of Logic and Computation 5: 265-285, Oxford University Press, 1995.


This paper presents declarative semantics of possibly inconsistent disjunctive logic programs. We introduce the paraconsistent minimal and stable model semantics for extended disjunctive programs, which can distinguish inconsistent information from others in a program. These semantics are based on lattice-structured multi-valued logics, and are characterized by a new fixpoint semantics of extended disjunctive programs. Applications of the paraconsistent semantics for reasoning in inconsistent programs are also presented.

Full Paper (gzipped postscript 101K)