A Semantic Tableau Method for Argument Construction

Nico Roos

doi:10.1007/978-3-030-76640-5_8

A Semantic Tableau Method for Argument Construction

Nico Roos

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

47 Downloads (Pure)

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.

Original language	English
Title of host publication	Artificial Intelligence and Machine Learning. BNAIC/Benelearn 2020
Editors	Mitra Baratchi, Lu Cao, Walter A Kosters, Jefrey Lijffijt, Jan N van Rijn, Frank W. Takes
Publisher	Springer
Pages	122-140
Number of pages	19
Volume	1530
ISBN (Print)	978-3-030-76640-5
DOIs	https://doi.org/10.1007/978-3-030-76640-5_8
Publication status	Published - 2021
Event	Benelux Conference on Artificial Intelligence and Machine Learning - Online, Leiden University, Leiden, Netherlands Duration: 19 Nov 2020 → 20 Nov 2020 https://bnaic.liacs.leidenuniv.nl/

Publication series

Series	Communications in Computer and Information Science
Volume	1398
ISSN	1865-0929

Conference

Conference	Benelux Conference on Artificial Intelligence and Machine Learning
Abbreviated title	BNAIC/BeneLearn 2020
Country/Territory	Netherlands
City	Leiden
Period	19/11/20 → 20/11/20
Internet address	https://bnaic.liacs.leidenuniv.nl/

Keywords

Semantic Tableau Method
Argumentation System
Reasoning by Cases

Access to Document

10.1007/978-3-030-76640-5_8Licence: CC BY

Full text Final published version, 2 MBLicence: Taverne

Cite this

@inbook{9e14740823b041759daf12b11177202a,

title = "A Semantic Tableau Method for Argument Construction",

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.",

keywords = "Semantic Tableau Method, Argumentation System, Reasoning by Cases",

author = "Nico Roos",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; Benelux Conference on Artificial Intelligence and Machine Learning, BNAIC/BeneLearn 2020 ; Conference date: 19-11-2020 Through 20-11-2020",

year = "2021",

doi = "10.1007/978-3-030-76640-5_8",

language = "English",

isbn = "978-3-030-76640-5",

volume = "1530",

series = "Communications in Computer and Information Science",

publisher = "Springer",

pages = "122--140",

editor = "Mitra Baratchi and Lu Cao and Kosters, {Walter A} and Jefrey Lijffijt and {van Rijn}, {Jan N} and Takes, {Frank W.}",

booktitle = "Artificial Intelligence and Machine Learning. BNAIC/Benelearn 2020",

address = "United States",

url = "https://bnaic.liacs.leidenuniv.nl/",

}

Roos, N 2021, A Semantic Tableau Method for Argument Construction. in M Baratchi, L Cao, WA Kosters, J Lijffijt, JN van Rijn & FW Takes (eds), Artificial Intelligence and Machine Learning. BNAIC/Benelearn 2020. vol. 1530, Springer, Communications in Computer and Information Science, vol. 1398, pp. 122-140, Benelux Conference on Artificial Intelligence and Machine Learning, Leiden, Netherlands, 19/11/20. https://doi.org/10.1007/978-3-030-76640-5_8

A Semantic Tableau Method for Argument Construction. / Roos, Nico.
Artificial Intelligence and Machine Learning. BNAIC/Benelearn 2020. ed. / Mitra Baratchi; Lu Cao; Walter A Kosters; Jefrey Lijffijt; Jan N van Rijn; Frank W. Takes. Vol. 1530 Springer, 2021. p. 122-140 (Communications in Computer and Information Science, Vol. 1398).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - A Semantic Tableau Method for Argument Construction

AU - Roos, Nico

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Semantic Tableau Method

KW - Argumentation System

KW - Reasoning by Cases

U2 - 10.1007/978-3-030-76640-5_8

DO - 10.1007/978-3-030-76640-5_8

M3 - Chapter

SN - 978-3-030-76640-5

VL - 1530

T3 - Communications in Computer and Information Science

SP - 122

EP - 140

BT - Artificial Intelligence and Machine Learning. BNAIC/Benelearn 2020

A2 - Baratchi, Mitra

A2 - Cao, Lu

A2 - Kosters, Walter A

A2 - Lijffijt, Jefrey

A2 - van Rijn, Jan N

A2 - Takes, Frank W.

PB - Springer

T2 - Benelux Conference on Artificial Intelligence and Machine Learning

Y2 - 19 November 2020 through 20 November 2020

ER -