研究人员开发了一个新的逻辑系统，扩展了动态认知逻辑（DEL）。这种增强的逻辑包含了条件非命题知识的算子，允许智能体根据附加信息推理变量的数值。该系统还包括用于比较假设值和动态模态的确定性描述，以模拟“数据交换事件”，例如公开公告、私有数据共享或黑客攻击。已为这些新开发的逻辑提供了完整的公理化和可判定性证明。 AI
影响 这项研究可以推进多智能体系统和人工智能的形式推理能力，特别是在涉及复杂数据访问和交换的场景中。
排序理由 学术论文，详细介绍了一个新的逻辑系统。[lever_c_demoted from research: ic=1 ai=1.0]
在 arXiv cs.MA (Multiagent) 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
