DOI | Trouver le DOI : https://doi.org/10.1007/978-3-642-04020-7_13 |
---|
Auteur | Rechercher : Zhao, Jidi; Rechercher : Boley, Harold1; Rechercher : Du, Weichang |
---|
Affiliation | - Conseil national de recherches du Canada. Institut de technologie de l'information du CNRC
|
---|
Format | Texte, Article |
---|
Conférence | 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, September 16-19, 2009, South Korea |
---|
Résumé | This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to many-valued logics. We represent, and reason with, uncertain knowledge in the description logic ALCHIN extended to an interval-based, norm-parameterized fuzzy logic. First, the syntax and the semantics of the proposed fuzzy description logic are addressed. Then the paper presents an algorithm for consistency checking of knowledge bases in the proposed language. |
---|
Date de publication | 2009 |
---|
Maison d’édition | Springer |
---|
Dans | |
---|
Série | |
---|
Langue | anglais |
---|
Publications évaluées par des pairs | Oui |
---|
Numéro NPARC | 23005051 |
---|
Exporter la notice | Exporter en format RIS |
---|
Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
---|
Identificateur de l’enregistrement | 02a5b1dd-904c-43f5-a291-eec2dc97f995 |
---|
Enregistrement créé | 2019-02-20 |
---|
Enregistrement modifié | 2020-04-16 |
---|