Skip to main content

2019 | OriginalPaper | Buchkapitel

Learned Constraint Ordering for Consistency Based Direct Diagnosis

verfasst von : Seda Polat Erdeniz, Alexander Felfernig, Muesluem Atas

Erschienen in: Advances and Trends in Artificial Intelligence. From Theory to Practice

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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’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 paper, we deal with solving the quality-runtime performance trade off problem of direct diagnosis. In this context, we propose a novel learning approach for constraint ordering in direct diagnosis. We show that our approach improves the runtime performance and diagnosis quality at the same time.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
Literatur
1.
Zurück zum Zitat Bakker, R.R., Dikker, F., Tempelman, F., Wognum, P.M.: Diagnosing and solving over-determined constraint satisfaction problems. IJCAI 93, 276–281 (1993) Bakker, R.R., Dikker, F., Tempelman, F., Wognum, P.M.: Diagnosing and solving over-determined constraint satisfaction problems. IJCAI 93, 276–281 (1993)
2.
Zurück zum Zitat Card, S.K., Robertson, G.G., Mackinlay, J.D.: The information visualizer, an information workspace. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 181–186. ACM (1991) Card, S.K., Robertson, G.G., Mackinlay, J.D.: The information visualizer, an information workspace. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 181–186. ACM (1991)
3.
Zurück zum Zitat Felfernig, A., Schubert, M., Zehentner, C.: An efficient diagnosis algorithm for inconsistent constraint sets. Artif. Intell. Eng. Des. Anal. Manuf. (AIEDAM) 26(1), 53–62 (2012)CrossRef Felfernig, A., Schubert, M., Zehentner, C.: An efficient diagnosis algorithm for inconsistent constraint sets. Artif. Intell. Eng. Des. Anal. Manuf. (AIEDAM) 26(1), 53–62 (2012)CrossRef
4.
Zurück zum Zitat Felfernig, A., et al.: Anytime diagnosis for reconfiguration. J. Intell. Inf. Syst. 51, 1–22 (2018)CrossRef Felfernig, A., et al.: Anytime diagnosis for reconfiguration. J. Intell. Inf. Syst. 51, 1–22 (2018)CrossRef
5.
Zurück zum Zitat Junker, U.: Quickxplain: conflict detection for arbitrary constraint propagation algorithms. In: Workshop on Modelling and Solving Problems with Constraints, IJCAI 2001 (2001) Junker, U.: Quickxplain: conflict detection for arbitrary constraint propagation algorithms. In: Workshop on Modelling and Solving Problems with Constraints, IJCAI 2001 (2001)
6.
Zurück zum Zitat Junker, U.: Preferred explanations and relaxations for over-constrained problems. In: AAAI-2004 (2004) Junker, U.: Preferred explanations and relaxations for over-constrained problems. In: AAAI-2004 (2004)
7.
Zurück zum Zitat de Kleer, J.: Using crude probability estimates to guide diagnosis. Artif. Intell. 45(3), 381–391 (1990)CrossRef de Kleer, J.: Using crude probability estimates to guide diagnosis. Artif. Intell. 45(3), 381–391 (1990)CrossRef
8.
Zurück zum Zitat Koren, Y.: Collaborative filtering with temporal dynamics. Commun. ACM 53(4), 89–97 (2010)CrossRef Koren, Y.: Collaborative filtering with temporal dynamics. Commun. ACM 53(4), 89–97 (2010)CrossRef
9.
Zurück zum Zitat Koren, Y., Bell, R., Volinsky, C.: Matrix factorization techniques for recommender systems. Computer 42(8), 30–37 (2009)CrossRef Koren, Y., Bell, R., Volinsky, C.: Matrix factorization techniques for recommender systems. Computer 42(8), 30–37 (2009)CrossRef
11.
Zurück zum Zitat Sabin, D., Weigel, R.: Product configuration frameworks-a survey. IEEE Intell. Syst. Appl. 13(4), 42–49 (1998)CrossRef Sabin, D., Weigel, R.: Product configuration frameworks-a survey. IEEE Intell. Syst. Appl. 13(4), 42–49 (1998)CrossRef
12.
Zurück zum Zitat Schaupp, L.C., Bélanger, F.: A conjoint analysis of online consumer satisfaction1. J. Electron. Commer. Res. 6(2), 95 (2005) Schaupp, L.C., Bélanger, F.: A conjoint analysis of online consumer satisfaction1. J. Electron. Commer. Res. 6(2), 95 (2005)
13.
Zurück zum Zitat Schelter, S., Owen, S.: Collaborative filtering with apache mahout. Proc. of ACM RecSys Challenge (2012) Schelter, S., Owen, S.: Collaborative filtering with apache mahout. Proc. of ACM RecSys Challenge (2012)
14.
Zurück zum Zitat Shchekotykhin, K.M., Friedrich, G., Rodler, P., Fleiss, P.: Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. ECAI 14, 813–818 (2014)MATH Shchekotykhin, K.M., Friedrich, G., Rodler, P., Fleiss, P.: Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. ECAI 14, 813–818 (2014)MATH
15.
Zurück zum Zitat Stern, R.T., Kalech, M., Feldman, A., Provan, G.M.: Exploring the duality in conflict-directed model-based diagnosis. AAAI 12, 828–834 (2012) Stern, R.T., Kalech, M., Feldman, A., Provan, G.M.: Exploring the duality in conflict-directed model-based diagnosis. AAAI 12, 828–834 (2012)
16.
Zurück zum Zitat Stuckey, P.J., Feydy, T., Schutt, A., Tack, G., Fischer, J.: The minizinc challenge 2008–2013. AI Mag. 35(2), 55–60 (2014) Stuckey, P.J., Feydy, T., Schutt, A., Tack, G., Fischer, J.: The minizinc challenge 2008–2013. AI Mag. 35(2), 55–60 (2014)
17.
Zurück zum Zitat Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, Cambridge (1993) Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, Cambridge (1993)
18.
Zurück zum Zitat Visalakshi, N.K., Thangavel, K.: Impact of normalization in distributed k-means clustering. Int. J. Soft Comput. 4(4), 168–172 (2009) Visalakshi, N.K., Thangavel, K.: Impact of normalization in distributed k-means clustering. Int. J. Soft Comput. 4(4), 168–172 (2009)
19.
Metadaten
Titel
Learned Constraint Ordering for Consistency Based Direct Diagnosis
verfasst von
Seda Polat Erdeniz
Alexander Felfernig
Muesluem Atas
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-22999-3_31

Premium Partner