Des Données aux Connaissances : Modèles et Algorithmes - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2018

From Data to Knowledge: Models and Algorithms

Des Données aux Connaissances : Modèles et Algorithmes

Saïd Jabbour

Résumé

My research work is at the intersection of several fields, including Symbolic Artificial Intelligence (AI), data mining, graphs, and information systems. They revolve around the following keywords: constraint reasoning, knowledge representation, reasoning modeling, constraint-based pattern mining, clustering, community detection, data compression, and web service composition. The first part of my HDR provides an overview of my algorithmic contributions to the propositional satisfiability problem, including clause learning, parallel SAT solvers of the portfolio type, model and prime implicant enumeration, and the transformation of (conditional) cardinality constraints into conjunctive normal form. The second part addresses issues in data mining and clustering. My contributions focus on declarative approaches for various data mining tasks: mining frequent itemsets and their various condensed forms, extracting association rules and its numerous variants, sequential pattern mining, Top-k pattern enumeration modulo a preference relation, pattern mining under uncertainty, parallel methods by decomposition, and symbolic clustering of propositional formulas. To highlight cross-fertilizations between symbolic AI and data mining, I demonstrate how the concept of symmetry, widely explored in SAT/CP, is extended to the mining of set patterns. Additionally, I show how data mining can be used to compress boolean formulas and CSP constraints expressed in extension. The third part deals with my contributions to community detection and the compression of large graphs, using pseudo-Boolean constraints and propositional logic. The fourth part focuses on reasoning in the presence of inconsistencies and argumentation theory. I present different methods for conflict quantification in knowledge bases and also for reasoning in the presence of inconsistencies and uncertainty in ontologies. The last part is dedicated to my contributions to the composition of web services, proposing various logic-based models for this problem. This work concludes by discussing my current and future research projects.
Fichier principal
Vignette du fichier
manuscrit_hdr_said_jabbour_2018.pdf (7 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-04284476 , version 1 (14-11-2023)

Licence

Licence Ouverte - etalab

Identifiants

  • HAL Id : tel-04284476 , version 1

Citer

Saïd Jabbour. Des Données aux Connaissances : Modèles et Algorithmes. Informatique [cs]. Université d'Artois, 2018. ⟨tel-04284476⟩
41 Consultations
314 Téléchargements

Partager

Gmail Facebook X LinkedIn More