Modeling and Classical Propositional Logic
MODÉLISATION ET LOGIQUE PROPOSITIONNELLE CLASSIQUE
Résumé
My research is in the area of artificial intelligence, with a particular focus on the application of formal logic and similar symbolic formalisms to various problems. This work revolves around two main topics: data mining through declarative approaches and knowledge representation. These research efforts overlap the two main domains of the Centre de Recherche en Informatique de Lens (CRIL), namely "Algorithms for Inference and Constraints" and "Knowledge Representation and Reasoning". Since completing my Ph.D. thesis on proof theory in modal logic, my contributions have mainly involved the use of propositional logic modeling to solve a variety of data mining problems, as well as reasoning in the presence of inconsistency, argumentation theory, and qualitative reasoning. This thesis particularly emphasizes the use of classical logic as a modeling tool, due to its fundamental importance in all my work.
Mon domaine de recherche se concentre sur l'intelligence artificielle, avec un accent particulier sur l'application des logiques formelles et d'autres formalismes symboliques similaires pour aborder divers enjeux. Ce travail s'articule autour de deux axes majeurs : la fouille de données via des méthodes déclaratives et la représentation des connaissances. Ces recherches se croisent ainsi de manière transversale dans les deux domaines principaux du Centre de Recherche en Informatique de Lens (CRIL) : « Algorithmes pour l'inférence et contraintes » et « Représentation des connaissances et raisonnements ». Depuis ma thèse de doctorat sur la théorie de la démonstration en logiques modales, mes contributions ont surtout porté sur la modélisation en logique propositionnelle pour résoudre des problèmes variés en fouille de données, le raisonnement en présence de l’incohérence, la théorie de l’argumentation et le raisonnement qualitatif.
Ce mémoire se focalise en particulier sur l'usage de la logique classique en tant qu'outil de modélisation, en raison de son importance fondamentale dans l'ensemble de mes travaux.
Origine : Fichiers produits par l'(les) auteur(s)