人工智能实验指导书

《人工智能实验指导书》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、贵州大学计算机科学与技术学院计算机科学与技术科系本科生《人工智能》实验指导书/实验教学大纲王以松2012年-12-目录实验一人工智能冲浪3实验二SAT求解描述性问题4实验三Prolog基本编程环境5实验四ASP描述性问题求解8参考资料：10-12-实验一人工智能冲浪1、实验目的了解人工智能的定义/讨论，研究内容，研究进展以及相关的重要人物和有影响的事件。2、实验原理通过网络搜索引擎，例如google，baidu，yahoo等，以关键词在网络上搜索相关内容。3、实验内容搜索如下内容：1）人工智能的定义与讨论，特别是wiki百科在这方面的讨论.2）人工智能研究方向/领域

2、，以及本领域中有重大影响力的论文1-2篇，例如在citeseer上的被引用次数最多.3）Turing奖获得者中，人工智能领域的专家，例如McCarthy,Pearl,Newell,Simon,Feigenbaum等，他们的获奖理由/在人工智能方面的突出贡献.4）IBMDeepBlue，Watson；Checker；BigDog（BostonDynamics）4、实验描述及要求选择其中一个实验内容，整理形成一个AI的主题介绍。5、实验步骤无要求.6、参考程序无.-12-实验二SAT求解描述性问题1、实验目的通过学习并使用一个SAT求解器，例如MiniSat，了解Sat

3、isfiability描述性问题求解方法。了解SAT求解器的研发现状。2、实验原理把给定的问题表达成逻辑公式CNF形式，使得其模型对应问题的解。经过翻译后，输入给SAT求解器，并将其输出结果解释后输出，从而读出问题的一个解。3、实验内容1）选用一个SAT求解器，例如MiniSat等。2）搜索公开的SAT的benchmark/测试用例，就图着色等问题生成CNF公式，或随机生成CNF公式。3）调用SAT求解器，例如MiniSat，计算其模型。4）输出对应问题的解。4、实验描述及要求将上述实验内容和结果书写成实验报告。5、实验步骤无要求。6、参考程序sat的输入格式可采用

4、DIMACS字句的如下形式:c表示注释cfilename:test.cnfcstartwithcommentsccpcnf53c（5个原子，3个字句开始的第一行）1-540c字句结束是0，-5表示第5个原子的经典否定-15340-3-40上面字句集为：-12-{{x1,﹃x5,x4},{﹃x1,x5,x3,x4}{﹃x3,﹃x4}}调用minisattest.cnf将得到输出表示该字句集是可满足的，使之满足的赋值是把全部原子赋值为false（如果是赋值为true，则会输出该原子的编号）。-12-实验三Prolog基本编程环境1、实验目的通过Prolog环境下的编程，

5、了解基于逻辑的问题求解理论。并熟悉一个具体的Prolog语言，特别是各种数据结构，及其开发环境和开发方法。通过具体的编程实践，掌握基本的prolog解决问题的方法。2、实验原理Prolog（ProgramminginLogic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。3、实验内容1）快速排序：给定一个整数链表，按照给定顺序重排并输出。2）图着色：给定一个图（可以有各种表示），和一些颜色，输出对图的一种着色方案。3）图的给定两点的最

6、短距离：给定一个距离图（节点之间有距离），和其中的两个点，输出一个该两点之间的最短路径及其距离。4）N-皇后问题：给定一个N，输出在N个皇后在N×N棋盘上的一种可行布局(见参考程序)。4、实验描述及要求选择上述实验内容中的任何一个，完成实验并书写实验报告。5、实验步骤1）熟悉Prolog语言的基本规范；2）熟悉Prolog的基本数据结构3）熟悉Prolog解决问题的思路（链表和递归）。6、参考程序/*-------------------------------------NQueensproblemFileName:nqueen.plTorunatcommandl

7、inelike,swipl--quiet-cnqueen.plTocompileitintoanexefile,runlikeswipl--goal=goal-onqueen.exe-cnqueen.pl-12-revisedbyYisongWang(ys_wang168@sina.com)fromhttp://rosettacode.org/wiki/N-queens_problem#Prologviaaddingsomecomments.-------------------------------------------------------------