Agentive Permissions in Multiagent Systems
Agentive Permissions in Multiagent Systems
Qi Shi
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence
Main Track. Pages 3558-3566.
https://doi.org/10.24963/ijcai.2024/394
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.
Keywords:
Knowledge Representation and Reasoning: KRR: Reasoning about actions
AI Ethics, Trust, Fairness: ETF: Moral decision making
AI Ethics, Trust, Fairness: ETF: AI and law, governance, regulation
AI Ethics, Trust, Fairness: ETF: Ethical, legal and societal issues