{"type":"ScholarlyArticle","title":"Agentive Permissions in Multiagent Systems","authors":[{"name":"Qi Shi","slug":"qi-shi","given":"Qi","family":"Shi","affiliation":"University of Southampton"}],"abstract":"This paper proposes to distinguish four forms of agentive permissions in multiagent settings. The main technical results are the complexity analysis of model checking, the semantic undefinability of modalities that capture these forms of permissions through each other, and a complete logical system capturing the interplay between these modalities.","doi":"10.24963/ijcai.2024/394","url":"https://ijcai.org/proceedings/2024/394","pdf":"https://ijcai.org/proceedings/2024/0394.pdf","markdown":"https://ijcai.org/proceedings/2024/394.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/394","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":394,"pages":{"first":3558,"last":3566},"keywords":["Knowledge Representation and Reasoning: KRR: Reasoning about actions","AI Ethics, Trust, Fairness: ETF: Moral decision making","AI Ethics, Trust, Fairness: ETF: Ethical, legal and societal issues","AI Ethics, Trust, Fairness: ETF: AI and law, governance, regulation"],"videos":[],"references":[{"position":1,"raw":"[Alur et al., 2002] Rajeev Alur, Thomas A Henzinger, and Orna Kupferman. Alternating-time temporal logic. Jour- nal of the ACM, 49(5):672-713, 2002.","title":"Alternating-time temporal logic","authors":"Rajeev Alur, Thomas A Henzinger, Orna Kupferman","year":"2002","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Anderson, 1956] Alan Ross Anderson. The formal analysis of normative systems. Technical report, Office of Naval Research, 1956.","title":"The formal analysis of normative systems","authors":"Alan Ross, Anderson","year":"1956","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Anderson, 1967] Alan Ross Anderson. Some nasty prob- lems in the formal logic of ethics. Noûs, pages 345-360, 1967.","title":"Some nasty problems in the formal logic of ethics","authors":"Alan Ross, Anderson","year":"1967","venue":"Noûs","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Anglberger et al., 2015] Albert JJ Anglberger, Nobert Gratzl, and Olivier Roy. Obligation, free choice, and the logic of weakest permissions. The Review of Symbolic Logic, 8(4):807-827, 2015.","title":"Obligation, free choice, and the logic of weakest permissions","authors":"Nobert Albert Jj Anglberger, Olivier Gratzl, Roy","year":"2015","venue":"The Review of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Areces et al., 2023] Carlos Areces, Valentin Cassano, Pablo F Castro, Raul Fervari, and Andrés R Saravia. A deontic logic of knowingly complying. In Proceedings of the 22nd International Conference on Autonomous Agents and MultiAgent Systems, volume 23, 2023.","title":"A deontic logic of knowingly complying","authors":"Carlos Areces, Valentin Cassano, Pablo F Castro, Raul Fervari, Andrés R Saravia","year":"2023","venue":"Proceedings of the 22nd International Conference on Autonomous Agents and MultiAgent Systems","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Arkoudas et al., 2005] Konstantine Arkoudas, Selmer Bringsjord, and Paul Bello. Toward ethical robots via mechanized deontic logic. In AAAI Fall Symposium on Machine Ethics, pages 17-23. The AAAI Press Menlo Park, CA, USA, 2005.","title":"Toward ethical robots via mechanized deontic logic","authors":"Konstantine Arkoudas, Selmer Bringsjord, Paul Bello","year":"2005","venue":"AAAI Fall Symposium on Machine Ethics","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Asher and Bonevac, 2005] Nicholas Asher and Daniel Bonevac. Free choice permission is strong permission. Synthese, 145:303-323, 2005.","title":"Free choice permission is strong permission","authors":"Bonevac Asher, Nicholas Asher, Daniel Bonevac","year":"2005","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Belnap and Perloff, 1988] Nuel Belnap and Michael Perloff. Seeing to it that: a canonical form for agentives. Theoria, 54(3):175-199, 1988.","title":"Seeing to it that: a canonical form for agentives","authors":"Nuel Belnap, Michael Perloff","year":"1988","venue":"Theoria","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Belnap and Perloff, 1992] Nuel Belnap and Michael Perloff. The way of the agent. Studia Logica, pages 463-484, 1992.","title":"The way of the agent","authors":"Nuel Belnap, Michael Perloff","year":"1992","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Broersen and Ramírez Abarca, 2018] Jan Broersen and Aldo Iván Ramírez Abarca. Formalising oughts and practical knowledge without resorting to action types. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pages 1877-1879, 2018.","title":"Formalising oughts and practical knowledge without resorting to action types","authors":"Ramírez Broersen, Jan Abarca, Aldo Broersen, Ramírez Iván, Abarca","year":"2018","venue":"Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Broersen, 2008] Jan Broersen. A complete STIT logic for knowledge and action, and some of its applications. In Proceedings of the 6th International Workshop on Declar- ative Agent Languages and Technologies, pages 47-59. Springer, 2008.","title":"A complete STIT logic for knowledge and action, and some of its applications","authors":"Jan Broersen","year":"2008","venue":"Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Broersen, 2011] Jan Broersen. Deontic epistemic STIT logic distinguishing modes of mens rea. Journal of Ap- plied Logic, 9(2):137-152, 2011.","title":"Deontic epistemic STIT logic distinguishing modes of mens rea","authors":"Jan Broersen, Broersen","year":"2011","venue":"Journal of Applied Logic","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Chellas, 1969] Brian Farrell Chellas. The logical form of imperatives. Stanford University, 1969.","title":"The logical form of imperatives","authors":"Brian Farrell, Chellas","year":"1969","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Chellas, 1974] Brian F Chellas. Conditional obligation. In Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday, pages 23-33. Springer, 1974.","title":"Conditional obligation","authors":"Brian F Chellas","year":"1974","venue":"Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Chisholm, 1964] Roderick M Chisholm. The ethics of re- quirement. American Philosophical Quarterly, 1(2):147- 153, 1964.","title":"The ethics of requirement","authors":"M Roderick, Chisholm","year":"1964","venue":"American Philosophical Quarterly","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[DeCew, 1981] Judith Wagner DeCew. Conditional obliga- tion and counterfactuals. Journal of Philosophical Logic, pages 55-72, 1981.","title":"Conditional obligation and counterfactuals","authors":"Judith Wagner Decew, Decew","year":"1981","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Governatori et al., 2013] Guido Governatori, Francesco Olivieri, Antonino Rotolo, and Simone Scannapieco. Computing strong and weak permissions in defeasible logic. Journal of Philosophical Logic, 42:799-829, 2013.","title":"Computing strong and weak permissions in defeasible logic","authors":"Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco","year":"2013","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Halpern, 2015] Joseph Y Halpern. A modification of the halpern-pearl definition of causality. In Proceedings of the 24th International Conference on Artificial Intelligence, pages 3022-3033, 2015.","title":"A modification of the halpern-pearl definition of causality","authors":"Joseph Y Halpern","year":"2015","venue":"Proceedings of the 24th International Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2015/427"},{"position":19,"raw":"[Halpern, 2016] Joseph Y Halpern. Actual causality. MIT Press, 2016.","title":"Actual causality","authors":"Joseph Y Halpern","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Horty and Belnap, 1995] John F Horty and Nuel Belnap. The deliberative STIT: a study of action, omission, abil- ity, and obligation. Journal of Philosophical Logic, 24(6):583-644, 1995.","title":"The deliberative STIT: a study of action, omission, ability, and obligation","authors":"F John, Nuel Horty, Belnap","year":"1995","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Horty, 2001] John F Horty. Agency and Deontic Logic. Ox- ford University Press, 2001.","title":"Agency and Deontic Logic","authors":"F John, Horty","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Kamp, 1973] Hans Kamp. Free choice permission. In Pro- ceedings of the Aristotelian Society, volume 74, pages 57- 74. JSTOR, 1973.","title":"Free choice permission","authors":"Hans Kamp, Kamp","year":"1973","venue":"Proceedings of the Aristotelian Society","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Kanger, 1971] Stig Kanger. New Foundations for Ethical Theory. Springer, 1971.","title":"New Foundations for Ethical Theory","authors":"Kanger","year":"1971","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Knight et al., 2022] Sophia Knight, Pavel Naumov, Qi Shi, and Vigasan Suntharraj. Truth set algebra: a new way to prove undefinability. arXiv:2208.04422, 2022.","title":"Truth set algebra: a new way to prove undefinability","authors":"Sophia Knight, Pavel Naumov, Qi Shi, Vigasan Suntharraj","year":"2022","venue":null,"doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Kulicki and Trypuz, 2017] Piotr Kulicki and Robert Try- puz. Connecting actions and states in deontic logic. Studia Logica, 105:915-942, 2017.","title":"Connecting actions and states in deontic logic","authors":"Piotr Kulicki, Robert Trypuz","year":"2017","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Kulicki et al., 2023] Piotr Kulicki, Robert Trypuz, Robert Craven, and Marek J Sergot. A unified logical frame- work for reasoning about deontic properties of actions and states. Logic and Logical Philosophy, pages 1-35, 2023.","title":"A unified logical framework for reasoning about deontic properties of actions and states","authors":"Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J Sergot","year":"2023","venue":"Logic and Logical Philosophy","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Lewis, 1979] David Lewis. A problem about permission. In Essays in Honour of Jaakko Hintikka, pages 163-175. Springer, 1979.","title":"A problem about permission","authors":"David Lewis","year":"1979","venue":"Essays in Honour of Jaakko Hintikka","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[McNamara and van de Putte, 2022] Paul McNamara and Frederik van de Putte. Deontic logic. In Edward N. Zalta and Uri Nodelman, editors, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford Univer- sity, 2022.","title":"Deontic logic","authors":"Van Mcnamara, Paul De Putte, Frederik Mcnamara, Van De Putte","year":"2022","venue":"The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Mendelson, 2009] Elliott Mendelson. Introduction to Math- ematical Logic. CRC press, 2009.","title":"Introduction to Mathematical Logic","authors":"Elliott Mendelson","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Müller-Olm et al., 1999] Markus Müller-Olm, David Schmidt, and Bernhard Steffen. Model-checking: a tutorial introduction. In Static Analysis: Proceedings of the 6th International Symposium, pages 330-354.","title":"Model-checking: a tutorial introduction","authors":"Müller-Olm","year":"1999","venue":"Static Analysis: Proceedings of the 6th International Symposium","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Pandžić et al., 2022] Stipe Pandžić, Jan Broersen, and Henk Aarts. Boid*: autonomous goal deliberation through ab- duction. In Proceedings of the 21st International Con- ference on Autonomous Agents and MultiAgent Systems, pages 1019-1027, 2022.","title":"Boid*: autonomous goal deliberation through abduction","authors":"Pandžić","year":"2022","venue":"Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Prior, 1963] Arthur N Prior. The logic of modality. In For- mal Logic, pages 186-229. Oxford University Press, 1963.","title":"The logic of modality","authors":"Arthur N Prior","year":"1963","venue":"Formal Logic","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Raz, 1975] Joseph Raz. Permissions and supererogation. American Philosophical Quarterly, 12(2):161-168, 1975.","title":"Permissions and supererogation","authors":"Joseph Raz","year":"1975","venue":"American Philosophical Quarterly","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Ross, 1944] Alf Ross. Imperatives and logic. Philosophy of Science, 11(1):30-46, 1944.","title":"Imperatives and logic","authors":"Alf Ross","year":"1944","venue":"Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Royakkers, 1997] Lamber MM Royakkers. Giving permis- sion implies giving choice. In Proceedings of the 8th In- ternational Conference on Database and Expert Systems Applications, pages 198-203. IEEE, 1997.","title":"Giving permission implies giving choice","authors":"M M Lamber, Royakkers","year":"1997","venue":"Proceedings of the 8th International Conference on Database and Expert Systems Applications","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Rulli, 2020] Tina Rulli. Conditional obligations. Social Theory and Practice, pages 365-390, 2020.","title":"Conditional obligations","authors":"Tina Rulli","year":"2020","venue":"Social Theory and Practice","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Shi, 2024] Qi Shi. Agentive permissions in multiagent sys- tems. arXiv:2404.17053, 2024.","title":"Agentive permissions in multiagent systems","authors":"Qi Shi","year":"2024","venue":null,"doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[van Benthem, 1979] Johan van Benthem. Minimal deontic logics. Bulletin of the Section of Logic, 8(1):36-42, 1979.","title":"Minimal deontic logics","authors":"; Van Benthem, Johan Van Benthem","year":"1979","venue":"Bulletin of the Section of Logic","doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[van de Poel, 2011] Ibo van de Poel. The relation between forward-looking and backward-looking responsibility. In Moral Responsibility: Beyond Free Will and Determinism, pages 37-52. Springer, 2011.","title":"Ibo van de Poel. The relation between forward-looking and backward-looking responsibility","authors":"Poel Van De","year":"2011","venue":"Moral Responsibility: Beyond Free Will and Determinism","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[van de Putte, 2017] Frederik van de Putte. Free choice per- mission in STIT. In Logica yearbook 2016, pages 289- 303. College Publications, 2017.","title":"Frederik van de Putte. Free choice permission in STIT","authors":"Van De Putte","year":"2016","venue":"Logica yearbook","doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[van Fraassen, 1973] Bas C van Fraassen. The logic of con- ditional obligation. In Exact Philosophy, pages 151-172. Springer, 1973.","title":"The logic of conditional obligation","authors":"C Bas, Van Fraassen","year":"1973","venue":"Exact Philosophy","doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[von Wright, 1951] Georg Henrik von Wright. Deontic logic. Mind, 60(237):1-15, 1951.","title":"Georg Henrik von Wright","authors":"Wright Von","year":"1951","venue":"Mind","doi":null,"url":null,"internal_url":null},{"position":43,"raw":"[von Wright, 1968] Georg Henrik von Wright. An Essay in Deontic Logic and the General Theory of Action: With a Bibliography of Deontic and Imperative Logic. North- Holland Pub. Co, 1968.","title":"An Essay in Deontic Logic and the General Theory of Action: With a Bibliography of Deontic and Imperative Logic","authors":"Wright ; Von, Georg Henrik Von, Wright","year":"1968","venue":null,"doi":null,"url":null,"internal_url":null},{"position":44,"raw":"[Wang and Wang, 2023] Zilu Wang and Yanjing Wang. Strong permission bundled: first steps. In Proceedings of the 16th International Conference on Deontic Logic and Normative Systems, pages 217-234. Springer, 2023.","title":"Strong permission bundled: first steps","authors":"Wang, Wang ; ] Zilu Wang, Yanjing Wang","year":"2023","venue":"Proceedings of the 16th International Conference on Deontic Logic and Normative Systems","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}