In this contribution, we propose to model argumentation-based negotiation in terms of t-DeLP-POP, a partial order planning system that incorporates temporal defeasible logic. This logic combines temporal facts and durative rules into temporal arguments. We propose a dialogue protocol for the negotiation of plans in this planning system that models a variety of scenarios for argumentative nego- tiation of complex services. Then we consider case studies in the literature can be naturally modeled by dialogues in this logic-based planning framework.
Links:
[1] http://www.iiia.csic.es/en/individual/pere-pardo
[2] http://www.iiia.csic.es/en/individual/pilar-dellunde
[3] http://www.iiia.csic.es/en/individual/lluis-godo
[4] http://www.iiia.csic.es/en/publications/export/tagged/4417
[5] http://www.iiia.csic.es/en/publications/export/xml/4417
[6] http://www.iiia.csic.es/en/publications/export/bib/4417
[7] http://www.iiia.csic.es/en/project/arinf
[8] http://www.iiia.csic.es/en/project/at
[9] http://www.iiia.csic.es/en/project/locomotion-0
[10] http://www.iiia.csic.es/en/project/sgr2009