Electronic Proceedings in Theoretical Computer Science
PulseAugur coverage of Electronic Proceedings in Theoretical Computer Science — every cluster mentioning Electronic Proceedings in Theoretical Computer Science across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
新的逻辑模型超越单纯知识的比较理解
研究人员开发了一种新的比较认知逻辑，用于形式化建模和比较理解的程度，超越了简单的知识。该逻辑引入了级别索引模态和比较连接词，以表示从最小到理想的各种理解级别。该框架通过分级解释结构和一种基于证明的术语代数来丰富认知模型，并为其演算系统建立了可靠性和完备性。
-
新的CEGAR表方法整合了SAT、表和分辨率，用于模态可满足性
研究人员开发了一种将CEGAR表扩展到SAT捷径的新方法，整合了SAT、表和分辨率方法，用于模态可满足性。通过他们的C++实现CEGARBox++进行的实验表明，使用模态分辨率定理证明器KSP作为SAT捷径的Oracle，其性能显著优于单独使用CEGARBox++或单独使用KSP，尤其是在大型可满足问题上。这种整合被认为是首次有效地结合了这些方法以提高性能。
-
新研究推进了关于信念和分布式知识的认知逻辑
两篇新研究论文探讨了认知逻辑领域的进展，该领域关注关于知识和信念的推理。第一篇论文在标准克里普克模型中引入了一种新颖的信念收缩机制，解决了现有方法需要丰富模型的局限性。第二篇论文侧重于具有分布式知识的认知逻辑的序列演算，建立了保证这些系统满足 Craig 插值定理的解析割性质。
-
新逻辑系统通过数据交换建模扩展知识推理
研究人员开发了一个新的逻辑系统，扩展了动态认知逻辑（DEL）。这种增强的逻辑包含了条件非命题知识的算子，允许智能体根据附加信息推理变量的数值。该系统还包括用于比较假设值和动态模态的确定性描述，以模拟“数据交换事件”，例如公开公告、私有数据共享或黑客攻击。已为这些新开发的逻辑提供了完整的公理化和可判定性证明。