Deduction serves to derive information from a received message. Abduction serves to explain facts and to find plans to fulfil requests. A semantics based on abduction is provided for the req and offer primitives and is the main contribution of this paper. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Deduction serves to derive information from a received message.
Abduction serves to obtain proposals in reply to requests.
A semantics based on abduction is provided for the req and o er primitives. We illustrate the use of the two communication primitives in a multi agent meeting scheduling example. In two agent meeting scheduling, one of the agents is designated to be the host and the other agent is the invitee. Each round begins with a negotiation phase. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch.