Normative run-time reasoning for institutionally-situated BDI agents

Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
147 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publication2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)
Place of PublicationPiscataway, U.S.A
PublisherIEEE
Number of pages4
Volume3
ISBN (Electronic)9780769545134
ISBN (Print)9781457713736
DOIs
Publication statusPublished - 2011
Event2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011 - Lyon, France
Duration: 21 Aug 201126 Aug 2011

Conference

Conference2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011
CountryFrance
CityLyon
Period21/08/1126/08/11

Fingerprint Dive into the research topics of 'Normative run-time reasoning for institutionally-situated BDI agents'. Together they form a unique fingerprint.

Cite this