北京科技大学人工智能试题

简介：
北京科技大学人工智能期末考试题要求考生采用谓词逻辑方法求解机器人摞积木问题。具体而言，本题目设定一个包含机械臂操作的复杂环境：假设机器人配备了一台机械臂，其工作环境为一张水平桌面，桌面上可临时放置多块相同大小的方形积木。该系统由机械臂可执行以下基本操作：提取桌面上的一块积木、将手中积木投放回桌面、叠加于当前手握积木表面以及取自桌面某处的积木。具体布局如图所示。在谓词逻辑中，我们能够建立一系列谓词用于刻画事物的状态以及其演变过程。例如，在第2.8节中，我们可以探讨如何通过建立特定的谓词来表示不同类别的事物： 有些人钟爱梅花，有些人则喜爱菊花，而有些人则两者都喜欢。用谓词P(x)表示人，并定义L(x, y)为x对y的喜爱关系后，可以构建相应的逻辑公式来表达这一事实。 存在一个人，在每个下午都会进行篮球运动。同样地，在逻辑学中，我们可以通过定义谓词P(x)表示人，B(x)表示打篮球，A(y)表示下午这一特定时间段，并构建相应的谓词公式来描述这个规律。用符号NC(x)代表新型计算机，其速度特性由F(x)表示，容量特性则由B(x)给出。 并非所有计算机系学生都具备在电子设备上编写程序的能力。通过使用符号S(x)表示计算机科学领域的学生，L(x, programming)表示喜欢编程这一行为，U(x, computer)表示能够利用电子设备进行操作，我们可以构造一个带有否定的谓词公式：∃x(S(x) ∧ ¬(L(x, programming)))。这个表达式表明至少有一个计算机系的学生不具备在电子设备上编写程序的能力。 对于所有人x来说，如果x是人，并且L(x, 编程)，那么L(x, 计算机)成立。用谓词逻辑表示为：∀x (P(x) ∧ L(x, 编程)) → L(x, 计算机) 2.9部分则是一个具体的机器人摞积木问题，我们定义了如下谓词： - 当积木x上没有任何其他积木时，CLEAR(x)为真。 - 当积木x放置在另一块积木y的上方时，ON(x, y)成立。 - ONTABLE(x)表示积木x位于工作台表面。 - HOLDING(x)意味着机械手抓取了物体x。 - HANDEMPTY表示机械手没有负载。机器人系统采用了一系列逻辑谓词来描述初始状态与目标状态之间的转换关系，并为机器人执行四种操作行为提供了相应的逻辑基础。具体而言，定义了以下四组核心操作：第一种操作是$Pickup(x)$表示机器人从桌面上拾取积木块x；第二种操作是$Putdown(x)$实现对桌面上放置积木块的逻辑操作；第三种操作为$Stack(x, y)$完成将较小积木放置于较大积木上方的操作；第四种操作则是$Upstack(x, y)$，表示机器人在执行从较大积木上取下较小积木的动作。 2.19节主要涉及语义网络的表示方式，具体包括： - 树木与灌木属于植物类别，并采用AKO表示法（其中AKO意为是），如：树木属于草类植物。 - 树木具有叶片与地下茎结构，这些特征可以通过具有关系进行描述。 - 水生植物属于草类植物，其分布特点集中于水域中。 - 树种包括开花结实的特征，这体现了果树的基本生理特性。 - 苹果树作为典型的果树物种，在繁殖周期上表现出明显的规律性。 2.25部分的天气预报知识可以构成一个框架结构，其中包含如地域、时段、天气状况、风向和风力等属性。这个考试题目探讨了谓词逻辑与语义网络在描述现实世界复杂问题中的具体运用方式。它为人工智能系统提供了构建问题模型的基础方法框架。