Reasonable Machines: A Research Manifesto

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 ReasoningComment: 8 pages, 1 figur

Modelling Value-Oriented Legal Reasoning in LogiKEy

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 the appropriation of wild animals) within the Isabelle/HOL 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 the latest research in knowledge representation and reasoning in non-classical logics, automated theorem proving, and applications in legal reasoning

Demokratische Miet-Bestimmung

Selten bekommt ein Gesetzesentwurf des Berliner Senats wohl so viel Aufmerksamkeit, wie in den letzten Wochen der sog. „Mietendeckel“. Die Reaktionen auf den Referentenentwurf ließen nicht lange auf sich warten: Ungerecht, Enteignung, Planwirtschaft. Opposition und Verbände kündigen Verfassungsklagen an. Auch Ex-BVerfG-Präsident Papier attestiert dem Vorstoß in einem Gutachten im Auftrag des Bundesverbandes deutscher Wohnungsunternehmen (GdW) die Verfassungswidrigkeit. Tatsächlich handelt es sich letztlich jedoch nicht um eine Frage der Verfassung, sondern demokratischer Auseinandersetzung.</p

Reshaping Markets. Economic Governance, the Global Financial Crisis and Liberal Utopia.

La crisi economica e le reazioni del diritto per la disciplina dei mercati