Le raisonnement spatial dans les systèmes à base de connaissances : application à l'analyse de sites avalancheux. (Spatial reasoning in knowledge based systems. An application: avalanche paths analysis)

Les connaissances spatiales sont definies a partir d'une classification qui met en evidence l'importance de la topologie. L'examen d'applications differentes montre que le raisonnement spatial revet souvent trois formes particulieres non exclusives les unes des autres: la construction de topologies, l'inference de proprietes spatiales et la localisation d'objets. Les donnees et les mecanismes d'inference qui sont utilises peuvent etre introduits dans des systemes a base de connaissances qui servent alors de support au raisonnement spatial. Son graphe de dependances possede, par ailleurs, des particularites qu'il est interessant et, parfois, necessaire d'exploiter pour gerer la dynamique de ces bases de connaissances spatiales. Les resultats d'inferences doivent en particulier etre enregistres et le maintien de la verite qu'exige cet enregistrement peut etre facilite en exploitant une forme de localite au sein de ce graphe. Ces considerations prennent appui sur l'experience du developpement du systeme Elsa, destine a l'analyse de sites avalancheux. D'autres utilisations des bases de connaissances spatiales ont egalement ete etudiees: modelisation symbolique de phenomenes spatiaux, environnements de resolution de problemes et bases de connaissances geographiques. Elsa utilise une representation de connaissances par objets, qui se revele bien adaptee meme si des extensions apparaissent utiles; il s'agit notamment de la prise en compte, au sein du modele de representation, des relations entre objets, de l'insertion d'un filtrage constructif et d'une ouverture plus grande du langage de requete. Le fait que ces extensions ne soient pas propres a l'espace et qu'elles puissent concerner d'autres types de connaissances suggere que le raisonnement sur l'espace, a defaut d'etre specifique, apparait comme un revelateur des besoins du raisonnement en general