A generative dialogue system for arguing about plans in situation calculus

Authors:
Alexandros Belesiotis;Michael Rovatsos;Iyad Rahwan
Affiliations:
School of Informatics, The University of Edinburgh, Edinburgh, UK;School of Informatics, The University of Edinburgh, Edinburgh, UK;School of Informatics, The University of Edinburgh, Edinburgh, UK
Venue:
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Year:
2009

Citing 15
Cited 4

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Distributed problem solving and planning

Multiagent systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
An analysis of formal inter-agent dialogues

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Credulous and Sceptical Argument Games for Preferred Semantics

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Evolution of the GPGP Domain-Independent Coordination Framework

Evolution of the GPGP Domain-Independent Coordination Framework
Two party immediate response disputes: properties and efficiency

Artificial Intelligence
Automated Planning: Theory & Practice

Automated Planning: Theory & Practice
Argumentation-based dialogues for deliberation

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
An argumentation based approach for practical reasoning

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An argumentation based approach for practical reasoning

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Practical reasoning as presumptive argumentation using action based alternating transition systems

Artificial Intelligence
Planning and defeasible reasoning

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
On the compilability and expressive power of propositional planning formalisms

Journal of Artificial Intelligence Research
The communicative multiagent team decision problem: analyzing teamwork theories and models

Journal of Artificial Intelligence Research

Agreeing on plans through iterated disputes

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Argumentation schemes for collaborative planning

PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Arguments over co-operative plans

TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Argumentative SOX compliant and quality decision support intelligent expert system over the suppliers selection process

Applied Computational Intelligence and Soft Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between basic beliefs regarding the state of the world or the specification of the planning operators. We introduce simple and efficient argument moves that enable discussion about planning steps, and show how these can be integrated into an existing protocol for belief argumentation. The resulting protocol is provably sound with regard to the defeasible semantics of the resulting agreements. We show how argument generation can be treated, for the specific task of argumentation about plans, by replacing the burden of finding proofs in a knowledge base by guided search.