资源大小： 3KB
发布时间： 2010-05-18
文件格式： none
下载次数： 2
分享到：

下载地址：

下载地址1
（本站为飞网专业下载站，域名：down.cfei.net）

资源简介：

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


飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。