English(EN) The Logic of Data Access and Data Exchanges

新逻辑系统通过数据交换建模扩展知识推理

作者 PulseAugur 编辑部 · [1 个来源] · 2026-06-30 15:53

研究人员开发了一个新的逻辑系统，扩展了动态认知逻辑（DEL）。这种增强的逻辑包含了条件非命题知识的算子，允许智能体根据附加信息推理变量的数值。该系统还包括用于比较假设值和动态模态的确定性描述，以模拟“数据交换事件”，例如公开公告、私有数据共享或黑客攻击。已为这些新开发的逻辑提供了完整的公理化和可判定性证明。 AI

影响这项研究可以推进多智能体系统和人工智能的形式推理能力，特别是在涉及复杂数据访问和交换的场景中。

排序理由学术论文，详细介绍了一个新的逻辑系统。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.MA (Multiagent) 阅读 →

Dynamic Epistemic Logic

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

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 学术论文，详细介绍了一个新的逻辑系统。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 99 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.MA (Multiagent) TIER_1 English(EN) · Sonja Smets · 2026-06-30 15:53

数据访问与数据交换的逻辑

We investigate a new logic that extends Dynamic Epistemic Logic (DEL), by combining standard epistemic modalities for (individual and distributed) propositional knowledge with operators for (conditional) non-propositional knowledge of a number (in which an agent or a group have k…

本文如何被排名

报道来源 [1]

数据访问与数据交换的逻辑

相关实体

相关话题