Mise-à-jour des bases de croyances logiques et changement minimal

par Omar Rifi

Thèse de doctorat en Informatique

Sous la direction de Luis Fariñas del Cerro.

Soutenue en 2000

à Toulouse 3 .


  • Résumé

    Dans cette étude nous examinons les différents opérateurs de mise-à-jour des bases de croyances de la littérature. Dans un premier temps, nous introduisons trois nouveaux opérateurs pour répondre aux critiques faites (dans la littérature et par nous-même) à certains de ces opérateurs. Nous caractérisons complètement les opérateurs existant et ceux précédemment définis. Nous comparons alors leur force et leur complexité. Nous évaluons ensuite ces opérateurs par rapport aux postulats proposés par Katsuno et Mendelzon. Il apparaît que la plupart de ces opérateurs violent la majorité de ces postulats. Nous démontrons alors que tous les postulats violés sont indésirables sauf un. Dans un second temps, nous évaluons les opérateurs de mise-à-jour par rapport à une propriété qui a été examinée largement dans la littérature : la mise à jour des bases de croyances par une disjonction ne doit pas être identifiée à la mise-à-jour par la disjonction exclusive. Etant donnée l'importance de cette propriété, nous montrons qu'elle est contradictoire avec certains postulats, donnant ainsi un argument de plus pour le rejet de ces postulats. Finalement, nous étudions comment les différentes approches s'adaptent pour traiter les contraintes d'intégrités. Nous concluons que seulement deux approches sont satisfaisantes.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (107 p.)
  • Annexes : Bibliogr. p. 103-107

Où se trouve cette thèse ?