A Generative Dialogue System for Arguing about Plans in Situation Calculus

Alexandros Belesiotis, Michael Rovatsos, Iyad Rahwan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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 defensible 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.

Original languageEnglish
Title of host publicationARGUMENTATION IN MULTI-AGENT SYSTEMS
EditorsP McBurney, I Rahwan, S Parsons, N Maudet
Place of PublicationBERLIN
PublisherSpringer
Pages23-41
Number of pages19
ISBN (Print)978-3-642-12804-2
Publication statusPublished - 2010
Event6th International Workshop on Argumentation in Multi-Agent Systems - Budapest
Duration: 12 May 2009 → …

Conference

Conference6th International Workshop on Argumentation in Multi-Agent Systems
CityBudapest
Period12/05/09 → …

Fingerprint

Dive into the research topics of 'A Generative Dialogue System for Arguing about Plans in Situation Calculus'. Together they form a unique fingerprint.

Cite this