The optimistic and cautious semantics for inconsistent knowledge bases

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 correspond...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Grant John
Subrahmanian V. S.
Dokumentumtípus: Cikk
Megjelent: 1995
Sorozat:Acta cybernetica 12 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12541
Leíró adatok
Tartalmi kivonat: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.
Terjedelem/Fizikai jellemzők:37-55
ISSN:0324-721X