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

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

Conference

ConferenceTARK 2013
CountryIndia
CityChennai
Period7/01/139/01/13

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

    Anderson, G., Collinson, M., & Pym, D. (2013). Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]. In B. C. Schipper (Ed.), Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013) (pp. 8-18). TARK. http://arxiv.org/abs/1310.6405