Generating Deontic Obligations From Utility-Maximizing Systems
Abstract
Supplementary Material
- Download
- 45.02 MB
References
Index Terms
- Generating Deontic Obligations From Utility-Maximizing Systems
Recommendations
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
In this article, we develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permissions, and prohibitions are distinct from a system's ...
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations
Logic, Language, Information, and ComputationAbstractWe propose a minimal deontic logic, called MIND, based on intuitionistic logic. This logic gives a very simple solution to handling conflicting obligations: the presence of two conflicting obligations does not entail the triviality of the set of ...
Obligations and prohibitions in Talmudic deontic logic
Special issue on Deontic Logic and Normative SystemsThis paper examines the deontic logic of the Talmud. We shall find, by looking: at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic prohibition FDA Standard deontic prohibition OD...
Comments
Information & Contributors
Information
Published In

- General Chairs:
- Vincent Conitzer,
- John Tasioulas,
- Program Chairs:
- Matthias Scheutz,
- Ryan Calo,
- Martina Mara,
- Annette Zimmermann
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 260Total Downloads
- Downloads (Last 12 months)134
- Downloads (Last 6 weeks)20
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in