FACI Adam
Supervision : Marie-jeanne LESOT
Co-supervision : LAUDY Claire (Thales)
Representation, simulation and exploitation of knowledge in the conceptual graphs formalism
The work carried out in this thesis is situated in the framework of conceptual graphs, which constitutes a formalism for graph-based knowledge representation with advantages of expressiveness and interpretability, as well as formal guarantees and efficient reasoning.
In this context, we propose various theoretical, algorithmic and practical contributions. First, we address the problem of exploiting a conceptual graph base in order to infer new knowledge, or generalize existing ones, and we propose to that aim an algorithm for the extraction of frequent patterns of interest taking into account the specificities of conceptual graphs. Then, we are interested in need of benchmarks for the validation of such algorithms, and we propose simulation algorithms for the generation of conceptual graph bases, from translation and from ontological constraints. Finally, we consider the set of extensions that increase the expressiveness of the conceptual graph formalism, in particular to represent imprecise knowledge, by combining them with fuzzy set theory. In this context, we propose a comparative discussion of fuzzy conceptual graphs state-of-the-art proposals, including two taxonomies that organize the studied models according to the impacted part of the formalism and according to their common points and differences with the existing cases, adopting a contrastive approach.
Defence : 04/13/2022
Jury members :
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
2021-2022 Publications
-
2022
- A. Faci : “Représentation, simulation et exploitation de connaissances dans le formalisme des graphes conceptuels”, thesis, phd defence 04/13/2022, supervision Lesot, Marie-jeanne, co-supervision : 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)