Un apport methodologique et formel pour le developpement de systemes a base de connaissances temps reel

par STEPHANE STEUNOU

Thèse de doctorat en Sciences appliquées

Sous la direction de Bernadette Bouchon-Meunier.

Soutenue en 1992

à Paris 6 .

    mots clés mots clés


  • Résumé

    L'utilisation de techniques d'intelligence artificielle dans les systemes de surveillance et de controle est confrontee a des problemes tant theoriques (modelisation du temps dans la connaissance, utilisation de connaissances imprecises et incertaines, non-monotonie des raisonnements) que pratiques (comment developper de tels logiciels). Apres une revue critique de l'existant, nous presentons dans ce rapport un formalisme temporel s'appuyant sur les concepts, d'instant, date, etat, evenement, proposition temporelle, fait temporel, historique, action. Ces concepts ont pour but de donner un statut aux donnees recueillies sur le systeme dynamique et permettre la definition d'une base de connaissances temporelle. A ce formalisme, nous ajoutons des concepts supplementaires pour integrer les notions approximatives ou floues, rendant possible la formalisation d'expressions telles que il est presque sur que pierre sera la dans environ cinq minutes. Enfin, les raisonnements etant non-monotones, nous ajoutons le concept d'existence et des mecanismes deductifs pour preserver la coherence de la base de connaissances. Dans la deuxieme partie de ce document, nous presentons une methode pour le developpement de systeme de surveillance. Cette methode est fondee sur le principe de modelisation du systeme dynamique par des connaissances profondes. La modelisation est definie en deux phases: mise en evidence d'un modele conceptuel de donnees (mcd) base sur la notion d'objet et d'un modele logique des raisonnements (mlr) base sur la notion de situation. Cette methode aboutit a la construction de systemes appeles systeme a base de connaissances (sbc). Pour finir, nous utilisons cette methode pour le developpement du systeme saistos, systeme d'aide a la surveillance du trafic maritime en manche


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 142 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1992 337
  • 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 1992
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.