PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Uncertainty in Description Logics: a Lattice-based Approach. In: IPMU-04 - 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (Perugia, Italy, 4-9 July 2004). Proceedings, 2004.
 
 
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 to express that a sentence is not just true or false, but certain to some degree, which is taken from a certainty lattice.
Subject Description Logics
Uncertainty
F.4.1 Mathematical Logic and Formal Languages. Modal logic
I.2.4 Knowledge Representation Formalisms and Methods. Representation


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