广东省自然科学基金(980260)
- 作品数：6 被引量：120H指数：4
- 相关作者：姜云飞陈荣马宁林笠陈海广更多>>
- 相关机构：中山大学吉林大学暨南大学更多>>
- 发文基金：国家自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于逻辑模型的电话网动态选路方法被引量：2
- 2000年
- 电话网动态选路问题是电信科技领域一个研究了多年的重要课题 .我国的电话交换网的交换设备型号繁多且来自多个不同的厂家 ,因此解决电话交换网选路问题将面临比国外更多的困难 .针对这种情况 ,提出了动态选路问题的电话网逻辑模型和基于该模型的选路方法 ,描述了据此方法研制的电话网动态选路系统 L MBDR.该系统可以在对电话网逻辑描述的基础上 ,通过推理得到动态选路方案 .分析了这种方法的优缺点 。
- 陈海广李磊姜云飞
- 关键词：人工智能知识库电话网动态选路逻辑模型
- 用辩论刻画含约束的诊断空间被引量：2
- 2001年
- 在含约束的极小诊断中故障部件的每个超集并非总能构成一个含约束的诊断 .作者把基于模型的含约束的诊断比喻成一个辩论过程 :一些部件可以指责某些部件出了故障 ;反过来这些部件也可以为自己辩护 .在作者所建立的辩论框架下含约束的诊断空间得到了紧致的刻画 .与相关工作相比 ,这种方法具有计算上的优势 ,它也可以解决极小诊断假设问题 .
- 陈荣姜云飞
- 一种基于规划知识图的规划识别算法被引量：52
- 2002年
- 提出了一种新的规划表示方法及规划知识图的概念.与目前规划识别领域广泛使用的Kautz方法相比,新的规划表示方法更加简便与直观。由于在规划知识图中增加了支持程度的概念,使得规划的识别可以随着收集到的新证据而合理地加以改变.所提出的基于规划知识图的规划识别算法把规划的识别问题转化为图搜索问题,因而其效率更高,但其识别结果与Kautz方法是一致的.
- 姜云飞马宁
- 关键词：人工智能
- 用对分HS-树计算最小碰集被引量：47
- 2002年
- 在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树的基础上增加新的分支即可,这种性质对实际诊断问题是特别有用的.对利用BHS-树的算法从理论上进行了分析和论证,并通过实际编写程序进行了检验.
- 姜云飞林笠
- 关键词：最小冲突集最小碰集人工智能
- 一种新的辩论推理模式及其应用被引量：4
- 2001年
- 文中定义了一个新的辩论推理模式 ,建立了一个形式化的知识表示框架 ,并把它应用于研究扩展逻辑程序类的说明语义 ,结果表明 ,新语义克服了择优语义的不足 .作者还根据上述研究结果实现了逻辑程序设计风格下的知识框架 .
- 陈荣姜云飞
- 关键词：非单调推理知识表示逻辑程序设计
- 含约束的基于模型的诊断系统被引量：18
- 2001年
- 在诊断空间中如何选取理想诊断是诊断系统面临的一个重要问题 .在实际的诊断过程中 ,人们会利用限制条件排除不太可能的诊断 ,或者利用强制条件选取较优的诊断 .按照这个思想 ,作者提出含约束的基于模型的诊断系统 ,通过增加依赖于应用领域的约束控制诊断空间 ,这是一种能够融入计算过程的选择诊断的机制 ;同时作者在系统拓扑结构的基础上给出了选取理想约束的理论依据 .
- 陈荣姜云飞
- 关键词：因果关系故障诊断系统
