归结方法的特点是简单，易于程序实现。

基于规则的正向演绎系统，就是不断的对与或图施以规则变换，直到找到一个解图，该解图中的所有叶节点全部都与目标公式中的文字匹配为止。 点击查看答案

八数码游戏的初始状态为“283450716”，而结束状态为“123456780”，问初始状态的“不在位的将牌数”是（）。

A.2
B.3
C.4
D.5

点击查看答案