On Explanation of Propositional Logic-based Argumentation System

Teeradaj Racharak, Satoshi Tojo

2021

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.

Paper Citation

in Harvard Style

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, pages 323-332. DOI: 10.5220/0010318103230332

in Bibtex Style

@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},
}

in EndNote Style

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
AU - Racharak T.
AU - Tojo S.
PY - 2021
SP - 323
EP - 332
DO - 10.5220/0010318103230332