A Semantic Tableau Method for Argument Construction

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

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 languageEnglish
Title of host publicationBeNeLux Artificial Intellignce Conference (BNAIC) 2020
Subtitle of host publicationBNAIC/BeneLearn 2020
EditorsLu Cao, Walter Kosters, Jefrey Lijffijt
Pages239-253
Number of pages15
Publication statusPublished - 2020
EventBenelux Conference on Artificial Intelligence and Machine Learning - Online, Leiden University, Leiden, Netherlands
Duration: 19 Nov 202020 Nov 2020
https://bnaic.liacs.leidenuniv.nl/

Conference

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

Cite this