学习子句评估相关论文
知识表示和自动推理是人工智能领域的核心挑战,命题逻辑作为知识表示的一般方法,为定理证明提供了理论支撑,为计算机程序提供了验......
针对现有学习子句评估策略的单一性,提出一种基于学习子句参与冲突分析次数的评估策略,并将该策略分别与经典的文字块距离评估策略......
