A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
On the complexity of choosing the branching literal in DPLL
Artificial Intelligence
A machine program for theorem-proving
Communications of the ACM
Strategic negotiation in multiagent environments
Strategic negotiation in multiagent environments
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
An analysis of formal inter-agent dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Representing Epistemic Uncertainty by Means of Dialectical Argumentation
Annals of Mathematics and Artificial Intelligence
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Issues in Agent Communication
Chance Discovery Using Dialectical Argumentation
Proceedings of the Joint JSAI 2001 Workshop on New Frontiers in Artificial Intelligence
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Dialogue Frames in Agent Communication
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
A Denotational Semantics for Deliberation Dialogues
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Prevarication in dispute protocols
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Argumentation in artificial intelligence
Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
Extremal behaviour in multiagent contract negotiation
Journal of Artificial Intelligence Research
A denotational semantics for deliberation dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |
Dialogue protocols have been the subject of considerable attention with respect to their potential applications in multiagent system environments. Formalisations of such protocols define classes of dialogue locutions, concepts of a dialogue state, and rules under which a dialogue proceeds. One important consideration in implementing a protocol concerns the criteria an agent should apply in choosing which utterance will constitute its next contribution to a discussion in progress: ideally, an agent should select a locution that (by some measure) "optimises" the outcome. The precise interpretation of 'optimise' is, however, something that may vary greatly depending on the nature and intent of a dialogue area. If we consider 'persuasion' protocols, where one agent's intention is to convince others of the validity or invalidity of a specific proposition, then optimality might be regarded in the sense of "choice of locution that results in a 'minimal length' debate": thus the agent defending a hypothesis tries to select utterances that will convince other participants of the validity of this hypothesis after 'as few locutions as possible'. We present a formal setting for considering the problem of deciding if a particular utterance in the context of a persuasion dialogue is optimal in this sense. We show that, in general, this decision problem is both NP--hard and CO-NP--hard.