Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, 2011-08-21 - 2011-08-26, Lyon. Piscataway, U.S.A: IEEE Computer Society.
Institutions offer the promise of a means to govern open systems, in particular open multi-agent systems. Research in logics, and subsequently tools, supports the specification, verification and enactment of institutions. Most effort to date has focussed on the design-time properties of institutions (either on the normative or the system level), such as whether a particular state of affairs is reachable or not from a given set of initial conditions. Such models are useful in forcing the designer to state their intentions precisely, and for testing (design) properties. However, we identify two problems in the direct utilization of event-based design-time models in the governance of live (running) systems: (i) over-specification of constraints on agent autonomy and (ii) generation of design-time model artefacts. In this paper we present a methodology to tackle these two problems and extract the run-time model from the design-time one. We demonstrate how to derive an event-based run-time model of institutions that can be incorporated into the reasoning processes of autonomous BDI agents to realize practical norm-governed multi-agent systems.
|Item Type ||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Balke, T., De Vos, M., Padget, J. A. and Traskas, D.|
|Departments||Faculty of Science > Computer Science|
|Publisher Statement||DeVos_WI-IAT_2011.pdf: © 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.|
|Additional Information||2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011. 22-27 August 2011. Lyon, France.|
Actions (login required)