Atitit.5gl 第五代语言编程语言 PROLOG教程  人工智能语言的标准 与实现

 

1. 第五代语言就是自然语言又被称为知识库语言或人工智能语言,1

2. 人工智能语言特点2

2.1. 试探法2

2.2. 3.要有递归功能和回溯功能;2

2.3. prolog程序没有特定的运行顺序,其运行顺序是由电脑决定的,而不是编程序的人。 2

2.4. prolog程序中没有if、when、case、for这样的控制流程语句 前面已经说了,程序的运行方式有电脑自己决定,当然就用不到这些控制流程的语句了2

2.5.  prolog程序和数据高度统一2

2.6. 4. prolog程序实际上是一个智能数据库2

2.7. 5. 强大的递归功能2

3. ROLOG语言只有三种语句,分别称为事实、规则和问题。3

3.1. 完整的prolog程序是有事实和规则组成的。3

4. Index4

 

1. 第五代语言就是自然语言又被称为知识库语言或人工智能语言,

目标是最接近日常生活所用语言的程序语言。真正意义上的第五代语言尚未出现,LISP和PROLOG号称第五代语言,其实还远远不能达到自然语言的要求。

 

 

对于人工智能技术要解决的问题,往往无法把全部知识都体现在固定的程序中。通常需要建立一个知识库(包含事实和推理规则),程序根据环境和所给的输入信息以及所要解决的问题来决定自己的行动,所以它是在环境模式的制导下的推理过程。这种方法有极大的灵活性、对话能力、有自我解释能力和学习能力。这种方法对解决一些条件和目标不大明确或不完备,(即不能很好地形式化,不好描述)的非结构化问题比传统方法好,它通常采用启发式、试探法策略来解决问题。

 

在处理一些简单问题时,一般传统方法和人工智能用的方法没有什么区别。但在解决复杂问题时,人工智能方法与传统方法有差别。

 

 

作者:: 绰号:老哇的爪子 

 

2. 人工智能语言特点

2.1. 试探法

人工智能方法:人工智能要解决的问题,无法把全部知识都体现在固定的程序中。这种方法对解决一些弱结构(ill structured)问题比传统方法好。弱结构指“x”、“y”不大明确或不完备,即不能很好地形式化,不好描述。“->”用试探法。AI也尚未发展到完全能解决这类问题的全部问题。这类问题是AI研究要解决的问题

2.2. 3.要有递归功能和回溯功能;

2.3. prolog程序没有特定的运行顺序,其运行顺序是由电脑决定的,而不是编程序的人。

2.4. prolog程序中没有if、when、case、for这样的控制流程语句
前面已经说了,程序的运行方式有电脑自己决定,当然就用不到这些控制流程的语句了

2.5.  prolog程序和数据高度统一

2.6. 4. prolog程序实际上是一个智能数据库


prolog的原理就是关系数据库,它是建立在关系数据库的基础上的。在以后的学习中你会发现它和SQL数据库查询语言有很多相似之处。使用prolog可以很方便的处理数据。

2.7. 5. 强大的递归功能


在其它的语言中,你也许已经接触过递归程序了。递归是一种非常简洁的方式,它能够有效的解决许多难题。而在prolog中,递归的功能得到了充分的体现,你甚至都会感到惊奇,递归居然又如此巨大的能力。

 

3. ROLOG语言只有三种语句,分别称为事实、规则和问题。 

 

定义规则。上面这句话的意思就是,某人甲和某人乙是情侣的规则就是:某人甲爱某人乙,并且某人乙爱某人甲。上面用来分隔两个爱的句子的“,”表示并且的意思。 

当然为了能够让电脑运行,这个句子要改为英文的: 

lovers(X,Y):-love(X,Y),love(Y,X).     

 

3.1. 完整的prolog程序是有事实和规则组成的。

love(zhangxueyou,wanfei). 
love(zhangxueyou,zouhuimin). 
love(wanfei,xietinfen). 
love(zouhuimin,zhangxueyou). 
love(xietinfen,wanfei). 
love(xietinfen,zouhuimin). 
love(liudehua,zouhuimin). 
lovers(X,Y):-love(X,Y),love(Y,X). 

我们可以看出来,完整的prolog程序是有事实和规则组成的。事实用来储存一些数据,而规则用来储存某种可以推理出来的关系。 

 

prolog解释器的提示符号为“?-”,你只需要在在这个提示符后面输入自己的句子就可以了。让我们来看第一个询问: 

?-love(zhangxueyou,wanfei). 

 

在询问中我们可以使用大写字母代表未知的事物,让解释器找到答案。例如: 

?-love(zhangxueyou,X). 

这句话询问的是:都喜欢那些人。解释器将给出答案: 

X=wanfei; 
X=zouhuimin; 
no. 

注意1:上面的两个“;”是人工输入的,当解释器找到一个答案之后,它将这个答案输出,并且等待用户的进一步输入,如果用户输入“;”,解释器将继续寻找其他的答案,如果输入的是别的符号,解释器将终止查询。