Abstract
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 language | English |
|---|---|
| Title of host publication | 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) |
| Editors | Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm |
| Publisher | CEUR WS |
| Pages | 59-70 |
| Number of pages | 12 |
| Volume | 2445 |
| ISBN (Print) | 1613-0073 |
| Publication status | Published - 2019 |
| Event | 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) - Kassel, Germany Duration: 23 Sept 2019 → 23 Sept 2019 https://www.fernuni-hagen.de/wbs/dkbkik2019.html |
Workshop
| Workshop | 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) |
|---|---|
| Abbreviated title | DKB/KIK-2019 |
| Country/Territory | Germany |
| City | Kassel |
| Period | 23/09/19 → 23/09/19 |
| Internet address |
Keywords
- Justification logic
- Reiter’s default logic
- Formal argumentation
- Defeaters
- Default reasons