Modélisation en logique de systèmes complexes constitués d'agents partiellement autonomes
Auteur / Autrice : | Maria del Pilar Pozos Parra |
Direction : | Robert Demolombe |
Type : | Thèse de doctorat |
Discipline(s) : | Intelligence artificielle |
Date : | Soutenance en 2002 |
Etablissement(s) : | Toulouse, ENSAE |
Mots clés
Résumé
Cette thèse concerne la formalisation en logique de systèmes complexes. Notre intérêt porte sur la modélisation de deux aspects des systèmes : son caractère dynamique et sa décomposition en plusieurs entités actives (agents). La modélisation de ce type de systèmes est basée sur le comportement de l'être humain, et pour cela la représentation des notions telles qu'action, croyance, intention, capacité, génération de plans, etc. Est nécessaire. Après une courte introduction intuitive de ces notions nous présentons le calcul des situations sur lequel sont basées les théories que nous proposons. La version classique du calcul des situations ne considère qu'un seul agent. Une des contributions importantes de notre recherche est l'introduction de deux extensions du calcul des situations pour représenter l'évolution des croyances de plusieurs agents. La première en termes de relations d'accessibilité et la deuxième en termes d'opérateurs modaux. Dans le calcul des situations, l'égalité joue un rôle important. Une autre contribution est celle de l'introduction d'un démonstrateur de théorèmes pour des théories avec égalité appelé SOLE-résolution qui est une extension de la SOL-résolution. Le résultat le plus important dans ce cas est la démonstration de la complétude de la SOLE-résolution. Finalement deux versions d'implémentations des théories exprimées à l'aide d'opérateurs modaux sont présentées. La première accepte seulement des théories initiales complètes dans lesquelles on fait l'hypothèse du monde fermé. La seconde utilise la SOLE-résolution pour laquelle on accepte aussi des théories initiales incomplètes.