对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。

可分解的产生式系统原始问题都可以被划分为几个独立的子问题来求解，从而提高问题求解的效率。 点击查看答案&解析

若h（n）满足单调限制条件，则A*扩展了节点n之后，就已经找到了到达节点n的最佳路径。 点击查看答案&解析