Moral Permissibility of Action Plans
Authors: Felix Lindner, Robert Mattmüller, Bernhard Nebel7635-7642
AAAI 2019 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We address this challenge by analyzing in how far it is possible to generalize existing approaches of machine ethics to automatic planning systems. ... Further, we study the computational complexity of making ethical judgment about plans. ... We saw that, with respect to our formalization, verification is PSPACE-complete for utilitarianism and for the Asimovian principle, co-NP-complete for do-no-harm, for do-no-instrumental-harm, and for the principle of double effect, and that it is polynomial-time for deontology. |
| Researcher Affiliation | Academia | Felix Lindner, Robert Mattmüller, Bernhard Nebel University of Freiburg, Germany |
| Pseudocode | No | The paper defines formalisms and principles using mathematical notation and logical definitions but does not include structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any explicit statements about releasing source code or links to a code repository. |
| Open Datasets | No | The paper uses examples from the literature on moral dilemmas (e.g., trolley problems) to exemplify and demonstrate principles, but these are described formally within the text and no dataset or public access information is provided. |
| Dataset Splits | No | The paper focuses on theoretical formalization and complexity analysis, not empirical experiments. Therefore, it does not describe dataset splits for training, validation, or testing. |
| Hardware Specification | No | The paper is theoretical and focuses on formalizing ethical principles and analyzing computational complexity; it does not describe any computational experiments or hardware used. |
| Software Dependencies | No | The paper refers to existing formalisms and systems (e.g., SAS+, HERA) but does not list specific software dependencies with version numbers for its own implementation or analysis. |
| Experiment Setup | No | The paper is theoretical and focuses on formalizing ethical principles and analyzing computational complexity; it does not describe any computational experiments or specific experimental setup details. |