AISep 10, 2022
A Semantic Tableau Method for Argument Construction
arXiv:2209.04759v12 citationsh-index: 19
Originality Synthesis-oriented
AI Analysis
This work addresses a specific problem in automated reasoning for logic-based systems, but it appears incremental as it builds on existing tableau methods.
The paper tackled the problem of deriving arguments in logic by proposing an argumentation tableau method, which was extended to handle defeasible rules and reasoning by cases.
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.