Back to Search
Start Over
Explanations for over-constrained problems using QuickXPlain with speculative executions.
- Source :
- Journal of Intelligent Information Systems; Dec2021, Vol. 57 Issue 3, p491-508, 18p
- Publication Year :
- 2021
-
Abstract
- Conflict detection is used in various scenarios ranging from interactive decision making (e.g., knowledge-based configuration) to the diagnosis of potentially faulty models (e.g., using knowledge base analysis operations). Conflicts can be regarded as sets of restrictions (constraints) causing an inconsistency. Junker's QuickXPlain is a divide-and-conquer based algorithm for the detection of preferred minimal conflicts. In this article, we present a novel approach to the detection of such conflicts which is based on speculative programming. We introduce a parallelization of QuickXPlain and empirically evaluate this approach on the basis of synthesized knowledge bases representing feature models. The results of this evaluation show significant performance improvements in the parallelized QuickXPlain version. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09259902
- Volume :
- 57
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Journal of Intelligent Information Systems
- Publication Type :
- Academic Journal
- Accession number :
- 154097743
- Full Text :
- https://doi.org/10.1007/s10844-021-00675-4