On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Determination of social laws for multi-agent mobilization
Artificial Intelligence
Choosing social laws for multi-agent systems: minimality and simplicity
Artificial Intelligence
A normative framework for agent-based systems
Computational & Mathematical Organization Theory
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Automated norm synthesis in an agent-based planning environment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research
Learning from experience to generate new regulations
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Using experience to generate new regulations
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Open issues for normative multi-agent systems
AI Communications
| Hi-index | 0.00 |
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown to be NP-complete, requiring a complete state enumeration. A planning-based solution has been proposed previously to improve performance. This approach leads to verbose, problem-specific norms due to the propositional representation of the domain. We present a first-order extension of this work that benefits from state and operator abstractions to synthesise more expressive, generally applicable norms. We propose optimisations that can be used to reduce the search performed during synthesis, and formally prove the correctness of these optimisations. Finally, we empirically illustrate the benefits of these optimisations in an example domain.