A Semantic Tableau Method for Argument Construction

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 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 languageEnglish
Title of host publicationArtificial Intelligence and Machine Learning. BNAIC/Benelearn 2020
EditorsMitra Baratchi, Lu Cao, Walter A Kosters, Jefrey Lijffijt, Jan N van Rijn, Frank W. Takes
PublisherSpringer
Pages122-140
Number of pages19
Volume1530
ISBN (Print)978-3-030-76640-5
Publication statusPublished - 2021
EventBenelux Conference on Artificial Intelligence and Machine Learning - Online, Leiden University, Leiden, Netherlands
Duration: 19 Nov 202020 Nov 2020
https://bnaic.liacs.leidenuniv.nl/

Publication series

SeriesCommunications in Computer and Information Science
Volume1398
ISSN1865-0929

Conference

ConferenceBenelux Conference on Artificial Intelligence and Machine Learning
Abbreviated titleBNAIC/BeneLearn 2020
Country/TerritoryNetherlands
CityLeiden
Period19/11/2020/11/20
Internet address

Keywords

  • Semantic Tableau Method
  • Argumentation System
  • Reasoning by Cases

Cite this