Automated Kantian ethics: a faithful implementation

DOI10.1007/978-3-031-15791-2_16zbMath1522.68442arXiv2207.10152OpenAlexW4296195790MaRDI QIDQ6045094

Lavanya Singh

Publication date: 26 May 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2207.10152

zbMATH Keywords

IsabelleKantAI ethicsautomated ethics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) General topics in artificial intelligence (68T01) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Unnamed Item
• Isabelle/HOL. A proof assistant for higher-order logic
• Formalizing Kant's rules. A logic of conditional imperatives and permissives
• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Completeness and decidability results for a logic of contrary-to-duty conditionals
• Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

This page was built for publication: Automated Kantian ethics: a faithful implementation