|
| Titre : | Analyse de concepts formels pour des implications d’attributs possibles. | | Type de document : | theses et memoires | | Auteurs : | Aghiles Saal ; Zina Ait Yakoub, Directeur de thèse | | Editeur : | Tizi - ouzou : U.M.M.T.O. - F.G.E.I | | Année de publication : | 2019 | | Importance : | 60p. | | Présentation : | ill. | | Format : | 30 cm. | | Note générale : | Bibliogr. | | Langues : | Français | | Mots-clés : | Conjtexte formel Recherche d'information | | Résumé : | La théorie de l'analyse de concepts formels (abrév. ACF) a été introduite par
Wille en 1982 [Wille 1982]. Cette théorie permet d'induire des structures hiérarchiques
de concepts formels à partir de structures (représentations) relationnelles. Elle a été utilisée
dans divers domaines: psychologie, sociologie, médecine, biologie, linguistique,
informatique, etc. [Wolff 1993].
L'analyse de concepts formels consiste à découvrir des clusters de connaissance Ã
partir de relations binaires. Généralement, ces relations sont représentées sous forme de tables
avec en ligne des objets et en colonne des attributs. Etant donné une relation R, l'intersection
d'une ligne et d'une colonne (i.e. cellule) indique si un objet "x" vérifie ou ne vérifie pas
l'attribut "a". Classiquement, les relations considérées sont non seulement binaires et
booléennes mais aussi complètement renseignées (c.à .d. il est toujours connu si un objet
possède ou ne possède pas un attribut).
Il s'avère que dans la réalité, certaines relations entre objets et attributs peuvent être
partiellement connues, incertaines, imprécises, vagues, floues ou carrément inconnues. De ce
fait, l'ACF est amenée à considérer des relations de diverses natures, modélisant des réalités
concrètes (e.g. mesures, observations, jugements, etc.) où peuvent apparaître des questions de
gradualité et/ou d'incertitude.
Dans [Obiedkov 2002] et [P.Burmeister and R.Holzer 2005], les auteurs ont soulevé
la question de distinguer entre le cas où l'on sait qu'un objet ne possède pas un attribut et le
cas où on ne sait pas si l'objet possède l'attribut ou non, c'est une distinction que les contextes
habituels ne peuvent pas faire. Ils ont proposé d'introduire une troisième valeur, notée " ?",
dans un contexte formel, ce qui conduit à la notion de contexte incomplet.
Dans [Ait-Yakoub et all, 2017], les auteurs se sont intéressés aux implications qui
peuvent être généré à partir de ces contextes formels incomplets. À cette fin, ils ont défini ce
que l'on appelle "implications certaines" qui tiennent dans tous les mondes possibles
compatibles avec l'information incomplète et les "implications possibles" qui tiennent dans au
moins une situation compatible avec l'information incomplète. Une caractérisation des
implications d'attributs possibles et certaines est aussi proposée à la fois pour la sémantique
conjonctive et disjonctive.
Nous nous situons dans le contexte des représentations incomplètes, et nous nous
intéressons particulièrement aux implications d'attributs possibles qui peuvent être généré Ã
partir d'un contexte formel incomplet. Le travail qui nous a été proposé dans le cadre de ce
mémoire est dans un premier temps d'implémenter une méthode qui permet de vérifier si une
implication d'attributs donnée par un utilisateur est possible ou pas. Dans un deuxième temps
de mettre en oeuvre une approche qui permet de générer toutes les implications d'attributs
possible (une base complète d'implications possibles).
Pour cela, nous avons subdivisé ce rapport en plusieurs volets comme suit :
Outre ce volet introductif, le premier chapitre porte sur l'analyse de concepts formels.
Dans ce chapitre nous commençons par une représentation intuitive de l'AFC, Nous donnons
par la suit une représentation basée sur des fondements mathématiques ainsi que des notions
de fermeture de connexion de Galois. Et en fin nous donnons quelques domaines
d'application de l'AFC.
Dans le deuxième chapitre, nous présentons la théorie des ensembles incomplets
introduite par [Djouadi 2009]. On y détaille plus particulièrement les notions de base
nécessaire à la compréhension de cette théorie. Nous commençons par donner une définition
détaillée des contextes incomplets par la suite nous donnons les théorèmes mathématiques
que nous allons utilisés pour la génération et la vérification des implications d'attributs
possibles avec des exemples.
Dans le troisième chapitre nous présentons notre contribution qui consistera en l'analyse
et réalisation d'une solution informatique pour une meilleure prise en charge des contextes
formels incomplets plus précisément des implications d'attributs conjonctives possibles pour un contexte formel incomplet donné. Nous commençons par présenter l'architecture générale
de l'application par suite les algorithmes utilisés pour traduire le théorème mathématique.
Le quatrième chapitre est réservé à la mise en oeuvre de notre application. Nous
présentons les différents outils que nous avons utilisés, les techniques d'implémentations
utilisées ainsi que des captures d'écrans qui illustrent le fonctionnement de notre application.
Nous terminons notre rapport avec une conclusion et quelques perspectives. | | En ligne : | D:\CD.THESE.2019\MASTER INF\SAAL AGHILES.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=34240 |
Analyse de concepts formels pour des implications d’attributs possibles. [theses et memoires] / Aghiles Saal ; Zina Ait Yakoub, Directeur de thèse . - Tizi - ouzou (Tizi - ouzou) : U.M.M.T.O. - F.G.E.I, 2019 . - 60p. : ill. ; 30 cm. Bibliogr. Langues : Français | Mots-clés : | Conjtexte formel Recherche d'information | | Résumé : | La théorie de l'analyse de concepts formels (abrév. ACF) a été introduite par
Wille en 1982 [Wille 1982]. Cette théorie permet d'induire des structures hiérarchiques
de concepts formels à partir de structures (représentations) relationnelles. Elle a été utilisée
dans divers domaines: psychologie, sociologie, médecine, biologie, linguistique,
informatique, etc. [Wolff 1993].
L'analyse de concepts formels consiste à découvrir des clusters de connaissance Ã
partir de relations binaires. Généralement, ces relations sont représentées sous forme de tables
avec en ligne des objets et en colonne des attributs. Etant donné une relation R, l'intersection
d'une ligne et d'une colonne (i.e. cellule) indique si un objet "x" vérifie ou ne vérifie pas
l'attribut "a". Classiquement, les relations considérées sont non seulement binaires et
booléennes mais aussi complètement renseignées (c.à .d. il est toujours connu si un objet
possède ou ne possède pas un attribut).
Il s'avère que dans la réalité, certaines relations entre objets et attributs peuvent être
partiellement connues, incertaines, imprécises, vagues, floues ou carrément inconnues. De ce
fait, l'ACF est amenée à considérer des relations de diverses natures, modélisant des réalités
concrètes (e.g. mesures, observations, jugements, etc.) où peuvent apparaître des questions de
gradualité et/ou d'incertitude.
Dans [Obiedkov 2002] et [P.Burmeister and R.Holzer 2005], les auteurs ont soulevé
la question de distinguer entre le cas où l'on sait qu'un objet ne possède pas un attribut et le
cas où on ne sait pas si l'objet possède l'attribut ou non, c'est une distinction que les contextes
habituels ne peuvent pas faire. Ils ont proposé d'introduire une troisième valeur, notée " ?",
dans un contexte formel, ce qui conduit à la notion de contexte incomplet.
Dans [Ait-Yakoub et all, 2017], les auteurs se sont intéressés aux implications qui
peuvent être généré à partir de ces contextes formels incomplets. À cette fin, ils ont défini ce
que l'on appelle "implications certaines" qui tiennent dans tous les mondes possibles
compatibles avec l'information incomplète et les "implications possibles" qui tiennent dans au
moins une situation compatible avec l'information incomplète. Une caractérisation des
implications d'attributs possibles et certaines est aussi proposée à la fois pour la sémantique
conjonctive et disjonctive.
Nous nous situons dans le contexte des représentations incomplètes, et nous nous
intéressons particulièrement aux implications d'attributs possibles qui peuvent être généré Ã
partir d'un contexte formel incomplet. Le travail qui nous a été proposé dans le cadre de ce
mémoire est dans un premier temps d'implémenter une méthode qui permet de vérifier si une
implication d'attributs donnée par un utilisateur est possible ou pas. Dans un deuxième temps
de mettre en oeuvre une approche qui permet de générer toutes les implications d'attributs
possible (une base complète d'implications possibles).
Pour cela, nous avons subdivisé ce rapport en plusieurs volets comme suit :
Outre ce volet introductif, le premier chapitre porte sur l'analyse de concepts formels.
Dans ce chapitre nous commençons par une représentation intuitive de l'AFC, Nous donnons
par la suit une représentation basée sur des fondements mathématiques ainsi que des notions
de fermeture de connexion de Galois. Et en fin nous donnons quelques domaines
d'application de l'AFC.
Dans le deuxième chapitre, nous présentons la théorie des ensembles incomplets
introduite par [Djouadi 2009]. On y détaille plus particulièrement les notions de base
nécessaire à la compréhension de cette théorie. Nous commençons par donner une définition
détaillée des contextes incomplets par la suite nous donnons les théorèmes mathématiques
que nous allons utilisés pour la génération et la vérification des implications d'attributs
possibles avec des exemples.
Dans le troisième chapitre nous présentons notre contribution qui consistera en l'analyse
et réalisation d'une solution informatique pour une meilleure prise en charge des contextes
formels incomplets plus précisément des implications d'attributs conjonctives possibles pour un contexte formel incomplet donné. Nous commençons par présenter l'architecture générale
de l'application par suite les algorithmes utilisés pour traduire le théorème mathématique.
Le quatrième chapitre est réservé à la mise en oeuvre de notre application. Nous
présentons les différents outils que nous avons utilisés, les techniques d'implémentations
utilisées ainsi que des captures d'écrans qui illustrent le fonctionnement de notre application.
Nous terminons notre rapport avec une conclusion et quelques perspectives. | | En ligne : | D:\CD.THESE.2019\MASTER INF\SAAL AGHILES.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=34240 |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesAnalyse de concepts formels pour des implications d’attributs certaines / Kenza. Djebra (2019)
