A Semantic Tableau Method for Argument Construction

TL;DR

This paper introduces an argumentation tableau method that facilitates the construction and reasoning of arguments in propositional, predicate, and defeasible logic, including reasoning by cases.

Contribution

It presents a novel semantic tableau approach for argument construction, extending standard logic to defeasible rules and case reasoning.

Findings

Effective derivation of arguments for propositional and predicate logic

Extension to defeasible reasoning rules

Capability for reasoning by cases using the tableau

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.