|
目前已有的开发工具分为四类
*人工智能语言
*专家系统外壳
*通用型专家系统工具
*专家系统开发环境
1 人工智能语言
(1)表处理语言LISP——LISt Processing Language
是麦卡锡和他的研究小组在1960年研制实现的人工智能语言
*MAC LISP 麻省理工
*Inter LISP 斯坦福大学
*Common LISP 前两者+DEC+Xerox 1983年完成
*LISP特点
--*适合于处理符号的语言
--*是一种典型的函数型语言，没有语句的概念
*LISP程序：一串函数定义，串函数调用，主要控制结构是递归
(2)逻辑程序设计语言PROLOG--PRO gramming in LOG ic，是由科瓦尔斯基首先提出，1972研制实现的一种逻辑设计语言
PROLOG的主要特征：
*在PROLOG程序中仅含事实、规则、询问、不存在语言的控制结构（条件、循环、转向等）
*PROLOG语言具有自动实现搜索、模式匹配、回溯功能
*PROLOG的数据结构和程序结构统一，所有数据和程序都是由项构造而成
*递归是PROLOG的重要特征，把大数据结构作为小程序来处理
(3)面向对象的程序设计语言SMALLTALK
是施乐公司1972年为个人计算机DYNABOOK开发的一种语言SMALLTALK-74,-76,-78,-80
主要特征
*是一种面向对象的程序设计语言
*通过传递消息实现过程调用
*具有较大的灵活性，可扩充性
2 专家系统外壳
*专家系统外壳又称为骨架系统，由一些已经开发成功，在实际使用中被证明为行之有效的专家系统演变而来。抽取这些专家系统中具体的知识，保留它的体系结构和功能，再把领域专用的界面改为通用的界面，就得到了相应的专家系统外壳
*在专家系统外壳中，知识表示模式、推理机制是确定的，用外壳建造专家系统时，需把相应领域的知识用外壳规定的模式表示出来，装入知识库中。
*目前常用的专家系统外壳有
EMYCIN KAS EXPERT |
3
通用型专家系统工具
(1)OPS5
(2)ART
是由美国的克莱顿和威廉姆斯等人研制开发的一种基于规则、基本框架，面向过程的通用型工具
ART的组成
知识语言：产生式规则、框架、过程表示领域知识
编译程序：知识语言表示的领域知识转换成内部表示
推理机：正向、逆向、混合推理
4 专家系统开发环境---专家系统开发工具包
国外又GURU、AGU、KEE、ProKappa
国内有《天马》中科研教学所与浙江大学等七个单位联合开发的，国家“七、五”攻关项目，1990年10月完成
<天马>由
四部推理机：常规推理机、规则推理机、演绎推理机、近拟推理机
三个知识获取工具：知识库管理系统、机器学习、知识求精
四套人机接口生成工具：窗口、图形、菜单、自然语言
知识的表示模式：框架、规则、过程
AGE--Attermp to GEneralize 是由斯坦福大学研制的，是在对DENDRAL、MYCIN、AM、NOLGEN进行解剖分析并抽取其关键技术而形成的一个建造工具 |
|
