References of "Farjami, Ali 50024958"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailI/O Logic in HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Meder, Paul Joseph Yves UL et al

in Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (2019), 6(5), 715--732

Detailed reference viewed: 23 (6 UL)
Full Text
Peer Reviewed
See detailMachine Argumentation. Can We Replace Taxi Drivers by Robots?
Gabbay, Dov M. UL; Cramer, Marcos; Dauphin, Jérémie UL et al

in Natural Argument, A tribute to John Woods (2019)

We need ethical non-monotonic action logics to control machines which interact heavily with humans. Such logics face special problems and require features which we need to recognise and to address. We ... [more ▼]

We need ethical non-monotonic action logics to control machines which interact heavily with humans. Such logics face special problems and require features which we need to recognise and to address. We believe that injecting argumentation methods into action pre-conditions is possibly the way to proceed to model what is needed. To get an idea of what is needed we must investigate a typical problem of replacing a human with a robot operating in a highly interactive environment. This paper focuses on replacing a human taxi driver by a robot. Robot driven cars are already under production and so there is an urgent need for modelling the kind of Artificial Intelligence/Logic/Norms/Ethics which is to be involved and installed in the mind of the Robot. This is research in progress. [less ▲]

Detailed reference viewed: 101 (3 UL)
Full Text
Peer Reviewed
See detailÅqvist's Dyadic Deontic Logic E in HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Parent, Xavier UL

in Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (2019), 6(5), 733--755

Detailed reference viewed: 25 (1 UL)
Full Text
Peer Reviewed
See detailAqvist's Dyadic Deontic Logic E in HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Parent, Xavier UL

Scientific Conference (2018, September 17)

We devise a shallow semantical embedding of \AA{}qvist's dyadic deontic logic {\bf E} in classical higher-order logic. This embedding is encoded in Isabelle/HOL, which turns this system into a proof ... [more ▼]

We devise a shallow semantical embedding of \AA{}qvist's dyadic deontic logic {\bf E} in classical higher-order logic. This embedding is encoded in Isabelle/HOL, which turns this system into a proof assistant for deontic logic reasoning. The experiments with this environment provide evidence that this logic \textit{implementation} fruitfully enables interactive and automated reasoning at the meta-level and the object-level. [less ▲]

Detailed reference viewed: 189 (25 UL)
Full Text
See detailI/O Logic in HOL
Farjami, Ali UL; Meder, Paul Joseph Yves UL; Parent, Xavier UL et al

Scientific Conference (2018, September 17)

A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, and shown to be faithful (sound an complete). This embedding has been implemented in the higher-order ... [more ▼]

A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, and shown to be faithful (sound an complete). This embedding has been implemented in the higher-order proof assistant Isabelle/HOL. We provide an empirical regulative framework for assessing General Data Protection Regulation. [less ▲]

Detailed reference viewed: 196 (40 UL)
Full Text
Peer Reviewed
See detailA Dyadic Deontic Logic in HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Parent, Xavier UL

in Broersen, Jan; Condoravdi, Cleo; Nair, Shyam (Eds.) et al Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (2018, June 11)

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, faithful. The work presented ... [more ▼]

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, faithful. The work presented here provides the theoretical foundation for the implementation and automation of dyadic deontic logic within off-the-shelf higher-order theorem provers and proof assistants. [less ▲]

Detailed reference viewed: 54 (17 UL)
Full Text
Peer Reviewed
See detailImplementation of Dyadic Deontic Logic E in Isabelle/HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Parent, Xavier UL

Scientific Conference (2018, May 04)

We have devised a shallow semantical embedding of a dyadic deontic logic (by B.Hansson and \AA{}qvist) in classical higher-order logic. This embedding has been encoded in Isabelle/HOL, which turns this ... [more ▼]

We have devised a shallow semantical embedding of a dyadic deontic logic (by B.Hansson and \AA{}qvist) in classical higher-order logic. This embedding has been encoded in Isabelle/HOL, which turns this system into a proof assistant for deontic logic reasoning. The experiments with this environment provide evidence that this logic \textit{implementation} fruitfully enables interactive and automated reasoning at the meta-level and the object-level. [less ▲]

Detailed reference viewed: 54 (4 UL)
Full Text
See detailFaithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Parent, Xavier UL

Report (2018)

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, faithful. The work presented ... [more ▼]

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, faithful. The work presented here provides the theoretical foundation for the implementation and automation of dyadic deontic logic within off-the-shelf higher-order theorem provers and proof assistants. [less ▲]

Detailed reference viewed: 64 (5 UL)
Full Text
See detailImplementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Parent, Xavier UL et al

Scientific Conference (2017, July 06)

A shallow semantical embedding of a dyadic deontic logic (by Carmo and Jones) in Isabelle/HOL is presented. First experiments provide evidence that this logic implementation fruitfully enables interactive ... [more ▼]

A shallow semantical embedding of a dyadic deontic logic (by Carmo and Jones) in Isabelle/HOL is presented. First experiments provide evidence that this logic implementation fruitfully enables interactive and automated reasoning at the meta-level the object-level. [less ▲]

Detailed reference viewed: 136 (19 UL)