Utility-based Decision-making in Distributed Systems Modelling
Logic in Computer Science
2013-10-29 v1 Multiagent Systems
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.
Cite
@article{arxiv.1310.6405,
title = {Utility-based Decision-making in Distributed Systems Modelling},
author = {Gabrielle Anderson and Matthew Collinson and David Pym},
journal= {arXiv preprint arXiv:1310.6405},
year = {2013}
}
Comments
11 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org