Résumé : Les protocoles d'interaction jouent un rôle essentiel pour la coordination et la coo- pération des agents d'un Système Multi-Agent ; la spécification, validation et mise en oeuvre de façon sûre et efficace de ces protocoles est donc un enjeu important de l'approche Mufti- Agent. Dans cet article, nous proposons une méthode basée sur les réseaux de Petri pour la spécification formelle des protocoles d'interaction elle convient notamment pour les proto- coles qui, étant concurrents et ouverts, nécessitent de recourir à un formalisme ayant un large pouvoir d'expression. Après une présentation des possibilités de validation offertes par cette forme de spécification, on montre qu'elle ouvre la voie à une architecture des Système Alulti- Agent qui présente de nombreux avantages.

Résumé : La formalisation de la Sociologie de l'Action Organisée a conduit à proposer un méta-modèle de la structure de certains systèmes sociaux et à identifier les caractéristiques du comportement de leurs acteurs. Pour en rendre compte, un postulat nécessaire est l'intégration des dimensions stratégiques et coopératives, propres à tout comportement social, dans un modèle de rationalité limitée. Ce postulat met en avant la problématique de l'émergence de comportements coopératifs dans le domaine de la simulation sociale multi- agents. L'article présente une schématisation de ces rapports sociaux sous la forme d'un jeu, le jeu social, ainsi qu'un modèle par apprentissage de la rationalité limitée des acteurs sociaux qui les empêche de stabiliser leur comportement tant qu'ils ne parviennent pas à coopérer — la situation doit être acceptable pour autrui, si elle est individuellement profitable.