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

Gabrielle Anderson, Matthew Collinson, David Pym

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 - Chennai, India
Duration: 7 Jan 20139 Jan 2013


ConferenceTARK 2013

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

Cite this