A Framework for Institutions Governing Institutions


King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B., 2015. A Framework for Institutions Governing Institutions. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 2015-05-04 - 2015-05-08.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below. (Contact Author)

Official URL:


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.


Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsKing, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B.
Uncontrolled Keywordsnormative systems,institutions,higher order norms,logic programming,knowledge representation
DepartmentsFaculty of Science > Computer Science
Research Centres?? WIRC ??
Centre for Mathematical Biology
ID Code45344


Actions (login required)

View Item