A denotational semantics for deliberation dialogues

Authors:
Peter McBurney;Simon Parsons
Affiliations:
Department of Computer Science, University of Liverpool, Liverpool, UK;Department of Computer and Information Science, Brooklyn College, City University of New York, Brooklyn, NY
Venue:
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Year:
2004

Citing 10
Cited 1

Semantics of programming languages: structures and techniques

Semantics of programming languages: structures and techniques
Rules of encounter: designing conventions for automated negotiation among computers

Rules of encounter: designing conventions for automated negotiation among computers
Games and full completeness for multiplicative linear logic

Journal of Symbolic Logic
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents

Journal of Logic, Language and Information
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems
A Software Infrastructure for Negotiation within Inter-organisational Alliances

AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
A Dialogue Game Protocol for Agent Purchase Negotiations

Autonomous Agents and Multi-Agent Systems
Optimal utterances in dialogue protocols

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
On the outcomes of formal inter-agent dialogues

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards a computational account of persuasion in law

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law

Command Dialogues

Argumentation in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a denotational semantics for agent deliberation dialogues, i.e., dialogues over proposed actions, conducted under a broad class of interaction protocols. The semantics uses category-theoretic entities to represent deals proposed by agents and the preferences they articulate between these. The semantics is constructed jointly and incrementally by the participating agents in the course of the dialogue, and evolves with the dialogue. We consider properties of the semantics relating to deals and dialogue termination.