OPS5的组成：产生式规则库、推理机、数据库，检查所有的HH规则的上下文雁力知识网，6.7.1骨架系统3.EXPERT系统FH规则：从事实到假设的规则，AGE（attempttogeneralize)：一种典型的模块组合式开发工具，通过AGE构造专家系统的途径：(1)用户使用AGE现有的各种组件作为构造材料，同时检测知识库中的知识是否存在矛盾、冗余等，方便地组合设计所需系统，还设置了评分函数，6.7.2通用型知识表达语言6.7专家系统的开发工具6.7.1骨架系统6.7.2通用型知识表达语言6.7.3专家系统开发环境6.7.4专家系统程序设计语言6.7.3专家系统开发环境专家系统开发环境（专家系统开发工具包）：可为专家系统的开发提供多种方便的构件，OPS5的特点：将通用的表达和控制结合起来，且任务不太难实现，6.7.1骨架系统3.EXPERT系统6.7专家系统的开发工具6.7.1骨架系统6.7.2通用型知识表达语言6.7.3专家系统开发环境6.7.4专家系统程序设计语言6.7.2通用型知识表达语言OPS5：美国卡内基－梅隆大学的麦可达莫特（J.McDermott）、纽厄尔（A.Newell）等研制开发的一种通用知识表达语言。
如果其左部为真，提供了专家系统所需的基本机制，是否具有等价、包含、相交等关系，（6）对假设的选择除可按上述方法选择可信度最大的外，事实：有待观察、测量和确定的证据，6.7.1骨架系统2.KAS系统6.7.1骨架系统3.EXPERT系统EXPERT系统:威斯（Weiss）、库里科斯基（Kulikowski）等人在CASNET系统（青光眼诊断系统）等的基础上于1981年设计完成的一个骨架系统，（2）存在真正的领域专家，不需运用大量常识性知识就可解决的任务，（3）置DH为空，6.5.1适合于专家系统求解的问题什么情况下开发专家系统，2.面向问题的语言：C语言、C＋＋语言，（4）从已有事实出发，并检测语法错误和一致性等，F(M,T)→F(PREGP,F)：如果M为真。
适用开发诊断和分类型专家系统，LISP语言（1960年，网络编辑程序：把用户输入的信息转化为相应的语义网络，H（A,0.2:1）H(B,0.1:1)→H(C,1)FF规则：从事实到事实的规则，6.7.1骨架系统1.EMYCIN系统6.7.1骨架系统2.KAS系统KAS系统：由PROSPECTOR系统抽去原有的地质勘探知识而形成的，（3）有明确的开发目标，则PREGP为假6.7.1骨架系统3.EXPERT系统推理过程：（1）由事实对所有的FF规则进行推理，6.7专家系统的开发工具6.7.1骨架系统6.7.2通用型知识表达语言6.7.3专家系统开发环境6.7.4专家系统程序设计语言6.7.4专家系统程序设计语言1.符号处理语言（面向AI的语言或AI语言）PROLOG语言（R.Kowalski首先提出；1972年，（2）从已有的事实出发，EXPERT系统的知识由假设、事实和决策规则三部分组成，KAS系统：采用产生式规则和语义网络相结合的知识表达方法及启发式正反向混合推理控制策略，F(A,T)F(B,F)[1:F(C,T),F(D,F)]→H(E,0.5)HH规则：从假设到假设的规则，(2)用户通过AGE的工具界面，******6.5.1适合于专家系统求解的问题1.什么情况下开发专家系统是可能的？（1）主要依靠经验性知识，（5）按假设所形成的推理网络进行推理，适用于开发解释型专家系统，并不偏向于某些特定的问题求解策略和知识表达结构，规则：描述事实和假设之间的逻辑关系，例如知识获取的辅助工具、适用各种不同知识结构的知识表示模式、各种不同的不确定推理机制、知识库管理系统等。
网络匹配程序：分析任意两个语义网络之间的关系，A.Comerauer及其研究小组研制成功）：基于演绎推理的逻辑型程序设计语言，就将其右部的假设存入PH中，定义和设计各种所需的组成部件，检查所有的FH规则，第6章_专家系统.ppt，以构成自己的专家系统。
许多早期专家系统（MYCIN、PROSPECTOR）是用LISP建立的，麦卡锡及其研究小组研制成功）：表处理语言，从而决定是否匹配，假设：由系统推出来的结论。
