蒲树祯
- 作品数：2 被引量：15H指数：2
- 供职机构：重庆交通学院信息科学与工程学院更多>>
- 发文基金：国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- BDI模型信念特性研究被引量：11
- 2005年
- Agent计算的典型模型是BDI(belief,desire,intention),信念是Agent计算的重要属性.把信念拓展为知识性信念和可实现信念.Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性.Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性倾向和目标.用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了"逻辑全知问题"和逻辑蕴涵的副作用问题.可实现信念满足KD公理,知识性信念满足KDT4公理.两种信念适合描述Agent的意识状态和意识模型.
- 刘勇蒲树祯程代杰曹泽翰
- 关键词：AGENT信念意图
- 基于故障图模型的故障诊断方法研究被引量：4
- 2006年
- 在复杂系统故障诊断中,为了解决故障树模型过于简单和现有故障图模型过于复杂而且分解简化比较困难的问题,在故障树模型的基础上进行拓展,提出了具有扇入节点和层次节点的有向无圈的故障图模型,阐述了基于该模型的故障诊断和故障影响预测原理,并且给出了基于该模型的一系列相关预处理方法及算法.它们包括:生成子树库和生成可探测节点路径库的预处理方法、故障诊断推理算法和故障影响预测算法等.
- 刘勇蒲树祯曹泽翰周明天
- 关键词：故障树故障诊断专家系统
