Strategies de resolution pour focaliser un systeme de maintien de la coherence

par RACHID YACOUB

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel De Glas.

Soutenue en 1997

à Paris 6 .

    mots clés mots clés


  • Résumé

    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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 219 P.
  • Annexes : 70 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1997

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1997PA066589
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.