2013/10/23 by Gabrielle Anderson, Anderson, Gabrielle, Matthew Collinson +3
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #cs.LO #cs.MA
paper · pdf · doi:10.48550/arxiv.1310.6405
11 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.org
arxiv created 2013/10/23 · arxiv updated 2013/10/28
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.