开发专家系统的程序设计语言推荐

用于开发专家系统的程序设计语言有两大类：一类是面向处理数值问题的语言，如FORTRAN、PASCAL、C等，这类语言是为某些特定类型的问题设计的，主要用于数值处理，因此最适合于科学、数学和统计问题领域；另一类为符号处理语言，这是专门为人工智能应用而设计的，所以称为面向AI的语言。目前，适用于知识的表示与推理的程序设计语言主要有以下几种。

（1）LISP：适用于表格表示知识。MYCIN系统和PROSPECTOR系统都是用这种语言开发的。

（2）Prolog：适用于谓词逻辑表示知识。Prolog语言是基于演绎推理的一种逻辑型程序设计语言。可以根据问题有将有关的知识进行演绎推理，通过合一、置换、归结、回溯等逻辑演算，寻求适当的策略进行问题求解。

（3）C＋＋、Pascal：适用于状态空间表示知识。.

（4）RLL：是一种通用的知识表达工具，它提供了一套高级智能算子和符号结构，可以根据用户指定的目标语言和特征指标，生成具有所需功能的新的表达语言。其优点是比较灵活，建造者可根据领域问题的特点设计所需的知识表示及推理模型，程序设计的质量较高，针对性强。缺点是开发的工作量大，开发周期长，对不同的系统要做重复性工作，从而增加了系统的开发成本。

（5）通用型语言OPS5：美国卡内基—梅隆大学开发的一种通用知识表达语言，它的特点是将通用的表达式和控制结合起来，提供了专家系统所需的基本机制，不偏向于某些特定的问题求解策略或知识表达结构。OPS5允许程序设计者使用符号表示并表达符号之间的关系，但并不事先定义符号与关系之间的含义。

推理机制用规则库中的规则及数据库中的事实进行推理，步骤如下。(www.xing528.com)

（1）确定哪些规则的前提已满足（匹配）。

（2）选择一个前提得到满足的规则。如果得不到满足的规则，则中止运行（解除冲突）。

（3）执行所选择的动作。

（4）转（1）。

上述动作是行为序列的大框架，用户可以根据其意愿方式加入控制结构，即产生式系统本身确定使用什么样的控制及求解策略。