{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T13:55:39Z","timestamp":1752674139258,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,5,14]],"date-time":"2021-05-14T00:00:00Z","timestamp":1620950400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,5,14]],"date-time":"2021-05-14T00:00:00Z","timestamp":1620950400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008332","name":"Graz University of Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100008332","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2022,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Configuration 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\u2019s 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 <jats:italic>the quality-runtime performance trade off problem<\/jats:italic> of direct diagnosis. In this context, we propose <jats:italic>a novel learning approach based on matrix factorization for constraint ordering<\/jats:italic>. We show that our approach improves runtime performance and diagnosis quality at the same time.<\/jats:p>","DOI":"10.1007\/s10489-020-02183-4","type":"journal-article","created":{"date-parts":[[2021,5,14]],"date-time":"2021-05-14T08:03:05Z","timestamp":1620979385000},"page":"7024-7036","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Applying matrix factorization to consistency-based direct diagnosis"],"prefix":"10.1007","volume":"52","author":[{"given":"Seda","family":"Polat Erdeniz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Felfernig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muesluem","family":"Atas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,5,14]]},"reference":[{"key":"2183_CR1","unstructured":"Bakker RR, Dikker F, Tempelman F, Wognum PM (1993) Diagnosing and solving over-determined constraint satisfaction problems. In: IJCAI, vol 93, pp 276\u2013281"},{"key":"2183_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013186","DOI":"10.1145\/108844.108874"},{"issue":"3","key":"2183_CR3","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J de Kleer","year":"1990","unstructured":"de Kleer J (1990) Using crude probability estimates to guide diagnosis. Artif Intell 45(3):381\u2013391","journal-title":"Artif Intell"},{"key":"2183_CR4","unstructured":"Ezzahir R, Bessiere C, Belaissaoui M, Bouyakhf EH (2007) Dischoco: a platform for distributed constraint programming. In: IJCAI, vol 7, pp 16\u201321"},{"issue":"1","key":"2183_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S0890060411000011","volume":"26","author":"A Felfernig","year":"2012","unstructured":"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\u201362","journal-title":"Artif Intell Eng Des Anal Manuf (AIEDAM)"},{"key":"2183_CR6","doi-asserted-by":"crossref","unstructured":"Felfernig A, Walter R, Galindo JA, Benavides D, Erdeniz SP, Atas M, Reiterer S (2018) Anytime diagnosis for reconfiguration. J Intell Inf Syst 1\u201322","DOI":"10.1007\/s10844-017-0492-1"},{"key":"2183_CR7","doi-asserted-by":"crossref","unstructured":"Felfernig A, Walter R, Galindo JA, Benavides D, Erdeniz SP, Atas M, Reiterer S (2018) Anytime diagnosis for reconfiguration. J Intell Inf Syst 1\u201322","DOI":"10.1007\/s10844-017-0492-1"},{"key":"2183_CR8","unstructured":"Junker U (2004) Quickxplain: preferred explanations and relaxations for over-constrained problems. In: AAAI-2004, pp 167\u2013172"},{"key":"2183_CR9","unstructured":"Jussien N, Rochart G, Lorca X (2008) Choco: an open source java constraint programming library. In: CPAIOR\u201908 workshop on open-source software for integer and contraint programming (OSSICP\u201908), pp 1\u201310"},{"issue":"4","key":"2183_CR10","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1721654.1721677","volume":"53","author":"Y Koren","year":"2010","unstructured":"Koren Y (2010) Collaborative filtering with temporal dynamics. Commun ACM 53(4):89\u201397","journal-title":"Commun ACM"},{"issue":"8","key":"2183_CR11","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MC.2009.263","volume":"42","author":"Y Koren","year":"2009","unstructured":"Koren Y, Bell R, Volinsky C (2009) Matrix factorization techniques for recommender systems. Computer 42(8):30\u201337","journal-title":"Computer"},{"key":"2183_CR12","unstructured":"Mnih A, Salakhutdinov RR (2008) Probabilistic matrix factorization. In: Advances in neural information processing systems, pp 1257\u20131264"},{"issue":"1","key":"2183_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.laa.2005.06.025","volume":"416","author":"VP Pauca","year":"2006","unstructured":"Pauca VP, Piper J, Plemmons RJ (2006) Nonnegative matrix factorization for spectral data analysis. Linear Algebra Appl 416(1):29\u201347","journal-title":"Linear Algebra Appl"},{"issue":"1","key":"2183_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57\u201395","journal-title":"Artif Intell"},{"issue":"4","key":"2183_CR15","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/5254.708432","volume":"13","author":"D Sabin","year":"1998","unstructured":"Sabin D, Weigel R (1998) Product configuration frameworks-a survey. IEEE Intell Syst Appl 13(4):42\u201349","journal-title":"IEEE Intell Syst Appl"},{"issue":"2","key":"2183_CR16","first-page":"95","volume":"6","author":"LC Schaupp","year":"2005","unstructured":"Schaupp LC, B\u00e9langer F (2005) A conjoint analysis of online consumer satisfaction1. J Electron Commerce Res 6(2):95\u2013112","journal-title":"J Electron Commerce Res"},{"key":"2183_CR17","unstructured":"Schelter S, Owen S (2012) Collaborative filtering with apache mahout. In: Proceedings of ACM RecSys challenge"},{"key":"2183_CR18","unstructured":"Shchekotykhin KM, Friedrich G, Rodler P, Fleiss P (2014) Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. In: ECAI, vol 14, pp 813\u2013818"},{"key":"2183_CR19","unstructured":"Stern RT, Kalech M, Feldman A, Provan GM (2012) Exploring the duality in conflict-directed model-based diagnosis. In: AAAI, vol 12, pp 828\u2013834"},{"issue":"2","key":"2183_CR20","first-page":"55","volume":"35","author":"PJ Stuckey","year":"2014","unstructured":"Stuckey PJ, Feydy T, Schutt A, Tack G, Fischer J (2014) The minizinc challenge 2008\u20132013. AI Mag 35(2):55\u201360","journal-title":"AI Mag"},{"key":"2183_CR21","unstructured":"Tsang E (1993) Foundations of constraint satisfaction. Academic Press"},{"issue":"4","key":"2183_CR22","first-page":"168","volume":"4","author":"NK Visalakshi","year":"2009","unstructured":"Visalakshi NK, Thangavel K (2009) Impact of normalization in distributed k-means clustering. Int J Soft Comput 4(4):168\u2013172","journal-title":"Int J Soft Comput"},{"key":"2183_CR23","doi-asserted-by":"crossref","unstructured":"Wang K, Li ZA, Ai Y, Zhang YG (2009) Computing minimal diagnosis with binary decision diagrams algorithm. In: Sixth international conference on fuzzy systems and knowledge discovery, 2009. FSKD\u201909, vol 1. IEEE, pp 145\u2013149","DOI":"10.1109\/FSKD.2009.284"},{"issue":"1","key":"2183_CR24","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0020-0190(00)00166-6","volume":"79","author":"F Wotawa","year":"2001","unstructured":"Wotawa F (2001) A variant of reiter\u2019s hitting-set algorithm. Inf Process Lett 79(1):45\u201351","journal-title":"Inf Process Lett"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-020-02183-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10489-020-02183-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-020-02183-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T04:11:11Z","timestamp":1649823071000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10489-020-02183-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,14]]},"references-count":24,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["2183"],"URL":"https:\/\/doi.org\/10.1007\/s10489-020-02183-4","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"type":"print","value":"0924-669X"},{"type":"electronic","value":"1573-7497"}],"subject":[],"published":{"date-parts":[[2021,5,14]]},"assertion":[{"value":"29 December 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 May 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}