Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Contribution au raisonnement progressif et temps réel dans un univers multi-agents
| Auteur / Autrice : | Abdel-Illah Mouaddib |
| Direction : | Jean-Paul Haton, François Charpillet |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences appliquées |
| Date : | Soutenance en 1993 |
| Etablissement(s) : | Nancy 1 |
| Partenaire(s) de recherche : | autre partenaire : Université Henri Poincaré Nancy 1. Faculté des sciences et techniques |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Cette thèse aborde les notions du raisonnement temps réel en général et plus particulièrement du raisonnement progressif pour la garantie temps de réponse. Nous nous sommes intéressés au problème de la garantie temps de réponse et de la contribution du raisonnement progressif pour appréhender ce problème. L'intérêt du raisonnement progressif réside dans la manière incrémentale de construire des solutions à travers plusieurs niveaux de précision. Notre stratégie consiste à construire une solution approximative le plus rapidement possible puis, si le temps le permet, à affiner cette solution. Pour cela, nous avons développé un modèle de raisonnement progressif, appelé GREAT (Guaranteed REAsoning Time) qui, à son premier niveau de traitement, permet de garantir une solution approximative puis peut améliorer sa qualité à travers les autres niveaux. Ce modèle est contrôlé par la qualité de la solution et par le temps disponible. Ainsi l'affinement de la solution est poursuivi jusqu'à ce que la qualité de la solution soit suffisante ou le temps imparti soit totalement consommé. Ce modèle a été intégré dans deux architectures multi-agents posant différemment le problème du contrôle du raisonnement progressif, RT-SOS et REAKT. Dans la première architecture, développée dans notre laboratoire, nous avons intégré des contraintes temps réel. Dans la deuxième architecture concernant le projet ESPRIT II REAKT, notre laboratoire est impliqué dans le développement d'une composante de contrôle supportant les contraintes temps réel. L'intérêt fondamental à intégrer GREAT dans ces deux architectures est que : (1) dans RT-SOS, le raisonnement est guidé par les buts et les plans sont des plans dynamiques. (2) dans REAKT, le raisonnement est guidé par les données et les plans sont statiques (plans précompilés). Par conséquent, le contrôle de GREAT dans ces deux architectures a nécessité le développement de deux classes d'algorithmes d'ordonnancement.