Thèse soutenue

Modélisation en logique de systèmes complexes constitués d'agents partiellement autonomes

FR  |  
EN
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

Résumé

FR

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.