β剪枝是指若任一极大值层节点的α值大于或等于它任一先辈极小值层节点的β值，即α（后继层）≥β（先辈层），则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个α值。

对于每一个已经扩展了的节点，AO*算法都有一个指针，指向该节点的后继节点中，耗散值大的那个连接符。

判断题对于每一个已经扩展了的节点，AO*算法都有一个指针，指向该节点的后继节点中，耗散值大的那个连接符。

在语言学中，决定任意一个符号序列是不是一个句子的问题，是一个句法分析问题，我们可以用产生式系统来分析这个问题。

判断题在语言学中，决定任意一个符号序列是不是一个句子的问题，是一个句法分析问题，我们可以用产生式系统来分析这个问题。

基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解...

判断题基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。