Journal ArticleDOI
Modelling morality with prospective logic
TLDR
This paper shows how moral decisions can be drawn computationally by using prospective logic programs, and shows that preferred moral decisions, i.e., those following the principle of double effect, are successfully delivered.Abstract:
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively look ahead at the consequences of hypothetical moral judgments. With this knowledge of consequences, moral rules are then used to decide the appropriate moral judgments. The whole moral reasoning is achieved via a priori constraints and a posteriori preferences on abductive stable models, two features available in prospective logic programming. In this work, we model various moral dilemmas taken from the classic trolley problem and employ the principle of double effect as the moral rule. Our experiments show that preferred moral decisions, i.e., those following the principle of double effect, are successfully delivered. Additionally, we consider another moral principle, the principle of triple effect, in our implementation. We show that our prospective logic programs allow us to explain computationally different moral judgments...read more
Citations
More filters
Book
Computational Logic and Human Thinking: How to Be Artificially Intelligent
TL;DR: This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic and will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills.
Book ChapterDOI
Logic-Based Approaches to Intention Recognition
TL;DR: The relationship between causal theories used for planning and the knowledge representation and reasoning used for intention recognition, and the use of logic-based formalisms, and deduction and abduction in particular are considered.
Book ChapterDOI
Moral reasoning under uncertainty
TL;DR: In introducing various aspects of uncertainty into cases of classical trolley problem moral dilemmas, it is shown how they may appropriately influence moral judgments, allowing decision makers to opt for different choices, and for these to be externally appraised, even when subject to incomplete evidence, as in courts.
Book ChapterDOI
Modelling Moral Reasoning and Ethical Responsibility with Logic Programming
TL;DR: The fundamental ambition of the paper is to displace the burden of moral reasoning from the programmer to the program itself, moving away from current computational ethics that too easily embed moral reasoning within computational engines, thereby feeding atomic answers that fail to truly represent underlying dynamics.
Journal ArticleDOI
Naturalizing logic
TL;DR: This paper deals with an examination of how the naturalization process might go, together with some indication of what might be achieved by it, and further advocates the placement of abduction in the research programmes of logic.