资源描述：
《《AI程序设计语言》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、人工智能 程序设计语言概述前面几章，我们介绍了一些运用AI技术求解问题的一般方法。这些方法可运用于定理证明、自然语言理解、模式识别、专家系统等各个领域。要在计算机上实现，就涉及到计算机语言的问题。严格地讲，可以使用任何计算机语言来实现这些算法。但是AI的主要课题是非数值计算的问题求解和知识处理等复杂问题，主要任务在于完成推理、规划、决策、分析、论证等智能行为，其中包括各种符号处理和表处理等。传统过程性语言不太适合AI方面的程序设计人工智能AI语言的特点具有回溯功能具有模式匹配功能守护功能（保护递归、回溯的现场）过程说明功能（解释推理过程）表达
2、能力强（尤其对各种符号知识）建立在严格的数学系统上（因为AI中的许多推理都有坚实的数学基础）表处理功能并行处理或分布处理（提高推理速度，实现时多采用模拟并行处理技术）人工智能常用的AI程序设计语言PrologLispCC++Smalltalk人工智能PrologProlog是ProgramminginLogic用逻辑进行程序设计的缩写第一个Prolog系统是由Colmerauer及其研究小组于1972年在法国马赛研制成功Prolog是完全基于一阶谓词逻辑基础上的，它的所有语句和推理都可以用Horn子句归结的形式表示，所以它又严格的数学基础人工
3、智能Prolog的特点逻辑型语言语句类型简单，只有三种基本形式：事实、规则、询问接近于自然语言，简洁明了，易写易读数据和程序结构一致（都由项构成，便于将a程序的输出作为b程序的输入）能自动进行匹配和回溯可大量使用递归人工智能Prolog的程序结构Prolog程序包括常量段、域段、数据库段、谓词段、目标段和子句段；另外还可以在程序首部设置编译指令，在程序中加注释通常，一个Prolog程序不一定包括所有段，最常用的有子句段、谓词段、域段。如果需要产生一个可独立执行的程序，还需要有目标段人工智能/*注释*/编译指令constants常量说明Doma
4、ins域语句Database数据库说明Predicates谓词语句Goal目标语句Clauses子句语句人工智能子句段是整个程序的核心，所有的事实和规则都在子句段列出，例如Clauseslike(Bill,Cindy).like(Cindy,Bill).like(Bill,dogs).like(A,C):-like(A,B),like(B,C).parent(ZhangYi,ZhangEr).人工智能谓词段Prolog有许多内部谓词，如read,write,makewindow等，对内部谓词不需说明在程序中，若定义了自己要用的外部谓词，如上例
5、中like，parent，则必须在谓词段加以说明，例：Predicateslike(symbol,symbol)parent(symbol,symbol)人工智能域段域就相当于类型说明，如上例中parent中的两个参数，应该是两个人名，则下面的程序更好理解Domainsname=symbolPredicatesparent(name,name)通过域，可以说明标准域中没有定义的数据结构Domainsarticles=book(title,author);horse(name)title,author,name=symbolPredicates
6、own(name,articles)Clausesown(John,book(ABC,Ding)).own(John,horse(blacky)).标准域：integer,char,real,ref,string,symbol人工智能目标段目标段输入要解决问题的语句也可以省略目标段。若省略目标段，则在运行时程序会等待用户输入一个目标，然后才能运行，这时称为外部目标若把目标写在目标段中，则程序运行时，自动执行目标，直接显示运行结果，这种目标称为内部目标目标段的作用有点类似于主程序人工智能目标段Predicatesrun(char)Clauses
7、run(X):-write(“first”),readchar(X).run(X):-write(“second”),readchar(X).运行时，会在对话窗口提示输入一个目标，若输入目标run(X).则输出first，然后按一个键接着输出second，再按一个键，就结束了外部目标运行时，Prolog寻找所有解人工智能目标段Predicatesrun(char)Clausesrun(X):-write(“first”),readchar(X).run(X):-write(“second”),readchar(X).Goalrun(X).运行
8、时，直接显示运行结果，输出first，然后按一个键，就结束了注意：在有内部目标时，Prolog只寻找第一个解人工智能程序执行和匹配法则Prolog的程序执行过程就是
