Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

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 efficient experimentation.Comment: 50 pages; 10 figure

Adapting a Kidney Exchange Algorithm to Align with Human Values

The efficient and fair allocation of limited resources is a classical problem in economics and computer science. In kidney exchanges, a central market maker allocates living kidney donors to patients in need of an organ. Patients and donors in kidney exchanges are prioritized using ad-hoc weights decided on by committee and then fed into an allocation algorithm that determines who gets what--and who does not. In this paper, we provide an end-to-end methodology for estimating weights of individual participant profiles in a kidney exchange. We first elicit from human subjects a list of patient attributes they consider acceptable for the purpose of prioritizing patients (e.g., medical characteristics, lifestyle choices, and so on). Then, we ask subjects comparison queries between patient profiles and estimate weights in a principled way from their responses. We show how to use these weights in kidney exchange market clearing algorithms. We then evaluate the impact of the weights in simulations and find that the precise numerical values of the weights we computed matter little, other than the ordering of profiles that they imply. However, compared to not prioritizing patients at all, there is a significant effect, with certain classes of patients being (de)prioritized based on the human-elicited value judgments

Foundations of Trusted Autonomy

Trusted Autonomy; Automation Technology; Autonomous Systems; Self-Governance; Trusted Autonomous Systems; Design of Algorithms and Methodologie

Robotics, AI, and Humanity

This open access book examines recent advances in how artificial intelligence (AI) and robotics have elicited widespread debate over their benefits and drawbacks for humanity. The emergent technologies have for instance implications within medicine and health care, employment, transport, manufacturing, agriculture, and armed conflict. While there has been considerable attention devoted to robotics/AI applications in each of these domains, a fuller picture of their connections and the possible consequences for our shared humanity seems needed. This volume covers multidisciplinary research, examines current research frontiers in AI/robotics and likely impacts on societal well-being, human – robot relationships, as well as the opportunities and risks for sustainable development and peace. The attendant ethical and religious dimensions of these technologies are addressed and implications for regulatory policies on the use and future development of AI/robotics technologies are elaborated

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Qualitative Freedom - Autonomy in Cosmopolitan Responsibility

In the light of growing political and religious fundamentalism, this open access book defends the idea of freedom as paramount for the attempt to find common ethical ground in the age of globality. The book sets out to examine as yet unexhausted ways to boost the resilience of the principle of liberalism. Critically reviewing the last 200 years of the philosophy of freedom, it revises the principle of liberty in order to revive it. It discusses many different aspects that fall under its three main topics: the metaphysics of freedom, quantitative freedom and qualitative freedom. Open societies worldwide have come under increasing pressure in the last decades. The belief that politics and markets fare best when guided by the principle of liberty presently faces multiple challenges such as terrorism, climate warming, inequality, populism, and financial crises. In the view of its critics, the idea of freedom no longer offers adequate guidance to meet these challenges and should be partially corrected or even entirely replaced by countervailing values. Against the reduction of freedom to the merely quantitative question as to how much liberties individuals call their own, this book draws attention to the qualitative concerns which and whose opportunities society should foster. It argues that, correctly understood, the idea of liberty commits us to defend as well as advance the freedom of each and every world citizen

Johanssonian Investigations

In the last decades, Ingvar Johansson has made a formidable contribution to the development of philosophy and particularly that of metaphysics. This volume consists of original papers written by 50 philosophers from all over the world to celebrate his 70th birthday. The papers cover traditional issues in metaphysics and the philosophy of mind, applied ethics, applied metaphysics, the nature of human rights, the philosophy of economics and sports

Johanssonian Investigations

In the last decades, Ingvar Johansson has made a formidable contribution to the development of philosophy and particularly that of metaphysics. This volume consists of original papers written by 50 philosophers from all over the world to celebrate his 70th birthday. The papers cover traditional issues in metaphysics and the philosophy of mind, applied ethics, applied metaphysics, the nature of human rights, the philosophy of economics and sports