Normative Reasoning with Expressive Logic Combinations

. We discuss ongoing work on reusing existing (higher-order) automated reasoning infrastructure for seamlessly combining and reasoning with different non-classical logics (modal, deontic, epistemic, paraconsistent, etc.), particularly suited for normative reasoning. Our work illustrates, in particular, the utilisation of the Is-abelle/HOL proof assistant for the representation and formal assessment of linguistically complex ethical arguments. Our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive, formal encodings of complex ethical theories and their automation on the computer are no longer antipodes.

Computer Science Philosophy

Paper

Full text

Normative Reasoning with Expressive Logic Combinations

Semantic Scholar · Computer Science · 2020

Abstract

. We discuss ongoing work on reusing existing (higher-order) automated reasoning infrastructure for seamlessly combining and reasoning with different non-classical logics (modal, deontic, epistemic, paraconsistent, etc.), particularly suited for normative reasoning. Our work illustrates, in particular, the utilisation of the Is-abelle/HOL proof assistant for the representation and formal assessment of linguistically complex ethical arguments. Our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive, formal encodings of complex ethical theories and their automation on the computer are no longer antipodes.

Source of record · Semantic Scholar

References (30)

01DemonstrativesLin Lin2019 · The German Demonstratives · 603 citations

02Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic CombinationsD. Fuenmayor, Christoph Benzmüller2019 · International Symposium on Frontiers of Combining Systems · 7 citations

03Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool SupportChristoph Benzmüller, X. Parent, Leendert van der Torre2019 · arXiv.org · 5 citations In Library

04Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical TheoriesD. Fuenmayor, Christoph Benzmüller2019 · Pacific Rim International Conference on Artificial Intelligence · 16 citations In Library

05Universal (meta-)logical reasoning: Recent successesChristoph Benzmüller2019 · Science of Computer Programming · 65 citations

06Toward Non-Intuition-Based Machine and Artificial Intelligence Ethics: A Deontological Approach Based on Modal LogicJ. Hooker, Tae wan Kim2018 · AAAI/ACM Conference on AI, Ethics, and Society · 51 citations

07The Case for Explicit Ethical AgentsMatthias Scheutz2017 · The AI Magazine · 48 citations

08Responsible AutonomyVirginia Dignum2017 · International Joint Conference on Artificial Intelligence · 149 citations In Library

09A Declarative Modular Framework for Representing and Applying Ethical PrinciplesFiona Berreby, Gauvain Bourgne, J. Ganascia2017 · Adaptive Agents and Multi-Agent Systems · 47 citations

10On Automating the Doctrine of Double EffectNaveen Sundar Govindarajulu, S. Bringsjord2017 · International Joint Conference on Artificial Intelligence · 79 citations In Library

11Integrating robot ethics and machine morality: the study and design of moral competence in robotsB. Malle2016 · Ethics and Information Technology · 157 citations

12Formal verification of ethical choices in autonomous systemsLouise Dennis, Michael Fisher, M. Slavkovik et al.2016 · Robotics Auton. Syst. · 231 citations

Scroll for more · 18 remaining

Similar papers

Normative Conditional Reasoning as a Fragment of HOLXavier Parent, Christoph Benzmüller2023 · arXiv (Cornell University) In Library

Conditional normative reasoning as a fragment of HOLXavier Parent, Christoph Benzmüller2024 · Journal of Applied Non-Classical Logics In Library

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical ArgumentationOfer Arieli, Kees van Berkel, Christian Straßer2024 · Proceedings of the AAAI Conference on Artificial Intelligence · 5 citations In Library

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical TheoriesD. Fuenmayor, Christoph Benzmüller2019 · Pacific Rim International Conference on Artificial Intelligence · 16 citations In Library

Reasoning With and About Norms in Logical ArgumentationKees van Berkel, Christian Straßer2022 · Frontiers in artificial intelligence and applications In Library

Reasoning in Non-normal Modal Description LogicsTiziano Dalmonte, Andrea Mazzullo, Ana Ozaki2022 · arXiv (Cornell University) · 3 citations In Library

Extending Automated Deduction for Commonsense ReasoningTanel Tammet2020 · arXiv (Cornell University) In Library

New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy FrameworkAli Farjami2021 · arXiv (Cornell University) In Library

Automated Reasoning in Deontic LogicU. Furbach, C. Schon, Frieder Stolzenburg2014 · International Workshop on Multi-disciplinary Trends in Artificial Intelligence · 14 citations In Library

Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool supportChristoph Benzmüller, X. Parent, Leendert van der Torre2019 · Artificial Intelligence · 64 citations In Library

Source of record

Semantic Scholar

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal