国家自然科学基金(69873047)
- 作品数：7 被引量：31H指数：3
- 相关作者：姜云飞陈荣范昭赋陈海广李磊更多>>
- 相关机构：中山大学吉林大学更多>>
- 发文基金：国家自然科学基金广东省自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术机械工程电子电信更多>>
- 用辩论刻画含约束的诊断空间被引量：2
- 2001年
- 在含约束的极小诊断中故障部件的每个超集并非总能构成一个含约束的诊断 .作者把基于模型的含约束的诊断比喻成一个辩论过程 :一些部件可以指责某些部件出了故障 ;反过来这些部件也可以为自己辩护 .在作者所建立的辩论框架下含约束的诊断空间得到了紧致的刻画 .与相关工作相比 ,这种方法具有计算上的优势 ,它也可以解决极小诊断假设问题 .
- 陈荣姜云飞
- 基于逻辑模型的电话网动态选路方法被引量：2
- 2000年
- 电话网动态选路问题是电信科技领域一个研究了多年的重要课题 .我国的电话交换网的交换设备型号繁多且来自多个不同的厂家 ,因此解决电话交换网选路问题将面临比国外更多的困难 .针对这种情况 ,提出了动态选路问题的电话网逻辑模型和基于该模型的选路方法 ,描述了据此方法研制的电话网动态选路系统 L MBDR.该系统可以在对电话网逻辑描述的基础上 ,通过推理得到动态选路方案 .分析了这种方法的优缺点 。
- 陈海广李磊姜云飞
- 关键词：人工智能知识库电话网动态选路逻辑模型
- 关于智能诊断中模型的构建和应用被引量：7
- 2006年
- 在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模型方面的研究成果,其中包括分级结构抽象方法、基于状态转换的历程重构方法、依赖于任务的定量抽象方法以及利用过程代数的描述方法等。此外,本文还对诊断模型的构建的研究提出了自己的观点和建议。
- 姜云飞范昭赋
- 关键词：智能诊断模型构建
- 一种新的辩论推理模式及其应用被引量：4
- 2001年
- 文中定义了一个新的辩论推理模式 ,建立了一个形式化的知识表示框架 ,并把它应用于研究扩展逻辑程序类的说明语义 ,结果表明 ,新语义克服了择优语义的不足 .作者还根据上述研究结果实现了逻辑程序设计风格下的知识框架 .
- 陈荣姜云飞
- 关键词：非单调推理知识表示逻辑程序设计
- 含约束的基于模型的诊断系统被引量：18
- 2001年
- 在诊断空间中如何选取理想诊断是诊断系统面临的一个重要问题 .在实际的诊断过程中 ,人们会利用限制条件排除不太可能的诊断 ,或者利用强制条件选取较优的诊断 .按照这个思想 ,作者提出含约束的基于模型的诊断系统 ,通过增加依赖于应用领域的约束控制诊断空间 ,这是一种能够融入计算过程的选择诊断的机制 ;同时作者在系统拓扑结构的基础上给出了选取理想约束的理论依据 .
- 陈荣姜云飞
- 关键词：因果关系故障诊断系统
- 基于算子矩阵模型的程序诊断方法被引量：1
- 2005年
- 提出了用算子矩阵对程序进行建模的一般方法.在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较.显示了该方法对的适用性,并可以在诊断过程中,有机地结合关于问题的知识和关于程序的知识,使得诊断范围缩小,从而使诊断更精确,效率更高,显示了该方法的优越性.
- 范昭赋姜云飞
- 关键词：算子矩阵
- 拓展溯因逻辑程序设计的辩论理论基础被引量：1
- 2000年
- 讨论一类扩展的溯因程序 ,它包含经典否定、缺省否定、一致性约束以及溯因推理机制 .论文的主要思想是 :(1)本着限制某些假说 (包括不相容假说 )的攻击能力这样的出发点 ,定义一种更符合直观理解的“反驳”与“击败”概念 ,其中的 II-型击败关系具有动态的特点 ;(2 )首次尝试一致性约束可以引起假说间的反驳与击败 ,这使得一致性约束不再仅仅是全局性的相容约束 .基于这些思想提出的完全类语义拓展了
- 陈荣姜云飞
