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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 37-55 |
| Number of pages | 19 |
| Journal | Acta Cybernetica |
| Volume | 12 |
| Issue number | 1 |
| State | Published - 1995 |
| Externally published | Yes |
ASJC Scopus subject areas
- Software
- Computer Science (miscellaneous)
- Computer Vision and Pattern Recognition
- Management Science and Operations Research
- Information Systems and Management
- Electrical and Electronic Engineering