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

TL;DR

This paper extends the LogiKEy framework for ethical and legal reasoning by introducing algebraic normative theories and a new input/output operation model based on Boolean algebras.

Contribution

It develops a novel algebraic approach to normative logics and enhances the LogiKEy methodology for more effective ethical and legal reasoning systems.

Findings

Extended LogiKEy deontic logics with algebraic structures

Developed a new theory of input/output operations for normative reasoning

Demonstrated improved reasoning capabilities in ethical and legal contexts

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.