学科筛选

  • 3. 证明树简化的实现

  • 【来源】

    [期刊论文] 《计算机学报》1988年10期

  • 【作者】

    郭瑞标  蒋庆培 

  • 【摘要】

    该文讨论了证明树简化中的冗余例示及处理问题,重点介绍了一个实用的证明树简化算法. 通常,知识系统中的推理路径用证明树来表示,证明树中结点的重要程度,随不同的用户各不相同,将树中的一些不重要结点删去,对相应的父...

  • 【关键词】

    树简化  父结点  规则体  子结点  二元树  证明树 

年度命中数

的趋势