Abstract FR:

La dépendance est une notion générale de plus en plus utilisée en informatique. Cette thèse montre comment tirer partie de cette notion à deux niveaux: au niveau de la logique, en particulier pour redéfinir la sémantique de l'implication, et au niveau de la représentation des connaissances, dans le raisonnement sur les actions. Dans la première partie, différentes logiques sont définies. Il s'agit des logiques Dt, DDt, Eqt et Ret regroupées sous le nom de logiques de la dépendance. Elles diffèrent par les conditions exigées sur le symbole logique de l'implication. Ces conditions sont formulées en référence à une fonction thème, t, associant un contenu référentiel aux formules atomiques. En plus de la sémantique de ces logiques, cette étude comprend des systèmes de séquents de Gentzen les caractérisant, une comparaison avec les logiques d'Epstein, des traductions de la logique classique dans ces différentes logiques et des extensions possibles au calcul des prédicats. La deuxième partie s'intéresse au problème de formaliser les effets des actions. L'approche proposée consiste en une extension du calcul des situations qui prend en compte une notion de dépendance entre actions et atomes du langage. La donnée explicite de la relation de dépendance permet de décrire économiquement l'inertie des systèmes et de tenir compte des effets indirects des actions. En outre des résultats spécifiques qu'elle apporte, cette étude met en évidence l'importance de la notion de dépendance.