极小诊断相关论文
基于模型的诊断是由Reiter在1987年提出的一种基于逻辑推理的故障诊断方法.待诊断系统的行为可以通过系统的输入输出变量之间的对......
提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。......
基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问......
为了解决模型系统的测点有限时所产生的极小诊断的组合爆炸问题,提出了增加系统测点,获取观测信息,从而减少极小诊断的智能方法.首......
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的......
