Abstract
We define a logic of default justifications that relies on operational semantics. One of the key features that is absent in standard justification logics is the possibility to weigh different epistemic reasons or pieces of evidence that might conflict with one another. To amend this inadequacy, we develop a semantics for “defeaters”: conflicting reasons forming a basis to doubt the original conclusion or to believe an opposite statement. Our logic is able to address interactions of normal defaults without relying on priorities among default rules and introduces the possibility of extension revision for normal default theories.
| Original language | English |
|---|---|
| Title of host publication | 17th International Workshop on Nonmonotonic Reasoning |
| Editors | Eduardo Fermé, Serena Villata |
| Pages | 126-135 |
| Number of pages | 10 |
| Publication status | Published - 2018 |
| Event | 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING - Tempe, United States Duration: 27 Oct 2018 → 29 Oct 2018 http://www4.uma.pt/nmr2018/ |
Workshop
| Workshop | 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING |
|---|---|
| Country/Territory | United States |
| City | Tempe |
| Period | 27/10/18 → 29/10/18 |
| Internet address |
Keywords
- Justification logic
- Default logic
- Non-monotonic reasoning
- Defeaters
- Default reasons
- Operational semantics