Grant John and Subrahmanian V. S.: The optimistic and cautious semantics for inconsistent knowledge bases. In: Acta cybernetica, (12) 1. pp. 37-55. (1995)
Preview |
Cikk, tanulmány, mű
cybernetica_012_numb_001_037-055.pdf Download (868kB) | Preview |
Abstract
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: | http://acta.bibl.u-szeged.hu/38499/ |
| 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 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12541 |
Actions (login required)
 |
View Item |
