Modeles logiques pour le raisonnement sur les actions

par MARCOS ALEXANDRE CASTILHO

Thèse de doctorat en Sciences appliquées

Sous la direction de Luis Fariñas del Cerro.

Soutenue en 1998

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    La presente these se situe dans le domaine de la representation des connaissances. Plus precisement, nous nous interessons a la representation des actions et de leurs effets en logique ainsi qu'aux types de raisonnement qui sont la prediction, l'explication et la planification d'actions. L'etat de l'art contient un etude systematique de plusieurs logiques qui ont ete proposees dans ce domaine. En particulier, pour chacune d'entre elles, nous nous focalisons sur les solutions proposees pour les problemes du decor et de la ramification. En general, la plupart de ces logiques utilisent le principe du changement minimal pour resoudre le premier. Nous mettons en evidence comment ce principe induit des difficultes pour la solution du second. Nous etudions en particulier des notions de causalite qui ont ete recemment definies pour contrebalancer les effets drastiques de la minimisation. Ensuite, nous proposons d'etudier les phenomenes du raisonnement sur les actions dans une nouvelle logique des actions et des plans, lap. Lap est une simplification de la logique dynamique qui est suffisante pour traiter une grande partie des problemes lies au raisonnement sur les actions. L'utilisation de lap nous permet de profiter du cadre bien etabli des logiques modales, en particulier en ce qui concerne la semantique, l'axiomatique, et les procedures de decision. Finalement, nous proposons l'utilisation de la notion de dependance pour une solution monotone du probleme du decor dans lap. La dependance, vue comme une notion de causalite faible, est un element fondamental pour augmenter le pouvoir expressif des lois d'etat et d'actions, qui sont generalement utilisees pour resoudre le probleme de la ramification. Nous montrons comment integrer la dependance dans lap de facon a garder tous les avantages decrits, en particulier la procedure de decision.

  • Titre traduit

    Logical models for reasoning about actions


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 127 P.
  • Annexes : 106 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1998TOU30144

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.
  • Non disponible pour le PEB
  • Cote : MF-1998-CAS
  • 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.