《人工智能导论》试题

⑴ 人工智能研究的基本内容是什么？

⑵ 知识表示假设的主要含义是什么？

二．（本题10分）用产生式表示法设计求解下述三块积木问题

的产生式系统，包括其综合数据库、规则库和冲突解决法。并应用回溯控制算法给出问题状态的变迁过程。

Chear(a)   on(x,y)

三．（本题10分）设有下述描述：

⑴ 事实表达式：。

⑵ 规则：；；。

⑶ 目标：。

利用基于规则的正向演绎推理对问题进行求解，画出其图并提取解答。

四．（本题15分）假定八数码问题的目标状态为，启发式函数为

，

其中，是搜索树中结点的深度；用来计算对应于结点的数据库中错放的棋子个数。

⑴ 以为初始状态，画出应用算法进行问题求解过程的搜索图，标明图中每个状态的启发函数值。

⑵ 说明该算法是否是可采纳的。

五．（本题15分）已知有下述推理规则：

        ；

                ；

                ；

                    ；

        ，            ，            ；

，            ；

，            ；

。

请应用的确定性方法求出，在运算中写出所使用的公式，计算结果精确到小数点后两位数字。

六．（本题10分）使用归结方法证明下述公式是公式和的逻辑结果：

：；：；

：。

具体给出推出空子句归结反演过程，注明每一步归结的亲本子句和,并画出最后的归结反演树。