Formal reconciliatory dialogue based on shift from forward to backward deliberation

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.