PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Uncertainty and description logic programs over lattices. 115-133 p. Elie Sanchez (ed.). New York: Elsevier, 2006.
 
 
Abstract
(English)
It is generally accepted that knowledge based systems would be smarter if they can manage uncertainty. In this paper we extend Description Logics, well-known logics for managing structured knowledge, towards the management of uncertainty. We allow (i) to express that a sentence is not just true or false, but certain to some degree, which is taken from a certainty lattice; and (ii) combine the logic with annotated logic programming, in which the management of uncertainty is based on so-called annotation terms.
Subject Description logics lattice
I.2.4 Knowledge Representation Formalisms and Methods. Representationlanguages


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional