A Semantic Tableau Method for Argument Construction

Authors :: Roos, Nico
Source :: Artificial Intelligence and Machine Learning, Communications in Computer and Information Science 1398 (2021) 122-140
Publication Year :: 2022
Abstract: A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments, is proposed. First, the derivation of arguments for standard propositional and predicate logic is addressed. Next, an extension that enables reasoning with defeasible rules is presented. Finally, reasoning by cases using an argumentation tableau is discussed.<br />Comment: Post proceedings of the BNAIC 2020

Database :: arXiv
Journal :: Artificial Intelligence and Machine Learning, Communications in Computer and Information Science 1398 (2021) 122-140
Publication Type :: Report
Accession number :: edsarx.2209.04759
Document Type :: Working Paper

Tools