Representation naturelle de la deduction; application au raisonnement temporel pour systemes experts a base de regles de production

Natural representation of the deduction; applying to the temporal reasoning for expert systems based on production rules

• Auteur / Autrice : Patrick Baudin
• Direction : Christian Fluhr
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 11

Résumé

Le developpement de systemes experts destines a etre places dans un contexte temps reel, demande aussi bien la maitrise du raisonnement necessaire sur le temps, que celle du temps necessaire au raisonnement. Cependant, bien qu'il existe de solides formalismes pour la logique temporelle, les strategies associees au raisonnement temporel ne sont pas completes ou amenent a des temps de reponse inacceptables. La premiere partie presente le formalisme logique de base sur lequel repose le systeme de production. Ce formalisme comporte un systeme logique trivalue avec des tables a valeurs de verite, et un systeme deductif avec un systeme formel. Il offre, pour cette logique non standard, un cadre de travail rigoureux ou peuvent y etre abordees les notions de consistance et de completude. Son developpement s'appuye sur la volonte de formaliser les raisonnements utilises lors de l'elaboration de strategies de maniere a les rendre plus explicites, tout comme dans la methode de deduction naturelle. La seconde partie propose une extension du formalisme logique de base, de facon a prendre explicitement en compte le temps. L'approche proposee a travers tanis, un prototype de generateur de systemes experts utilisant une representation naturelle de la deduction, est presentee. Elle permet, lors de la phase de generation, l'implantation, dans le systeme expert applicatif, d'une strategie de deduction appropriee ici au raisonnement temporel symbolique, qui soit complete et qui facilite la determination du temps de reponse