JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions
IEEE Intelligent Systems
Toward a General Logicist Methodology for Engineering Ethically Correct Robots
IEEE Intelligent Systems
Prospects for a Kantian Machine
IEEE Intelligent Systems
Heuristics and the Law (Dahlem Workshop Reports)
Heuristics and the Law (Dahlem Workshop Reports)
MedEthEx: a prototype medical ethics advisor
IAAI'06 Proceedings of the 18th conference on Innovative applications of artificial intelligence - Volume 2
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
The logical way to be artificially intelligent
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
On Preferring and Inspecting Abductive Models
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
| Hi-index | 0.00 |
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.