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

Gabrielle Anderson; Matthew Collinson; David Pym

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

Gabrielle Anderson, Matthew Collinson, David Pym

Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

1 Citation (Scopus)

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 language	English
Title of host publication	Proceedings of the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)
Editors	B C Schipper
Publisher	TARK
Pages	8-18
Number of pages	11
ISBN (Print)	978-0-615-74716-3
Publication status	Published - Jan 2013
Event	TARK 2013: 14th Conference on Theoretical Aspects of Rationality and Knowledge - Chennai, India Duration: 7 Jan 2013 → 9 Jan 2013

Conference

Conference	TARK 2013
Country/Territory	India
City	Chennai
Period	7/01/13 → 9/01/13

Bibliographical note

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

Publisher Copyright:
Copyright 2013 by the authors.

Access to Document

http://arxiv.org/abs/1310.6405

Cite this

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 proceeding › Published conference contribution

@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 Publisher Copyright: Copyright 2013 by the authors.; TARK 2013 : 14th Conference on Theoretical Aspects of Rationality and Knowledge ; Conference date: 07-01-2013 Through 09-01-2013",

year = "2013",

month = jan,

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

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.

UR - http://www.scopus.com/inward/record.url?scp=85061743051&partnerID=8YFLogxK

M3 - Published 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

T2 - TARK 2013

Y2 - 7 January 2013 through 9 January 2013

ER -

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

Abstract

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this