Tuesday 3 April 2007

ACL and dialog protocol semantics

Quoted from ‘Information-seeking agent dialogs with permissions and arguments’ (2006), by Sylvie Doutre et al.

There are several different functions that a semantics for an agent communications language or dialog protocol may be required to serve:

- To provide a shared understanding to participants in a communicative interaction of the meaning of individual utterances, of sequences of utterances, and of dialogues.

- To provide a shared understanding to designers of agent protocols and to the designers (who may be different) of agents using those protocols of the meaning of individual utterances, of sequences of utterances, and of dialogues.

- To provide a means by which the properties of languages and protocols may be studied formally and with rigor, either alone or in comparison with other languages or protocols.

- To provide a means by which languages and protocols may be readily implemented.

In this paper, our focus is on semantics for agent protocols which meet this last objective... Rogier van Eijk identified thee generic types of semantics of agent communication languages (axiomatic, operational and denotational).

No comments: