专家系统中的辩论求解理论框架

D0I:10.13374/j.issn1001-053x.1994.02.017 第16卷第2期 北京科技大学学报 Vol.16 No.2 1994 Joumal of University of Science and Technology Beijing Ap.1994 专家系统中的辩论求解理论框架 吉冰溪郑德玲 北京科技大学自动化系，北京100083 摘要本文阐述了基于渗碳专家系统的问题求解策略·为了避免系统的主观性和片面性，提出用 多黑板作为问题的求解策略，使其非公认的渗碳领域问趣通过多专家进行辩论择优选出最佳解· 为此提出基于多元组命题性知识的辩论理论框架和辩论算法，对此进行了计算机仿真研究，结果 证明此方法是可行的， 关键词专家系统，渗碳，仿真，推理 中图分类号TP18 Research on An Argumentative Solving Theoretical Framework in Expert System Ji Bingxi Zheng Deling Department of Automatic Control.USTB,Beijing 100083,PRC ABSTRACT The strategy of solving problem based on heating treating carburizing is studied in this paper.In order to advoid a one sided view of the system,multi-blackboard system used as the strategy of solving problem,no-generally recognized problem of the carburizing is argued by experts.Then system chooses the best conclusion.The theoretical framework of ar- gument is builded based on propositional knowledge.From the framwork,several debate algorithms are designed according to different strategies.The results of the simulation prove the method is feasible. KEY WORDS expert system,carburizing,simulation,deduction 热处理一渗碳工艺中有一些非公认的领域知识，这些知识是渗碳领域至今尚未解决的问 题·为了避免系统求解的主观性和片面性，本文提出了采用多黑板求解问题的策略，多个专 家共同辩论，协同求解，以克服一般专家系统的知识单一、狭窄的缺点，提高了系统的可靠 性， 1多黑板的基本结构及功能 1993-02-30收稿 第一作者女30岁硕上

第 卷 第 期 年 月 北 京 科 技 大 学 学 报 正 少 专家系 统 中的辩论求解理论框架 吉冰溪 郑德玲 北 京科技大学 自动化系 ， 北京 摘要 本文 阐述 了基于 渗碳专家系统的 问题求解策略 为了避免系统 的主观性和 片面性 ， 提 出用 多 黑板作为 问题 的求解 策略 ， 使其非公认 的渗碳领域 问题通 过多 专家进行辩 论 择 优 选 出最 佳 解 为此提 出基于多元组命题性知识 的辩论理论框 架和 辩论算法 对此进行 了计算机仿真研究 ， 结果 证 明此方法是可行 的 关键词 专家系 统 ， 渗碳 ， 仿真 ， 推理 中图分类号 块 ℃们 附 一 肋 ， ， 洲 ， 嘟 五 犷 ， 】 一 此司 ， 一 助 】劝仄〕 孟对 血 比 以 ’ ， ‘ 叨 巴 五 皿 议 ， 以 云 ， ， 时 热处理一 渗碳 工 艺中有 一些 非公 认 的领 域 知 识 ， 这些 知识 是 渗碳 领 域至今 尚未 解 决 的问 题 为 了避 免 系统求解 的主观性 和 片 面性 ， 本文提 出 了采 用多 黑 板求 解 问题 的策 略 多个专 家共 同辩论 ， 协 同求解 ， 以 克服 一 般 专家系统 的知 识单一 、 狭 窄 的缺点 ， 提 高 了系 统 的可靠 性 多黑板的基本结构及功能 卯 一 一 收稿 第一作者 女 岁 硕 士 DOI ：10．13374／j ．issn1001－053x．1994．02．017

.176 北京科技大学学报 第16卷 本文提出的多黑板，由4块黑板组成，其基本结构如图1所示， KS1 问题黑板 [Ks2, KSm 仲栽系统 领域黑板 辩论黑板 KS21 … Ks2Ks…[ KS3M KS41 结论黑板 KS4z 。。。 图1多黑板系统 Fig.1 Multi-blackboard system (1)问题黑板问题黑板上装有用户或系统所提出的有关渗碳领域问题，对这些问 题，以多元组的形式放在黑板上.知识源采用正向推理把问题黑板上的问题与知识源中的知 识相匹配，求解此问题是否有解，及其解的类型· (2)领域黑板领域黑板是求解渗碳领域中公认的问题.在领域黑板中，知识源可分 为：元知识、观测知识源，渗碳状态预测和补偿知识源，目标状态选择知识源，控制任务知 识源. 黑板上的数据是分层组织的，如输入数据层、启动层、观测层、渗碳状态预测层、目标状 态层、控制任务层。 当输人数据，元知识对其操作，利用元规则得到以初始输入数据为依据的启动层，然后进人 观测层·由观测知识源对初始输人数据进行操作，利用规则及其标准获得以初始数据为依据 的观测事实数据，同时对领域黑板进行修改，增加事实观测数据，再进入渗碳状态预测阶段· 利用渗碳状态预测知识源，根据观测数据层提供的条件、信息，得到渗碳状态趋势预测之后，启 用目标状态知识源，选择在此状态下的参数和控制措施，最后给出最终解一渗碳控制任务指导， (3).辩论择优黑板在辩论择优黑板上每个专家有自己工作的子区，系统有一个公用 区.每个知识源在自己工作子区求解问题，然后把求解的结论（以命题的形式）放在公用区 中，仲裁系统调用辩论择优的策略和算法，经辩论后得出最佳结论，在辩论择优黑板中，数 据分区组织，不同区的数据具有不同层次概念.它们分别是：1)输入数据层；2)温度信 息层；3)碳势信息层；4)表面碳势层；5)碳层深度层；6)强渗和扩散分配层；7)碳势 分布预测层，它们分别为几个知识源提供推理条件或某一个知识源的推理结果， 知识源可分为：温度描述知识源、碳势描述知识源、表面碳势描述知识源、碳层深度 描述知识源、强渗与扩散分配知识源、碳层分布趋势知识源、确定控制输出知识源· (4)结论黑板用于记录最终对问题的求解结论，该结论主要有：1)只给一种结论， 这种情况是在全部参加的专家取得一致的意见时出现的.2)给出部分专家的结论及系统的 结论，这种情况是在经过专家辩论后把不同的专家结论和经辩论的结果送到结论黑板上

匕 京 科 技 大 学 学 报 第 卷 本文提 出的多 黑板 ， 由 块黑板组 成 ， 其基本结构如 图 所示 噜嘿 〕 寄瑶寄裂 〕 板 辩论黑板 匹公 亘通叶一区回 图 多黑板系 统 瑰 时一 肠 山 川 即油曰 问题黑 板 问题 黑 板 上 装 有 用 户 或 系 统所 提 出 的有 关 渗碳 领 域 问 题 对 这 些 问 题 ， 以多元组 的形 式放在 黑板上 知 识 源采 用正 向推理把 问题黑板上 的 问题与知识源 中 的知 识相 匹 配 ， 求解 此 问题是 否有解 ， 及 其解 的类型 领 域 黑板 领 域黑板是 求解 渗碳领 域 中公 认 的 问题 在 领 域 黑 板 中 ， 知 识 源 可 分 为 元知识 、 观测 知 识 源 ， 渗碳状 态预测 和 补偿知识源 ， 目标状态选 择知识源 ， 控制任务知 识源 黑板上 的数据是分层组织 的 ， 如输人数据层 、 启动层 、 观测层 、 渗碳状态预测层 、 目标状 态层 、 控制任务层 当输人数据 ， 元知识对其操作 ， 利用元规则得到 以初始输入数据为依据的启动层 ， 然后进入 观测 层 由观测 知 识 源 对初始 输人 数据 进行操作 ， 利用规则及其标准获得 以初 始数据为依据 的观测 事 实数据 同时对领 域黑板进行修改 ， 增 加事 实观测数据 ， 再进人渗碳状态预测 阶段 利用渗碳状态预测知识源 ， 根据观测数据层提供的条件 、 信息 ， 得到渗碳状态趋势预测之后 ， 启 用目标状态 知识源 ， 选 择在 此状态下的参数和控制措施 ， 最后 给出最终解一渗碳 控制任务指导 辩论择优黑板 在辩论择优黑板上每 个 专家有 自己 工 作 的 子 区 ， 系 统有 一 个 公 用 区 每个知 识 源在 自己 工作 子 区求解 问题 ， 然后 把求解 的结论 以命题的形 式 放在公 用 区 中 ， 仲裁 系 统调 用辩论择优的策 略和算法 ， 经辩论后得 出最佳结论 在辩论择优黑板 中 ， 数 据分 区组织 ， 不 同 区 的数据具有 不 同层次概 念 它 们分 别 是 输 人 数 据 层 温 度 信 息层 碳 势信息层 表 面碳 势层 碳层深度层 强 渗和 扩 散分 配层 碳 势 分 布预测 层 它们分别 为几个知识源提供推理条件或某一个 知识源 的推理结果 知 识 源 可分为 温度描述 知 识源 、 碳势描 述 知 识 源 、 表 面 碳 势 描 述 知 识 源 、 碳 层 深 度 描述 知识 源 、 强 渗与扩 散分 配知识 源 、 碳层分布趋 势知识 源 、 确定控制 输 出知 识源 结论黑板 用于 记 录最终 对问题 的求解 结 论 该 结 论 主 要 有 只 给 一 种 结 论 这种情况 是 在全部参加 的专家取得 一致 的意 见 时 出现 的 给 出部分 专家 的 结 论 及 系 统 的 结论 这种情 况是 在 经过专家辩论后 把不 同的专家结论和 经辩 论 的结果送到 结论黑板上

第2期 吉冰溪等：专家系统中的辩论求解理论框架 177, (5)仲裁系统及多黑板的工作过程仲裁系统用来控制黑板的工作情况.它控制黑板 的选择（领域黑板、辩论黑板、结论黑板）及辩论策略的选择和算法的选择.仲裁系统中 用一个框架灵活地选择适当的控制策略， 2对非公认问题的辩论求解框架 由渗碳过程可知，提高温度或增加碳热可加快碳在钢中的扩散，缩短渗碳时间，提高渗 碳效率，但是，这两种参数的作用是有限的，碳势过高易形成大量的碳黑及出现大晶粒或网 状碳化物；温度过高会缩短炉子的寿命，并使钢材晶粒变大，导致工件机械性能降低· 强渗和扩散时间的分配直接影响渗碳工件的质量和寿命，如何合理选择这几个参数是渗碳技 术的关键，也是渗碳工艺中争议较大的问题之一·因此，这个问题靠某一个专家来解决是不 充分的，雅免会带有片面性和主观性· 在辩论择优黑板上，由于是同一渗碳领域多位专家组成的专家组来共同解决同一领域问 题，因而不可避免地会持有不同的观点·各人所持的观点不同，定会产生冲突·因此，多个 专家解决同一问题时，如何解决冲突？在本系统采用辨论方法处理矛盾，为了解决此问题， 提出了一个基于命题性知识的辩论的理论框架，在此框架下，给出了进行辩论的算法，下面 需要引人一种知识系统的抽象模型. 设5元组S=(F,R,n,o,A6)为基于命题知识系统，其中，F是命题知识集；R为施于 命题知识之上的形式推理规则集；I,为命题性知识集，称为S输入表；，为命题性知识集， 称为S输入表：，=C,称为S的固有输出表；A,=C心一1。，称为S的增量输出表. 设有两个命题性的知识源系统S,S:S,=(F,R,In1,1o,Ao,S2=(F2,R2,1n2,L。2 A。2,若对于同一渗碳领域问题Q,S,得出的结论=(p,b),S,得出的结论=（乃2，b2).当 S,和S,的结论之间存在差异时，应该进行辩论·本文的辩论思想是：首先，S,S,之间应该 有双方共同认可的偏差函数1()、折中函数c(x,y)和一个总的命题表（集合）P;其 次，需要用函数A()和折衷函数c(x,y)对S,和S,中的F和F2进行折衷并对折衷进行求同 运算，以便产生一个被S,和S2共同认可的知识集合（记为CF).CF在1下的相容性由F,F2 的相容性的折衷函数保证.另外，还需要有一个被S,和S,双方共同认可的推理规则集，一 般记为CR.这样，由CF,CR,CI,CIo,CA,构成一个新的知识系统，一般记为CS=(CF, CR,CIn,CI,CA).最后是进行辩论.以S,为例，S,对于S2得出的结论f,若将∫'作为CS 的输入，可以由CS推出矛盾的结论，则S,宣告失败；S,也可利用S,给出的∫'的RP'按照 某种策略选出一命题性知识∫”去证明∫”是错误的，以此不断地进行这样的选择，直到战 胜S,为止.同样，S,也可以进行类似的计算，以便战胜S,(其中令F为命题性知识集，FR 为规则集，∫为一命题性的知识，称F为∫在FR下的相关形式前题集，记为RP) 设F,F,为基于命题知识的知识集，1为偏差函数，可以用函数Compromise(入，F,F) 来表示F与E,在1下的折衷运算，Compromise(亿，F,F)=FF:· 设F为一知识集，平为求同函数，用函数Seek-Common(平，F)来表示对F的求同运 算，即Seek-Common(平，F)=⑧F. 设F为基于命题性的知识的知识集，S是一谓词，可用函数Select(F,S)表示一运算

第 期 吉冰溪等 专家系统 中的辩论求解理论框架 仲裁系 统及多 黑板 的工作过程 仲裁 系 统 用 来 控 制 黑板 的工 作 情 况 它 控 制 黑 板 的选择 领域黑板 、 辩论黑板 、 结论黑 板 及 辩 论策 略 的 选 择和 算 法 的 选 择 仲裁 系 统 中 用一个框架灵 活地 选择适 当的控制策略 对非公认问题的辩论求解框架 由渗碳过程 可 知 ， 提高温度或增 加碳 热可加快碳在 钢 中的扩散 ， 缩短 渗碳 时 间 ， 提高 渗 碳效率 但是 ， 这两种参数 的作用是 有 限的 碳势过高易形成大量 的碳黑及 出现大 晶粒或网 状碳化物 温度过 高 会缩 短 炉 子 的 寿命 ， 并 使钢 材 晶 粒 变 大 ， 导 致 工 件 机 械 性 能 降低 强 渗和扩散 时间的分配直接影 响渗碳工 件 的质量 和寿命 如何合理 选 择这几个参数是 渗碳技 术 的关键 ， 也是渗碳工 艺 中争议较大的 问题之一 因此 ， 这个 问题靠某一个专家来解 决是不 充分 的 ， 难免会带有 片 面性 和 主观性 在辩论择优黑板上 ， 由于 是 同一 渗碳领域多位 专家组成 的专家组来共 同解 决 同一领域 间 题 ， 因而 不 可避免地 会持有 不 同的观 点 各人所持 的观点 不 同 ， 定 会产生冲 突 因此 ， 多个 专家解 决 同一 问题时 ， 如何解决冲 突 在本系 统采用辨论方法处理 矛 盾 为 了解 决此 间题 ， 提 出 了一个基于命题性知识 的辩论的理论框架 在此框架下 ， 给出 了进行辩论的算法 下面 需要 引人一种知识 系统的抽象模型 设 元组 ， ， 几 ， ， 为基于命题知识系 统 其 中 ， 是命题知 识 集 为 施 于 命题知 识之上 的形式推理规则集 为命题性 知 识 集 ， 称 为 输 人 表 为命题性 知 识 集 ， 称为 输人表 几 伴 ， 称为 的固有输 出表 鸡 一 龙一 。 ， 称为 的增量输 出表 · 设 有 两 个命题性 的知 识 源 系 统 ， 又 ，二 名 ， 风 ， 二 ， 。 ， 。 ， 又 凡 ， 凡 ， 几 ， ， 。 若对于 同一渗碳 领 域 问题 ， 凡得 出的结论 关 印 ， ， 又得 出 的结论 人 几 ， 当 和 凡 的结论之 间存 在差异 时 ， 应该进行辩论 本文 的辩论思 想是 首 先 ， ， 又之 间 应该 有 双方共 同认 可 的偏 差 函 数 又的 、 折 中 函 数 。 ， 和 一 个 总 的 命 题 表 集 合 ， 其 次 ， 需要 用 函 数 又的 和折衷 函 数 。 ， 力 对 ， 和 又 中的 和 凡 进行折衷并 对折衷 进 行 求 同 运算 ， 以 便产生 一个被 和 又共 同认可 的知识集合 记 为 在 又下 的相容性 由 只 ， 凡 的相容性 的折衷 函数保证 另外 ， 还 需要 有 一 个被 凡和 又双 方 共 同认 可 的 推 理 规则 集 ， 一 般记 为 这样 ， 由 ， ， 。 ， ， 。 构成 一 个 新 的 知 识 系 统 ， 一 般 记 为 ， ， ， 。 ， 。 最后 是 进行辩 论 以 凡为例 对于 凡得 出的结论 ， 若将 ’ 作为 侥 的输人 ， 可 以 由 推 出矛 盾 的结论 ， 则 又宣告失败 况也 可利用 又 给 出 的 的 双尸 ‘ 按 照 某种策 略选 出一命题性 知 识 飞 去 证 明 ” 是 错误 的 ， 以此 不 断地进行 这样 的 选 择 ， 直 到 战 胜 凡为止 同样 ， 又也可 以 进行类 似 的计算 ， 以 便 战胜 凡 其 中令 为 命题 性 知 识 集 ， 为规则集 ， 为一命题性 的知 识 ， 称 为 在 下 的相 关形 式前题集 ， 记 为 只尸 设 名 ， 凡 为基于命题知 识 的知识 集 ， 又为偏 差 函 数 ， 可 以 用 函 数 “ ， 凡 ， 勾 来表示 兀 与 凡 在 下 的折衷 运算 ， 以 ， 兀 ， 凡 一 兀贯凡 设 为一 知识集 ， 甲 为 求 同 函 数 用 函 数 一 甲 ， 来 表 示 对 的 求 同运 算 ， 即 一 山 甲 ， ⑧ 设 为基 于命题性 的知识 的知 识集 ， 二 是 一谓 词 ， 可 用 函 数 。 沈 ， 刃 表 示 一 运 算

-178 北京科技大学学报 第16卷 从F中选择一满足谓词S的元素的函数.当有几个F的元素同时满足S时，该函数随机从 中任选一个. 设有两个基于命题性知识的知识源系统S=(F,R,In1,Io1,Aoi)和S2=(F2,R,I2,Io2, Ao2,1,(p)和c(x,y)分别为双方认可的偏差函数和折衷函数，平为求同函数，下面给出S, 的辩论算法· 在算法中，设F,F,R,R2分别为S,=(F,R,n1,L。,A。1)和S2=(F2,R,n2,Io2,A2) 两知识系统的知识集和推理规则集；1(P以，c(x,y)和CR分别为双方认可的偏差函数，折衷 函数和推理规则集；平为S,的求同函数，str(t,m)为一单调递增（按t变化）递归函数称 为限制函数：S,为一可判定谓词，称为条理谓词；f为S确认其为正确的命题性知识，m,n 分别为正整数，I Seek一ommon((平，Compromise(2,F,F)川≤m,且对任意t<n,执行算 法A,步有循环不等式IC|≤est女(t,m).若算法AS输出， (I)output-=S2:resign,则S,在辩论中战胜S2;(2)out=no way,.'则S,在（时间）t<n 和S引导的情况下无法驳倒S, 算法中C[estr(t,m)】意即C的计算应保证在IC1≤str(t,m)条件下结束，选择 条件谓词在算法中是重要的，它可以体现辩论者的辩论策略， 算法AS|: ST1,输人F,F2,R,R,CR,∫，m,n.{∫为S,S2双方有争议的结论，S认为∫有错， CR为双方共同承认的推导规则集}·ST,置CF=①（空集），CLn=RP:=SF:=D,t:=0,out put:=";ST3,CF:=compromise(2,F,F){求F,F在2下的折衷；ST4,CF: =Scek-Common,CF),{对CF求同运算}3ST乃，C.:=CL,U{f,SF=SFU{f};ST6, CF:=CFJCI;ST7,计算C器[estr(亿，m)】,{restr(,m)为限制函数；ST8,如果C 在1下为不相容的，则S,取胜，S2失利，置`output:=S2,sgn,转ST7;ST9,请求S,系 统计算并提供RP,RP:=RPU JRP;ST1O,∫：=e(空命题性知识)；ST11,如果RP≠中，则S 不能驳倒S,把output:=“no way",转ST7:ST2,f:=-selct(RP,S,{S,是选择性 条件谓词}，若feSF&∫≠e,则RP:=RP-{f,转STI1,否则SF:=SFU{f;STI3,如 1.2r 1.04 0.8 C 0.6 0.2 ., 0.0 cd=0.90 0.25 0.500.751.001.251.50 距离/mm 图2碳浓度分布趋势(A组) Fig.2 Distributed trend of carbon density (A group)

技 大 学 学 报 第 卷 从 中选 择一满 足 谓词 今 的元 素 的 函数 · 当有 几个 的元 素 同时满足 今 时 ， 该 函数随机从 中任选一 个 设有 两个基 于命题性 知 识 的知 识源 系 统 只 ， 风 ， 。 ，， ， 。 ， 和 凡 凡 ， ， ， 。 ， 。 ， 又 ， 川 和 。 ， 分 别 为双方 认可 的偏 差 函 数和 折衷 函 数 ， 甲 为 求 同 函 数 ， 下 面 给 出 凡 的辩论算 法 在算法 中 ， 设 ， 凡 ， 尺 ， 尺 分别 为 ， ， ， ， 。 、 和 又 凡 ， 凡 ， ， ， 浅 两知 识系 统 的知 识集 和 推理规则集 又 ， ， 力 和 分别 为双方 认 可 的偏 差 函 数 ， 折 衷 函数和推理规则集 甲 为 ， 的求 同 函数 ， 璐 ， 间 为一 单调递增 按 变 化 递 归 函 数 称 为限制 函 数 ， 为 一 可判 定 谓 词 ， 称 为条理 谓词 为 又确认其为 正确 的命题性 知识 ， ， 刀 分别 为正 整 数 ， 一 甲 ， 几 ， 巩 ， 凡 ， 且 对任 意 ， 执 行 算 法 步 有循 环 不等式 《 李 ’ 蕊。 ， 若算法 输 出 又 ， 则 凡在辩论 中战胜 凡 ，’ 则 凡在 时 间 和 ， 引 导 的情况 下 无法 驳倒 又 算法 中 【二 ， 意 即 麟 ’ 的计算应保证在 嗯 ‘ 二 ， 条件 下 结 束 选 择 条件 谓词 在算法 中是 重要 的 ， 它 可 以体现辩论者 的辩论策 略 算法 ， 输人 只 ， 凡 ， 风 ， 凡 ， ， 。 ， 。 为 凡 ， 又双 方 有 争 议 的结 论 ， ， 认 为 有 错 ， 为双方共 同承认 的推 导规则集 兀 ， 置 。 空集 ， ，二 二 。 ， ， “ ， 以 ， 兀 ， 凡， 求 名 ， 凡 在 又 下 的 折 衷 ， 一 一 洲 ， ， 对 求 同 运 算 乃 ， 。 一 几 ， 一 肠 ， 一 日 ， 计 算 喂 ’ ‘ ， ， ， 次 为限制 函数 月 ， 如果 群 ’ 在 又下 为不相 容 的 ， 则 ， 取 胜 ， 又 失 利 ， 置 ’ 。 凡 ， 心 ， 转 月 ， 请求 又 系 统计算并 提供 尸 ， 一 ，日 尸 刀 ， 一 “ 空 命题性 知 识 ， 如果 并巾 ， 则 凡 不 能驳倒 又 ， 把 一 “ ” ， 转 月 几 ， 一 。 ， 今 、 ， ， 是 选 择性 条件 谓 词 ， 若 任 笋 “ ， 则 一 尸 一 ， 转 ， 否 则 一 日 几 ， 如 ………………………………………一一、 叮荞 … … 记 二 距离 厂 图 碳浓度分布趋势 组 龟 】 回 加胜月 泊盆 ’ 阅 山画勺 即阅

第2期 吉冰溪等：专家系统中的辩论求解理论框架 .179, 12r 1.0 e 0 0.4 0.2 0.0 tuw ■0d=0.9 0.25 0.500.75 1.00 1.251.50 距离/mm 图3碳浓度分布趋势(B组) Fig.3 Distributed trend of carbon density (Bgroup) 果f=e则修改S,转ST12;ST14,RP:=RP-{f}；ST5,t:=t+1;STI6,如果t≥n,则在 t<n的情况下，S,驳不倒S,置output:=‘no wayl t<n',否则转STS;S717,算法结束， 输出output.而另一组B专家则从炉子的寿命和工件质量等考虑，采用渗碳温度为920 ℃，强渗碳势为1.2%，扩散碳势为0.65%，其强渗时间为222mim,扩散时间为128min,其 碳浓度分布趋势如图3所示，采用多专家辩论、择优，得其在渗碳温度为920℃强渗碳势 为12%C,扩散碳势为0.66%，B组专家战胜A组专家.从图3可以看出，其表面到心部 碳势是连续、均匀而平缓的降低，具有较好的碳浓度分布趋势·而前者则不是如此，这种浓 度梯度曲线，不仅会使表面硬度降低，而且会产生不理想的残余应力分布· 4结论 (1)从理论上提出了一种解决一般领域问题和非公认领域问题的有效方法，其辩论理 论框架是可行的， (2)由于系统采用多专家辩论求解，提高了渗碳的质量，从而也提高了专家系统的可 靠性和实用性， 参考文献 1 Zheng Deling.New Researches on thee Blackboard Architecture.Advances in Modelling &Analysis,1994,21(3):1 2王富东.基于黑板模型的智能控制结构.信息与控制，1990，(1)：2

第 期 吉冰溪等 专家系 统 中的辩论求解理论框架 哭 才 ………】…】……一 … … 记 二 方 距离 图 碳浓度分布趋势 组 瑰 如的 山她 仕曰日 口 朋 山因勿 毋 粤 叩 果 。 ， 则修改 凡 ， 转 几 几 ， 二 一 月 ， 二 几 ， 如果 ， 则在 的情 况下 ， 况驳不倒 又 ， 置 二 ‘ ’ ， 否 则 转 乃 ， 算 法 结 束 ， 输 出 而 另 一 组 专家 则 从 炉 子 的 寿命 和 工 件 质 量 等 考 虑 ， 采 用 渗 碳 温 度 为 ℃ ， 强 渗碳 势 为 ， 扩散碳 势 为 ， 其 强 渗 时 间为 ， 扩散 时 间为 ， 其 碳浓度分布趋 势如 图 所示 采 用 多 专家辩论 、 择优 ， 得 其在 渗碳 温 度 为 ℃ 强 渗 碳 势 为 ， 扩散碳 势为 ， 组 专家 战胜 组 专家 从 图 可 以 看 出 ， 其 表 面 到 心 部 碳势是 连续 、 均 匀 而平 缓 的降低 ， 具有 较好 的碳 浓度分布趋 势 而前者则 不是 如此 这种浓 度梯度 曲线 ， 不仅会使表 面硬度 降低 ， 而 且 会产 生不理想 的残余应力 分布 结 论 从理 论上 提 出 了一种 解 决一般领域 问题 和 非 公 认 领 域 问题 的有 效 方 法 ， 其辩 论理 论框架是 可行 的 由于 系 统采 用 多 专家辩论求解 ， 提 高 了 渗碳 的质 量 ， 从 而 也 提 高 了 专家 系 统 的 可 靠性 和实用性 参 考 文 献 。 曰王 ℃ ， ， 王 富东 基 于 黑 板 模 型 的智 能 控 制 结 构 信 息 与控 制 ，