女职工

FEMALECOP:相当有效的机器学习连接证明器。FEMARECOP是一个基于LeCANOP的连接表定理证明器,它使用有效的基于内部学习的指导来实现扩展步骤。尽管事实上穷尽地使用这种内部指导会导致原始推理过程的显著减速,但是对相关证据进行训练的FielECOP可以证明许多问题是LeCANOP无法解决的。特别是在MPTP2078基准,FieleCopp增加了90(15.7%)更多的问题,574个问题是可证明的LeCANOP。因此,FieleCopp是第一个AI/ATP系统,令人信服地证明,通过从先前的证明中学习的知识来指导定理证明器的内部推理算法可以显著地改善性能。本文介绍了该系统,论述了开发的技术,并对系统进行了评价。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。