Alternating-time temporal logic with resource bounds
Alternating-time temporal logic with resource bounds
复制标题
具有资源边界的交替时间时序逻辑
DOI：
10.1093/logcom/exv034
复制
发表时间：
2018
影响因子：
0.7
通讯作者：
Nguyen H
中科院分区：
文献类型：
--
作者：
Nguyen H
人工智能和多智能体系统研究中的许多问题都是最自然地根据智能体联盟的能力来制定的。有几个很好的逻辑工具来推理联盟能力。然而，联盟能力可能会受到资源可用性的影响，并且在诸如联盟逻辑（CL）和交替时间时序逻辑（ATL）等逻辑中没有直接的方法来推理资源需求。在这篇文章中，我们描述了一个逻辑推理资源约束下的联盟能力。我们扩展ATL的成本的行动，从而战略。我们给出了一个完整的和健全的公理化的结果逻辑，资源有界ATL（RB-ATL）和模型检测算法。
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, and there is no straightforward way of reasoning about resource requirements in logics such as Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). In this article, we describe a logic for reasoning about coalitional ability under resource constraints. We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatization of the resulting logic, Resource-Bounded ATL (RB-ATL) and a model-checking algorithm for it.
登录
查看更多内容
资源短缺场景下联盟博弈的模型检验
DOI：
10.4204/eptcs.119.20
发表时间：
2013
期刊：
The Journal of experimental medicine
影响因子：
--
作者：
Dario Della Monica;M. Napoli;Mimmo Parente
通讯作者：
Mimmo Parente
RB-ATL 的扩展
DOI：
--
发表时间：
2010
期刊：
Multi-Agent Logics, Languages, and Organisations Federated Workshops
影响因子：
--
作者：
N. H. Nga
通讯作者：
N. H. Nga
可判定的模型检查与资源生产的资源逻辑
DOI：
10.3233/978-1-61499-419-0-9
发表时间：
2014
期刊：
ECAI 2014 - 21st European Conference on Artificial Intelligence
影响因子：
--
作者：
Alechina, N
通讯作者：
Alechina, N
DOI：
10.1007/978-3-642-04893-7_1
发表时间：
2009
期刊：
AI Commun.
影响因子：
--
作者：
N. Alechina;B. Logan;N. H. Nga;A. Rakib
通讯作者：
A. Rakib