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.
Formal reconciliatory dialogue based on shift from forward to backward deliberation
Cerutti F.
2015-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
