Formal reconciliatory dialogue based on shift from forward to backward deliberation^†

† This paper is a revised full version of the conference paper (Kido and Cerutti, 2014).

Abstract

Desire conflicts arise in several real-world contexts. In this paper, we propose a mixed deliberation dialogue for reconciliation. A mixed deliberation dialogue is defined as a combination of forward and backward deliberation dialogues with respective goals which are subordinate and superordinate desires of a given desire. This research and the introduction of mixed deliberation dialogue have been motivated by Kowalski and Toni's reconciliatory scenario. We show that an instantiation of a mixed deliberation dialogue implements key parts of Kowalski and Toni's reconciliatory solution. We also prove the correctness of mixed deliberation dialogues.

Keywords:

• formal dialogue
• deliberation
• dialogue shift
• reconciliation
• defeasible inferencerules

Disclosure statement

No potential conflict of interest was reported by the authors.

Notes

† This paper is a revised full version of the conference paper (Kido and Cerutti, 2014).

1 The authors originally call them positive and negative practical syllogisms, respectively, and the conclusion part of the negative one is .

Additional information

Funding

This research was partially supported by the Telecommunication Advancement Foundation, Japan.