不一致信念的一种自顶向下的处理方法

对假说中的信念按照其可靠程度进行分层，在假说增大时根据信念的可靠程度可以将信念加入到假说的相应层次中．在推理过程中将没有更可靠的相反信息的结论作为分层假说的最终结论，这种自顶向下的对不一致信念的处理方法能够保证基于不一致信念的推理具有良好的理论性质和直观背景．     

不一致信念的一种自顶向下的处理方法

对假说中的信念按照其可靠程度进行分层,在假说增大时根据信念的可靠程度可以将信念加入到假说的相应层次中,在推理过程中将没有更可靠的相反信息的结论作为分层假说的最终结论,这种自顶向下的对不一致信念的处理方法能够保证基于不一致信念的推理具有良好的理论性质和直观背景.     

如何提高学生对《离散数学》的学习兴趣

由于<<离散数学>>包含的内容比较抽象,结合多年的教学经验,本文总结了在该课程教学过程中可以穿插的内容,以激发学生对该课程的学习兴趣。     

含缺省约束的基于模型诊断方法

目前已有的诊断系统一般都默认有完备而可靠的模型，但在实际中常无法实现．因此，在目前已知的对待诊断设备的可靠描述之外．提出了可加入假设性的信息作为对无法完备模型的补充．并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式．进一步给出了在加入这些假设后的情况下，含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念，证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系．并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形．从而将理论与实现联系了起来。