命题可满足问题(propositional satisfiability problem,SAT)是人工智能领域的研究热点,也是数理逻辑及计算机研究中的核心问题,对......

基于模型诊断作为一个新兴的智能故障诊断技术,对人工智能领域的发展起到了至关重要的作用。如今,基于模型诊断的应用越来越广泛,......

基于模型诊断(model-based diagnosis)是人工智能领域中的重要研究方向,而基于极小冲突求诊断是求解诊断问题的经典方法,因此求解......