| Depuis quelques annees, la notion d'agent est devenue importante autant en Intelligence Artificielle Distribuee que dans les principales branches de l'informatique. Notre objectif dans ce memoire est de definir un langage formel pour la programmation orientee agent. Afin de realiser cet objectif, deux taches sont necessaires: Definir une logique pour la representation de l'etat mental d'un agent (utilisation des logiques modales et de la semantique des mondes possibles); Definir un langage pour specifier et raisonner sur le comportement d'agents en interaction (utilisation d'une extension des langages concurrents).;Vue l'importance des travaux existants concernant la representation de l'etat mental, nous nous interessons particulierement a la deuxieme tache, a savoir l'etude du comportement de processus (agents) concurrents en interaction. Nous utilisons les langages Objective ML et Concurrent ML comme base pour la definition d'un langage oriente agent.;Ce memoire est composee de deux parties. La premiere partie presente l'etat de l'art, et son evolution, concernant le paradigme de la programmation orientee agent et la deuxieme partie presente le langage formel defini et utilise pour programmer des systemes multi-agents. |
