Designing conversation policies using joint intention theory

In this paper we apply the semantics sketched by Smith and Cohen (1996) to the system of conversational policies developed for KAoS. We show that the compositional nature of the speech-acts and their semantics allows us to provide a comprehensive semantics for the conversational policies; and that we can use the generated semantics to analyze policies, to alter policies, and to show how the policies can be combined to form complete dialogues and protocol control strategies. We also show that the semantics provides us with a valuable tool to analyze and to suggest corrections for the conversational policies.