利用CSP求解极小碰集的方法

DOI: 10.7544/issn1000-1239.2015.20131478

Keywords: [极小碰集, 约束可满足问题, 基于模型诊断, hard-冲突集, soft-冲突集, minimal conflict sets, constraint satisfaction problem, model-based diagnosis (MBD), hard-conflict set, soft-conflict set]

Full-Text   Cite this paper   Add to My Lib

Abstract:

基于模型诊断是人工智能领域中具有挑战性的问题，包含了很多人工..

Full-Text