Non-monotonic Reasoning for Machine Ethics with Situation Calculus

[1]  Jean-Gabriel Ganascia,et al.  Ethical System Formalization using Non-Monotonic Logics , 2007 .

[2]  Vincent Conitzer,et al.  Moral Decision Making Frameworks for Artificial Intelligence , 2017, ISAIM.

[3]  J. Henrich,et al.  The Moral Machine experiment , 2018, Nature.

[4]  Eliezer Yudkowsky,et al.  The Ethics of Artificial Intelligence , 2014, Artificial Intelligence Safety and Security.

[5]  Luis-Felipe Rodríguez,et al.  Artificial Moral Agents: A Survey of the Current Status , 2019, Science and Engineering Ethics.

[6]  Thomas M. Powers.  Prospects for a Kantian Machine , 2006, IEEE Intelligent Systems.

[7]  Michael Fisher,et al.  On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots , 2019, Proceedings of the IEEE.

[8]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[9]  Jean-Gabriel Ganascia,et al.  A Declarative Modular Framework for Representing and Applying Ethical Principles , 2017, AAMAS.

[10]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[11]  Nasser Ghasem-Aghaee,et al.  An artificial neural network approach for creating an ethical artificial agent , 2009, 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation - (CIRA).

[12]  J. Schneewind.  Moral Philosophy from Montaigne to Kant , 2002 .

[13]  Michael Fisher,et al.  Formal verification of ethical choices in autonomous systems , 2016, Robotics Auton. Syst..

[14]  Matthias Scheutz,et al.  The Case for Explicit Ethical Agents , 2017, AI Mag..

[15]  Abraham Bernstein,et al.  Implementations in Machine Ethics: A Survey , 2020, ArXiv.

[16]  Vincent Berenz,et al.  A Value-Driven Eldercare Robot: Virtual and Physical Instantiations of a Case-Supported Principle-Based Behavior Paradigm , 2019, Proceedings of the IEEE.

[17]  Shou-De Lin,et al.  A Low-Cost Ethics Shaping Approach for Designing Reinforcement Learning Agents , 2017, AAAI.

[18]  Gaële Simon,et al.  Formal Verification of Ethical Properties in Multiagent Systems , 2016, EDIA@ECAI.

[19]  Selmer Bringsjord,et al.  On Automating the Doctrine of Double Effect , 2017, IJCAI.

[20]  Katia P. Sycara,et al.  Perceptions of Domestic Robots' Normative Behavior Across Cultures , 2019, AIES.

[21]  Shani Alkoby,et al.  Teaching Social Behavior through Human Reinforcement for Ad hoc Teamwork - The STAR Framework: Extended Abstract , 2019, AAMAS.

[22]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..