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)