1、模拟机器人搬盒子的一阶谓词表示及状态转换，了解用一阶谓词逻辑表示知识的方法； 2、用一种程序设计语言（C语言）实现一阶谓词逻辑的推理过程； 3、熟练程序设计方法，提高程序设计能力。