Étude de quelques logiques de descriptions floues et de formalismes apparentés

Mathieu D'Aquin 1 Jean Lieber 1 Amedeo Napoli 1
1 ORPAILLEUR - Knowledge representation, reasonning
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Les logiques de descriptions sont des formalismes de représentation des connaissances s'appuyant en particulier sur la notion de concept. Un concept est la représentation d'un ensemble. Différents travaux ont traité d'extensions floues de ces formalismes et de formalismes apparentés. Pour chacun d'eux, un concept s'interprète comme un ensemble flou. Cet article présente brièvement les logiques de descriptions classiques, à travers les exemples des formalismes ALC et ALCD, puis étudie et compare les travaux qui étendent ces formalismes, en particulier, sous l'angle de l'introduction du flou. || The description logics are knowledge representation formalisms based, in particular, on the notion of concept. A concept is the representation of a set. Several studies have treated fuzzy extensions of these formalisms and of related formalisms. For each
Type de document :
Communication dans un congrès
Jacky Montmain. Rencontres francophones sur la logique floue et ses applications - LFA'04, 2004, Nantes, France, Cépadues-Editions, pp.255-262, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00099926
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:10:04
Dernière modification le : jeudi 11 janvier 2018 - 06:19:55
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:19:31

Fichiers

Identifiants

  • HAL Id : inria-00099926, version 1

Collections

Citation

Mathieu D'Aquin, Jean Lieber, Amedeo Napoli. Étude de quelques logiques de descriptions floues et de formalismes apparentés. Jacky Montmain. Rencontres francophones sur la logique floue et ses applications - LFA'04, 2004, Nantes, France, Cépadues-Editions, pp.255-262, 2004. 〈inria-00099926〉

Partager

Métriques

Consultations de la notice

472

Téléchargements de fichiers

127