Logical formalization of social commitments: Application to Agent Communication Languages (short version) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Logical formalization of social commitments: Application to Agent Communication Languages (short version)

Résumé

Most agent Communication Languages are no longer defined in terms of the agents' mental attitudes, but in terms of social commitments. However, such social approaches have two drawbacks. First, the notion of commitment does not have a clear and unambiguous characterization. Second, commitments are completely unrelated to the agents' reasoning. We remedy this situation by combining a BDI logic with a logic of what is publicly grounded between agents.
Fichier principal
Vignette du fichier
2009_AAMAS_Gaudou_et_al.pdf (86.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03474454 , version 1 (13-12-2021)

Identifiants

  • HAL Id : hal-03474454 , version 1

Citer

Benoit Gaudou, Andreas Herzig, Dominique Longin. Logical formalization of social commitments: Application to Agent Communication Languages (short version). 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), May 2009, Budapest, Hungary. pp.1293-1294. ⟨hal-03474454⟩
43 Consultations
18 Téléchargements

Partager

Gmail Facebook X LinkedIn More