Loading...
A Bimodal Simulation of Defeasibility in the Normative Domain
Title / Series / Name
CEUR Workshop Proceedings
Publication Volume
2680
Publication Issue
Pages
Editors
Keywords
Bimodal Logic
Contrary-to-duty Reasoning
Deontic Logic
Exceptions
Non-monotonic Reasoning
Violations
BC Logic
Philosophy
Contrary-to-duty Reasoning
Deontic Logic
Exceptions
Non-monotonic Reasoning
Violations
BC Logic
Philosophy
URI
https://hdl.handle.net/20.500.14018/28355
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.
Topic
Publisher
Place of Publication
Type
Conference paper
Date
2020