AI程序设计语言.ppt

人工智能程序设计语言 概 述 前面几章，我们介绍了一些运用AI技术求解问题的一般方法。这些方法可运用于定理证明、自然语言理解、模式识别、专家系统等各个领域。要在计算机上实现，就涉及到计算机语言的问题。 严格地讲，可以使用任何计算机语言来实现这些算法。但是AI的主要课题是非数值计算的问题求解和知识处理等复杂问题，主要任务在于完成推理、规划、决策、分析、论证等智能行为，其中包括各种符号处理和表处理等。传统过程性语言不太适合AI方面的程序设计 AI语言的特点 具有回溯功能 具有模式匹配功能 守护功能（保护递归、回溯的现场） 过程说明功能（解释推理过程） 表达能力强（尤其对各种符号知识） 建立在严格的数学系统上（因为AI中的许多推理都有坚实的数学基础） 表处理功能 并行处理或分布处理（提高推理速度，实现时多采用模拟并行处理技术） 常用的AI程序设计语言 Prolog Lisp C C++ Smalltalk Prolog Prolog是Programming in Logic用逻辑进行程序设计的缩写 第一个Prolog系统是由Colmerauer及其研究小组于1972年在法国马赛研制成功 Prolog是完全基于一阶谓词逻辑基础上的，它的所有语句和推理都可以用Horn子句归结的形式表示，所以它又严格的数学基础 Prolog 的特点 逻辑型语言 语句类型简单，只有三种基本形式：事实、规则、询