乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T08:34:40Z","timestamp":1724834080382},"reference-count":52,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1093\/jigpal\/jzw025","type":"journal-article","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T00:17:42Z","timestamp":1462925862000},"page":"510-525","source":"Crossref","is-referenced-by-count":6,"title":["Logic programming for modeling morality"],"prefix":"10.1093","volume":"24","author":[{"given":"Ari","family":"Saptawijaya","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,5,9]]},"reference":[{"key":"2016072903335702000_24.4.510.1","first-page":"50","article-title":"Evolving logic programs. In JELIA 2002","volume-title":"LNCS","volume":"2424","author":"Alferes","year":"2002"},{"key":"2016072903335702000_24.4.510.2","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001960"},{"key":"2016072903335702000_24.4.510.3","unstructured":"Anderson M. Anderson S.L. EthEl: toward a principled ethical eldercare robot. In Proceedings of AAAI Fall 2008 Symposium on AI in Eldercare, 2008."},{"key":"2016072903335702000_24.4.510.4","doi-asserted-by":"crossref","unstructured":"M. Anderson and S. L. Anderson, eds.Machine Ethics. Cambridge University Press, 2011.","DOI":"10.1017\/CBO9780511978036"},{"key":"2016072903335702000_24.4.510.5","unstructured":"Anderson M. Anderson S.L. Armen C. AAAI Fall Symposium on Machine Ethics. http:\/\/www.aaai.org\/Library\/Symposia\/Fall\/fs05-06, 2005."},{"key":"2016072903335702000_24.4.510.6","unstructured":"Boissier O. Bonnet G. Tessier C. 1st Workshop on Rights and Duties of Autonomous Agents (RDA2). https:\/\/rda2-2012.greyc.fr\/."},{"key":"2016072903335702000_24.4.510.7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MIS.2006.82","article-title":"Toward a general logicist methodology for engineering ethically correct robots.","volume":"21","author":"Bringsjord","year":"2006","journal-title":"IEEE Intelligent Systems"},{"key":"2016072903335702000_24.4.510.8","doi-asserted-by":"crossref","unstructured":"Cushman F. Young L. Greene J.D. Multi-system moral psychology. In The Moral Psychology Handbook. Doris J.M. Oxford University Press, 2010.","DOI":"10.1093\/acprof:oso\/9780199582143.003.0003"},{"key":"2016072903335702000_24.4.510.9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2006.03.010"},{"key":"2016072903335702000_24.4.510.10","unstructured":"Economist T. . Morals and the Machine. Main Front Cover and Leaders (page 13), June 2nd-8th 2012."},{"key":"2016072903335702000_24.4.510.11","doi-asserted-by":"publisher","DOI":"10.1177\/1088868308316091"},{"key":"2016072903335702000_24.4.510.12","first-page":"5","article-title":"The problem of abortion and the doctrine of double effect.","volume":"5","author":"Foot","year":"1967","journal-title":"Oxford Review"},{"key":"2016072903335702000_24.4.510.13","doi-asserted-by":"publisher","DOI":"10.1007\/s10676-006-9134-y"},{"key":"2016072903335702000_24.4.510.14","doi-asserted-by":"crossref","unstructured":"Gelfond M. Lifschitz V. L. The stable model semantics for logic programming. In 5th International Logic Programming Conference. MIT Press, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50008-7"},{"key":"2016072903335702000_24.4.510.15","unstructured":"Han T.A. Ramli C. D. K. asio C. V. D. . An implementation of extended P-log using XASP. In Proceedings of 24th International Conference on Logic Programming (ICLP\u201908), Vol. 5366 of LNCS. Springer, 2008."},{"key":"2016072903335702000_24.4.510.16","first-page":"212","article-title":"Moral reasoning under uncertainty.","volume-title":"LPAR-18","volume":"7180","author":"Han","year":"2012"},{"key":"2016072903335702000_24.4.510.17","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0017.2006.00297.x"},{"key":"2016072903335702000_24.4.510.18","unstructured":"Higgins C. US Navy funds morality lessons for robots. http:\/\/goo.gl\/EHNjzz, 2014."},{"key":"2016072903335702000_24.4.510.19","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"2016072903335702000_24.4.510.20","unstructured":"Kamm F.M. Intricate Ethics: Rights, Responsibilities, and Permissible Harm. Oxford University Press, 2006."},{"key":"2016072903335702000_24.4.510.21","doi-asserted-by":"crossref","unstructured":"Kowalski R. . Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press, 2011.","DOI":"10.1017\/CBO9780511984747"},{"key":"2016072903335702000_24.4.510.22","unstructured":"Lopes G. Pereira L.M. Prospective programming with ACORDA. In ESCoR 2006 Workshop, IJCAR\u201906, 2006."},{"key":"2016072903335702000_24.4.510.23","doi-asserted-by":"crossref","unstructured":"Lopes G. Pereira L.M. Prospective storytelling agents. In PADL 2010, Vol. 5937 of LNCS. Springer, 2010.","DOI":"10.1007\/978-3-642-11503-5_24"},{"key":"2016072903335702000_24.4.510.24","unstructured":"Lopes G. Pereira L.M. Visual demo of \u2018Princess-saviour Robot\u2019. Available from http:\/\/centria.di.fct.unl.pt\/ lmp\/publications\/slides\/padl10\/quick_moral_robot.avi, 2010."},{"key":"2016072903335702000_24.4.510.25","doi-asserted-by":"crossref","unstructured":"Mallon R. Nichols S. Rules. In The Moral Psychology Handbook, Doris J.M. Oxford University Press, 2010.","DOI":"10.1093\/acprof:oso\/9780199582143.003.0010"},{"key":"2016072903335702000_24.4.510.26","doi-asserted-by":"publisher","DOI":"10.1006\/jesp.1993.1005"},{"key":"2016072903335702000_24.4.510.27","doi-asserted-by":"publisher","DOI":"10.3758\/BF03209355"},{"key":"2016072903335702000_24.4.510.28","unstructured":"McIntyre A. . Doctrine of double effect. In The Stanford Encyclopedia of Philosophy, Zalta E.N. Center for the Study of Language and Information, Stanford University, Fall 2011 edition, 2004. http:\/\/plato.stanford.edu\/archives\/fall2011\/entries\/double-effect\/."},{"key":"2016072903335702000_24.4.510.29","doi-asserted-by":"crossref","first-page":"451","DOI":"10.3389\/fpsyg.2014.00451","article-title":"Counterfactual thinking in moral judgment: an experimental study.","volume":"5","author":"Migliore","year":"2014","journal-title":"Frontiers in Psychology"},{"key":"2016072903335702000_24.4.510.30","doi-asserted-by":"publisher","DOI":"10.1093\/lpr\/mgm010"},{"key":"2016072903335702000_24.4.510.31","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1017\/S0953820807002932","article-title":"Double effect, triple effect and the trolley problem: squaring the circle in looping cases.","volume":"20","author":"Otsuka","year":"2008","journal-title":"Utilitas"},{"key":"2016072903335702000_24.4.510.32","unstructured":"Pereira L. M. Software sans emotions but with ethical discernment. In Morality and Emotion: (Un)conscious Journey to Being, Silva S.G. Routledge, 2016."},{"key":"2016072903335702000_24.4.510.33","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, P. Dell\u2019Acqua, A. M. Pinto and G. Lopes. Inspecting and preferring abductive models. InThe Handbook on Reasoning-Based Intelligent Systems, K. Nakamatsu and L. C. Jain, eds, pp. 243\u2013274. World Scienti\ufb01c Publishers, 2013.","DOI":"10.1142\/9789814329484_0010"},{"key":"2016072903335702000_24.4.510.34","first-page":"139","article-title":"Evolution prospection.","volume":"199","author":"Pereira","year":"2009","journal-title":"Proceedings of KES International Conference on Intelligence Decision Technologies"},{"key":"2016072903335702000_24.4.510.35","doi-asserted-by":"crossref","unstructured":"L. M. Pereira and A. Saptawijaya. Modelling morality with prospective logic. InMachine Ethics, M. Anderson and S. L. Anderson, eds, pp. 398\u2013421. Cambridge University Press, 2011.","DOI":"10.1017\/CBO9780511978036.027"},{"key":"2016072903335702000_24.4.510.36","doi-asserted-by":"crossref","unstructured":"L. M. Pereira and A. Saptawijaya. Bridging two realms of machine ethics. InRethinking Machine Ethics in the Age of Ubiquitous Technology. J. B. White and R. Searle, eds, IGI Global, 2015.","DOI":"10.4018\/978-1-4666-8592-5.ch010"},{"key":"2016072903335702000_24.4.510.37","doi-asserted-by":"crossref","unstructured":"L. M. Pereira and A. Saptawijaya. Counterfactuals, logic programming and agent morality. In Logic, Argumentation & Reasoning, R. Urbaniak and G. Payette, eds, Springer, 2016.","DOI":"10.1007\/978-3-319-58507-9_3"},{"key":"2016072903335702000_24.4.510.38","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2006.77"},{"key":"2016072903335702000_24.4.510.39","first-page":"694","article-title":"Incremental tabling for query-driven propagation of logic program updates.","volume-title":"LPAR-19","volume":"8312","author":"Saptawijaya","year":"2013"},{"key":"2016072903335702000_24.4.510.40","doi-asserted-by":"crossref","unstructured":"Saptawijaya A. Pereira L. M. . Tabled abduction in logic programs (Technical Communication of ICLP 2013). Theory and Practice of Logic Programming, Online Supplement, 13, 2013. http:\/\/journals.cambridge.org\/downloadsup.php?file=\/tlp2013008.pdf.","DOI":"10.1007\/978-3-642-40669-0_20"},{"key":"2016072903335702000_24.4.510.41","unstructured":"Saptawijaya A. Pereira L. M. . Joint tabling of logic program abductions and updates (Technical Communication of ICLP 2014). Theory and Practice of Logic Programming, Online Supplement, 14, 2014. Available from http:\/\/arxiv.org\/abs\/1405.2058."},{"key":"2016072903335702000_24.4.510.42","first-page":"69","article-title":"Tabdual: a tabled abduction system for logic programs.","volume":"2","author":"Saptawijaya","year":"2015","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"2016072903335702000_24.4.510.43","unstructured":"Scanlon T. M. . What We Owe to Each Other. Harvard University Press, 1998."},{"key":"2016072903335702000_24.4.510.44","doi-asserted-by":"crossref","unstructured":"Stanovich K. E. . Rationality and the Reflective Mind. Oxford University Press, 2011.","DOI":"10.1093\/acprof:oso\/9780195341140.001.0001"},{"key":"2016072903335702000_24.4.510.45","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018990308362"},{"key":"2016072903335702000_24.4.510.46","unstructured":"The Future of Life Institute. International Grant Competition for Robust and Beneficial AI. http:\/\/futureoflife.org\/grants\/large\/initial, 2015."},{"key":"2016072903335702000_24.4.510.47","unstructured":"The Future of Life Institute. Research Priorities for Robust and Beneficial Artificial Intelligence. http:\/\/futureoflife.org\/static\/data\/documents\/research_priorities.pdf, 2015."},{"key":"2016072903335702000_24.4.510.48","doi-asserted-by":"crossref","first-page":"1395","DOI":"10.2307\/796133","article-title":"The trolley problem.","volume":"279","author":"Thomson","year":"1985","journal-title":"The Yale Law Journal"},{"key":"2016072903335702000_24.4.510.49","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","article-title":"The well-founded semantics for general logic programs.","volume":"38","author":"van Gelder","year":"1991","journal-title":"Journal of ACM"},{"key":"2016072903335702000_24.4.510.50","doi-asserted-by":"crossref","unstructured":"Wallach W. Allen C. Moral Machines: Teaching Robots Right from Wrong. Oxford University Press, 2009.","DOI":"10.1093\/acprof:oso\/9780195374049.001.0001"},{"key":"2016072903335702000_24.4.510.51","doi-asserted-by":"crossref","unstructured":"J. B. White and R. Searle, eds. Rethinking Machine Ethics in the Age of Ubiquitous Technology. IGI Global, 2015.","DOI":"10.4018\/978-1-4666-8592-5"},{"key":"2016072903335702000_24.4.510.52","unstructured":"Wiegel V. . SophoLab: Experimental Computational Philosophy. PhD Thesis, Delft University of Technology, 2007."}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/24\/4\/510\/6761167\/jzw025.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T04:48:29Z","timestamp":1655786909000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzw025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,9]]},"references-count":52,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2016,7,14]]},"published-print":{"date-parts":[[2016,8]]}},"alternative-id":["10.1093\/jigpal\/jzw025"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzw025","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,9]]}}}