Thèse soutenue

Strategies de resolution pour focaliser un systeme de maintien de la coherence
FR
Accès à la thèse
Auteur / Autrice : RACHID YACOUB
Direction : Michel De Glas
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1997
Etablissement(s) : Paris 6

Résumé

FR

Les systemes de maintien de la coherence (smc) sont des systemes capables d'aborder des problemes qui utilisent le raisonnement hypothetique. On distingue deux types de smc : ceux bases sur des mecanismes de calcul d'impliques premiers et ceux sur des mecanismes de propagation. Les premiers sont representes par le cms (clause management system) et par les smc bases la strategie de cat-resolution. Les seconds par l'atms de de kleer qui est le systeme le plus utilise. Les principales fonctionnalites de l'atms consistent a calculer les nogoods et les labels. Neanmoins dans des applications pratiques, il perd son efficacite a cause de sa complexite exponentielle. Des ameliorations proposent alors : a) de ne calculer les labels que pour certaines donnees et b) de ne calculer que certains environnements caracterises par un focus. Nous avons introduit le controle dans le smc base sur la cat-resolution en ne calculant les labels que pour certaines donnees et en ne calculant que certains environnements caracterises par un focus. Ce controle est caracterise par une strategie de resolution qui restreint le calcul aux impliques premiers compatibles avec ces deux objectifs. Pour y arriver, nous avons defini une serie de strategies de resolution directement exploitables par un smc. Nous avons implemente notre smc en langage c. Sa mise en oeuvre est illustree par deux applications de diagnostics.