A Bimodal Simulation of Defeasibility in the Normative Domain

Tomer Libal*, Matteo Pascucci, Leendert Van Der Torre, Dov Gabbay

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

Abstract (may include machine translation)

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 languageEnglish
Pages (from-to)41-54
Number of pages14
JournalCEUR Workshop Proceedings
Volume2680
StatePublished - 2020
Event6th Workshop on Formal and Cognitive Reasoning, FCR 2020 - Virtual, Bamberg, Germany
Duration: 22 Sep 2020 → …

Keywords

  • Bimodal Logic
  • Contrary-to-duty Reasoning
  • Deontic Logic
  • Exceptions
  • Non-monotonic Reasoning
  • Violations

Fingerprint

Dive into the research topics of 'A Bimodal Simulation of Defeasibility in the Normative Domain'. Together they form a unique fingerprint.

Cite this