基于prolog人工智能技术的计算机分析

《基于prolog人工智能技术的计算机分析》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、基于prolog人工智能技术的计算机五子棋博弈系统分析摘要五子棋是一种非常受欢迎的智力游戏，将益智游戏移植到电脑端也是一种主流趋势。实现游戏人机对战的一种主要方法是使用人工智能语言，构建规则，让计算机在执行每步以前进行计算，最终选择最为合适的步骤。在人工智能语言中，Prolog是一种主流逻辑语言，也是较为简单的逻辑语言。本文将以Prolog人工智能语言为基础，对计算机五子棋博弈系统进行分析。关键词：五子棋，人工智能，Prolog目录一、绪论4（一）研究背景4（二）研究意义4（三）文章结构4二、Prolog语言5（一）人工智能简介5（二）Prolog语言6三、

2、五子棋博弈系统分析8（一）五子棋博弈系统设计8（二）Prolog语言设计11四、总结13参考文献14一、绪论（一）研究背景五子棋是一种非常受欢迎的智力游戏，两个参与者各执黑白子进行博弈，以先将自己的棋子连五个一列、一行或者斜行为获胜。当将这个游戏实现软件化时，由于可能的步骤非常多，所以实施起来较为困难。人工智能（ArtificialIntelligence，AI）是最近兴起的一门计算机分支。人工智能研究的是模拟、扩展以及延伸人类的思维方式，最终做出类似于人类的逻辑判断。Prolog语言是一门应用广泛的人工智能逻辑语言，具有良好的逻辑性和实用性，是目前进行人工

3、智能和系统开发的重要工具。Prolog执行的实质是程序员预先建立输入和结果之间的逻辑关系，当用户进行输入时，同归这些规则进行匹配，寻求最符合逻辑的输出，最终求的最适宜的结果。通过使用Prolog逻辑语言进行编程，更为简单，逻辑性更加清楚。目前，应用市场存在不同的五子棋软件，这些软件拥有不同的编程语言，但是都是使用了人工智能技术。而Prolog是最常用、最简便的人工智能语言，因此也是应用最多的，构建五子棋游戏的程序设计。（二）研究意义五子棋之所以受欢迎，在于其简便有趣。通过人工智能技术可以让五子棋在电脑上运行，实现人机对战。在所有的人工智能语言中，Prolog

4、语言是最为方便的语言。综合考虑后，本文选择以Prolog语言为基础，对五子棋博弈系统进行分析。（三）文章结构本文是对基于prolog人工智能技术的计算机五子棋博弈系统分析。本文首先对人工智能和Prolog语言进行介绍，分析它们的优势与不足，并对Prolog的基本语法进行介绍。然后，本文会分析他人构建的一个五子棋博弈系统。最后，本文会简单设计一个基于Prolog的五子棋博弈系统。二、Prolog语言Prolog语言是一种重要的人工智能语言，目前广泛应用在美洲和欧洲的程序设计领域。本章首先对人工智能进行基本介绍，然后对Prolog语言进行了解并给出语法。（一）人

5、工智能简介人工智能是一个新兴学科，几乎每一个实现人机对战的程序都是通过人工智能语言对电脑端进行设计的。本小节将对人工智能进行介绍。1.人工智能的概念美国斯坦福大学的人工智能研究中心的尼尔逊教授有如下定义：人工智能是关于知识的学科，是怎样表示知识以及怎样获得知识并使用知识的科学[1]。人工智能实现了与人的思维相类似的判断活动。从学习的角度来讲，人工智能研究的是学习的规律，知识获取和使用的方法。2.人工智能的发展人工智能最早期的工作是有Warren和Walter两人，综合多种资源后，一起构建的神经元模型。在1951年，两名普林斯顿大学的研究生共荣构建了第一台基于

6、神经元网络的计算机。在1956年的一次重要的会议上，来自美国的一些优秀的年轻科学家共同参加了这个会议，他们包括数学家、心理学家以及计算机学者等。这些科学家共同讨论，通过了麦卡锡提出的“人工智能（ArtificialIntelligence，AI）”这一名称。这标志着计算机模拟人类思维的人工智能这一新兴的领域建立了。1969年的国际人工智能联合会召开了，这标志着人工智能这一学科正式受到了全球社会的认可。最初的人工智能系统较为单一，应用领域狭窄。知道20世纪80年代，随着多种知识的综合，各种专家共同努力，才开发了大型综合的开发工具、系统外壳以及集成的开发环境。目

7、前，人工智能在大规模环境下还不够成熟，但是作为一种程序编写技术，人工智能完全可以应用在各种软件当中。现阶段，人工智能的应用领域包括：专家系统，该系统有大量的知识与经验，可以模拟人类思维求解；机器学习，该领域研究人类如何获取一段知识，思维如何建立等内容，是建立高智能机器人的重要研究方面；模式识别，该领域研究人类获取一定的感知的过程，包括文字、语音以及图形等方面的识别；人工神经网络，即模仿人类的神经细胞建立联系的方式，根据权值对未来的一段时间内的信息进行合理推断；智能决策支持系统，即通过计算机进行辅助决策；自动定理证明，利用计算机进行非数值性判断，确定真假值；自

8、然语言理解及自动程序设计，将英文进行断句、翻译甚至直