Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Ali Farjami
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 semantica…
cs.AI2018
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Christoph Benzmüller, Ali Farjami, Xavier Parent
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, fait…