Reifying default reasons in justification logic

Stipe Pandzic

OnderzoeksoutputAcademicpeer review

2 Citaten (Scopus)
46 Downloads (Pure)

Samenvatting

The main goal of this paper is to argue that justification logic advances the formal study of default reasons. After introducing a variant of justification logic with default reasons, we first show how the logic can be used to model undercutting attacks and exclusionary reasons. Then we compare this logic to Reiter’s default logic interpreted as an argumentation framework. The comparison is done by analyzing differences in the way in which process trees are built for the two logics.
Originele taal-2English
TitelProceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019)
RedacteurenChristoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Pagina's59-70
Aantal pagina's12
StatusPublished - 2019
Evenement8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) - Kassel, Germany
Duur: 23-sep-201923-sep-2019

Publicatie series

NaamCEUR Workshop Proceedings
Volume2445
ISSN van geprinte versie1613-0073

Conference

Conference8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019)
Land/RegioGermany
StadKassel
Periode23/09/201923/09/2019

Citeer dit