Abstract FR:

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