Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming

Cliffe, Owen; Vos, Marina De; Padget, Julián

doi:10.1007/11775331_7

Cited by 32 publications

(24 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Existing proposals for the definition of electronic institutions like the one proposed in the EIDE platform [12,11], the one presented by Cliffe and Padget [4], or the OMNI framework [34] are mainly focused on the specification of the normative component. Unlike them, our model includes also the concepts for defining the institutional reality of the system.…”

Section: Discussionmentioning

confidence: 99%

“…The second problem (i.e., the problem of regulating interactions) is much more elusive, and has become an important object of research at least since Noriega's and Sierra's works on electronic institutions in the late nineteen-nineties [22,21]. Since then, several authors (see for example [12,1,32,34,10,4]) have contributed to the specification of electronic institutions and artificial institutions [15,35].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Artificial institutions: a model of institutional reality for open multiagent systems

et al. 2007

View full text Add to dashboard Cite

Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, used to describe the context of the interaction and the communication language the agents can use. Agents' interactions ought to allow for reliable expectations on the possible evolution of the system; however, in open systems interacting agents may not conform to predefined specifications. A possible solution is to define interaction environments including a normative component, with suitable rules to regulate the behaviour of agents.To tackle this problem we propose an application-independent metamodel of artificial institutions that can be used to define open multiagent systems. In our view an artificial institution is made up by an ontology that models the social context of the interaction, a set of authorizations to act on the institutional context, a set of linguistic conventions for the performance of institutional actions and a system of norms that are necessary to constrain the agents' actions.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Artificial institutions: a model of institutional reality for open multiagent systems

et al. 2007

View full text Add to dashboard Cite

show abstract

“…Cliffe et al use Answer Set Programming (ASP) for representing institutional norms, as part of the representation and analysis of specifications of agent-based institutions. [1,2] In Deontic Petri nets, and variants thereof such as Organizational Petri nets, varying degrees of 'ideal' or 'sub-ideal' (more or less 'allowed' or 'preferred') behaviour is modeled by preference orderings on executions of Petri nets; see for example [23,3].…”

Section: Related Workmentioning

confidence: 99%

Instrumentalization of Norm-regulated Transition System Situations

Hjelmblom

2014

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. An approach to normative systems in the context of multiagent systems (MAS) modeled as transition systems, in which actions are associated with transitions between different system states, is presented. The approach is based on relating the permission or prohibition of actions to the permission or prohibition of different types of state transitions with respect to some condition d on a number of agents x1, ..., xν in a state. It introduces the notion of a norm-regulated transition system situation, which is intended to represent a single step in the run of a (norm-regulated) transition system. The normative framework uses an algebraic representation of conditional norms and is based on a systematic exploration of the possible types of state transitions with respect to d(x1, ..., xν ). A general-level Java/Prolog framework for norm-regulated transition system situations has been developed, and this implementation together with a simple example system is presented and discussed.

show abstract

“…While a lot of work [16,19,20,18,7,17,1,5,5] has focused on modelling single institutions, nobody so far has addressed the issue of modelling multiple interacting institutions. In this case, particular aspects of a society may be modelled individually and then combined to give a richer model, leading to the possibility of using institutions as a means for abstraction (capturing increasing levels of specificity at lower levels) and also as a means for delegation (whereby one institution relies on the behaviour of another to augment its function).…”

Section: Introductionmentioning

confidence: 99%

“…We present a top-down approach to virtual multi-institutions, in which external normative concepts are represented in forms that at the same time designers may analyse (off-line) and about which agents may reason (on-line). Instead of using ASP directly (as in [5,4]), we introduce an action language designed for multi-institutions. The use of the action language makes generating the ASP code less open to human coding error, and perhaps more importantly easier to understand and create without losing either expressiveness or a formal basis for the language by narrowing the semantic gap.…”

Section: Introductionmentioning

confidence: 99%

Specifying and Reasoning About Multiple Institutions

Cliffe

Vos

Padget

2007

Coordination, Organizations, Institutions, and Norms in Agent Systems II

Self Cite

View full text Add to dashboard Cite

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 action language for describing them. We demonstrate, by way of an example, how this may be used to enable the analysis of institutional specifications either for simply visualising possible outcomes or for checking for absence or presence of certain (un)desirable correctness properties.

show abstract

Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming

Cited by 32 publications

References 19 publications

Artificial institutions: a model of institutional reality for open multiagent systems

Artificial institutions: a model of institutional reality for open multiagent systems

Instrumentalization of Norm-regulated Transition System Situations

Specifying and Reasoning About Multiple Institutions

Contact Info

Product

Resources

About