FORMALIZING DIALECTICAL REASONING FOR COMPROMISE-BASED JUSTIFICATION

Hiroyuki Kido, Katsumi Nitta, Masahito Kurihara, Daisuke Katagami

2011

Abstract

Chinese traditional philosophy regards dialectics as a style of reasoning that focuses on contradictions and how to resolve them, transcend them or find the truth in both. Compromise is considered to be one possible way to resolve conflicts dialectically. In this paper, we formalize dialectical reasoning as a way for deriving compromise. Both the definition of the notion of compromise and the algorithm for dialectical reasoning are proposed on an abstract complete lattice. We prove that the dialectical reasoning is sound and complete with respect to the compromise. We propose the concrete algorithm for dialectical reasoning characterized by definite clausal language and generalized subsumption. The algorithm is proved to be sound with respect to the compromise. Furthermore, we expand an argumentation system to handle compromise arguments, and illustrate that an agent bringing up a compromise argument realizes a compromise based justification towards argument-based deliberation.

Paper Citation

in Harvard Style

Kido H., Nitta K., Kurihara M. and Katagami D. (2011). FORMALIZING DIALECTICAL REASONING FOR COMPROMISE-BASED JUSTIFICATION . In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8425-40-9, pages 355-363. DOI: 10.5220/0003181903550363

in Bibtex Style

@conference{icaart11,
author={Hiroyuki Kido and Katsumi Nitta and Masahito Kurihara and Daisuke Katagami},
title={FORMALIZING DIALECTICAL REASONING FOR COMPROMISE-BASED JUSTIFICATION},
booktitle={Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2011},
pages={355-363},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003181903550363},
isbn={978-989-8425-40-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - FORMALIZING DIALECTICAL REASONING FOR COMPROMISE-BASED JUSTIFICATION
SN - 978-989-8425-40-9
AU - Kido H.
AU - Nitta K.
AU - Kurihara M.
AU - Katagami D.
PY - 2011
SP - 355
EP - 363
DO - 10.5220/0003181903550363