Abstract
In the present work we illustrate how two sorts of defeasible reasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning.
| Original language | English |
|---|---|
| Pages (from-to) | 41-54 |
| Number of pages | 14 |
| Journal | CEUR Workshop Proceedings |
| Volume | 2680 |
| State | Published - 2020 |
| Externally published | Yes |
| Event | 6th Workshop on Formal and Cognitive Reasoning, FCR 2020 - Virtual, Bamberg, Germany Duration: 22 Sep 2020 → … |
Bibliographical note
Publisher Copyright:© 2020 CEUR-WS. All rights reserved.
Keywords
- Bimodal Logic
- Contrary-to-duty Reasoning
- Deontic Logic
- Exceptions
- Non-monotonic Reasoning
- Violations