Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]

Gabrielle Anderson, Matthew Collinson, David Pym

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

1 Citation (Scopus)


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.
Original languageEnglish
Title of host publicationProceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)
EditorsB C Schipper
Number of pages11
ISBN (Print)978-0-615-74716-3
Publication statusPublished - Jan 2013
EventTARK 2013: 14th Conference on Theoretical Aspects of Rationality and Knowledge - Chennai, India
Duration: 7 Jan 20139 Jan 2013


ConferenceTARK 2013

Bibliographical note

11 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org

Publisher Copyright:
Copyright 2013 by the authors.


Dive into the research topics of 'Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]'. Together they form a unique fingerprint.

Cite this