Author:
Polat Erdeniz Seda,Felfernig Alexander,Atas Muesluem
Abstract
AbstractConfiguration systems must be able to deal with inconsistencies which can occur in different contexts. Especially in interactive settings, where users specify requirements and a constraint solver has to identify solutions, inconsistencies may more often arise. In inconsistency situations, there is a need of diagnosis methods that support the identification of minimal sets of constraints that have to be adapted or deleted in order to restore consistency. A diagnosis algorithm’s performance can be evaluated in terms of time to find a diagnosis (runtime) and diagnosis quality. Runtime efficiency of diagnosis is especially crucial in real-time scenarios such as production scheduling, robot control, and communication networks. However, there is a trade off between diagnosis quality and the runtime efficiency of diagnostic reasoning. In this article, we deal with solving the quality-runtime performance trade off problem of direct diagnosis. In this context, we propose a novel learning approach based on matrix factorization for constraint ordering. We show that our approach improves runtime performance and diagnosis quality at the same time.
Funder
Horizon 2020
Graz University of Technology
Publisher
Springer Science and Business Media LLC
Reference24 articles.
1. Bakker RR, Dikker F, Tempelman F, Wognum PM (1993) Diagnosing and solving over-determined constraint satisfaction problems. In: IJCAI, vol 93, pp 276–281
2. Card SK, Robertson GG, Mackinlay JD (1991) The information visualizer, an information workspace. In: Proceedings of the SIGCHI conference on human factors in computing systems. ACM, pp 181–186
3. de Kleer J (1990) Using crude probability estimates to guide diagnosis. Artif Intell 45(3):381–391
4. Ezzahir R, Bessiere C, Belaissaoui M, Bouyakhf EH (2007) Dischoco: a platform for distributed constraint programming. In: IJCAI, vol 7, pp 16–21
5. Felfernig A, Schubert M, Zehentner C (2012) An efficient diagnosis algorithm for inconsistent constraint sets. Artif Intell Eng Des Anal Manuf (AIEDAM) 26(1):53–62
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献