A Semantic Tableau Method for Argument Construction

Nico Roos

A Semantic Tableau Method for Argument Construction

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

38 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 rulesis presented. Finally, reasoning by cases using an argumentation tableauis discussed.

Original language	English
Title of host publication	BeNeLux Artificial Intellignce Conference (BNAIC) 2020
Subtitle of host publication	BNAIC/BeneLearn 2020
Editors	Lu Cao, Walter Kosters, Jefrey Lijffijt
Pages	239-253
Number of pages	15
Publication status	Published - 2020
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/

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/

Access to Document

Full textFinal published version, 4.82 MBLicence: Taverne

Cite this

@inproceedings{7298f94ce2964b8a8bd6bfe08c5b5693,

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 rulesis presented. Finally, reasoning by cases using an argumentation tableauis discussed.",

author = "Nico Roos",

note = "One of three nominations for the best paper award.; Benelux Conference on Artificial Intelligence and Machine Learning, BNAIC/BeneLearn 2020 ; Conference date: 19-11-2020 Through 20-11-2020",

year = "2020",

language = "English",

pages = "239--253",

editor = "Lu Cao and Walter Kosters and Jefrey Lijffijt",

booktitle = "BeNeLux Artificial Intellignce Conference (BNAIC) 2020",

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

}

TY - GEN

T1 - A Semantic Tableau Method for Argument Construction

AU - Roos, Nico

N1 - One of three nominations for the best paper award.

PY - 2020

Y1 - 2020

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 rulesis presented. Finally, reasoning by cases using an argumentation tableauis 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 rulesis presented. Finally, reasoning by cases using an argumentation tableauis discussed.

M3 - Conference article in proceeding

SP - 239

EP - 253

BT - BeNeLux Artificial Intellignce Conference (BNAIC) 2020

A2 - Cao, Lu

A2 - Kosters, Walter

A2 - Lijffijt, Jefrey

T2 - Benelux Conference on Artificial Intelligence and Machine Learning

Y2 - 19 November 2020 through 20 November 2020

ER -