4 Communication dans les Systèmes Multi-Agents
4.5 Le langage de communication agent FIPA-ACL

4.5.3 Sémantique du modèle

SL (Semantic Language) est le langage formel employé pour définir la sémantique des performatives de FIPA-ACL. SL utilise une logique multi-modale avec les opérateurs modaux pour les croyances (B), les désirs (D), les croyances incertaines (U) et les intentions (buts persistants, PG). SL peut représenter des propositions, des objets, et des actions. L'origine de SL remonte au travail de [COH90b], mais sa forme courante est principalement basée sur le travail de [SAD91]. Une description détaillée de SL, y compris sa propre sémantique peut être trouvée dans les spécifications de FIPA-ACL [FIPA97].

Le modèle mental d'un agent est basé sur la représentation de trois attitudes primitives : croyance, incertitude et choix (ou, dans une certaine mesure, but). Elles sont respectivement formalisés par les opérateurs modaux B, U, et C.

B_i(p) : "i croit (implicitement ) que p est vrai"
U_i(p) : "i pense que p est plutôt vrai que faux "
C_i(p) : "i souhaite que p soit vrai. Pour ce faire, l'agent établit un plan d'actions lui permettant d'atteindre le but désiré p"

Les composantes des actes de communication planifiés au sein d'un agent caractérisent à la fois le but pour lequel l'acte est choisi et les conditions qui doivent être satisfaites pour que l'acte soit exécuté. Pour un acte donné, le premier est désigné sous le nom de l'effet rationnel (rational effect), et le dernier comme pré-conditions de faisabilité (feasibility preconditions) qui sont les qualifications de l'acte. Ainsi, chaque acte de communication est défini de cette manière, ce qui permet aux agents de raisonner et d'avoir un comportement rationnel cohérent.

De plus, un ensemble de propriétés ont été définies et doivent être respectées.

Propriétés

L'intention d'un agent de réaliser un but donné se traduit par l'intention que l'un des actes connus par l'agent soit exécuté de telle sorte que son effet rationnel corresponde exactement au but de l'agent.

L'ensemble des pré-conditions de faisabilité pour un acte de communication peut être décomposé en deux sous-ensembles : les pré-conditions de capacité et les pré-conditions du contexte dans lequel se trouve l'agent.

Les pré-conditions de capacité caractérisent les capacités intrinsèques d'un agent dans l'exécution d'un acte donné. Par exemple, pour affirmer sincèrement une certaine proposition P, un agent doit croire que P est vraie.

Les pré-conditions associées au contexte caractérisent la pertinence de l'acte par rapport au contexte dans lequel il est exécuté. Par exemple, un agent peut faire une promesse tout en croyant que l'action promise est nécessaire pour le destinataire.

Un agent ayant observé (reçu) un acte de communication doit croire que les conditions préalables de faisabilité sont vraies et que l'agent qui a exécuté l'acte (envoi de message) a l'intention de provoquer l'effet rationnel (effet intentionnel).

Question: On considère les opérateurs :

• Bif_x(p) qui exprime le fait que l'agent x a une opinion quelconque sur la vérité ou la fausseté de p
• Uif_x(p) qui exprime l'incertitude de x sur p
  

Soit l'acte de communication inform utilisé par l'agent x pour informer l'agent y que la proposition p est vraie : <x, inform(y,p)>.
Formaliser sa sémantique avec ces opérateurs et l'opérateur B_x(p) présenté au début du paragraphe 4.4.3!

Cliquer ici pour voir la réponse.