Kido, Hiroyuki  ORCID: https://orcid.org/0000-0002-7622-4428 and Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358
2016.
Formal reconciliatory dialogue based on shift from forward to backward deliberation.
Argument and Computation
6
(3)
, pp. 292-309.
10.1080/19462166.2016.1145139
|
Preview |
PDF
- Accepted Post-Print Version
Download (934kB) | Preview |
Official URL: http://dx.doi.org/10.1080/19462166.2016.1145139
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 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.
| Item Type: | Article |
|---|---|
| Date Type: | Publication |
| Status: | Published |
| Schools: | Schools > Computer Science & Informatics |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Additional Information: | Pdf uploaded in accordance with publisher's policy at http://www.sherpa.ac.uk/romeo/issn/1946-2166/ (accessed 22/06/2016) |
| Publisher: | Taylor & Francis |
| ISSN: | 1946-2166 |
| Date of First Compliant Deposit: | 30 March 2016 |
| Date of Acceptance: | 7 December 2015 |
| Last Modified: | 19 Oct 2025 12:45 |
| URI: | https://orca.cardiff.ac.uk/id/eprint/85191 |
Actions (repository staff only)
 |
Edit Item |
Altmetric
Altmetric