no code implementations • 21 Oct 2023 • Mohammad Hossein Khojasteh, Najmeh Torabian, Ali Farjami, Saeid Hosseini, Behrouz Minaei-Bidgoli
To tackle the challenge of dealing with incorrect paths or rules generated by the logical model, we propose a semi-supervised method to convert rules into sentences.
no code implementations • 25 Jul 2021 • Ali Farjami
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.
1 code implementation • 23 Feb 2018 • 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.