.png){kind=icon}
返回
Alternating-Time Temporal Logic with Default Actions
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-04590-4_18.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们介绍了一种交替时间Temporal Logic (ATL)的扩展，该扩展引入默认动作以模拟多智能体系统中的通信故障。我们的框架ATL-kD允许在发生有限数量的通信故障期间，智能体的预期策略可能无法传递。在这种情况下，将执行预定义的默认动作。我们分析了在此设置下的模型检测的计算复杂度，表明其普遍为NP难和coNP难，但当默认动作被限制为固定智能体子集时，可在多项式时间内求解。我们还研究了具有默认偏好的变体，该变体能更好地处理由于协议约束导致某些状态下默认动作不可用的情况。此外，我们引入了默认动作更新机制，允许在系统执行过程中修订默认动作。这些结果共同为在不可靠通信条件下的鲁棒验证提供了形式化基础。
Keyword:
multiagent logic
robust strategies
model checking
期刊
L
IF:
0
论文数:
19
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏 没有更多内容
没有更多内容