实体
logic programming
logic programming
PulseAugur coverage of logic programming — every cluster mentioning logic programming 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 条
-
LLM 协助形式化证明 sqrt(2) 的无理性
研究人员探索了结合使用大型语言模型 (LLM) 和逻辑程序定理证明器 (LPTP) 来形式化证明平方根 2 的无理性。该过程包括定义基本的逻辑编程谓词，并利用 LPTP，LPTP 使用自然演绎法生成人类可读的证明。该研究详细介绍了与 LLM 的交互，最终由 LLM 部分生成并由 LPTP 完全验证的完整形式化证明。
-
新的混合MKNF知识库用经典否定扩展逻辑编程
研究人员开发了一种混合MKNF知识库的扩展，该扩展将经典否定纳入规则组件。这一进展解决了现有系统的一个关键限制，即以前无法表示明确的负面知识，而这是安全关键型应用的一个关键方面。新框架正式定义了其语法和语义，并包含了一个计算其良基模型的程序。