Précédent : Protocole de coopération Remonter : Construction incrémentale et coopérative de Suivant : Explication et classification conceptuelle
Précédent : Protocole de coopération Remonter :
Construction incrémentale et coopérative de
Suivant : Explication et classification
conceptuelle
La mise en oeuvre complète du protocole CO4 nécessite d'apporter une aide aux utilisateurs dans la gestion des conflits qui peuvent apparaître lorsqu'ils modifient la base. En effet, si leur modification entre en contradiction avec une connaissance déjà présente dans la base mais qu'ils n'ont pas introduite, il est important de pouvoir les aider à résoudre le conflit le mieux possible [5, 6]. Aussi nous nous sommes attachés à définir la notion de révision minimale d'une base de connaissances à partir de la sémantique de Tropes exprimée en théorie des modèles [4]. Nous avons en particulier montré la complétude entre la notion syntaxique de révision minimale et celle, sémantique, de révision la plus proche d'une base donnée. Les opérateurs de révision sont en cours d'implémentation sur un sous-ensemble du système Tropes. Les travaux, tant théoriques que pratiques, seront étendus progressivement à l'ensemble du système.