Département d'Informatique

Permanent URI for this collection

Now showing 1 - 1 of 1

Logique de description et analyse de concepts formels pour des représentations incomplétes .
(Université Mouloud Mammeri, 2018-03-01) Ait Yakoub, Zina
La théorie de l’analyse de concepts formels (ACF) dépend classiquement de l’utilisation de l’opérateur de dérivation de Galois. Les similitudes formelles entre la théorie des possibilités et l’analyse de concepts formels ont conduit à l’utilisation d’opérateurs possibilistes en ACF, qui ont été ignorés auparavant. Dans cette thèse, une approche basée sur l’utilisation de la composition asymétrique des deux opérateurs possibilistes les plus habituels est proposée. Elle permet de compléter la base de Duquinne-Guigues, en dérivant les implications d’attributs avec les disjonctions des deux côtés des implications. L’approche est également généralisée à des contextes incomplets et incertains impliquant des informations positives et négatives. Nous appliquons ces résultats, dans le cadre des logiques de description (LD), pour compléter une description terminologique (TBox) avec des GCIs disjonctives.