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