解释学习结果的优化排序

解释学习可以直接应用于知识库的推理加速．经解释学习学到的一组规则，其参加匹配的先后次序直接影响着学习的效用．本文提出并证明了在以规则的成功频率与本身匹配费用的比值为序自大至小排列时，可以使这些规则的整体匹配费用最小．文中给出学习结果的优化排序算法，对于训练例的任意给定次序，可求得最小费用排列．