Publication

Reifying default reasons in justification logic

Pandzic, S., 2019, Proceedings 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). Beierle, C., Ragni, M., Stolzenburg, F. & Thimm, M. (eds.). p. 59-70 12 p. (CEUR Workshop Proceedings; vol. 2445).

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

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.
Original languageEnglish
Title of host publicationProceedings 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)
EditorsChristoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Pages59-70
Number of pages12
Publication statusPublished - 2019
Event8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) - Kassel, Germany
Duration: 23-Sep-201923-Sep-2019

Publication series

NameCEUR Workshop Proceedings
Volume2445
ISSN (Print)1613-0073

Conference

Conference8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019)
CountryGermany
CityKassel
Period23/09/201923/09/2019

Event

8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019)

23/09/201923/09/2019

Kassel, Germany

Event: Conference

    Keywords

  • Justification logic, Reiter’s default logic, Formal argumentation, Defeaters, Default reasons

Download statistics

No data available

ID: 122580506