References of "Benzmüller, Christoph"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailDesigning normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support
Benzmüller, Christoph; Parent, Xavier; van der Torre, Leon UL

in Artificial Intelligence and Law (2020), 287

A framework and methodology|termed LogiKEy|for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable ... [more ▼]

A framework and methodology|termed LogiKEy|for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples|all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder e fficient experimentation. [less ▲]

Detailed reference viewed: 42 (2 UL)
Full Text
Peer Reviewed
See detailEmbedding and automating conditional logics in classical higher-order logic
Benzmuller, Christoph; Gabbay, Dov M. UL; Genovese, Valerio UL et al

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 257-271

A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and ... [more ▼]

A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and about conditional logics. [less ▲]

Detailed reference viewed: 85 (4 UL)