一般情况下，当问题有解时，深度优先搜索不但不能保证找到最优解，也不能保证一定能找到解。（)

基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W(L为单文字，W为任意形式。()

高效率的求解过程与有效的控制策略紧密相关，而问题的表示(即综合数据库和规则集的描述)往往对求解时耗费的工作量也有很大的影响。()

耗散值的修正从刚被扩展的节点n开始，其修正耗散值q(n)取估计h(n)的所有值中最小的一个，然后根据耗散值递归计算公式逐级向上修正其先辈节点的耗散值，只有下层节点耗散值修正后，才可能影响上一层节点的耗散值，因此必须自底向上一直修正到初始节点。()

在过程AO*中，第一步建立一个搜索图G，开始时图G只包括s，耗散值估计为h(s)，若s是终节点，则标记上不能解。()