2000 character limit reached
Agentive Permissions in Multiagent Systems
Published 25 Apr 2024 in cs.AI and cs.MA | (2404.17053v1)
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.
- Alternating-time temporal logic. Journal of the ACM, 49(5):672–713, 2002.
- Alan Ross Anderson. The formal analysis of normative systems. Technical report, Office of Naval Research, 1956.
- Alan Ross Anderson. Some nasty problems in the formal logic of ethics. Noûs, pages 345–360, 1967.
- Obligation, free choice, and the logic of weakest permissions. The Review of Symbolic Logic, 8(4):807–827, 2015.
- A deontic logic of knowingly complying. In Proceedings of the 22nd International Conference on Autonomous Agents and MultiAgent Systems, volume 23, 2023.
- 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.
- Free choice permission is strong permission. Synthese, 145:303–323, 2005.
- Seeing to it that: a canonical form for agentives. Theoria, 54(3):175–199, 1988.
- The way of the agent. Studia Logica, pages 463–484, 1992.
- 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.
- Jan Broersen. A complete STIT logic for knowledge and action, and some of its applications. In Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies, pages 47–59. Springer, 2008.
- Jan Broersen. Deontic epistemic STIT logic distinguishing modes of mens rea. Journal of Applied Logic, 9(2):137–152, 2011.
- Brian Farrell Chellas. The logical form of imperatives. Stanford University, 1969.
- 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.
- Roderick M Chisholm. The ethics of requirement. American Philosophical Quarterly, 1(2):147–153, 1964.
- Judith Wagner DeCew. Conditional obligation and counterfactuals. Journal of Philosophical Logic, pages 55–72, 1981.
- Computing strong and weak permissions in defeasible logic. Journal of Philosophical Logic, 42:799–829, 2013.
- 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.
- Joseph Y Halpern. Actual causality. MIT Press, 2016.
- The deliberative STIT: a study of action, omission, ability, and obligation. Journal of Philosophical Logic, 24(6):583–644, 1995.
- John F Horty. Agency and Deontic Logic. Oxford University Press, 2001.
- Hans Kamp. Free choice permission. In Proceedings of the Aristotelian Society, volume 74, pages 57–74. JSTOR, 1973.
- Stig Kanger. New Foundations for Ethical Theory. Springer, 1971.
- Truth set algebra: a new way to prove undefinability. arXiv:2208.04422, 2022.
- Connecting actions and states in deontic logic. Studia Logica, 105:915–942, 2017.
- A unified logical framework for reasoning about deontic properties of actions and states. Logic and Logical Philosophy, pages 1–35, 2023.
- David Lewis. A problem about permission. In Essays in Honour of Jaakko Hintikka, pages 163–175. Springer, 1979.
- 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 University, 2022.
- Elliott Mendelson. Introduction to Mathematical Logic. CRC press, 2009.
- Model-checking: a tutorial introduction. In Static Analysis: Proceedings of the 6th International Symposium, pages 330–354. Springer, 1999.
- Boid*: autonomous goal deliberation through abduction. In Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems, pages 1019–1027, 2022.
- Arthur N Prior. The logic of modality. In Formal Logic, pages 186–229. Oxford University Press, 1963.
- Joseph Raz. Permissions and supererogation. American Philosophical Quarterly, 12(2):161–168, 1975.
- Alf Ross. Imperatives and logic. Philosophy of Science, 11(1):30–46, 1944.
- Lamber MM Royakkers. Giving permission implies giving choice. In Proceedings of the 8th International Conference on Database and Expert Systems Applications, pages 198–203. IEEE, 1997.
- Tina Rulli. Conditional obligations. Social Theory and Practice, pages 365–390, 2020.
- Johan van Benthem. Minimal deontic logics. Bulletin of the Section of Logic, 8(1):36–42, 1979.
- 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.
- Frederik van de Putte. Free choice permission in STIT. In Logica yearbook 2016, pages 289–303. College Publications, 2017.
- Bas C van Fraassen. The logic of conditional obligation. In Exact Philosophy, pages 151–172. Springer, 1973.
- Georg Henrik von Wright. Deontic logic. Mind, 60(237):1–15, 1951.
- 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.
- Strong permission bundled: first steps. In Proceedings of the 16th International Conference on Deontic Logic and Normative Systems, pages 217–234. Springer, 2023.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
