Analyse de concepts formels pour des implications d’attributs certaines .

Thumbnail Image

Date

2019

Journal Title

Journal ISSN

Volume Title

Publisher

Université Mouloud Mammeri

Abstract

L'Analyse de Concepts Formels (ACF) (appelée aussi Analyse Formelle de Concepts (AFC)) est un formalisme mathématique pour l'analyse de données, la représentation de connaissances et la visualisation de connaissances. L'idée de base de l'ACF est d'extraire des concepts regroupant des objets et leurs propriétés/attributs à partir de données et de construire une hiérarchie à partir de ces concepts, appelée treillis de concepts. [19] Classiquement, l'ACF s'applique à une relation binaire représentée par un contexte formel. Un objet satisfait un attribut ou ne le satisfait pas. Au cours des dernières années, l'ACF a été appliquée dans de nombreuses disciplines comme la psychologie, la sociologie, l'anthropologie, la médecine, la biologie, la linguistique, etc. Dans de tels cas, l'ACF traite inévitablement des structures d'information relationnelle (contextes formels) issues de l'investigation humaine (jugement, observation, mesure,… etc.). De pareilles informations sont inévitablement entachées d'incertitude et/ou d'imprécision et/ou d'incomplétude. Des recherches récentes ont été initiées afin de prendre en considération des contextes formels contenant de pareilles informations. [04] [21] [22] Dans le cadre de ce mémoire, nous allons traiter le cas de l'information incomplète qui correspond à une information partiellement informée, où l'ignorance totale, le cas ou on ne sait pas si l'objet possède l'attribut ou non, ce cas à été considéré par Obiedkov [07] en utilisant la logique modale et par Burmeister et Holzer [08] en utilisant la logique à trois valeurs (Kleene three-valued logic). Ils ont proposé d'introduire une troisième valeur, notée " ?", dans un contexte formel, ce qui conduit à la notion de contexte incomplet, parfois aussi appelé contexte formel à trois valeurs, nous allons nous intéresser aux implications résultantes par ce type de contexte, à savoir les implications d'attributs possibles et certaines [20] [23] [24]. Cependant, notre travail consiste en premier lieu à implémenter une méthode qui permet de valider les implications d'attributs introduites par l'utilisateur, en second lieu à mettre en œuvre une approche qui permet de générer toutes les implications d'attributs conjonctives certaines à partir d'un contexte formel incomplet.

Description

50 f. : ill. ; 30 cm. (+ CD-Rom)

Keywords

Analyse de concepts formels, Incomplétude, Implications d'attributs certaines

Citation

Conduite De Projets Informatiques