Sur les fondements de la notion de dépendance et de son application à la théorie de l'action

par Valérie Lugardon

Thèse de doctorat en Informatique

Sous la direction de Luis Fariñas del Cerro.

Soutenue en 1996

à Toulouse 3 .


  • Résumé

    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.

  • Titre traduit

    About the foundations of the dependence notion and its application to the action theory


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (140 p.)
  • Annexes : Bibliogr. p. 137-140

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : THE 96 LUG
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1996TOU30009

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1996-LUG
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.