邓智欢
- 作品数:3 被引量:1H指数:1
- 供职机构:厦门大学软件学院更多>>
- 相关领域:自动化与计算机技术哲学宗教更多>>
- 含缺省约束的基于模型诊断方法
- 2005年
- 目前已有的诊断系统一般都默认有完备而可靠的模型,但在实际中常无法实现.因此,在目前已知的对待诊断设备的可靠描述之外,提出了可加入假设性的信息作为对无法完备模型的补充,并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式.进一步给出了在加入这些假设后的情况下,含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念,证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系,并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形,从而将理论与实现联系了起来.
- 邓智欢邓安生郭一晶
- 关键词:缺省理论一致性刻画
- 引入缺省性约束的基于模型诊断
- 在目前已有的诊断系统中,一般都默认其有完备而可靠的模型,但这在实际中常常无法实现.因此,在目前已知的对待诊断设备的可靠描述之外,本文提出可将假设性的补充信息加入到不能完备的模型中,并且这些假设采用了从规范缺省理论中的规则...
- 邓智欢郭一晶
- 文献传递
- 不一致信念的一种自顶向下的处理方法被引量:1
- 2005年
- 对假说中的信念按照其可靠程度进行分层,在假说增大时根据信念的可靠程度可以将信念加入到假说的相应层次中,在推理过程中将没有更可靠的相反信息的结论作为分层假说的最终结论,这种自顶向下的对不一致信念的处理方法能够保证基于不一致信念的推理具有良好的理论性质和直观背景.
- 邓安生郭一晶邓智欢
- 关键词:自顶向下信念假说