Generation automatique d'algorithmes de filtrage a partir de specifications declaratives : le systeme gap

par FAWZIA DERROUGH

Thèse de doctorat en Sciences appliquées

Sous la direction de C. GIRAULT.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le filtrage est un mecanisme qui permet de determiner les regles candidates au declenchement a chaque cycle du moteur en eliminant les regles dont au moins une condition n'est pas satisfaite. L'instanciation des regles n'est alors effectuee que sur les regles qui ont franchi l'etape de filtrage avec succes. Dans les systemes classiques, les moyens mis en uvre pour realiser le filtrage sont simples. Cela est du principalement a la nature des conditions qui sont autorisees en premisses de regles. En regle generale, ces conditions decrivent de maniere generique les elements de la memoire de travail. Nous nous sommes interesses a la generation automatique d'algorithmes de filtrage a partir d'une specification declarative. Dans notre etude, nous avons considere des conditions de regles complexes qui sont des formules de la logique des predicats du premier ordre avec les quantificateurs existentiels et universels dans n'importe quel ordre. Notre methode de generation automatique des algorithmes de filtrage repose sur la differentiation ensembliste que nous avons definie en tenant compte a la fois des aspects qualitatifs et quantitatifs. La differentiation ensembliste qualitative nous permet d'eliminer les directions vers lesquelles les ensembles ne peuvent varier. Dans la generation des algorithmes de filtrage, ces informations de nature qualitative nous ont permis de conclure immediatement dans certaines situations. La connaissance des differentielles qualitatives des ensembles nous evite egalement de calculer des differentielles quantitatives d'expressions ensemblistes composees qui s'averent vides. Nous avons developpe un prototype, le systeme gap. Gap se compose d'un module de generation et d'un module de reecriture. Ce dernier permet de simplifier les expressions contenues dans les algorithmes engendres


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 323 P.
  • Annexes : 69 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Disponible pour le PEB
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1994 353
  • 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 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.