07102nam 22008055 450 991025533660332120251116145709.09783319293547331929354010.1007/978-3-319-29354-7(CKB)3710000000596541(EBL)4403225(DE-He213)978-3-319-29354-7(MiAaPQ)EBC4403225(EXLCZ)99371000000059654120160205d2016 u| 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierProgramming Machine Ethics /by Luís Moniz Pereira, Ari Saptawijaya1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (182 p.)Studies in Applied Philosophy, Epistemology and Rational Ethics,2192-6255 ;26Description based upon print version of record.9783319293530 3319293532 Includes bibliographical references at the end of each chapters and index.Foreword; Preface; Scope; Content; Reading Paths; Audience; Acknowledgments; Contents; 1 Turing, Functionalism, and Emergence; 1.1 Turing Is Among Us; 1.2 Functionalism; 1.3 Emergence; 1.4 Concluding Remarks; References; Part I The Individual Realm; 2 The Individual Realm of Machine Ethics: A Survey; 2.1 Truth-Teller and SIROCCO; 2.2 Jeremy and W.D.; 2.3 MedEthEx and EthEl; 2.4 A Kantian Machine Proposal; 2.5 Machine Ethics via Theorem Proving; 2.6 Particularism versus Generalism; 2.7 Concluding Remarks; References; 3 Significant Moral Facets Amenable to Logic Programming3.1 Moral Permissibility3.1.1 The Doctrines of Double Effect and Triple Effect; 3.1.2 Scanlonian Contractualism; 3.2 The Dual-Process Model; 3.3 Counterfactual Thinking in Moral Reasoning; 3.4 Concluding Remarks; References; 4 Representing Morality in Logic Programming; 4.1 Preliminaries; 4.2 Abduction; 4.3 Preferences Over Abductive Scenarios; 4.4 Probabilistic LP; 4.5 LP Updating; 4.6 LP Counterfactuals; 4.7 Tabling; 4.8 Concluding Remarks; References; 5 Tabling in Abduction and Updating; 5.1 Tabling Abductive Solutions in Contextual Abduction; 5.1.1 Tabdual Program Transformation5.1.2 Implementation Aspects5.1.3 Concluding Remarks; 5.2 Incremental Tabling of Fluents for LP Updating; 5.2.1 The Evolp/r Language; 5.2.2 Incremental Tabling; 5.2.3 The Evolp/r Approach; 5.2.4 Concluding Remarks; References; 6 Counterfactuals in Logic Programming; 6.1 Causation and Intervention in LP; 6.1.1 Causal Model and LP Abduction; 6.1.2 Intervention and LP Updating; 6.2 Evaluating Counterfactuals via LP Abduction and Updating; 6.3 Concluding Remarks; References; 7 Logic Programming Systems Affording Morality Experiments; 7.1 Acorda; 7.1.1 Active Goals7.1.2 Abduction and A Priori Preferences7.1.3 A Posteriori Preferences; 7.2 Probabilistic EPA; 7.2.1 Abduction and A Priori Preferences; 7.2.2 A Posteriori Preferences; 7.2.3 Probabilistic Reasoning; 7.3 Qualm; 7.3.1 Joint Tabling of Abduction and Updating; 7.3.2 Evaluating Counterfactuals; 7.4 Concluding Remarks; References; 8 Modeling Morality Using Logic Programming; 8.1 Moral Reasoning with Acorda; 8.1.1 Deontological Judgments via A Priori Integrity Constraints; 8.1.2 Utilitarian Judgments via A Posteriori Preferences; 8.2 Moral Reasoning with Probabilistic EPA8.3 Moral Reasoning with Qualm8.3.1 Moral Updating; 8.3.2 Counterfactual Moral Reasoning; 8.4 Concluding Remarks; References; Part II The Collective Realm; 9 Modeling Collective Morality via Evolutionary Game Theory; 9.1 The Collective Realm of Machine Ethics; 9.2 Software Sans Emotions but with Ethical Discernment; 9.2.1 Introduction; 9.2.2 Learning to Recognize Intentions and Committing Resolve Cooperation Dilemmas; 9.2.3 Emergence of Cooperation in Groups: Avoidance Versus Restriction; 9.2.4 Why Is It so Hard to Say Sorry?9.2.5 Apology and Forgiveness Evolve to Resolve Failures in Cooperative AgreementsThis book addresses the fundamentals of machine ethics. It discusses abilities required for ethical machine reasoning and the programming features that enable them. It connects ethics, psychological ethical processes, and machine implemented procedures. From a technical point of view, the book uses logic programming and evolutionary game theory to model and link the individual and collective moral realms. It also reports on the results of experiments performed using several model implementations. Opening specific and promising inroads into the terra incognita of machine ethics, the authors define here new tools and describe a variety of program-tested moral applications and implemented systems. In addition, they provide alternative readings paths, allowing readers to best focus on their specific interests and to explore the concepts at different levels of detail. Mainly written for researchers in cognitive science, artificial intelligence, robotics, philosophy of technology and engineering of ethics, the book will also be of general interest to other academics, undergraduates in search of research topics, science journalists as well as science and society forums, legislators and military organizations concerned with machine ethics. .Studies in Applied Philosophy, Epistemology and Rational Ethics,2192-6255 ;26Engineering ethicsArtificial intelligenceCognitive psychologyRoboticsAutomationComputational intelligenceEngineering Ethicshttps://scigraph.springernature.com/ontologies/product-market-codes/E14030Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Cognitive Psychologyhttps://scigraph.springernature.com/ontologies/product-market-codes/Y20060Robotics and Automationhttps://scigraph.springernature.com/ontologies/product-market-codes/T19020Computational Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/T11014Engineering ethics.Artificial intelligence.Cognitive psychology.Robotics.Automation.Computational intelligence.Engineering Ethics.Artificial Intelligence.Cognitive Psychology.Robotics and Automation.Computational Intelligence.629.892Pereira Luís Monizauthttp://id.loc.gov/vocabulary/relators/aut995409Saptawijaya Ariauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910255336603321Programming Machine Ethics4472704UNINA