IJCAI 2024poster0 citations

Agentive Permissions in Multiagent Systems

Qi Shi

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.

Knowledge Representation and Reasoning: KRR: Reasoning about actionsAI Ethics, Trust, Fairness: ETF: Moral decision makingAI Ethics, Trust, Fairness: ETF: AI and law, governance, regulationAI Ethics, Trust, Fairness: ETF: Ethical, legal and societal issues
BibTeX
@inproceedings{ijcai2024p394,
  title     = {Agentive Permissions in Multiagent Systems},
  author    = {Shi, Qi},
  booktitle = {Proceedings of the Thirty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-24}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Kate Larson},
  pages     = {3558--3566},
  year      = {2024},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2024/394},
  url       = {https://doi.org/10.24963/ijcai.2024/394},
}