Résumé : Devant l'intérêt sans cesse grandissant aux systèmes multi-agents durant cette dernière décade, le développement d'outils formels pour l'analyse, la description et l'implantation de ces systèmes est, aujourd'hui, plus que nécessaire. La plupart des méthodes formelles développées jusqu'à date sont basées sur la sémantique des mondes possibles. Cette dernière bien qu'élégante est handicapée par deux grands problèmes : 1) le problème de l'omniscience et 2) le problème de mécanisation. Dans notre approche, un agent est défini comme étant un système LDS muni d'un ensemble de mécanismes comme l'action, l'abduction et la mise à jour. Dans le présent article, nous présentons une modélisation d'agents par des systèmes logiques basés sur les LDS (systèmes déductifs étiquetés) de Gabbay. Le modèle obtenu est appliqué par la suite au problème bien connu des n sages (raisonnement sur autrui).

Résumé : Peu de recherches se sont penchées sur la problématique de la révision des croyancesdans un cadre multiagent. En tout cas, à notre connaissance, aucune ne s'est penchée sur larévision des croyances tenant compte de la crédibilité des informateurs, tout en gardant tracedes arguments en faveur de la révision, une fois celle-ci effectuée. C'est ce problème qui nous amotivé et pour lequel, nous proposons ici, une approche formelle basée sur la logique étiquetée.