New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework

07/25/2021

∙

by   Ali Farjami, et al.

∙

0

∙

share

To design and engineer ethical and legal reasoners and responsible systems, Benzmüller, Parent and van der Torre introduce LogiKEy methodology based on the semantical embedding of deontic logics into classic higher-order logic. In this paper, we considerably extend the LogiKEy deontic logics and dataset using an algebraic approach. We develop theory of input/output operations for normative reasoning on top of Boolean algebras.