Authors
Chiaki Sakama, Katsumi Inoue
Publication date
1995/6/1
Journal
Journal of Logic and Computation
Volume
5
Issue
3
Pages
265-285
Publisher
Oxford University Press
Description
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 other information 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.
Total citations
Scholar articles
C Sakama, K Inoue - Journal of Logic and Computation, 1995