loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Teeradaj Racharak and Satoshi Tojo

Affiliation: School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa, Japan

Keyword(s): Deductive Argumentation, Argumentation System, Explainable Artificial Intelligence, Natural Deduction.

Abstract: We present a characterization about argumentation and proof in logic. Indeed, we show that proof for a claim α from a set of premises Φ can be deemed as a structured form of an argument for that claim. Due to the expressivity of classical propositional logic (PL), this work considers that the knowledge-base is represented in PL, in which the semantics and proof systems for individual arguments are studied and utilized. We show that natural deduction (ND) can be used as a basis of proof for an argument and also for modeling counterarguments in the form of canonical undercut. We reveal that ND does not merely enable for the construction of arguments but also paves the way naturally for a human-understandable form of argumentative reasoning. Finally, we demonstrate that our approach gives the feasibility of developing explainable artificial intelligence systems that can offer human-friendly explanations to the users.

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 3.14.253.221

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:
Racharak, T. and Tojo, S. (2021). On Explanation of Propositional Logic-based Argumentation System. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART; ISBN 978-989-758-484-8; ISSN 2184-433X, SciTePress, pages 323-332. DOI: 10.5220/0010318103230332

@conference{icaart21,
author={Teeradaj Racharak. and Satoshi Tojo.},
title={On Explanation of Propositional Logic-based Argumentation System},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART},
year={2021},
pages={323-332},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010318103230332},
isbn={978-989-758-484-8},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART
TI - On Explanation of Propositional Logic-based Argumentation System
SN - 978-989-758-484-8
IS - 2184-433X
AU - Racharak, T.
AU - Tojo, S.
PY - 2021
SP - 323
EP - 332
DO - 10.5220/0010318103230332
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic