at Google ScholarTitle 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
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 - Information Systems Management Faculties > Faculty of Law, Business and Economics > Department of Business Administration > Chair Business Administration VII - Information Systems Management > Chair Business Administration VII - Information Systems Management - 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 |