Scifaro

中文

分布式系统建模中基于效用的决策

计算机科学中的逻辑 2013-10-29 v1 多智能体系统

作者: Gabrielle Anderson , Matthew Collinson , David Pym

在 arXiv 上查看 ↗ PDF ↗

摘要

我们考虑了一种资源和进程演算，作为多智能体系统中决策建模的基础。该演算利用考虑上下文的效用函数来表示对智能体选择的调节。与该演算相关联的是一种（Hennessy Milner 风格的）状态敏感模态逻辑。作为一个应用，我们展示了如何为多智能体系统定义“信任域”的概念。

关键词

分布式系统决策效用函数进程演算模态逻辑多智能体系统信任域

引用

@article{arxiv.1310.6405,
  title  = {Utility-based Decision-making in Distributed Systems Modelling},
  author = {Gabrielle Anderson and Matthew Collinson and David Pym},
  journal= {arXiv preprint arXiv:1310.6405},
  year   = {2013}
}

备注

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