Abstract FR:

Cette thèse contribue à l'étude de la représentation et de la gestion de connaissances temporelles et incertaines pour répondre aux besoins de la conception de systèmes de supervision et de suivi de procédés. Le comportement des procédés évolue avec le temps et les informations sur cette évolution temporelle sont incertaines/imprécises. Bien qu'étant considérés comme deux des axes délicats de recherches en Intelligence Artificielle, le temps et les incertitudes doivent maintenant être intégrés l'un dans l'autre. L'intégration du traitement du temps et des incertitudes soulève les problèmes de la représentation d'informations temporelles, de l'ordonnancement temporel des événements et du raisonnement, en présence d'incertitudes. L'étude de ces problèmes a été guidée par soucis de préserver les propriétés intrinsèques du temps. Les contributions apportées sont pour l'essentiel: 1) la représentation unifiée de l'incertain et de l'imprécision portant sur les informations temporelles; 2) la structuration formelle du temps en présence d'incertitudes; 3) la formalisation d'un système pour le raisonnement temporel flou; 4) une modélisation de l'évolution temporelle du procédé associée à un mécanisme de raisonnement qui permet de suivre l'évolution du procédé et sa modélisation par un réseau de Petri temporel flou; 5) la conception et la réalisation d'un prototype d'outil, baptisé SURTEL, pour la programmation des connaissances temporelles et incertaines