The optimistic and cautious semantics for inconsistent knowledge bases

Grant John; 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]
Előnézet
Cikk, tanulmány, mű
cybernetica_012_numb_001_037-055.pdf

Letöltés (868kB) | Előnézet

Absztrakt (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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1995
Kötet: 12
Szám: 1
ISSN: 0324-721X
Oldalak: pp. 37-55
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38499/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: 54. p. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:26
Utolsó módosítás: 2022. jún. 13. 13:06
URI: http://acta.bibl.u-szeged.hu/id/eprint/12541
Bővebben:
Tétel nézet Tétel nézet