Abstract FR:

Ce travail consiste au developpement d'une approche genie logiciel pour optimiser la resolution de problemes par but (syspreb). Syspreb permet le traitement facile d'une grande quantite d'informations, la decomposition facile des entites composant un systeme en unites autonomes et dynamiques, la mise a jour d'informations sans le developpement d'un controle trop rigoureux et enfin le developpement d'un systeme dynamique de resolution de problemes. Ce systeme est ensuite utilise dans l'etude du comportement de robot mobile autonome en univers parseme d'obstacles. Syspreb vient en aide au concepteur de plan: d'abord en amenant ce dernier a specifier de maniere rigoureuse ce qu'il a a faire et ensuite en l'aidant a le faire le mieux possible. Mettant a profit les algorithmes existants, les rotations formelles, les formalismes de representation des connaissances, syspreb permet l'optimisation des resultats. Syspreb se distingue par son architecture de systeme multi-agents. La complexite du systeme, loin d'augmenter avec la base de connaissances, se trouve considerablement reduite. Syspreb offre a l'utilisateur un ensemble de raisonnement partages entre plusieurs agents et un systeme de communication qui associe les formalismes de tableau noir et d'acteurs. Ce mode de communication de syspreb offre les avantages suivants: resolution efficace des problemes, possibilite d'integration de plusieurs expertises, fiabilite, reutilisabilite, et enfin evolution dynamique durant la resolution de problemes. Par la specificite de son systeme a tableau noir, syspreb a une vue globale et coherente de la resolution a travers le comportement de chaque agent qui intervient pendant cette resolution