Command Dialogues

Authors:
Katie Atkinson;Rod Girle;Peter Mcburney;Simon Parsons
Affiliations:
Department of Computer Science, University of Liverpool, UK;Department of Philosophy, University of Auckland, New Zealand;Department of Computer Science, University of Liverpool, UK;Department of Computer and Information Science, Brooklyn College, New York, USA
Venue:
Argumentation in Multi-Agent Systems
Year:
2009

Citing 12
Cited 1

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems
Commands in Dialogue Logic

FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Arguing about beliefs and actions

Applications of Uncertainty Formalisms
Law-Governed Linda as a Coordination Model

ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Delegation and Responsibility

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Developing multiagent systems: The Gaia methodology

ACM Transactions on Software Engineering and Methodology (TOSEM)
Law-governed Linda as a semantics for agent dialogue protocols

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action

Autonomous Agents and Multi-Agent Systems
Negotiating using rewards

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Action-based alternating transition systems for arguments about action

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A denotational semantics for deliberation dialogues

ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems

Arguments over co-operative plans

TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a representation of imperatives in computational systems, and a multi-agent dialogue protocol to argue over these. Our representation treats a command as a presumptive argument for an action to be executed by a designated agent, together with a set of associated critical questions whose answers may defeat the presumption. The critical questions enable the identification of attacks on the uttered command, and so can be used to specify a dialogue game protocol for participants to argue over the command. We present a formal syntax for part of the protocol, called CDP, and outline denotational semantics for both commands and for the protocol.