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

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

• Auteur / Autrice : ERIC JACOPIN
• Direction : Jacques Ferber
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1993
• Etablissement(s) : Paris 6

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