规则表达的可以是与待求解的问题有关的客观规律方面的知识，也可以是对求解问题有帮助的策略方面的知识。

归结过程就是 寻找 空子句的过程。 点击查看答案&解析

在A算法中，满足单调条件的h必然满足A*算法的条件。 点击查看答案&解析