专家系统

人工智能并非专家系统，但是却或多或少的与专家系统有关系，可以说专家系统是人工智能很早期的存在形式。专家系统(ES, Expert System)是一种模拟人类专家解决领域问题的计算机程序系统。
专家系统具有如下的一些特点：
1）知识的汇聚
2）启发性推理
3）推理和解释的透明性
4）知识的更新
典型的专家系统模型如图：

LISP

1959年，麦卡锡基于阿隆索.邱奇(Alonzo Church)的λ-演算和西蒙、纽厄尔首创的”表结构”，开发了著名的LISP语言。

LISP语言特点
a、计算用的是符号表达式而不是数；
b、具有表处理能力，即用链表形式表示所有的数据；
c、控制结构基于函数的复合，以形成更复杂的函数；
d、用递归作为描述问题和过程的方法；
e、用LISP语言书写的EVAL函数既可作为LISP语言的解
释程序，又可以作为语言本身的形式定义；f、程序本身也同所有其他数据一样用表结构形式表示。 

LISP符合表达式
①符号：以字母开头不含规定的特殊字符的字符串，相当于其他语言中的变量。
②原子：LISP中不可再分割的对象，如数、符号、空表。
③表：若干个数或符号用括号括起来就构成一个表，表中的元素用空格分开，没有元素的表称为空表，用( )或者nil表示。
④符号表达式：原子和表的统称。

LISP语言基本函数
1）数值运算函数
2）求值与赋值函数
3）表处理函数
4）逻辑函数
5）条件函数
6）自定义函数和无名函数

专家系统实例

专家系统主要表现在以下两个方面：
1、专家拥有大量的知识。；
2、专家具有选择知识来解决问题的能力。

知识库模块
用于知识获取，建立知识库，并且把各条知识用链连接起来，形成“知识库规则链表”。此外，它还对包含最终结论的规则进行检测，做上标志。
数据库模块
用于把用户提供的已知事实以及推理中推出的新事实放入数据库中，并分别形成“已知事实链表”和“结论事实链表”。
推理机
用于实现推理，推理中凡是被选中参加推理的规则形成“已使用规则链表”。
解释机构
用于回答用户的问题，它将根据“已使用规则链表”进行解释。
推理过程
采用正向推理和反向推理。