4. Communication dans les Systèmes Multi-Agents
4.4 Langage de communication KQML

4.4.4 Vers une sémantique formelle du KQML

Au cours de ces dernières années, les chercheurs ont effectué de nombreuses recherches afin de fournir une sémantique formelle. Dans (LAB94, LAB96, LAB97b) et LAB98), Labrou et Finin fournissent la sémantique de KQML en termes de pré-conditions, post-conditions, et états d'accomplissement pour chaque performative.

Soit un expéditeur E et un récepteur R, les pré-conditions (conditions préalables) indiquent les états nécessaires pour qu'un agent envoie une performative, Pre(E), et pour que le récepteur l'accepte et l'exécute avec succès, Pre(R).
Si les pré-conditions ne sont pas vérifiées, la réponse la plus vraisemblable sera l'une des deux performatives "sorry" ou "error".

Les post-conditions décrivent les états de l'expéditeur après l'expression réussie d'une performative (Post(E)), et du récepteur après réception et traitement d'un message (Post(R)).

Le fait que la performative ait été accomplie avec succès s'exprime par une caractéristique de l'état final ; après par exemple qu'une conversation a eu lieu, on exprimera que l'intention associée à la performative qui a initié la conversation a été accomplie.

L'établissement des pré-conditions pour une performative ne garantit pas son exécution avec succès. Les pré-conditions indiquent seulement ce qui est supposé comme état des interlocuteurs impliqués dans un échange, juste avant que l'acte ne se produise. De même, les post-conditions décrivent les états des interlocuteurs en supposant l'exécution réussie de la primitive de communication. Les pré-conditions, les post-conditions, et les états d'accomplissement définissent des états des agents dans un langage décrivant des attitudes mentales (croyances, connaissances, désirs et intentions) et des descripteurs d'action (pour envoyer et traiter un message). Aucun modèle sémantique pour les attitudes mentales (BEL, WANT, KNOW, INT) n'est fourni. On a libre choix d'utiliser un langage pour décrire les états des agents au risque d'être confronté à une limitation sur les manières dont les attitudes mentales peuvent être combinées pour décrire les états des agents.

Exemple. Soit le message advertise(A,B,M) par lequel l'agent A informe B, que le message M peut être traité par A s'il en reçoit un. Il faut observer donc que Int(A, Proc(A,M)) représente un acte commissif.
La formalisation de la sémantique suit:

• les pré-conditions:
  Pre(A): Int(Proc(A,M))
  Pre(B): NONE
  
  
• les post-conditions:
  Post(A): Know(A, Know(B, Int(A, Proc(A,M)))
  Post(B): Know(B, Int(A, Proc(A,M)))
  
  
• les états d'accomplissement
  Know(B, Int(A, Proc(A,M)

Question: Considérez les symboles BEL, WANT, KNOW et INT représentant les attitudes mentales. Essayez de formaliser les pré-conditions, les post-conditions, et les états d'accomplissement pour Tell(a,b,x) !

Cliquer ici pour voir la réponse.