2007
DOI: 10.1007/978-3-540-74459-7_5
|View full text |Cite
|
Sign up to set email alerts
|

Specifying and Reasoning About Multiple Institutions

Abstract: Abstract. Correctly specifying the behaviour of normative systems such as contracts and institutions is a troublesome problem. Designers are faced with two concurrent, difficult tasks: firstly specifying the relationships (over time) of agents' actions and their effects, and secondly combining this model with another that captures the agents' permissions and obligations. In this paper we present our model and operational semantics for specifying individual and collective institutions and outline a declarative … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
36
0

Year Published

2008
2008
2023
2023

Publication Types

Select...
6
2

Relationship

2
6

Authors

Journals

citations
Cited by 39 publications
(36 citation statements)
references
References 16 publications
0
36
0
Order By: Relevance
“…The issue of multiple interacting institutions has been addressed [8,35], but these works do not consider the concepts addressed here: norm-governed institutions, Ostrom's institutional design principles, and most signicantly, inter-institutional social capital. However, recent work on teams, team structures and team coordination [16] could oer some useful insights into structuration (the duality of agency and structure, in that structures are made up of agents, and agents have memory of structures [20]).…”
Section: Related Workmentioning
confidence: 99%
“…The issue of multiple interacting institutions has been addressed [8,35], but these works do not consider the concepts addressed here: norm-governed institutions, Ostrom's institutional design principles, and most signicantly, inter-institutional social capital. However, recent work on teams, team structures and team coordination [16] could oer some useful insights into structuration (the duality of agency and structure, in that structures are made up of agents, and agents have memory of structures [20]).…”
Section: Related Workmentioning
confidence: 99%
“…Norms have been widely advocated as a means of coordinating multi-agent systems and several approaches have been proposed in the literature, including state-based norms (where norms are defined in terms of states that should or should not occur), e.g., [10], and event-based norms (where norms are defined in terms of what agents should or should not do), e.g., [6,4]. Similarly, various approaches to the implementation of norms have been proposed, including enforce-ment (where sanctions are imposed on norm-violating states and behaviours) and regimentation (where norm-violating states and behaviours are eliminated).…”
Section: Problem Formalisationmentioning
confidence: 99%
“…Consider the following example. An agent driving a car enters a city in a foreign city, 4 which has streets and traffic dynamics that are known to the agent, and the agent has a goal to drop off a passenger as close as possible to the passenger's desired destination. The agent is unaware of the meaning of the signs in this city and of the frequency with which traffic wardens patrol the streets, and must make a decision as to where to drop off the passenger, knowing that traffic may force it to stop at undesirable locations.…”
Section: Introductionmentioning
confidence: 99%
“…The language supports a simple set-based type system and syntax for the declaration of fluents, events, and institutions (bearing in mind the model also supports multiinstitutional models as discussed in [6]). Normative fluents are pre-defined for power, permission and obligation.…”
Section: Aspmentioning
confidence: 99%
“…Rather than give a formal syntax specification, for which there is not room here, we put forward and extended example in section 4 to illustrate the language features in a use-case. A detailed discussion of the InstAL language can be found in [6,4]. An InstAL reasoning problem consists of the following:…”
Section: Aspmentioning
confidence: 99%