Agentive permissions in multiagent systems
Agentive permissions in 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.
Norms, AI regulation, permissions
Shi, Qi
58260d72-7f73-443f-a47a-99577e6b963e
Shi, Qi
58260d72-7f73-443f-a47a-99577e6b963e
Shi, Qi
(2024)
Agentive permissions in multiagent systems.
The 33rd International Joint Conference on Artificial Intelligence, , Jeju, Korea, Republic of.
03 - 09 Aug 2024.
(In Press)
Record type:
Conference or Workshop Item
(Paper)
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.
Text
Agentive Permissions in Multiagent Systems
- Accepted Manuscript
More information
Accepted/In Press date: 16 April 2024
Venue - Dates:
The 33rd International Joint Conference on Artificial Intelligence, , Jeju, Korea, Republic of, 2024-08-03 - 2024-08-09
Keywords:
Norms, AI regulation, permissions
Identifiers
Local EPrints ID: 489889
URI: http://eprints.soton.ac.uk/id/eprint/489889
PURE UUID: 32b85d49-c2fc-4bf4-9ae6-2619fbe8a184
Catalogue record
Date deposited: 07 May 2024 16:34
Last modified: 08 May 2024 02:03
Export record
Contributors
Author:
Qi Shi
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics