人工智能实验指导书.docVIP

第 PAGE \* Arabic 12 页 贵州大学计算机科学与技术学院 计算机科学与技术科系 本科生 《人工智能》实验指导书/实验教学大纲 王以松 2012年 目 录 TOC \o 1-3 \h \z 实验一 人工智能冲浪 3 实验二 SAT求解描述性问题 4 实验三 Prolog基本编程环境 5 实验四 ASP描述性问题求解 8 参考资料： 10 实验一 人工智能冲浪 实验目的 了解人工智能的定义/讨论，研究内容，研究进展以及相关的重要人物和有影响的事件。 实验原理 通过网络搜索引擎，例如google，baidu，yahoo等，以关键词在网络上搜索相关内容。 实验内容 搜索如下内容： 人工智能的定义与讨论，特别是wiki百科在这方面的讨论. 人工智能研究方向/领域，以及本领域中有重大影响力的论文1-2篇，例如在citeseer上的被引用次数最多. Turing奖获得者中，人工智能领域的专家，例如McCarthy, Pearl, Newell, Simon, Feigenbaum等，他们的获奖理由/在人工智能方面的突出贡献. IBM Deep Blue， Watson；Checker；Big Dog（Boston Dynamics） 实验描述及要求 选择其中一个实验内容，整理形成一个AI的主题介绍。 实验步骤 无要求. 参考程序 无. 实验二 SAT求解描述性问题 实验目的 通过学习并使用一个SAT求解器，例如MiniSat，了解Satisfiability描述性问题求解方法。了解SAT求解器的研发现状。 实验原理 把给定的问题表达成逻辑公式CNF形式， 使得其模型对应问题的解。经过翻译后，输入给SAT求解器，并将其输出结果解释后输出，从而读出问题的一个解。 实验内容 选用一个SAT求解器，例如MiniSat等。 搜索公开的SAT的benchmark/测试用例，就图着色等问题生成CNF公式， 或随机生成CNF公式。 调用SAT求解器，例如MiniSat，计算其模型。 输出对应问题的解。 实验描述及要求 将上述实验内容和结果书写成实验报告。 实验步骤 无要求。 参考程序 sat的输入格式可采用DIMACS字句的如下形式: c 表示注释 c file name: f 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 上面字句集为： {{x1, ﹃x5, x4}, {﹃x1, x5, x3, x4} {﹃x3, ﹃x4}} 调用minisat f将得到输出 表示该字句集是可满足的，使之满足的赋值是把全部原子赋值为false（如果是赋值为true，则会输出该原子的编号）。实验三 Prolog基本编程环境 实验目的 通过Prolog环境下的编程，了解基于逻辑的问题求解理论。并熟悉一个具体的Prolog语言，特别是各种数据结构，及其开发环境和开发方法。通过具体的编程实践，掌握基本的prolog解决问题的方法。 实验原理 Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。 实验内容 快速排序：给定一个整数链表，按照给定顺序重排并输出。 图着色：给定一个图（可以有各种表示），和一些颜色，输出对图的一种着色方案。 图的给定两点的最短距离：给定一个距离图（节点之间有距离），和其中的两个点，输出一个该两点之间的最短路径及其距离。 N-皇后问题：给定一个N，输出在N个皇后在N×N棋盘上的一种可行布局(见参考程序)。 实验描述及要求 选择上述实验内容中的任何一个，完成实验并书写实验报告。 实验步骤 熟悉Prolog语言的基本规范； 熟悉Prolog的基本数据结构 熟悉Prolog解决问题的思路（链表和递归）。 参考程序 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - N Queens problem FileName: nqueen.pl To run at command line like, swipl --quiet -c nqueen.pl To compile it into an exe file, run like swi