Abstract FR:

Cette these traite de modelisation causale et de simulation causale evenementielle, dans le cadre des travaux menes en raisonnement qualitatif. Notre travail a ete applique au domaine de la geoprospective dont l'objectif est d'envisager des schemas d'evolution naturelle plausibles de l'environnement geomorphologique d'un site. La modelisation que nous proposons distingue deux niveaux d'abstraction: un niveau processus (ou mecanismes) et un niveau variables. Chacun de ces deux niveaux est represente par un graphe causal, avec une simple indication de signe pour exprimer des interactions entre processus (niveau processus), et avec des nuds influence pour exprimer des liens de causalite dynamique plus precis entre plusieurs variables causes et une variable effet (niveau variables). Le niveau variables est notamment exploite pour simuler l'evolution dans le temps des variables du systeme analyse. Chaque variable est representee en des instants significatifs et relativement a des localisations spatiales d'interet ; on parle de variables localisees. L'evolution dans le temps de chaque variable localisee, qui peut etre a valeurs symboliques ou numeriques, est approximee par une fonction affine par morceaux, appelee historique. Les influences entre variables localisees expriment des liens dynamiques dont l'effet varie dans le temps en fonction de conditions qui leurs sont associees. Ces variations d'effet sont appelees des evenements. La simulation au niveau variables consiste a propager les historiques des variables localisees, points d'entree du graphe, a travers les influences dans le but de construire l'historique des autres variables localisee. Une particularite de cette propagation est qu'elle est controlee par l'occurence dynamique des evenements. D'autre part, cette simulation peut etre couplee, via des liens particuliers, a des modeles numeriques externes. Ce couplage permet, notamment, de construire la representation spatiale de certains processus ou encore de calculer l'historique de certaines variables localisees. Une maquette du simulateur a ete developpee en lisp