实体
logic programming
logic programming
PulseAugur coverage of logic programming — every cluster mentioning logic programming across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
3
90 天内 3
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 3 条
-
新的混合MKNF知识库用经典否定扩展逻辑编程
研究人员开发了一种混合MKNF知识库的扩展，该扩展将经典否定纳入规则组件。这一进展解决了现有系统的一个关键限制，即以前无法表示明确的负面知识，而这是安全关键型应用的一个关键方面。新框架正式定义了其语法和语义，并包含了一个计算其良基模型的程序。
-
LLM 协助形式化证明 sqrt(2) 的无理性
研究人员探索了结合使用大型语言模型 (LLM) 和逻辑程序定理证明器 (LPTP) 来形式化证明平方根 2 的无理性。该过程包括定义基本的逻辑编程谓词，并利用 LPTP，LPTP 使用自然演绎法生成人类可读的证明。该研究详细介绍了与 LLM 的交互，最终由 LLM 部分生成并由 LPTP 完全验证的完整形式化证明。
-
描述逻辑程序的新语义提高了复杂性和表征能力
研究人员为描述逻辑程序引入了一种新颖的语义，旨在解决现有良支撑语义的局限性。新方法为一致性问题提供了改进的计算复杂性，将其保持在NP完全的范围内，并通过不动点算子和约简变换提供了表征。这种更严格的语义在保持良支撑性的核心概念的同时，提供了更精细的概念，使其更贴近传统的逻辑编程原则。