The optimistic and cautious semantics for inconsistent knowledge bases

Grant John and Subrahmanian V. S.: The optimistic and cautious semantics for inconsistent knowledge bases. In: Acta cybernetica, (12) 1. pp. 37-55. (1995)

[thumbnail of cybernetica_012_numb_001_037-055.pdf]
Cikk, tanulmány, mű

Download (868kB) | Preview


We develop two alternative semantics, based on maximal consistent subsets, for knowledge bases that (possibly) contain inconsistencies. The optimistic (resp. cautious) semantics correspond to entailment in some (resp. all) maximal consistent subsets. We develop a Kripke-style model theory corresponding to these two semantics. We further extend these semantics to the case when knowledge bases contain both explicit and nonmonotonic negation. Notions of stratification and stability are defined and studied for both semantics.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1995
Volume: 12
Number: 1
ISSN: 0324-721X
Page Range: pp. 37-55
Language: English
Place of Publication: Szeged
Related URLs:
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: 54. p. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:26
Last Modified: 2022. Jun. 13. 13:06

Actions (login required)

View Item View Item