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...
Elmentve itt :
| Szerzők: | |
|---|---|
| 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 |
| LEADER | 01317nab a2200229 i 4500 | ||
|---|---|---|---|
| 001 | acta12541 | ||
| 005 | 20220613130641.0 | ||
| 008 | 161015s1995 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Grant John | |
| 245 | 1 | 4 | |a The optimistic and cautious semantics for inconsistent knowledge bases |h [elektronikus dokumentum] / |c Grant John |
| 260 | |c 1995 | ||
| 300 | |a 37-55 | ||
| 490 | 0 | |a Acta cybernetica |v 12 No. 1 | |
| 520 | 3 | |a 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. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Kibernetika | ||
| 700 | 0 | 1 | |a Subrahmanian V. S. |e aut |
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12541/1/cybernetica_012_numb_001_037-055.pdf |z Dokumentum-elérés |