实体
Christoph Benzmüller
Christoph Benzmüller
PulseAugur coverage of Christoph Benzmüller — every cluster mentioning Christoph Benzmüller across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
在Isabelle/HOL中开发了一阶模态逻辑的新嵌入方法
研究人员开发了在Isabelle/HOL（一种高阶逻辑定理证明器）中嵌入一阶模态逻辑（FML）的新方法。这项工作将先前命题逻辑的研究扩展到了更复杂的一阶片段，提供了深层、最大浅层和最小浅层嵌入。一项关键贡献是实现了FML的向下Löwenheim-Skolem定理的机械化，这对于证明最小浅层嵌入的忠实度至关重要。
-
论文提倡在人工智能推理框架中采用逻辑多元论
一篇新的预印本论文提倡在形式化推理中采用逻辑多元论，并提出了 LogiKEy 方法论作为统一框架。该论文反对“逻辑帝国主义”，即坚持单一基础逻辑的做法，认为这阻碍了跨学科知识的再利用。论文强调了过去二十年来在经典高阶逻辑中嵌入非经典逻辑的研究，以此作为该方法论的基础。