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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|