Exploiting domain knowledge to improve norm synthesis

George Christelis, Michael Rovatsos, Ronald P. A. Petrick

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Place of PublicationRichland, SC
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems
Number of pages8
ISBN (Print)978-0-9826571-1-9
Publication statusPublished - 2010

Publication series

NameAAMAS '10
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems

Keywords / Materials (for Non-textual outputs)

  • automated planning
  • conflict resolution
  • normative systems
  • social norms


Dive into the research topics of 'Exploiting domain knowledge to improve norm synthesis'. Together they form a unique fingerprint.

Cite this