Learning constraint orderings for direct diagnosis
摘要
The ability to efficiently resolve conflicts in interactive constraint-based applications is critical for user experience and system reliability. Conflict resolution can be regarded as a specific type of explanation, often denoted as diagnosis. Existing work on integrating machine learning with diagnostic reasoning emphasizes on the combination of hitting set approaches with probabilistic reasoning and memory-based machine learning. An alternative to such two-phase diagnosis approaches is direct diagnosis, which focuses on determining diagnoses without predetermining conflicts. In this article, we utilize diagnosis knowledge from the past to improve diagnosis efficiency while also maintaining user-defined preference criteria. Our approach integrates model-based collaborative filtering (feed-forward neural networks) and other machine learning approaches (e.g., logistic regression and random forest) with direct model-based diagnosis (FastDiag). The re-ordering of constraints as input to the diagnosis algorithm increases the efficiency of diagnostic reasoning for determining preference-preserving diagnoses. Through experiments on real-world configuration knowledge bases (B2C, BusyBox, EA and Linux kernel), we demonstrate significant runtime improvements and high accuracy in diagnosis prediction. With this, we also contribute to the growing body of literature on combining machine learning and constraint-based reasoning.