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

Multi agent systems
Decision making

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.

Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]. / Anderson, Gabrielle; Collinson, Matthew; Pym, David.

Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013). ed. / B C Schipper. TARK, 2013. p. 8-18.

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

Anderson, G, Collinson, M & Pym, D 2013, Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]. in BC Schipper (ed.), Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013). TARK, pp. 8-18, TARK 2013, Chennai, India, 7/01/13.
Anderson G, Collinson M, Pym D. Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]. In Schipper BC, editor, Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013). TARK. 2013. p. 8-18
Anderson, Gabrielle ; Collinson, Matthew ; Pym, David. / Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]. Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013). editor / B C Schipper. TARK, 2013. pp. 8-18
@inproceedings{1d3df708b68646ea9ba1f15d6241441d,
title = "Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]",
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.",
author = "Gabrielle Anderson and Matthew Collinson and David Pym",
note = "11 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org",
year = "2013",
month = "1",
language = "English",
isbn = "978-0-615-74716-3",
pages = "8--18",
editor = "Schipper, {B C}",
booktitle = "Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)",
publisher = "TARK",

}

TY - GEN

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

AU - Anderson, Gabrielle

AU - Collinson, Matthew

AU - Pym, David

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

PY - 2013/1

Y1 - 2013/1

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 978-0-615-74716-3

SP - 8

EP - 18

BT - Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)

A2 - Schipper, B C

PB - TARK

ER -