A non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined. The minimal knowledge paradigm is investigated in relation to nonmonotonic modal logics and logic programming. In relation, ground nonmonotonic modal logic formalisms and autoepistemic description logics are studied in detail.
Autoepistemic Description Logics / Rosati, Riccardo. - In: AI COMMUNICATIONS. - ISSN 0921-7126. - 11:3(1998), pp. 219-221.
Autoepistemic Description Logics
ROSATI, Riccardo
1998
Abstract
A non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined. The minimal knowledge paradigm is investigated in relation to nonmonotonic modal logics and logic programming. In relation, ground nonmonotonic modal logic formalisms and autoepistemic description logics are studied in detail.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
