等式逻辑中的一种外推推理方法/ 531
Mnacho Echenim、Nicolas Peltier、Sophie Touret

由于拐骗在人工智能中的许多应用，它在命题逻辑中得到了广泛的研究。然而，其固有的复杂性限制了在更具表现力的逻辑中实现溯因推理工具。我们在底层方程式逻辑中设计了这样一个工具，其中文字是常数之间的方程式或不方程式。我们的工具是基于素数蕴涵的计算。它使用了一种松弛的准调制演算，旨在生成公式的所有素数含义，以及一个精心定义的存储含义的数据结构，能够有效地检测和消除冗余。除了对这种方法进行详细描述外，我们还对一些实验结果进行了分析。