Abstract FR:

En logique d'ordre un l'explosion combinatoire fait chuter les performances des systèmes a base de règles. Ce travail propose un mécanisme de planification pour y remédier. La représentation d'une résolution par un arbre etats/transitions nous donne deux approches possibles: planification par les transitions et planification par les états. Ces deux approches ne sont pas satisfaisantes car la combinatoire des moteurs d'inférence a été remplacée par une combinatoire lors de la construction des plans. Une nouvelle approche est d'avoir des connaissances spécifiques de planification pour chaque problème a résoudre: un schéma de plan. Un schéma de plan est constitue de deux parties: une partie reconnaissance de problème et une partie plan. Les schémas de plan sont construits de façon incrémentale. Pour un nouveau problème une première version d'un schéma de plan est construite à partir de sa résolution en chaînage avant. L'évolution d'un schéma de plan est nécessaire dans les deux cas suivants: son analyse avec une résolution en chaînage avant d'un problème proche montre des divergences, un échec lors de son exécution. L'analyse des performances de la planification par schémas de plans montre un gain de temps dans la plupart des cas