{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:36:10Z","timestamp":1730324170270,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,21]]},"DOI":"10.1145\/3461702.3462586","type":"proceedings-article","created":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T01:21:32Z","timestamp":1627694492000},"page":"814-821","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Epistemic Reasoning for Machine Ethics with Situation Calculus"],"prefix":"10.1145","author":[{"given":"Maurice","family":"Pagnucco","sequence":"first","affiliation":[{"name":"University of New South Wales, Sydney, NSW, Australia"}]},{"given":"David","family":"Rajaratnam","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, NSW, Australia"}]},{"given":"Raynaldio","family":"Limarga","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, NSW, Australia"}]},{"given":"Abhaya","family":"Nayak","sequence":"additional","affiliation":[{"name":"Macquarie University, Sydney, NSW, Australia"}]},{"given":"Yang","family":"Song","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, NSW, Australia"}]}],"member":"320","published-online":{"date-parts":[[2021,7,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"AAAI Workshop on AI, Ethics, and Society","author":"Abel D.","year":"2016","unstructured":"D. Abel , J. MacGlashan , and M. Littman . 2016. Reinforcement learning as a framework for ethical decision making . AAAI Workshop on AI, Ethics, and Society ( 2016 ), 1--8. D. Abel, J. MacGlashan, and M. Littman. 2016. Reinforcement learning as a framework for ethical decision making. AAAI Workshop on AI, Ethics, and Society (2016), 1--8."},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"Alexander Larry","key":"e_1_3_2_1_2_1","unstructured":"Larry Alexander and Michael Moore . 2016. Deontological Ethics . In The Stanford Encyclopedia of Philosophy, Edward N . Zalta (Ed.). Larry Alexander and Michael Moore. 2016. Deontological Ethics. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.)."},{"volume-title":"Proceedings of the Eighteenth International Conference on Autonomous Agents and Multi Agent Systems. 1773--1775","author":"Alkoby S.","key":"e_1_3_2_1_3_1","unstructured":"S. Alkoby , A. Rath , and P. Stone . 2019. Teaching social benavior through human reinforcement for ad hoc teamwork - the STAR framework . In Proceedings of the Eighteenth International Conference on Autonomous Agents and Multi Agent Systems. 1773--1775 . S. Alkoby, A. Rath, and P. Stone. 2019. Teaching social benavior through human reinforcement for ad hoc teamwork - the STAR framework. In Proceedings of the Eighteenth International Conference on Autonomous Agents and Multi Agent Systems. 1773--1775."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2840045"},{"volume-title":"Proceedings of the Sixteenth International Conference on Autonomous Agents and Multi Agent Systems. 96--104","author":"Berreby F.","key":"e_1_3_2_1_5_1","unstructured":"F. Berreby , G. Bourgne , and J. Ganascia . 2017. A declarative modular framework for representing and applying ethical principles . In Proceedings of the Sixteenth International Conference on Autonomous Agents and Multi Agent Systems. 96--104 . F. Berreby, G. Bourgne, and J. Ganascia. 2017. A declarative modular framework for representing and applying ethical principles. In Proceedings of the Sixteenth International Conference on Autonomous Agents and Multi Agent Systems. 96--104."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2019.2898267"},{"volume-title":"Proceedings of the Thirty First Conference on the Advancement of Artificial Intelligence. 4831--4835","author":"Conitzer V.","key":"e_1_3_2_1_7_1","unstructured":"V. Conitzer , W. Sinnott-Armstrong , J. Borg , Y. Deng , and M. Kramer . 2017. Moral decision making frameworks for artificial intelligence . In Proceedings of the Thirty First Conference on the Advancement of Artificial Intelligence. 4831--4835 . V. Conitzer, W. Sinnott-Armstrong, J. Borg, Y. Deng, and M. Kramer. 2017. Moral decision making frameworks for artificial intelligence. In Proceedings of the Thirty First Conference on the Advancement of Artificial Intelligence. 4831--4835."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2015.11.012"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/976706.976708"},{"key":"e_1_3_2_1_10_1","volume-title":"The Cognitive Science conference","author":"Ganascia J.","year":"2007","unstructured":"J. Ganascia . 2007 . Ethical system formalization using non-monotonic logics . The Cognitive Science conference , (2007), 1013--1018. J. Ganascia. 2007. Ethical system formalization using non-monotonic logics. The Cognitive Science conference, (2007), 1013--1018."},{"key":"e_1_3_2_1_11_1","volume-title":"Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, and Philipp Wanko.","author":"Gebser Martin","year":"2018","unstructured":"Martin Gebser , Roland Kaminski , Benjamin Kaufmann , Patrick L\u00fc hne , Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, and Philipp Wanko. 2018 . The Potsdam Answer Set Solving Collection 5.0. K\u00fc nstliche Intell ., Vol. 32 , 2--3 (2018), 181--182. https:\/\/doi.org\/10.1007\/s13218-018-0528-x Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick L\u00fc hne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, and Philipp Wanko. 2018. The Potsdam Answer Set Solving Collection 5.0. K\u00fc nstliche Intell., Vol. 32, 2--3 (2018), 181--182. https:\/\/doi.org\/10.1007\/s13218-018-0528-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"N. Govindarajulu and S. Bringsjord. 2017. On automating the doctrine of double effect. IJCAI (2017) 4722--4730. N. Govindarajulu and S. Bringsjord. 2017. On automating the doctrine of double effect. IJCAI (2017) 4722--4730.","DOI":"10.24963\/ijcai.2017\/658"},{"key":"e_1_3_2_1_13_1","unstructured":"RM Hare. 1952. The Language of Morals .Oxford: Clarendon Press. RM Hare. 1952. The Language of Morals .Oxford: Clarendon Press."},{"key":"e_1_3_2_1_14_1","unstructured":"David Hume. 1975. A Treatise of Human Nature .Oxford: Clarendon Press. David Hume. 1975. A Treatise of Human Nature .Oxford: Clarendon Press."},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"Hursthouse Rosalind","key":"e_1_3_2_1_15_1","unstructured":"Rosalind Hursthouse and Glen Pettigrove . 2018. Virtue Ethics . In The Stanford Encyclopedia of Philosophy, Edward N . Zalta (Ed.). Rosalind Hursthouse and Glen Pettigrove. 2018. Virtue Ethics. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64984-5_16"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103350"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the Symposium on Mechnization of Thought Processes","volume":"1","author":"McCarthy John","year":"1958","unstructured":"John McCarthy . 1958 . Programs with commonsense . In Proceedings of the Symposium on Mechnization of Thought Processes , Vol. 1 . Her Majesty's Stationery Office, London, UK, 77--84. John McCarthy. 1958. Programs with commonsense. In Proceedings of the Symposium on Mechnization of Thought Processes, Vol. 1. Her Majesty's Stationery Office, London, UK, 77--84."},{"key":"e_1_3_2_1_20_1","volume-title":"Workshop on Ethics in the Design of Intelligent Agents","author":"Mermet B.","year":"2016","unstructured":"B. Mermet and G. Simon . 2016. Formal verification of ethical properties in multiagent systems . Workshop on Ethics in the Design of Intelligent Agents ( 2016 ), 26--31. B. Mermet and G. Simon. 2016. Formal verification of ethical properties in multiagent systems. Workshop on Ethics in the Design of Intelligent Agents (2016), 26--31."},{"volume-title":"Formal Theories of the Common Sense World, Jerry R","author":"Moore Robert C.","key":"e_1_3_2_1_22_1","unstructured":"Robert C. Moore . 1985. A Formal Theory of Knowledge and Action . In Formal Theories of the Common Sense World, Jerry R . Hobbs and Robert C. Moore (Eds.). Ablex Publishing , Norwood, NJ , 319--358. Robert C. Moore. 1985. A Formal Theory of Knowledge and Action. In Formal Theories of the Common Sense World, Jerry R. Hobbs and Robert C. Moore (Eds.). Ablex Publishing, Norwood, NJ, 319--358."},{"volume-title":"Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence. 6377--6381","author":"Noothigattu R.","key":"e_1_3_2_1_23_1","unstructured":"R. Noothigattu , D. Bouneffouf , N. Mattei , R. Chandra , P. Madan , K. Varshney , M. Campbell , M. Singh , and F. Rossi . 2019. Teaching AI agents ethical values using reinforcement learning and policy orchestration . In Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence. 6377--6381 . R. Noothigattu, D. Bouneffouf, N. Mattei, R. Chandra, P. Madan, K. Varshney, M. Campbell, M. Singh, and F. Rossi. 2019. Teaching AI agents ethical values using reinforcement learning and policy orchestration. In Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence. 6377--6381."},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"Parry Richard","key":"e_1_3_2_1_24_1","unstructured":"Richard Parry . 2014. Ancient Ethical Theory . In The Stanford Encyclopedia of Philosophy, Edward N . Zalta (Ed.). Richard Parry. 2014. Ancient Ethical Theory. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2006.77"},{"volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"Reiter Raymond","key":"e_1_3_2_1_26_1","unstructured":"Raymond Reiter . 1991. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression . In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy , Vladimir Lifschitz (Ed.). Academic Press , 359--380. Raymond Reiter. 1991. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Vladimir Lifschitz (Ed.). Academic Press, 359--380."},{"volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter Raymond","key":"e_1_3_2_1_27_1","unstructured":"Raymond Reiter . 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems . MIT Press , Cambridge, MA . Raymond Reiter. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems .MIT Press, Cambridge, MA."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR","author":"Romero Javier","year":"2017","unstructured":"Javier Romero , Torsten Schaub , and Tran Cao Son . 2017. Generalized Answer Set Planning with Incomplete Information . In Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017 , Espoo, Finland, July 3, 2017 (CEUR Workshop Proceedings , Vol. 1868), Bart Bogaerts and Amelia Harrison (Eds.). CEUR-WS.org. Javier Romero, Torsten Schaub, and Tran Cao Son. 2017. Generalized Answer Set Planning with Incomplete Information. In Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017 (CEUR Workshop Proceedings, Vol. 1868), Bart Bogaerts and Amelia Harrison (Eds.). CEUR-WS.org."},{"key":"e_1_3_2_1_29_1","volume-title":"Levesque","author":"Scherl Richard B.","year":"1993","unstructured":"Richard B. Scherl and Hector J . Levesque . 1993 . The Frame Problem and Knowledge-Producing Actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence. AAAI Press\/The MIT Press , 689--695. Richard B. Scherl and Hector J. Levesque. 1993. The Frame Problem and Knowledge-Producing Actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence. AAAI Press\/The MIT Press, 689--695."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00365-X"},{"volume-title":"The Stanford Encyclopedia of Philosophy, Edward N","author":"Sinnott-Armstrong Walter","key":"e_1_3_2_1_31_1","unstructured":"Walter Sinnott-Armstrong . 2019. Consequentialism . In The Stanford Encyclopedia of Philosophy, Edward N . Zalta (Ed.). Walter Sinnott-Armstrong. 2019. Consequentialism. In The Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.)."},{"key":"e_1_3_2_1_32_1","volume-title":"IJCAI Workshop in Artificial Intelligence Safety .","author":"Svegliato Justin","year":"2020","unstructured":"Justin Svegliato , Samer B Nashed , and Shlomo Zilberstein . 2020 . Ethically compliant planning in moral autonomous systems . In IJCAI Workshop in Artificial Intelligence Safety . Justin Svegliato, Samer B Nashed, and Shlomo Zilberstein. 2020. Ethically compliant planning in moral autonomous systems. In IJCAI Workshop in Artificial Intelligence Safety ."},{"key":"e_1_3_2_1_33_1","unstructured":"S. Tolmeijer M. Kneer C. Sarasua M. Christen and A. Bernstein. 2020. Implementations in machine ethics: a survey. arXiv:2001.07573 (2020) 1--37. S. Tolmeijer M. Kneer C. Sarasua M. Christen and A. Bernstein. 2020. Implementations in machine ethics: a survey. arXiv:2001.07573 (2020) 1--37."},{"key":"e_1_3_2_1_34_1","unstructured":"Peter van Inwagen. 1983. An Essay on Free Will .New York: Oxford University Press. Peter van Inwagen. 1983. An Essay on Free Will .New York: Oxford University Press."},{"volume-title":"Proceedings of the Thirty Second Conference on the Advancement of Artificial Intelligence. 1687--1694","author":"Wu Y.","key":"e_1_3_2_1_35_1","unstructured":"Y. Wu and S. Lin . 2018. A low-cost ethics shaping approach for designing reinforcement learning agents . In Proceedings of the Thirty Second Conference on the Advancement of Artificial Intelligence. 1687--1694 . Y. Wu and S. Lin. 2018. A low-cost ethics shaping approach for designing reinforcement learning agents. In Proceedings of the Thirty Second Conference on the Advancement of Artificial Intelligence. 1687--1694."}],"event":{"name":"AIES '21: AAAI\/ACM Conference on AI, Ethics, and Society","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","AAAI"],"location":"Virtual Event USA","acronym":"AIES '21"},"container-title":["Proceedings of the 2021 AAAI\/ACM Conference on AI, Ethics, and Society"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3461702.3462586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T00:55:23Z","timestamp":1673398523000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461702.3462586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,21]]},"references-count":34,"alternative-id":["10.1145\/3461702.3462586","10.1145\/3461702"],"URL":"https:\/\/doi.org\/10.1145\/3461702.3462586","relation":{},"subject":[],"published":{"date-parts":[[2021,7,21]]},"assertion":[{"value":"2021-07-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}