loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Hiroyuki Kido 1 ; Katsumi Nitta 1 ; Masahito Kurihara 1 and Daisuke Katagami 2

Affiliations: 1 Tokyo Institute of Technology, Japan ; 2 Tokyo Polytechnic University, Japan

Keyword(s): Argument-based reasoning, Compromise, Dialectical thought, Deliberation.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge Representation and Reasoning ; Knowledge-Based Systems ; Multi-Agent Systems ; Software Engineering ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.171.22.220

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 2: ICAART; ISBN 978-989-8425-40-9; ISSN 2184-433X, SciTePress, pages 355-363. DOI: 10.5220/0003181903550363

@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 2: ICAART},
year={2011},
pages={355-363},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003181903550363},
isbn={978-989-8425-40-9},
issn={2184-433X},
}

TY - CONF

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