Etude d'un systeme de logique epistemique et temporelle. Application aux univers multi-agents

par ALIX POTET MAHE

Thèse de doctorat en Sciences et techniques communes

Sous la direction de JEAN-CLAUDE DAUBISSE.

Soutenue en 1990

à Nantes .

    mots clés mots clés


  • Résumé

    Dans le but de modeliser les univers multi-agents, nous avons recherche un formalisme permettant de representer non seulement les aspects statiques d'un tel univers, les connaissances et les raisonnements des differents agents, mais aussi ses aspects dynamiques: les communications entre agents, les actions et leurs consequences sur l'evolution de l'univers. Nous avons defini une logique modale epistemique, une logique modale temporelle et construit un systeme logique multi-modal comportant ces deux types de modalites. A partir d'un systeme d'axiomes, nous avons elabore une semantique, basee sur la notion d'axe temporel, nous permettant de demontrer la completude du systeme. Nous avons ensuite mis au point deux methodes des tableaux semantiques pour ce systeme: les differences proviennent du traitement des aspects temporels. Nous avons realise deux demonstrateurs utilisant ces methodes. Nous montrons ensuite comment le systeme multi-modal s'applique a la modelisation des univers multi-agents et comment nous pouvons utiliser les demonstrateurs pour simuler de tels univers


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 219 p
  • Annexes : 77 REF

Où se trouve cette thèse ?

  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1361
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1361 bis
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 90 NANT 2054
  • Bibliothèque : Université de Nantes. Bibliothèque de Philosophie - Lettres classiques.
  • Non disponible pour le PEB
  • Cote : THESE 598
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.