Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
DOI10.1016/j.artint.2020.103348zbMath1493.68286arXiv1903.10187OpenAlexW3034778748MaRDI QIDQ2211865
Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Publication date: 16 November 2020
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.10187
knowledge representationreasoninghigher-order logicautomated theorem provingmodel findingnormative systemsnormative reasoningsemantical embeddingethical issuestrustworthy and responsible AI
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) General topics in artificial intelligence (68T01) Higher-order logic (03B16) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (4)
Uses Software
Cites Work
- The higher-order prover \textsc{Leo}-II
- Adaptive logic characterizations of input/output logic
- Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
- A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations
- Computer-assisted analysis of the Anderson-Hájek ontological controversy
- On the logic of demonstratives
- Handbook of philosophical logic. Vol. 8
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Many-dimensional modal logics: theory and applications
- Input/output logics
- Isabelle/HOL. A proof assistant for higher-order logic
- Non-clausal connection calculi for non-classical logics
- Applications of formal philosophy. The road less travelled
- The higher-order prover Leo-III
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Quantified multimodal logics in simple type theory
- Mechanised assessment of complex natural-language arguments using expressive logic combinations
- Intelligent autonomous systems. Foundations and applications
- GRUNGE: a grand unified ATP challenge
- Extending Sledgehammer with SMT solvers
- Cut-elimination for quantified conditional logic
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- Agent-Based HOL Reasoning
- Folding domain-specific languages
- Modals and ConditionalsNew and Revised Perspectives
- A Brief Overview of Agda – A Functional Language with Dependent Types
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners
- The Lean Theorem Prover (System Description)
- Temporal logic and its application to normative reasoning
- Theorem Provers For Every Normal Modal Logic
- Arguing about constitutive and regulative norms
- First-Order Resolution Methods for Modal Logics
- Computer-Supported Analysis of Arguments in Climate Engineering
- Deontic Logic for Human Reasoning
- MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY
- COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F
- Reasoning About Permission and Obligation
- An Analysis of some Deontic Logics
- Completeness and decidability results for a logic of contrary-to-duty conditionals
- Higher-order semantics and extensionality
- General models, descriptions, and choice in type theory
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
- Completeness in the theory of types
- A Functional calculus of first order based on strict implication
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
