Agentive Permissions in Multiagent Systems
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916224174129152 |
|---|---|
| author | Shi, Qi |
| author_facet | Shi, Qi |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_17053 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Agentive Permissions in Multiagent Systems Shi, Qi Artificial Intelligence Multiagent Systems 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. |
| title | Agentive Permissions in Multiagent Systems |
| topic | Artificial Intelligence Multiagent Systems |
| url | https://arxiv.org/abs/2404.17053 |