{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:34Z","timestamp":1750220194075,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T00:00:00Z","timestamp":1658793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1925652"],"award-info":[{"award-number":["1925652"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,26]]},"DOI":"10.1145\/3514094.3534163","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T22:25:13Z","timestamp":1658960713000},"page":"653-663","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Generating Deontic Obligations From Utility-Maximizing Systems"],"prefix":"10.1145","author":[{"given":"Colin","family":"Shea-Blymyer","sequence":"first","affiliation":[{"name":"Oregon State University, Corvallis, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[{"name":"Oregon State University, Corvallis, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,27]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Dagstuhl Follow-Ups","volume":"4","author":"Alechina Natasha","year":"2013","unstructured":"Natasha Alechina , Nick Bassiliades , Mehdi Dastani , Marina De Vos , Brian Logan , Sergio Mera , Andreasa Morris-Martin , and Fernando Schapachnik . 2013 . Computational models for normative multi-agent systems . In Dagstuhl Follow-Ups , Vol. 4 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik. 2013. Computational models for normative multi-agent systems. In Dagstuhl Follow-Ups, Vol. 4. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_2_2_1","volume-title":"Concrete problems in AI safety. arXiv preprint arXiv:1606.06565","author":"Amodei Dario","year":"2016","unstructured":"Dario Amodei , Chris Olah , Jacob Steinhardt , Paul Christiano , John Schulman , and Dan Man\u00e9 . 2016. Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 ( 2016 ). Dario Amodei, Chris Olah, Jacob Steinhardt, Paul Christiano, John Schulman, and Dan Man\u00e9. 2016. Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 (2016)."},{"volume-title":"AAAI fall symposium on machine ethics","author":"Arkoudas Konstantine","key":"e_1_3_2_2_3_1","unstructured":"Konstantine Arkoudas , Selmer Bringsjord , and Paul Bello . 2005. Toward ethical robots via mechanized deontic logic . In AAAI fall symposium on machine ethics . The AAAI Press Menlo Park , CA , 17--23. Konstantine Arkoudas, Selmer Bringsjord, and Paul Bello. 2005. Toward ethical robots via mechanized deontic logic. In AAAI fall symposium on machine ethics. The AAAI Press Menlo Park, CA, 17--23."},{"volume-title":"Principles of model checking","author":"Baier Christel","key":"e_1_3_2_2_4_1","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"e_1_3_2_2_6_1","volume-title":"Luca Tummolini, Paolo Turrini, et al.","author":"Broersen Jan","year":"2013","unstructured":"Jan Broersen , Stephen Cranefield , Yehia Elrakaiby , Dov Gabbay , Davide Grossi , Emiliano Lorini , Xavier Parent , Leendert WN van der Torre , Luca Tummolini, Paolo Turrini, et al. 2013 . Normative reasoning and consequence. In Dagstuhl Follow-Ups, Vol. 4 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik . Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert WN van der Torre, Luca Tummolini, Paolo Turrini, et al. 2013. Normative reasoning and consequence. In Dagstuhl Follow-Ups, Vol. 4. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"volume-title":"The Logical Form of Imperatives. Department of Philosophy","author":"Chellas B.F.","key":"e_1_3_2_2_7_1","unstructured":"B.F. Chellas . 1968. The Logical Form of Imperatives. Department of Philosophy , Stanford University . B.F. Chellas. 1968. The Logical Form of Imperatives. Department of Philosophy, Stanford University."},{"key":"e_1_3_2_2_8_1","volume-title":"A tutorial on Bayesian optimization. arXiv preprint arXiv:1807.02811","author":"Frazier Peter I","year":"2018","unstructured":"Peter I Frazier . 2018. A tutorial on Bayesian optimization. arXiv preprint arXiv:1807.02811 ( 2018 ). Peter I Frazier. 2018. A tutorial on Bayesian optimization. arXiv preprint arXiv:1807.02811 (2018)."},{"key":"e_1_3_2_2_9_1","unstructured":"Dov Gabbay John Horty and Xavier Parent (Eds.). 2013. Handbook of deontic logic and normative systems. College Publications.  Dov Gabbay John Horty and Xavier Parent (Eds.). 2013. Handbook of deontic logic and normative systems. College Publications."},{"volume-title":"Autonomes fahren","author":"Christian Gerdes J","key":"e_1_3_2_2_10_1","unstructured":"J Christian Gerdes and Sarah M Thornton . 2015. Implementable ethics for autonomous vehicles . In Autonomes fahren . Springer , 87--102. J Christian Gerdes and Sarah M Thornton. 2015. Implementable ethics for autonomous vehicles. In Autonomes fahren. Springer, 87--102."},{"key":"e_1_3_2_2_11_1","volume-title":"Deontic Logic: A historical survey and introduction","author":"Hilpinen Risto","year":"2013","unstructured":"Risto Hilpinen and Paul McNamara . 2013 . Deontic Logic: A historical survey and introduction . College Publications , 3--136. Risto Hilpinen and Paul McNamara. 2013. Deontic Logic: A historical survey and introduction. College Publications, 3--136."},{"volume-title":"Agency and Deontic Logic","author":"Horty John","key":"e_1_3_2_2_12_1","unstructured":"John Horty . 2001. Agency and Deontic Logic . Cambridge University Press . John Horty. 2001. Agency and Deontic Logic. Cambridge University Press."},{"key":"e_1_3_2_2_13_1","volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV'11)","volume":"591","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems . In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS, Vol. 6806), G. Gopalakrishnan and S. Qadeer (Eds.). Springer, 585-- 591 . M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS, Vol. 6806), G. Gopalakrishnan and S. Qadeer (Eds.). Springer, 585--591."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1214\/18-BA1110"},{"key":"e_1_3_2_2_15_1","volume-title":"Boss: Bayesian optimization over string spaces. Advances in neural information processing systems 33","author":"Moss Henry","year":"2020","unstructured":"Henry Moss , David Leslie , Daniel Beck , Javier Gonzalez , and Paul Rayson . 2020 . Boss: Bayesian optimization over string spaces. Advances in neural information processing systems 33 (2020), 15476--15486. Henry Moss, David Leslie, Daniel Beck, Javier Gonzalez, and Paul Rayson. 2020. Boss: Bayesian optimization over string spaces. Advances in neural information processing systems 33 (2020), 15476--15486."},{"key":"e_1_3_2_2_16_1","first-page":"565","article-title":"A Normative Supervisor for Reinforcement Learning Agents","volume":"28","author":"Neufeld Emery","year":"2021","unstructured":"Emery Neufeld , Ezio Bartocci , Agata Ciabattoni , and Guido Governatori . 2021 . A Normative Supervisor for Reinforcement Learning Agents . Automated Deduction-- CADE 28 (2021), 565 . Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, and Guido Governatori. 2021. A Normative Supervisor for Reinforcement Learning Agents. Automated Deduction-- CADE 28 (2021), 565.","journal-title":"Automated Deduction-- CADE"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2494218"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460975"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARSO51874.2021.9542846"},{"key":"e_1_3_2_2_20_1","volume-title":"Practical bayesian optimization of machine learning algorithms. Advances in neural information processing systems 25","author":"Snoek Jasper","year":"2012","unstructured":"Jasper Snoek , Hugo Larochelle , and Ryan P Adams . 2012. Practical bayesian optimization of machine learning algorithms. Advances in neural information processing systems 25 ( 2012 ). Jasper Snoek, Hugo Larochelle, and Ryan P Adams. 2012. Practical bayesian optimization of machine learning algorithms. Advances in neural information processing systems 25 (2012)."},{"key":"e_1_3_2_2_21_1","volume-title":"Bayesian inference of atomistic structure in functional materials. Npj computational materials 5, 1","author":"Milica","year":"2019","unstructured":"Milica Todorovi?, Michael U Gutmann , Jukka Corander , and Patrick Rinke . 2019. Bayesian inference of atomistic structure in functional materials. Npj computational materials 5, 1 ( 2019 ), 1--7. Milica Todorovi?, Michael U Gutmann, Jukka Corander, and Patrick Rinke. 2019. Bayesian inference of atomistic structure in functional materials. Npj computational materials 5, 1 (2019), 1--7."},{"key":"e_1_3_2_2_22_1","first-page":"237","article-title":"Deontic Logic","volume":"60","author":"von Wright Georg H.","year":"1951","unstructured":"Georg H. von Wright . 1951 . Deontic Logic . Mind 60 , 237 (January 1951). Georg H. von Wright. 1951. Deontic Logic. Mind 60, 237 (January 1951).","journal-title":"Mind"}],"event":{"name":"AIES '22: AAAI\/ACM Conference on AI, Ethics, and Society","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","AAAI"],"location":"Oxford United Kingdom","acronym":"AIES '22"},"container-title":["Proceedings of the 2022 AAAI\/ACM Conference on AI, Ethics, and Society"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514094.3534163","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3514094.3534163","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3514094.3534163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:36Z","timestamp":1750186956000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514094.3534163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,26]]},"references-count":22,"alternative-id":["10.1145\/3514094.3534163","10.1145\/3514094"],"URL":"https:\/\/doi.org\/10.1145\/3514094.3534163","relation":{},"subject":[],"published":{"date-parts":[[2022,7,26]]},"assertion":[{"value":"2022-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}