Research about the semantics of agent communication languages traditionally sees the opposition between the mentalist and social approaches. In this paper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle's categories except expressives. This semantics relaxes the criticized constraints imposed in FIPA-ACL and also extends this standard with new speech acts and new institutional features to characterise them. It has been implemented in an extension of the Semantic Add-on for the JADE agent development platform, and used in an industrial application in the context of automated B2B exchanges.
展开▼