PulseAugur
中
实时 09:06:59

为多智能体时空逻辑开发新框架

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员开发了一个新的代数框架，用于定义带图算子的时空逻辑 (STL-GO) 的定量语义。该逻辑通过引入图算子来扩展信号时态逻辑 (STL)，这些算子可以计算满足特定属性的邻近智能体数量。新框架将时间聚合与图算子聚合分开，并证明了其可靠性和完备性取决于单调性条件。该系统在模拟的多智能体环境中实现并进行了测试，包括 Dubins 汽车动力学场景和地-卫星系统，并评估了四种不同的语义实例化。 AI

影响 这项研究可能推动多智能体 AI 系统的形式化验证方法。

排序理由 该集群包含一篇详细介绍新逻辑系统框架的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.MA (Multiagent) 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

为多智能体时空逻辑开发新框架

报道来源 [1]

  1. arXiv cs.MA (Multiagent) TIER_1 English(EN) · Jyotirmoy V. Deshmukh ·

    带图算子时空逻辑量化语义的代数框架

    Spatio-Temporal Logic with Graph Operators (STL-GO) extends Signal Temporal Logic (STL) to multi-agent systems via graph operators that count neighboring agents satisfying a property, together with multi-agent quantifiers. While Boolean semantics for STL-GO are well-defined, quan…

相关话题