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)
78 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

Multi agent systems
Specifications
Autonomous agents
Open systems
Testing

Cite this

Balke, T., De Vos, M., Padget, J. A., & Traskas, D. (2011). Normative run-time reasoning for institutionally-situated BDI agents. In 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) (Vol. 3). [6040690] Piscataway, U.S.A: IEEE. https://doi.org/10.1109/wi-iat.2011.49

Normative run-time reasoning for institutionally-situated BDI agents. / Balke, Tina; De Vos, Marina; Padget, Julian A.; Traskas, Dimitris.

2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) . Vol. 3 Piscataway, U.S.A : IEEE, 2011. 6040690.

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

Balke, T, De Vos, M, Padget, JA & Traskas, D 2011, Normative run-time reasoning for institutionally-situated BDI agents. in 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) . vol. 3, 6040690, IEEE, Piscataway, U.S.A, 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, Lyon, France, 21/08/11. https://doi.org/10.1109/wi-iat.2011.49
Balke T, De Vos M, Padget JA, Traskas D. Normative run-time reasoning for institutionally-situated BDI agents. In 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) . Vol. 3. Piscataway, U.S.A: IEEE. 2011. 6040690 https://doi.org/10.1109/wi-iat.2011.49
Balke, Tina ; De Vos, Marina ; Padget, Julian A. ; Traskas, Dimitris. / Normative run-time reasoning for institutionally-situated BDI agents. 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) . Vol. 3 Piscataway, U.S.A : IEEE, 2011.
@inproceedings{769cef31f3ce4217a6260454465697c4,
title = "Normative run-time reasoning for institutionally-situated BDI agents",
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.",
author = "Tina Balke and {De Vos}, Marina and Padget, {Julian A.} and Dimitris Traskas",
year = "2011",
doi = "10.1109/wi-iat.2011.49",
language = "English",
isbn = "9781457713736",
volume = "3",
booktitle = "2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)",
publisher = "IEEE",
address = "USA United States",

}

TY - GEN

T1 - Normative run-time reasoning for institutionally-situated BDI agents

AU - Balke, Tina

AU - De Vos, Marina

AU - Padget, Julian A.

AU - Traskas, Dimitris

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1109/WI-IAT.2011.49

U2 - 10.1109/wi-iat.2011.49

DO - 10.1109/wi-iat.2011.49

M3 - Conference contribution

SN - 9781457713736

VL - 3

BT - 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)

PB - IEEE

CY - Piscataway, U.S.A

ER -