Le séminaire iPAC du 16 janvier 2014 aura lieu dans l'Amphi du LORIA (Nancy) à 13h30.

Orateur: Jérôme LANG, DR CNRS, LAMSADE, Paris Dauphine.

Titre : Programmation à base de connaissances et planification.

Résumé :
Les programmes à base de connaissances (Fagin, Halpern, Moses et Vardi, 95) sont des protocoles de haut niveau décrivant la séquence d'actions qu'un agent entreprend en fonction de ses connaissances; la spécificité de tels programmes est que les conditions de branchement sont des formules purement subjective de la logique épistémique S5 (ou S5n lorsqu'il y a plusieurs agents). Dans cet exposé, on se concentrera sur les programmes à connaissances pour un seul agent, on verra pourquoi et comment on peut les utiliser en planification (dans le sens que ce terme a en intelligence artificielle) et on discutera de leurs avantages et inconvénients par rapport aux plans ou politiques "classiques", où les conditions de branchement portent sur des séquences d'observations. On parlera de complexité, d'efficacité spatiale, et on terminera par la synthèse de programmes à base de connaissances.