等式逻辑中的素数隐含生成（扩展抽象）

等式逻辑中的素蕴涵生成（扩展抽象）

Mnacho Echenim、Nicolas Peltier、Sophie Tourret

第二十七届国际人工智能联合会议记录
日志跟踪。第5588-5592页。https://doi.org/10.24963/ijcai.2018/790
提出了一种程序，可以有效地生成一阶等式。它基于叠加的调谐微积分，规则丰富这在证据搜索过程中根据需要添加了新的假设。给出了实验结果，表明提出的这种方法比最先进的系统更有效。
关键词：
知识表示与推理：自动推理与定理证明
知识表示与推理：诊断与推理