Demonstrations

In the following three sections, some example problems are used to demonstrate the planner, illustrating each of the negotiation acts. It is clear already that most of the desirable properties hold for the repertoire. They are "adequate" since the tell acts alone can communicate the total belief state of the agents, they are "efficient" and "simple" since they correspond directly with expressions of intention and belief. Section 5.4 has shown that they correspond with the acts users would be familiar with. The "necessity" property will become evident in the following sections as the acts are compared with one another in different demonstration problems to show that each dominates in some problem. These demonstration problems will also be used in the same way as the examples of chapter 4, to show how important it is that a probabilistic belief model is used in deciding negotiation strategies, rather than a logical one, and to show the utility gain that is obtained by using such a model.