问答题 自立估价函数，用A或A*算法给出下图的启发信息优先搜索树。初始棋局：目标棋局：

问答题 用谓词逻辑的归结原理求证：张是快乐的。假设：任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的人都能获奖。求证：张是快乐的。

问答题 用语义网络法表示如下知识：如果学校组织大学生机器人竞赛活动，那么李强就参加比赛。