Formalisation en logique modale d'attitudes sociales

Formalizing social attitudes in modal logic

• Auteur / Autrice : Benoît Gaudou
• Direction : Andreas Herzig, Dominique Longin
• Type : Thèse de doctorat
• Discipline(s) : Informatique. Intelligence artificielle
• Date : Soutenance en 2008
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Traitement réparti

Langues

Croyance (philosophie)

Modalité (logique)

Mots clés libres

Croyance de groupe

Logique modale

Actes de langage

Langages de communications entre agents

Systèmes multi-agents

Résumé

Décrire un agent à l'aide de ses états mentaux, comme ses croyances ou ses intentions, est un des moyens les plus puissants pour expliquer ou prédire son comportement. En intelligence artificielle, de nombreuses recherches ont été mené pour décrire en logique (notamment en logique modale) ces attitudes mentales individuelles dans le but de les intégrer dans des agents artificiels. De nombreux exemples, comme : " Le gouvernement pense qu'une guerre est inévitable ", illustrent le fait que des attitudes mentales, en particulier des croyances, peuvent être attribuées à un groupe d'agent. Il est intéressant de constater que même si le groupe appelé " gouvernement ", formé de ministres, croit que la guerre est inévitable, certains ministres peuvent avoir un avis privé différent. Le but de cette thèse est donc de donner une représentation en logique modale de la croyance de groupe, d'en décrire les propriétés logiques et les liens qu'elle entretient avec les attitudes individuelles. Il apparait que la croyance de groupe dans ce sens émane souvent d'une discussion entre les différents membres du groupe pour arriver à un compromis. Nous montrerons donc les liens étroits qu'elle entretient avec le dialogue et les actes de langages.

One of the most powerful tools to explain and predict an agent's behavior is to describe him thanks to his mental states, such as his beliefs or his intentions. In Artificial Intelligence, many researchers have focused on the formalization in modal logic of these individual mental attitudes, in order to use them in artificial agents. Lots of examples, such as: " The government believes that war will begin soon. ", highlight the fact that attitudes, and beliefs in particular, can be ascribed to a group of agents. Besides it is interesting to notice that, even if the government as a whole believes that war will begin soon, some government members can disagree privately. The first aim of this dissertation is to provide a logical framework to represent the concept of group belief and to describe its features and its links with individual mental attitudes. It also appears that group belief in this sense results from a debate between group members. The second aim of this dissertation is thus to highlight the close link existing between group belief, dialog and speech acts.