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.
1998
01 Pubblicazione su rivista::01a Articolo in rivista
Autoepistemic Description Logics / Rosati, Riccardo. - In: AI COMMUNICATIONS. - ISSN 0921-7126. - 11:3(1998), pp. 219-221.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/125052
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 4
social impact