• Corpus ID: 85500003

Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support

@article{Benzmller2019DesigningNT,
  title={Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support},
  author={Christoph Benzm{\"u}ller and Xavier Parent and Leendert van der Torre},
  journal={ArXiv},
  year={2019},
  volume={abs/1903.10187}
}
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. This meta-logical approach enables the… 

Figures from this paper

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

TLDR
This work demonstrates that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes, and pushes existing boundaries in knowledge representation and reasoning.

Automated Kantian Ethics: A Faithful Implementation

As we grant artificial intelligence increasing power and independence in contexts like healthcare, policing, and driving, AI faces moral dilemmas but lacks the tools to solve them. Warnings from

Towards AI Logic for Social Reasoning

TLDR
This paper discusses how an argumentation-based AI logic could be used also to formalize important aspects of social reasoning, including the right-to-know, a central issue in the recent discussion of privacy and ethics.

A Bimodal Simulation of Defeasibility in the Normative Domain

In the present work we illustrate how two sorts of defeasible reasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be

Normative Reasoning with Expressive Logic Combinations

TLDR
This work illustrates the utilisation of the Isabelle/HOL proof assistant for the representation and formal assessment of linguistically complex ethical arguments and demonstrates that intuitive, formal encodings of complex ethical theories and their automation on the computer are no longer antipodes.

References

SHOWING 1-10 OF 121 REFERENCES

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

TLDR
This article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic Logic operators, concerned with obligations, permissions, and related concepts.

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

TLDR
This work demonstrates that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes, and pushes existing boundaries in knowledge representation and reasoning.

I/O Logics with a Consistency Check

TLDR
This paper introduces a semantics and proof theory for a system with various desirable properties, and shows that the new deontic logic satisfies a criterion posed several years ago by Broersen and van der Torre, allowing deontics detachment while preventing Prakken and Sergot’s pragmatic oddities as well as Sergot's drowning problem.

Deontic Logic and Contrary-to-Duties

Deontic logic is concerned with the logical analysis of such normative notions as obligation, permission, right and prohibition. Although its origins lie in systematic legal and moral philosophy,

Reasoning About Permission and Obligation

TLDR
It is explored how a norm-based semantics can be adapted to include not just mandatory but also permissive norms that possibly conflict with the first, and how this may affect the validity of well-known theorems.

Logic programming for modeling morality

This paper investigates the appropriateness of LP-based reasoning to machine ethics, an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity

The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics

TLDR
The discovery of the inconsistency in Godel's ontological argument as a success story for artificial intelligence and the development of an improved syntactical hiding for the utilized logic embedding technique allows the refutation to be presented in a human-friendly way, suitable for non-experts in the technicalities of higher-order theorem proving.

A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument

TLDR
This claim is defended by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language argument with strong ties to metaphysics and religion: E. Lowe's modern variant of St. Anselm’s ontological argument for the existence of God.

Completeness and decidability results for a logic of contrary-to-duty conditionals

TLDR
It is shown that it is possible to define a complete and decidable axiomatization for the Carmo and Jones logic, a problem that was still open.

A Computational-Hermeneutic Approach for Conceptual Explicitation

TLDR
A computer-supported approach for the logical analysis and conceptual explicitation of argumentative discourse and the technological feasibility of a highly-automated computational hermeneutics is argued.
...