New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
This work provides incremental improvements to a domain-specific methodology for building ethical and legal reasoners, targeting researchers and engineers in formal logic and AI ethics.
The authors extended the LogiKEy framework for ethical and legal reasoning by developing new algebraic normative theories based on Boolean algebras and input/output operations, enhancing its capabilities for designing responsible systems.
In order to design and engineer ethical and legal reasoners and responsible systems, Benzmü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.