Logical formalization of social commitments: application to agent communication languages

  • Authors:
  • Benoit Gaudou;Andreas Herzig;Dominique Longin

  • Affiliations:
  • MSI Lab - IFI, Noi, Viet Nam;Université de Toulouse, Toulouse, France;Université de Toulouse, Toulouse, France

  • Venue:
  • Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.