17
v1v2 (latest)

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

Abstract

In order to design and engineer ethical and legal reasoners and responsible systems, Benzm\"{u}ller, Parent and van der Torre introduced the LogiKEy methodology, based on the semantical embedding of deontic logics into classic higher-order logic. This article considerably extends the LogiKEy deontic logics and dataset using an algebraic approach, and develops a theory of input/output operations for normative reasoning on top of Boolean algebras.

View on arXiv
Comments on this paper