Detta dokument presenterar förklarande semantik av möjligen inkonsekventa diskonterande logiska program. Vi introducerar den parakonsistenta minimala och stabila modellen semantik för utökade diskonterande program, som kan skilja inkonsekvent information från andra i ett program. Dessa semantik är baserade på lattice-strukturerade flervärderade logiker, och kännetecknas av en ny xpoint semantik av utökade diskonterande program. Tillämpningar av parakonsistenta semantik för resonemang i inkonsekventa program presenteras också.
Sakama och Inoue Ref föreslog en parakonsistent stabil semantik för utökade diskonterande program.
Paraconsistent Stable Semantics for Extended Disjunctive Programs
{'venue': 'Journal of Logic and Computation', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}