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

par Maria del Pilar Pozos Parra

Thèse de doctorat en Intelligence artificielle

Sous la direction de Robert Demolombe.


  • 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.

  • Titre traduit

    Logical modelling of complex system made of partially autonomous agents


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (III-175 p.)
  • Annexes : Bibliogr. p. [167]-175

Où se trouve cette thèse\u00a0?

  • Bibliothèque : ISAE-SUPAERO Institut Supérieur de l'Aéronautique et de l'Espace. Service documentation.
  • Disponible pour le PEB
  • Cote : 2002/341 POZ
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.