Gsert : Un générateur de systèmes experts à représentation temporelle

Gsert : An expert system shell with temporal knowledge representation

• Auteur / Autrice : Philippe Fontaine
• Direction : Pierre Morizet
• Type : Thèse de doctorat
• Discipline(s) : Contrôle des systèmes
• Date : Soutenance en 1991
• Etablissement(s) : Compiègne

Mots clés

Mots clés contrôlés

Expertise

Applications industrielles

Représentation des connaissances

Logique temporelle

Planification -- Informatique

Raisonnement

Oxydoréductases

Systèmes experts (informatique)

Résumé

La représentation du temps est devenue un important domaine de la recherche en représentation des connaissances. Ceci est particulièrement vrai en contrôle des procédés industriels. En effet, à partir d'une expertise et d'informations en provenance du procédé, un système de contrôle de procédés doit être capable de diagnostiquer un comportement anormal du procédé puis d'établir un plan d'actions permettant de remédier à cette perturbation, toutes tâches qui nécessitent un raisonnement temporel. Notre travail fût de construire un outil de représentation des connaissances qui permet de représenter des concepts temporels tels que la durée, la datation et l'ordonnancement d'événements. La représentation définie est une extension de la logique du premier ordre qui permet de prendre en compte la composante temporelle contenue dans l'expertise associée à un procédé. Dans ce mémoire, nous présentons les aspects de cette représentation qui étendent les domaines d'expertise généralement traités par les générateurs de systèmes experts classiques. Puis, nous montrons comment cette représentation temporelle permet d'approcher les problèmes de planification non linéaires à buts concurrents, ainsi que de prendre en compte des actions non instantanées et simultanées.

Representing time has become an important domain of research in knowledge representation since the emergence of expert systems. This is particularly true for industrial process control which, with the help of expertise and information coming from the process, must be able to diagnose the faulty behaviour of a system and then to establish the corresponding action plans to solve the disturbance. Our work has been to create a knowledge representation tool where concepts such as duration, dating and scheduling can be represented. The representation used is an extension of the first order predicate calculus which takes into account the temporal component of the knowledge. In this memoir, we present the aspects of this representation which extend the expertise domain usually addressed by classical expert systems tools. Ln the second place, we show that this representation allows the approach of non linear planning problems with concurrent sub goals, simultaneous actions in planning and non instantaneous 'actions.