Utility-based Decision-making in Distributed Systems Modelling
Abstract
We consider a calculus of resources and processes as a basis for modelling decision-making in multi-agent systems. The calculus represents the regulation of agents' choices using utility functions that take account of context. Associated with the calculus is a (Hennessy Milner-style) context sensitive modal logic of state. As an application, we show how a notion of `trust domain' can be defined for multi-agent systems.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2013
- DOI:
- 10.48550/arXiv.1310.6405
- arXiv:
- arXiv:1310.6405
- Bibcode:
- 2013arXiv1310.6405A
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Multiagent Systems
- E-Print:
- 11 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org