Showing 1–2 of 2 results for author: Lomfeld, B

Reasonable Machines: A Research Manifesto

Authors: Christoph Benzmüller, Bertram Lomfeld

Abstract: Future intelligent autonomous systems (IAS) are inevitably deciding on moral and legal questions, e.g. in self-driving cars, health care or human-machine collaboration. As decision processes in most modern sub-symbolic IAS are hidden, the simple political plea for transparency, accountability and governance falls short. A sound ecosystem of trust requires ways for IAS to autonomously justify their… ▽ More Future intelligent autonomous systems (IAS) are inevitably deciding on moral and legal questions, e.g. in self-driving cars, health care or human-machine collaboration. As decision processes in most modern sub-symbolic IAS are hidden, the simple political plea for transparency, accountability and governance falls short. A sound ecosystem of trust requires ways for IAS to autonomously justify their actions, that is, to learn giving and taking reasons for their decisions. Building on social reasoning models in moral psychology and legal philosophy such an idea of >>Reasonable Machines<< requires novel, hybrid reasoning tools, ethico-legal ontologies and associated argumentation technology. Enabling machines to normative communication creates trust and opens new dimensions of AI application and human-machine interaction. Keywords: Trusthworthy and Explainable AI, Ethico-Legal Governors, Social Reasoning Model, Pluralistic and Expressive Normative Reasoning △ Less

Submitted 14 August, 2020; originally announced August 2020.

Comments: 8 pages, 1 figure

MSC Class: 68T01 03Bxx 68T27 ACM Class: I.2.0; I.2.3; I.2.4

Journal ref: KI 2020, LNAI 12325, Springer Nature Switzerland,

Modelling Value-oriented Legal Reasoning in LogiKEy

Authors: Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld

Abstract: The logico-pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing in which legal knowledge (cases and laws) is encoded by utilising context-dependent value preferences. The theory obtained is then used to formalise, automatically evaluate, and reconstruct illustrative property law cases (involving appropriation of wild animals)… ▽ More The logico-pluralist LogiKEy knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing in which legal knowledge (cases and laws) is encoded by utilising context-dependent value preferences. The theory obtained is then used to formalise, automatically evaluate, and reconstruct illustrative property law cases (involving appropriation of wild animals) within the Isabelle proof assistant system, illustrating how LogiKEy can harness interactive and automated theorem proving technology to provide a testbed for the development and formal verification of legal domain-specific languages and theories. Modelling value-oriented legal reasoning in that framework, we establish novel bridges between latest research in knowledge representation and reasoning in non-classical logics, automated theorem proving, and applications in legal reasoning. △ Less

Submitted 30 March, 2022; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: 43 pages (+14 appendix), 21 figures; extended and improved version of our contribution to the 1st Workshop on Models of Legal Reasoning (MLR 2020)

MSC Class: 68T01 68T27 68T30 03Axx 03B16 03B35 03B45 03B60 03B70 ACM Class: I.2.0; I.2.3; I.2.4; J.1