【摘 要】
:
在处理不一致性知识时,因为以基于规则的演绎系统为模型的知识库采用一种AND/OR图的推导形式,所以不具有通常逻辑系统所普遍具有的平凡性。在这种情况下,难以判定目标结果的得出是否有不一致知识的参与,难以判定哪些结果是绝对安全的。在该文中研究人员通过剪枝技术,得到与不一致知识完全无关的推导信息,可以对绝对安全的目标结果给出证明。
【机 构】
:
吉林大学计算机科学系(长春) 中山大学计算机软件所(广州)
论文部分内容阅读
在处理不一致性知识时,因为以基于规则的演绎系统为模型的知识库采用一种AND/OR图的推导形式,所以不具有通常逻辑系统所普遍具有的平凡性。在这种情况下,难以判定目标结果的得出是否有不一致知识的参与,难以判定哪些结果是绝对安全的。在该文中研究人员通过剪枝技术,得到与不一致知识完全无关的推导信息,可以对绝对安全的目标结果给出证明。
其他文献
本文简要介绍了淬火过程的复杂性,并以实例说明了可以用MARC模拟出淬火工件在任一时刻、工件的任一点的温度变化。
采用PCVD工艺,可实现“扩散硬化层+硬质涂层”的复合处理,工件变形小,涂层的附着力强、致密性好。采用脉冲DC-PCVD法制成的TiAlSiCNO系纳米复合涂层,完全不使用脱模剂,模具的使用寿命大大延长,产品的精度大幅提高,而且作业环境也得到显著改善。采用PCVD方法可以提高类金刚石(DLC)涂层的附着力、耐热性、耐蚀性。另外,PCVD工艺,可应用于超级硼涂层表面改性,制成“超硬涂层”。
为了改善复合材料的力学性能,对2200℃热压烧结后的20vol%ZrCp/W复合材料进行了高温退火处理,退火工艺为2300℃/60min。结果表明,高温退火后,复合材料几乎达到了完全致密化,W2C相的生成量增多,复合材料中的缺陷减少,ZrC颗粒和W的晶粒尺寸增大。复合材料的弹性模量和维氏硬度变化很小,断裂韧性略有增大,而抗弯强度则急剧下降,这可能与晶粒尺寸增大和杂质元素在晶界的偏聚有关。
将Nb-V微合金钢在1200℃固溶0.5h后淬火,在500℃回火不同时间,淬火样品的显微硬度最高,随着回火时间延长,显微硬度先快速下降,随后上升,在回火4~10h时出现一个硬度峰,随后又缓慢下降。用三维原子探针(3DAP)研究碳化物的析出特征。结果显示,淬火样品中V、Nb元素分布均匀;随着回火时间延长,碳化物的尺寸逐渐增大,数量增加,在回火4~10h的样品中达到最多,与硬度峰对应,同时由V碳化物依
日本东方工程株式会社研制成功的可实现气氛控制的真空渗碳渗氮炉,采用“热传导探头”和“氧探头”双探头控制方法,可进行碳势和氮势的闭环控制,当工件形状与装炉量发生变化时,能自动调节原料气体的供给量,提高了渗碳均匀性,并能有效消除积碳,工艺稳定性和再现性好。广泛应用于高温渗碳、高浓度渗碳、低温渗碳、碳氮共渗、渗氮、氮碳共渗等表面改性处理工艺。
该文首先给出了作者设计的用于某导弹系统二次电源诊断的专家系统总体框架,并说明了各模块的功能;然后介绍了该专家系统中知识库建立的方法以及所采用的推理机制,即模糊推理与规则推理相结合的诊断推理方法,这种方法充分利用了模糊推理和规则推理各自的优点;最后给出了系统的诊断推理过程及流程图。
该文介绍了一个基于软件Agent技术的集成框架IFVO,并分别阐述了领域封装、软件Agent和软件Agent联邦、以及软件Agent联邦间通信机制等的设计机理与实现技术。
该文将类比推理技术引入状态空间的启发式搜索,提出了一种基于类比的启发式搜索方法。该方法能缩小搜索范围,提高问题求解效率。该文阐述了这种方法的基本思想和类比求解模型AMHS,分别讨论了它的三个推理过程:生成求解事例、检索相似事例和指导求解。
该文就口型识别的预处理过程中的口型定位和提取问题提出了一种新型的变化的最佳阈值方法,该方法使得嘴唇的轮廓线趋于最平滑,最接近嘴型的真实情况,从而改善了提取的口型特征,对提高口型的识别率有着明显的作用。
该文首先将各种对象的分类问题变成一个加权模糊推理问题,使得一个分类问题可分解成一组加权模糊推理来描述和解决,这比直接来解决原来的分类问题容易得多。进一步,论文又引进了模糊分类网络的概念,通过多层次的抽象,将一个分类问题能较容易地被分解成结构十分清楚的层次网络结构。论文以正文处理为例说明了这种模糊分类网络的广泛应用。文中所述的理论和方法在一些实际问题中的应用相当有效,与人工分类对照符合率很高。论文最