FACI Adam
Direction de recherche : Marie-jeanne LESOT
Co-encadrement : LAUDY Claire (Thales)
Représentation, simulation et exploitation de connaissances dans le formalisme des graphes conceptuels
Les travaux réalisés dans cette thèse se placent dans le cadre des graphes conceptuels, qui constituent un formalisme structuré de représentation des connaissances présentant des avantages d'expressivité et d'interprétabilité, ainsi que des garanties formelles et des raisonnements efficaces.
Dans ce contexte, nous proposons des contributions sur les plans théoriques, algorithmiques et pratiques. En premier lieu, nous abordons le problème de l'exploitation d'une base de graphes conceptuels afin d'inférer de nouvelles connaissances, ou généraliser celles déjà existantes, et nous proposons en ce sens un algorithme d'extraction de motifs fréquents d'intérêt prenant en compte les spécificités des graphes conceptuels. Ensuite, nous nous intéressons au besoin de disposer de benchmarks pour la validation de tels algorithmes, et nous proposons des algorithmes de simulation pour la génération de bases de graphes conceptuels à part de traduction et à partir de contraintes ontologiques. Enfin, nous considérons l'ensemble des extensions permettant d'accroître l'expressivité du formalisme des graphes conceptuels, notamment pour représenter des connaissances imprécises, par leur combinaison avec la théorie des sous-ensembles flous. Dans ce cadre, nous proposons une étude comparative de l'état de l'art des graphes conceptuels flous, comprenant deux taxonomies qui organisent les modèles étudiés selon respectivement la partie du formalisme impacté et selon leurs points communs et différences avec les cas existants, adoptant une approche contrastive.
Soutenance : 13/04/2022
Membres du jury :
Cyril de Runz, LIFAT, Université de Tours, Tours [Rapporteur]
Trevor Martin, University of Bristol, Royaume-Uni [Rapporteur]
Jean-Gabriel Ganascia, Examinateur, LIP6, Sorbonne Université, Paris
Maria Rifqi Lemma, Panthéon-Assas Université, Paris
Marie-Jeanne Lesot, LIP6, Sorbonne Université, Paris
Claire Laudy, THALES, Palaiseau
Publications 2021-2022
-
2022
- A. Faci : “Représentation, simulation et exploitation de connaissances dans le formalisme des graphes conceptuels”, thèse, soutenance 13/04/2022, direction de recherche Lesot, Marie-jeanne, co-encadrement : Laudy, Claire (Thales) (2022)
-
2021
- A. Faci, M.‑J. Lesot, C. Laudy : “Fuzzy Conceptual Graphs: a comparative discussion”, IEEE Symposium Series on Computational Intelligence, Foundations of Computational Intelligence (IEEE SSCI-FOCI 2021), Orlando, Florida, United States (2021)
- A. Faci, M.‑J. Lesot, C. Laudy : “CG2A: Conceptual Graphs Generation Algorithm”, Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP), Bratislava, Slovakia, pp. 63-70, (Atlantis Press) (2021)
- A. Faci, M.‑J. Lesot, C. Laudy : “cgSpan: Pattern Mining in Conceptual Graphs”, Int. Conf. on Artificial Intelligence and Soft Computing (ICAISC2021), vol. 12855, Lecture Notes in Computer Science, Zakopane, Poland, pp. 149-158, (Springer) (2021)