Abstract FR:

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