Changement de croyances dans des fragments de la logique propositionnelle

Belief change within fragments of propositional logic

• Auteur / Autrice : Raïda Ktari
• Direction : Nadia Creignou, Habib Chabchoub, Odile Papini
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 27/05/2016
• Etablissement(s) : Aix-Marseille en cotutelle avec Université de Sfax. Faculté des sciences
• Ecole(s) doctorale(s) : École Doctorale Mathématiques et Informatique de Marseille (Marseille)
• Jury : Président / Présidente : Mohamed-Nazih Omri
• Jury : Examinateurs / Examinatrices : Nadia Creignou, Habib Chabchoub, Odile Papini, Mohamed-Nazih Omri, Marie-Christine Lagasquié-Schiex, Khaled Mellouli
• Jury : Rapporteurs / Rapporteuses : Marie-Christine Lagasquié-Schiex

Mots clés

Mots clés contrôlés

Représentation des connaissances

Intelligence artificielle

Calcul des propositions

Mots clés libres

Représentation des croyances en intelligence artificielle

Révision des croyances

Mise-À-Jour

Contraction

Fragments propositionnels

Horn

Krom

Complexité algorithmique

Belief representation in artificial intelligence

Belief revision

Update

Contraction

Propositional fragments

Horn

Krom

Computational complexity

Résumé

Cette thèse s'inscrit dans le domaine de la représentation des connaissances et du raisonnement en Intelligence Artificielle. Elle traite divers aspects du changement de croyances dans le cadre de fragments de la logique propositionnelle.Dans un premier temps, nous nous intéressons à la complexité du problème de vérification de modèle pour des opérateurs de révision de bases de croyances dans le cadre général de la logique propositionnelle et dans le cadre restreint des formules de Horn et des formules de Krom.Notre contribution principale porte ensuite sur le raffinement des opérateurs de changement de croyances afin que ceux-ci opèrent dans des fragments de la logique propositionnelle. Nous examinons en particulier les opérations de révision, de mise-à-jour et de contraction. Cette approche permet, dans chacun des cas, d'obtenir des opérateurs concrets, dont nous étudions les propriétés logiques en terme de de satisfaction de postulats que doivent satisfaire les opérateurs de changement de croyances rationnels. Divers fragments de la logique propositionnelle sont considérés, notamment les fragment de Horn et de Krom.

This thesis takes place in the field of knowledge representation and reasoning in Artificial Intelligence.It deals with various issues of belief change within fragments of propositional logic.First we focus on the complexity of model-checking for different revision operators within the general framework of propositional logic and within the framework of Horn and Krom fragments.Second, our main contribution is the study of the refinement of belief change operators in such a way that they act within fragments of propositional logic. In particular, we address refinement of revision, update and contraction operators. In each case this approach allows us to define concrete operators, for which we study logical properties in terms of satisfaction of postulates that should hold for any rational belief change operator. Various propositional fragments of propositional logic are considered, such as Horn and Krom fragments.