Dynamic epistemic logic
PulseAugur coverage of Dynamic epistemic logic — every cluster mentioning Dynamic epistemic logic across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
LogiKEy方法学使用证明助手教授逻辑
一种名为LogiKEy的新方法学被提出，用于向计算机科学、数学和哲学专业的学生教授逻辑。该方法利用单一证明助手Isabelle/HOL，通过语义嵌入来编码各种对象逻辑。该方法学通过一系列示例进行，从简单的谜题开始，逐步深入到动态认知逻辑和义务逻辑等复杂主题，最终展示其在研究级论证中的应用。
-
新的Type-6逻辑旨在验证LLM的思维链推理
研究人员引入了Type-6逻辑，这是一种新颖的动态认知逻辑变体，用于更好地建模和验证大型语言模型（LLM）的思维链（CoT）推理过程。这种新逻辑包含了不确定性和递归的算子，使其能够识别常见的LLM推理缺陷，如不正确的声明和修订。基于Type-6逻辑的验证器已被开发并测试了LLM生成的CoT，证明了其在检测结构上不健全的推理步骤和提供模型思维过程可视化方面的有效性。研究发现，派生出的矛盾是CoT中最常见的失败，并且与其他人为判断相比，T…
-
新研究推进了关于信念和分布式知识的认知逻辑
两篇新研究论文探讨了认知逻辑领域的进展，该领域关注关于知识和信念的推理。第一篇论文在标准克里普克模型中引入了一种新颖的信念收缩机制，解决了现有方法需要丰富模型的局限性。第二篇论文侧重于具有分布式知识的认知逻辑的序列演算，建立了保证这些系统满足 Craig 插值定理的解析割性质。
-
新逻辑系统通过数据交换建模扩展知识推理
研究人员开发了一个新的逻辑系统，扩展了动态认知逻辑（DEL）。这种增强的逻辑包含了条件非命题知识的算子，允许智能体根据附加信息推理变量的数值。该系统还包括用于比较假设值和动态模态的确定性描述，以模拟“数据交换事件”，例如公开公告、私有数据共享或黑客攻击。已为这些新开发的逻辑提供了完整的公理化和可判定性证明。
-
新的EPDDL语言标准化认知规划任务
研究人员推出了认知规划领域定义语言（EPDDL），以标准化认知规划任务的表示。这种新语言旨在统一当前用于认知规划的各种且通常是临时的（ad hoc）方法，认知规划通过整合智能体的知识和信念来扩展自动规划。EPDDL以动态认知逻辑为基础，并利用抽象事件模型来捕捉认知动作的全部语义，从而促进该领域的互操作性和可复现评估。