人工智能实验指导书

贵州大学计算机科学与技术学院

计算机科学与技术科系

本科生

《人工智能》实验指导书/实验教学大纲

王以松 2012年

目 录

实验一 人工智能冲浪 ..................................................................................... 3 实验二 SAT求解描述性问题 ............................................................................ 4 实验三 Prolog基本编程环境 ........................................................................... 6 实验四 ASP描述性问题求解 .......................................................................... 10 参考资料： ............................................................................................................ 12

- 2 -

实验一 人工智能冲浪

1、 实验目的

了解人工智能的定义/讨论，研究内容，研究进展以及相关的重要人物和有影响的事件。

2、 实验原理

通过网络搜索引擎，例如google，baidu，yahoo等，以关键词在网络上搜索相关内容。

3、 实验内容

搜索如下内容：

1） 人工智能的定义与讨论，特别是wiki百科在这方面的讨论.

2） 人工智能研究方向/领域，以及本领域中有重大影响力的论文1-2篇，例如在

citeseer上的被引用次数最多.

3） Turing奖获得者中，人工智能领域的专家，例如McCarthy, Pearl, Newell, Simon,

Feigenbaum等，他们的获奖理由/在人工智能方面的突出贡献.

4） IBM Deep Blue， Watson；Checker；Big Dog（Boston Dynamics）

4、 实验描述及要求

选择其中一个实验内容，整理形成一个AI的主题介绍。

5、 实验步骤

无要求.

6、 参考程序

无.

- 3 -

实验二 SAT求解描述性问题

1、 实验目的

通过学习并使用一个SAT求解器，例如MiniSat，了解Satisfiability描述性问题求解方法。了解SAT求解器的研发现状。

2、 实验原理

把给定的问题表达成逻辑公式CNF形式， 使得其模型对应问题的解。经过翻译后，输入给SAT求解器，并将其输出结果解释后输出，从而读出问题的一个解。

3、 实验内容

1） 选用一个SAT求解器，例如MiniSat等。

2） 搜索公开的SAT的benchmark/测试用例，就图着色等问题生成CNF公式， 或随机

生成CNF公式。

3） 调用SAT求解器，例如MiniSat，计算其模型。 4） 输出对应问题的解。

4、 实验描述及要求

将上述实验内容和结果书写成实验报告。

5、 实验步骤

无要求。

6、 参考程序

sat的输入格式可采用DIMACS字句的如下形式:

c 表示注释 c file name: test.cnf c start with comments c c

p cnf 5 3 c （5个原子，3个字句 开始的第一行） 1 -5 4 0 c 字句结束 是0，-5表示第5个原子的经典否定 -1 5 3 4 0 -3 -4 0

上面字句集为：

- 4 -