PulseAugur
中
实时 00:12:35
实体 answer set solver

answer set solver

PulseAugur coverage of answer set solver — every cluster mentioning answer set solver across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_198020 ·

    新AI方法使用逻辑进行鲁棒的基于规则的推理

    研究人员为生成式AI系统开发了一种新颖的混合符号方法，可增强对规则的鲁棒推理。该方法以形式逻辑表达策略，使用语言模型进行事实提取，并使用答案集求解器进行推理。该方法旨在提供可解释和可审计的响应，在减少令牌数量方面比现有的策略即提示和策略即代码技术提高了约十倍。