Bison mugissant

Raisonnement hypothétique et temps multiforme discret dans les systèmes de production: étude et implémentation

Hypothetical reasoning and multiform discrete time in production systems: study and implementation

Résumé / Abstract

La caractérisation incomplète que l'on n'a du monde externe dans les systèmes experts temps réel nécessite un raisonnement de type révocable, des déductions antérieures pouvant être remises en cause pour rester cohérent avec les nouvelles informations. Le système déductif doit alors être doté d'un système de maintien de la cohérence. A l'opposé des approches existantes qui voient ces deux systèmes dissociés, nous avons choisi d'étendre le langage des règles d'un système de production de type OPS en y intégrant un maintien de la cohérence de type ATMS. Cette approche «langage» nous a permis d'introduire des variables d'environnement, ceux-ci devenant alors manipulables explicitement depuis les règles à l'aide d'un jeu de primitives qui leur est dédié. Cette extension du pouvoir d'expression, outre les contradictions, a enrichi la structure de contrôle en permettant le recours à l'indirection et en ouvrant la voie à la focalisation dans certains mondes. Une négation explicite, ne reposant pas sur l'hypothèse du monde clos, a été introduite et avec laquelle les informations négatives ont le même statut que les informations positives. Nous avons illustré les capacités du langage par un certain nombre d'exemples d'école. Du point de vue de l'implémentation, nous avons introduit une structure d'encodage booléen des environnements qui permet d'exprimer la dépendance entre hypothèses et pour lequel une preuve de décomposition unique a été établie. Enfin nous avons continué dans la démarche suivie pour l'implémentation de l'algorithme de pattern matching duquel on était parti, c'est-à-dire une procéduralisation totale qui conduit à une véritable compilation des règles. Un autre thème a été abordé dans la thèse et concerne plus spécifiquement le temps réel. Il s'agit d'introduire le temps multiforme discret de la programmation synchrone dans les systèmes de production. Toujours dans une approche langage, nous proposons une extension d'un système de production de type OPS permettant la synchronisation des déductions avec des horloges. Ces horloges sont n'importe quel fait de l'application pour laquelle il représente une unité de temps. L'implémentation est détaillée et le coureur d'Esterel vient illustrer cette nouvelle fonctionnalité