Agentive Permissions in Multiagent Systems
arXiv:2404.17053v11 citationsh-index: 1IJCAI
Originality Incremental advance
AI Analysis
This addresses foundational issues in multiagent systems for researchers in AI and logic, but it is incremental as it builds on existing permission frameworks.
The paper tackles the problem of distinguishing agentive permissions in multiagent systems, resulting in complexity analysis, semantic undefinability proofs, and a complete logical system for these modalities.
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.