实体
Enqvist
Enqvist
PulseAugur coverage of Enqvist — every cluster mentioning Enqvist across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新研究探讨双主体并发博弈框架的表示定理
一篇新发表在arXiv上的论文探讨了双主体一般并发博弈框架内实际权力的表示定理。该研究将van Benthem、Bezhanishvili和Enqvist（2019）之前的工作进行了泛化，重点关注“实际权力”作为联盟权力的表征概念。通过考察八类不同的通用并发博弈框架及其相应的邻域框架表示，该研究解决了标准并发博弈框架中的假设，例如序列性、主体独立性和确定性。
-
新逻辑框架InqAL被引入用于推理智能体动作
研究人员引入了Inquisitive Action Logic (InqAL)，一种新的多智能体模态逻辑，用于推理动作和智能体确定性。InqAL扩展了探究性邻域逻辑，并构建在并发博弈结构之上，允许分析智能体通过其动作确定结果的哪些方面，并将其表述为涉及问题的模态声明。该逻辑通过公理化呈现，并通过有限模型性质证明了其完备性和可判定性，包括实际效用函数的表示定理。