Abstract FR:

Dans les domaines d'application relevant de l'intelligence artificielle, les problemes poses sont, le plus souvent complexes et novateurs. Complexes parce qu'ils requierent une grande quantite et variete de connaissances, novateurs parce qu'il n'existe pas de solutions predefinies. Pour ces problemes l'analyse a recours a des strategies multiples et la solution est mise au point de facon incrementale et non-monotone. Dilem est un langage de representation de connaissances dont les seules structures descriptives sont des arborescences etiquetees, appelees i-arbres. Ils permettent de representer les connaissances statiques sous la forme d'une description instantanee du monde (dim), et les connaissances dynamiques qui expriment au moyen de reflexes, les lois d'evolution du monde (lem). Les i-arbres (dim+lem) constituent des entites evolutives et autonomes modelisant des unites de connaissances. Dilem est un formalisme simple et souple, dans un i-arbre les chemins sont interpretes facilement comme des phrases, les reflexes reproduisent les regles verbales enoncees par l'expert. Celui-ci est alors amene a decrire lui-meme ses connaissances et a tester les differentes representations sous la forme d'une programmation exploratoire. Dilem a ete utilise dans une application medicale qui est le suivi d'un patient inclus dans un protocole chimiotherapique