University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Normative run-time reasoning for institutionally-situated BDI agents

Balke, T, De Vos, M and Padget, J (2012) Normative run-time reasoning for institutionally-situated BDI agents In: Coordination, Organizations, Institutions, and Norms in Agent System VII. UNSPECIFIED, pp. 129-148. ISBN 978-3-642-35544-8

Full text not available from this repository.


Institutions, also referred to as normative systems, offer ameans to govern open systems, in particular open multi-agent systems.Research in logics, and subsequently tools, has led to support for thespecification, verification and enactment of institutions. Most effort todate has focused on the design-time properties of institutions (either onthe normative or the system level), such as whether a particular state ofaffairs is reachable or not from a given set of initial conditions. Such modelsare useful in forcing the designer to state their intentions precisely,and for testing (design-time) properties. However, we identify two problemsin the direct utilization of design-time models in the governance oflive (run-time) systems: (i) over-specification of constraints on agent autonomyand (ii) generation of design-time model artefacts. In this paperwe present a methodology to tackle these two problems and extract runtimereasoning components from a design-time model. We demonstratehow to derive an event-based run-time model of institutions that can beincorporated into the capabilities of autonomous BDI agents to addressthe issues above in order to realize practical norm-governed multi-agentsystems. © Springer-Verlag Berlin Heidelberg 2012.

Item Type: Book Section
Divisions : Surrey research (other units)
Authors :
De Vos, M
Padget, J
Date : 2012
DOI : 10.1007/978-3-642-35545-5_8
Depositing User : Symplectic Elements
Date Deposited : 16 May 2017 15:18
Last Modified : 23 Jan 2020 14:38

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800