Using automatic program synthesizer to generate solutions of problems from diverse problem environments

Abstract

Le systeme de controle d'un robot cognitif est un systeme hierarchique complexe avec plusieurs niveaux de controle. Dans cet article, le niveau strategique est etudie. Ce niveau comporte le systeme de planification automatique ainsi que le controle de cette activite