人工智能语言――ＰＲＯＬＯＧ.docVIP

人工智能语言――ＰＲＯＬＯＧ 　　摘要：Prolog是人工智能语言的一个典型代表。本文简要阐述了人工智能语言及其特点，并通过实例介绍了Prolog语言及其基本结构。 　　关键词：人工智能语言；Prolog；递归 　　中图分类号：TP312文献标识码：A文章编号：1009-3044(2008)05-10ppp-0c 　　 　　Prolog的思想最早由R. Kowalski提出，1972年，第一个prolog语言在法国的马赛研制成功，最初设计思想是以FOL为背景，设计一个处理逻辑推理问题的会话式语言。Prolog 目前是AI应用中重要的开发工具，也是开发知识库、ES、自然语言接口、智能信息管理系统的重要工具。 　　 　　1 什么是人工智能语言 　　 　　人工智能(AI)语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。能够用它来编写程序求解非数值计算、知识处理、推理、规划、决策等具有智能的各种复杂问题。典型的人工智能语言主要有LISP、Prolog、Smalltalk、C++等。 　　一般来说，人工智能语言应具备如下特点： 　　（1）具有符号处理能力； 　　（2）适合于结构化程序设计，编程容易； 　　（3）具有递归功能和回溯功能； 　　（4）具有人机交互能力； 　　（5）适合于推理。 　　人们可能会问，用人工智能语言解决问题与传统的方法有什么区别呢？ 　　传统方法通常把问题的全部知识以各种的模型表达在固定程序中，问题的求解完全在程序制导下按着预先安排好的步骤一步一步（逐条）执行。解决问题的思路与冯.诺依曼式计算机结构相吻合。当前大型数据库法、数学模型法、统计方法等都是严格结构化的方法。 　　对于人工智能技术要解决的问题，通常需要建立一个知识库，程序根据环境和所给的输入信息以及所要解决的问题来决定自己的行动，所以它是在环境模式的制导下的推理过程。这种方法有极大的灵活性、对话能力、有自我解释能力和学习能力。这种方法对解决一些条件和目标不大明确或不完备，的非结构化问题比传统方法好。它采用用试探法来解决问题。人工智能也尚未发展到完全能解决这类问题的全部问题。这类问题是人工智能研究要解决的问题。 　　 　　2 Prolog语言及其基本结构 　　 　　Prolog是当代最有影响的人工智能语言之一，由于该语言很适合表达人的思维和推理规则，在自然语言理解、机器定理证明、专家系统等方面得到了广泛的应用，已经成为人工智能应用领域的强有力的开发语言。现在的Prolog语言有许多版本，但它们的核心部分都是一样的。Prolog的基本语句仅有三种，即事实、规则和目标三种类型的语句，且都用谓词表示，因而程序逻辑性强，文法简捷，清晰易懂。另一方面，Prolog是陈述性语言，一旦给它提交必要的事实和规则之后，Prolog就使用内部的演绎推理机制自动求解程序给定的目标，而不需要在程序中列出详细的求解步骤。 　　2.1 事实 　　事实用来说明一个问题中已知的对象和它们之间的关系。在Prolog程序中，事实由谓词名及用括号括起来的一个或几个对象组成。谓词和对象可由用户自己定义。 　　例如，Bill likes Cindy.Cindy likes Bill.Bill likes dogs. 　　Prolog表示为：likes(bill, cindy). likes(cindy, bill).likes(bill, dogs). 　　2.2 规则 　　规则由几个互相有依赖性的简单句（谓词）组成，用来描述事实之间的依赖关系。从形式上看，规则由左边表示结论的后件谓词和右边表示条件的前提谓词组成。 　　例如，Cindy likes everything that Bill likes. 　　Caitlin likes everything that is green. 　　Prolog表示为： likes(cindy, Something):-likes(bill, Something). 　　likes(caitlin, Something):-green(Something). 　　2.3 目标（问题） 　　把事实和规则写进Prolog程序中后，就可以向Prolog询问有关问题的答案，询问的问题就是程序运行的目标。目标的结构与事实或规则相同，可以是一个简单的谓词，也可以是多个谓词的组合。 　　例如问题 ?-student(john).表示“john是学生吗？” 　　 　　3 Prolog的基本语句 　　 　　3.1 Prolog程序由一组事实和规则组成，如： 　　likes(george, swimming). 　　likes(susie, swimmin