Towards Modeling Morality Computationally with Logic Programming
作者： Ari Saptawijaya , Luís Moniz Pereira
DOI: 10.1007/978-3-319-04132-2_8
关键词: Contractualism 、 Logic programming 、 Social cognitive theory of morality 、 Morality 、 Cognition 、 Cognitive science 、 Computer science 、 Artificial intelligence 、 AND gate 、 Philosophy of psychology 、 Argumentation theory
摘要: We investigate the potential of logic programming (LP) to model morality aspects studied in philosophy and psychology. do so by identifying three that appear our view amenable computational modeling appropriately exploiting LP features: dual-process (reactive deliberative) moral judgments; justification judgments contractualism; intention permissibility. The research aims at developing an LP-based system with features needed settings, putting emphasis on these above mentioned aspects. have currently co-developed two essential ingredients system, i.e., abduction program updates, benefits tabling programs. They serve as basis for whole into which other reasoning facets will be integrated, surmised Moreover, we touch upon ongoing studies based cognitive emergence morality, populations agents enabled capacity recognition, commitment apology.
springer.com
sci-hub.st 参考文章(67)
Fiery Cushman, Joshua D. Greene, Liane Young, Multi-system moral psychology ,(2010)
T. M. Scanlon, Contractualism and utilitarianism Utilitarianism and Beyond. pp. 103- 128 ,(1982) , 10.1017/CBO9780511611964.007
Ari Saptawijaya, Luís Moniz Pereira, Towards Practical Tabled Abduction in Logic Programs portuguese conference on artificial intelligence. pp. 223- 234 ,(2013) , 10.1007/978-3-642-40669-0_20
Selmer Bringsjord, Konstantine Arkoudas, Bram van Heuveln, Ralph Wojtowicz, Micah Clark, Joshua Taylor, Piagetian Roboethics via Category Theory Moving beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to be Ethically Correct Cambridge University Press. pp. 361- 374 ,(2011) , 10.1017/CBO9780511978036.021
Gerd Gigerenzer, Christoph Engel, Heuristics and the law Research Papers in Economics. ,vol. 1, ,(2006)
Ari Saptawijaya, Luís Moniz Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates international conference on logic programming. pp. 694- 709 ,(2013) , 10.1007/978-3-642-45221-5_46
Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent ,(2011)
Frances Myrna Kamm, Intricate Ethics: Rights, Responsibilities, and Permissible Harm ,(2006)
Luís Moniz Pereira, Ari Saptawijaya, Modeling Morality with Prospective Logic Machine Ethics. pp. 398- 421 ,(2011) , 10.1017/CBO9780511978036.027
Philip Stratton-Lake, Ross, W. D. , b., The Right and the Good ,(1930)