A Framework for Institutions Governing Institutions

Thomas King, Tingting Li, Marina De Vos, Virginia Dignum, Catholijn Jonker, Julian Padget, M. Birna van Riemsdijk

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

  • 7 Citations

Abstract

Norms guide multi-agent systems away from being potentially anarchic
towards a coordinated and collaborative society. Institutions
provide an explicit, external representation of norms as well as the
means to detect violations and other conditions. Each institution
can be crafted individually to capture their designers’ goals, but
this creates a challenge at higher levels of authority in guiding the
institutional design to be coordinated with other institutions and not
imposing unacceptable limits on agents’ rights. We propose to use
institutions to govern and to revise institutions, following a principle
widely encountered in the social world, where treaties, primary
legislation, framework agreements and subsidiarity establish a regulatory
space by defining norms on the form of a body of regulation.
We set out a formal and computational framework, building
on the InstAL model and implementation, to construct tiers of institutions,
where the norms at each tier are governed by those at the
tier above. Thus, agents’ behaviour is governed and monitored by
a tier-1 institution, whose norms are governed and monitored by a
tier-2 institution, etc.. This allows us to check the compliance of
an institution with the tier above. Compliance failure generates the
necessary negative examples for automatic norm-revision.
LanguageEnglish
Title of host publicationProceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015)
Pages473-481
Number of pages8
StatusPublished - 2015
Event14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015) - Istanbul, Turkey
Duration: 4 May 20158 May 2015

Conference

Conference14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015)
CountryTurkey
CityIstanbul
Period4/05/158/05/15

Fingerprint

subsidiarity
treaty
legislation
regulation
Society

Keywords

  • normative systems
  • institutions
  • higher order norms
  • logic programming
  • knowledge representation

Cite this

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J., & van Riemsdijk, M. B. (2015). A Framework for Institutions Governing Institutions. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015) (pp. 473-481)

A Framework for Institutions Governing Institutions. / King, Thomas; Li, Tingting ; De Vos, Marina; Dignum, Virginia; Jonker, Catholijn; Padget, Julian; van Riemsdijk, M. Birna.

Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015). 2015. p. 473-481.

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

King, T, Li, T, De Vos, M, Dignum, V, Jonker, C, Padget, J & van Riemsdijk, MB 2015, A Framework for Institutions Governing Institutions. in Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015). pp. 473-481, 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), Istanbul, Turkey, 4/05/15.
King T, Li T, De Vos M, Dignum V, Jonker C, Padget J et al. A Framework for Institutions Governing Institutions. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015). 2015. p. 473-481.
King, Thomas ; Li, Tingting ; De Vos, Marina ; Dignum, Virginia ; Jonker, Catholijn ; Padget, Julian ; van Riemsdijk, M. Birna. / A Framework for Institutions Governing Institutions. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015). 2015. pp. 473-481
@inproceedings{f091fe7f9b544b5198cc1e76294a3f70,
title = "A Framework for Institutions Governing Institutions",
abstract = "Norms guide multi-agent systems away from being potentially anarchictowards a coordinated and collaborative society. Institutionsprovide an explicit, external representation of norms as well as themeans to detect violations and other conditions. Each institutioncan be crafted individually to capture their designers’ goals, butthis creates a challenge at higher levels of authority in guiding theinstitutional design to be coordinated with other institutions and notimposing unacceptable limits on agents’ rights. We propose to useinstitutions to govern and to revise institutions, following a principlewidely encountered in the social world, where treaties, primarylegislation, framework agreements and subsidiarity establish a regulatoryspace by defining norms on the form of a body of regulation.We set out a formal and computational framework, buildingon the InstAL model and implementation, to construct tiers of institutions,where the norms at each tier are governed by those at thetier above. Thus, agents’ behaviour is governed and monitored bya tier-1 institution, whose norms are governed and monitored by atier-2 institution, etc.. This allows us to check the compliance ofan institution with the tier above. Compliance failure generates thenecessary negative examples for automatic norm-revision.",
keywords = "normative systems, institutions, higher order norms, logic programming, knowledge representation",
author = "Thomas King and Tingting Li and {De Vos}, Marina and Virginia Dignum and Catholijn Jonker and Julian Padget and {van Riemsdijk}, {M. Birna}",
year = "2015",
language = "English",
pages = "473--481",
booktitle = "Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015)",

}

TY - GEN

T1 - A Framework for Institutions Governing Institutions

AU - King,Thomas

AU - Li,Tingting

AU - De Vos,Marina

AU - Dignum,Virginia

AU - Jonker,Catholijn

AU - Padget,Julian

AU - van Riemsdijk,M. Birna

PY - 2015

Y1 - 2015

N2 - Norms guide multi-agent systems away from being potentially anarchictowards a coordinated and collaborative society. Institutionsprovide an explicit, external representation of norms as well as themeans to detect violations and other conditions. Each institutioncan be crafted individually to capture their designers’ goals, butthis creates a challenge at higher levels of authority in guiding theinstitutional design to be coordinated with other institutions and notimposing unacceptable limits on agents’ rights. We propose to useinstitutions to govern and to revise institutions, following a principlewidely encountered in the social world, where treaties, primarylegislation, framework agreements and subsidiarity establish a regulatoryspace by defining norms on the form of a body of regulation.We set out a formal and computational framework, buildingon the InstAL model and implementation, to construct tiers of institutions,where the norms at each tier are governed by those at thetier above. Thus, agents’ behaviour is governed and monitored bya tier-1 institution, whose norms are governed and monitored by atier-2 institution, etc.. This allows us to check the compliance ofan institution with the tier above. Compliance failure generates thenecessary negative examples for automatic norm-revision.

AB - Norms guide multi-agent systems away from being potentially anarchictowards a coordinated and collaborative society. Institutionsprovide an explicit, external representation of norms as well as themeans to detect violations and other conditions. Each institutioncan be crafted individually to capture their designers’ goals, butthis creates a challenge at higher levels of authority in guiding theinstitutional design to be coordinated with other institutions and notimposing unacceptable limits on agents’ rights. We propose to useinstitutions to govern and to revise institutions, following a principlewidely encountered in the social world, where treaties, primarylegislation, framework agreements and subsidiarity establish a regulatoryspace by defining norms on the form of a body of regulation.We set out a formal and computational framework, buildingon the InstAL model and implementation, to construct tiers of institutions,where the norms at each tier are governed by those at thetier above. Thus, agents’ behaviour is governed and monitored bya tier-1 institution, whose norms are governed and monitored by atier-2 institution, etc.. This allows us to check the compliance ofan institution with the tier above. Compliance failure generates thenecessary negative examples for automatic norm-revision.

KW - normative systems

KW - institutions

KW - higher order norms

KW - logic programming

KW - knowledge representation

UR - http://www.aamas2015.com/en/AAMAS_2015_USB/aamas/p473.pdf

M3 - Conference contribution

SP - 473

EP - 481

BT - Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015)

ER -