A Denotational Semantics for Deliberation Dialogues
Peter McBurney, Simon Parsons · 2004
We present a denotational semantics for agent deliberation dialogues, i.e., dialogues over proposed actions, conducted under a broad class of interaction protocols. The seman-tics uses category-theoretic entities to represent deals pro-posed by agents and the preferences they articulate between these proposals. The semantics is constructed jointly and in-crementally by the participating agents in the course of the dialogue, and evolves with the dialogue. We consider prop-erties of the semantics relating to deals and dialogue termi-nation. 1.