Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

On-line reasoning for institutionally-situated BDI agents

Title data

Balke, Tina ; Traskas, Dimitrios ; de Vos, Marina ; Padget, Julian:
On-line reasoning for institutionally-situated BDI agents.
In: Tumer, Kagan ; Yolum, Pinar ; Sonenberg, Liz ; Stone, Peter (Hrsg.): Proceedings of 10th International Conference on Autonomous Agents and Multiagent Systems. - s.l. , 2011 . - pp. 1109-1110

Official URL: Volltext

Abstract in another language

Institutions offer the promise of a means to govern open systems, in particular, open multi-agent systems. Research in logics and their derived tools now support the specification, verification and enactment of institutions (or organizations, depending on the terminology of the tool). Most effort to date has tended to focus on the static properties of institutions, 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 (static) properties. We call this off-line reasoning. We identify two problems in the direct utilization of off-line models in the governance of live systems: (i) static model artefacts that are typically aspects of agent behaviour in the dynamic model (ii) over-specification of constraints on actions, leading to undue limitation of agent autonomy. Agents need to be able to query an institution for (dynamic) properties. We call this on-line reasoning. In this paper we present a methodology to extract the on-line specification from an off-line one and use it to support BDI agents to realize a norm-governed multi-agent system.

Further data

Item Type: Article in a book
Refereed: Yes
Institutions of the University: Faculties
Faculties > Faculty of Law, Business and Economics
Faculties > Faculty of Law, Business and Economics > Department of Business Administration
Faculties > Faculty of Law, Business and Economics > Department of Business Administration > Chair Business Administration VII
Faculties > Faculty of Law, Business and Economics > Department of Business Administration > Chair Business Administration VII > Chair Business Administration VII - Univ.-Prof. Dr. Torsten Eymann
Result of work at the UBT: Yes
DDC Subjects: 000 Computer Science, information, general works
000 Computer Science, information, general works > 000 Generalities, Science
300 Social sciences > 330 Economics
Date Deposited: 13 Aug 2014 07:08
Last Modified: 10 Feb 2015 13:04
URI: https://eref.uni-bayreuth.de/id/eprint/910