Algorithmique de l'interaction : le cas de la planification : contribution a une classification des systemes de planification en intelligence artificielle

par ERIC JACOPIN

Thèse de doctorat en Sciences appliquées

Sous la direction de Jacques Ferber.

Soutenue en 1993

à Paris 6 .

    mots clés mots clés


  • Résumé

    L'opposition entre systeme reactif et systeme predictif permet de trier rapidement les systemes de planification en intelligence artificielle. Cette these se propose d'aller au-dela de cette opposition classique en prenant l'action comme point de depart d'une analyse des systemes de planification en intelligence artificielle. Apres avoir discute l'action et ses composantes eventuelles du point de vue d'un agent en interaction avec un environnement, on donne une premiere classification des modes de description de representation d'action. Cette classification debouche sur une definition du probleme de l'interaction dont on montre qu'il n'est pas celui de la planification. On propose alors de voir un systeme de planification comme un systeme d'entree/sortie qui verifie (eventuellement) la conformite des plans recus en entree. Enfin, la notion de metaplanification est discutee. L'analyse est appuyee de resultats pratiques: etude de l'utilisation de termes fonctionnels et des quantificateurs dans la description d'action de type strips; simplification du critere de verite introduit dans tweak; nouvelles preuves d'indecidabilite pour la planification de type strips; etude d'un systeme de planification utilisant la logique lineaire; contre-exemples du fonctionnement de pengi; propositions de metaoperateurs pour une metaplanification de type strips

  • Titre traduit

    Algorithmic of interaction: the case of planning. (towards a classification of artificial intelligence planning systems)


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 203 P.
  • Annexes : 137 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Biologie-Chimie-Physique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1993 386
  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Biologie-Chimie-Physique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1993
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : THESE 1993 06 / Labo LURPA

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-1993-JAC
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.