research-article

Explanations for over-constrained problems using QuickXPlain with speculative executions

Authors:

Cristian Vidal,

Alexander Felfernig,

David BenavidesAuthors Info & Claims

Journal of Intelligent Information Systems, Volume 57, Issue 3

Pages 491 - 508

https://doi.org/10.1007/s10844-021-00675-4

Published: 01 December 2021 Publication History

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.

References

[1]

Acher M, Collet P, Lahire P, and France R Familiar: A domain-specific language for large scale management of feature models Science of Computer Programming 2013 78 6 657-681

[2]

Alférez M, Acher M, Galindo JA, Baudry B, and Benavides D Modeling variability in the video domain Language and experience report Software Quality Journal 2019 27 1 307-347

[3]

Bakker, R., & Dikker, F. (1993). Diagnosing and Solving Over-determined Constraint Satisfaction Problems. In 13Th intl. Joint conference on artificial intelligence (IJCAI’93) (pp. 276–281). France: Chambéry.

[4]

Batory, D. (2005). Feature models, grammars, and propositional formulas. In Intl. conference on software product lines (pp. 7–20). Springer.

[5]

Benavides, D., Ruiz-Cortés, A., & Trinidad, P. (2005). Automated reasoning on feature models. In LNCS Advanced information systems engineering: 17th Intl, Conference, CAiSE 2005, (Vol. 3520 pp. 491–503).

[6]

Benavides D, Segura S, and Ruiz-Cortes A Automated analysis of feature models 20 years later A literature review Information Systems 2010 35 615-636

[7]

Bordeaux, L., Hamadi, Y., & Samulowitz, H. (2009). Experiments with Massively Parallel Constraint Solving. In 21St Intl. Joint conference on artifical intelligence (pp. 443–448). USA: Morgan Kaufmann Publishers.

[8]

Burton F Speculative computation, parallelism, and functional programming IEEE Transactions on Computers 1985 C-34 12 1190-1193

[9]

de Kleer J and Williams B Diagnosing multiple faults Artificial Intelligence 1987 32 1 97-130

[10]

Díaz J, Pérez J, and Garbajosa J Agile product-line architecting in practice: A case study in smart grids Information and Software Technology 2014 56 7 727-748

[11]

Doux, G., Albert, P., Barbier, G., Cabot, J., Del Fabro, M., & Lee, S. (2011). An mde-based approach for solving configuration problems An application to the eclipse platform. In European conference on modelling foundations and applications (pp. 160–171). Springer.

[12]

Felfernig, A. (2021). AI techniques for software requirements prioritization. In M. Kalech, R. Abreu, & M. Last (Eds.) Artificial intelligence methods for software engineering (pp. 29–47). World Scientific.

[13]

Felfernig, A., Benavides, D., Galindo, J., & Reinfrank, F. (2013). Towards anomaly explanation in feature models. In 15Th intl. configuration workshop (pp. 117–124).

[14]

Felfernig A, Boratto L, Stettinger M, and Tkalcic M Group Recommender Systems – An Introduction 2018 Berlin Springer

[15]

Felfernig, A., & Systems, R. Burke. (2008). Constraint-based Recommender Technologies and Research Issues. In ACM intl. conference on electronic commerce (ICEC’08) (pp. 17–26). Austria: Innsbruck.

[16]

Felfernig A, Friedrich G, Jannach D, and Stumptner M Consistency-based Diagnosis of Configuration Knowledge Bases Artificial Intelligence 2004 152 2 213-234

[17]

Felfernig A, Friedrich G, Jannach D, and Zanker M An integrated environment for the development of knowledge-based recommender applications Intelligence Journal of Electronic Commerce (IJEC) 2006 11 2 11-34

[18]

Felfernig A, Hotz L, Bagley C, and Tiihonen J Knowledge-based Configuration - From Research to Business Cases 2014 Burlington Morgan Kaufmann

[19]

Felfernig A, Polat-Erdeniz S, Uran C, Reiterer S, Atas M, Tran T, Azzoni P, Kiraly C, and Dolui K An overview of recommender systems in the internet of things Journal of Intelligent Information Systems 2019 52 2 285-309

[20]

Felfernig A, Schubert M, and Zehentner C An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets Artificial Intelligence for Engineering Design, Analysis and Manufacturing 2012 26 1 53-62

[21]

Felfernig A, Walter R, Galindo J, Benavides D, Erdeniz S, Atas M, and Reiterer S Anytime Diagnosis for Reconfiguration Journal of Intelligent Information Systems 2018 51 1 161-182

[22]

Fleischanderl, G. (2002). Suggestions from the software engineering practice for applying Consistency-Based diagnosis to configuration knowledge bases. In 13Th Intl. workshop on principles of diagnosis (DX-02) (pp. 33–35). Austria: Semmering.

[23]

Friedrich G, Stumptner M, and Wotawa F Model-based Diagnosis of Hardware Designs Artificial Intelligence 1999 111 1–2 3-39

[24]

Galindo, J., & Benavides, D. (2019). Towards a new repository for feature model exchange. In C. Cetina, O. Díaz, L. Duchien, M. Huchard, R. Rabiser, C. Salinesi, C. Seidl, X. Tërnava, L. Teixeira, T. Thüm, & T. Zadi (Eds.) 23rd intl. systems and software product line conference, SPLC Volume b, Paris, France, September 9-13, 2019 (p. 2019). ACM.

[25]

Galindo J, Benavides D, Trinidad P, Gutiérrez-Fernández A, and Ruiz-Cortés A Automated analysis of feature models Quo vadis? Computing 2019 101 5 387-433

[26]

Gent I, Miguel I, Nightingale P, McCreesh C, Prosser P, Nooore N, and Unsworth C A review of literature on parallel constraint solving Theory and Practice of Logic Programming 2018 18 5–6 725-758

[27]

Hamadi Y and Sais L Handbook of Parallel Constraint Reasoning 2018 Berlin Springer

[28]

Horcas J, Pinto M, and Fuentes L Variability models for generating efficient configurations of functional quality attributes Information and Software Technology 2018 95 147-164

[29]

Jannach, D., Schmitz, T., & Shchekotykhin, K. (2015). Parallelized hitting set computation for model-based diagnosis. In 29^th AAAI conference on artificial intelligence (pp. 1503–1510). Texas: AAAI Press.

[30]

Jannach D, Schmitz T, and Shchekotykhin K Parallel Model-Based diagnosis on Multi-Core computers Journal of Artificial Intelligence Research 2016 55 835-887

[31]

Junker, U. (2004). quickXPlain: Preferred Explanations and Relaxations for Over-constrained Problems. In 19th national conference on artifical intelligence (pp. 167–172 ). San Jose: AAAI Press.

[32]

Kastner, C., Thum, T., Saake, G., Feigenspan, J., Leich, T., Wielgorz, F., & Apel, S. (2009). Featureide: A tool framework for feature-oriented software development. In 31St IEEE intl. conference on software engineering (pp. 611–614). IEEE.

[33]

Le, V.M., Felfernig, A., Uta, M., Benavides, D., Galindo, J., & Tran, T.N.T. (2021). DirectDebug: Automated testing and debugging of feature models. In 43Rd IEEE/ACM intl. conference on software engineering: New ideas and emerging results (pp. 81–85). IEEE/ACM.

[34]

Le Berre D and Parrain A The Sat4j Library, Release 2.2. Journal on Satisfiability Boolean Modeling and Computation 2010 7 2-3 59-64

[35]

Marques-Silva, J., Heras, F., Janota, M., Previti, A., & Belov, A. (2013). On computing minimal correction subsets. In 23Rd intl. joint conference on artificial intelligence. Beijing, China (pp. 615–622).

[36]

O’Sullivan, B., Nanopulos, A., Faltings, B., & Pu, P. (2007). Representative explanations for Over-Constrained problems. In 22Nd AAAI conference on artificial intelligence (pp. 323–328). Canada: Vancouver.

[37]

Reiter R A theory of diagnosis from first principles Artificial Intelligence 1987 23 1 57-95

[38]

Ricci, F., Rokach, L., Shapira, B., & Kantor, P. (2011). Recommender Systems Handbook, Springer, Berlin.

[39]

Rossi F, Venable K, and Walsh T A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice 2011 California Morgan & Claypool Publishers

[40]

Schmitz, T., & Jannach, D. (2017). An AI-based interactive tool for spreadsheet debugging. In IEEE symposium on visual languages and human-centric computing (VL/HCC’17) (pp. 333–334). USA: IEEE.

[41]

Stumptner M An Overview of Knowledge-based Configuration Ai Communications 1997 10 2 111-125

[42]

Thum, T., Batory, D., & Kastner, C. (2009). Reasoning about edits to feature models. In 31St IEEE intl. conference on software engineering (pp. 254–264). Piscataway: IEEE.

[43]

Tran TNT, Felfernig A, and Tintarev N Humanized Recommender Systems: State-of-the-art and Research Issues ACM Transactions on Interactive Intelligent Systems 2021 11 2 1-41

[44]

Tsang E Foundations of Constraint Satisfaction 1993 Cambridge Academic Press

[45]

Varela-Vaca, A., Galindo, J.A., Ramos-Gutiérrez, B., Gómez-López, M., & Benavides, D. (2019). Process mining to unleash variability management: discovering configuration workflows using logs. In Proceedings of the 23rd intl. systems and software product line conference, (Vol. A pp. 265–276).

[46]

Vecchio M, Azzoni P, Menychtas A, Maglogiannis I, and Felfernig A A fully open-source approach to intelligent edge computing: the AGILE’s lesson Sensors 2021 21 4 1309

[47]

Vidal, C., Felfernig, A., Galindo, J., Atas, M., & Benavides, D. (2020). A Parallelized Variant of Junker’s quickXPlain Algorithm. In 25Th intl. symp. on methodologies for intell. Syst., volume 12117 of springer lecture notes in computer science (pp. 457–468). Springer.

[48]

Walsh T Representing and reasoning with preferences AI Magazine 2007 28 4 59-70

[49]

White J, Benavides D, Schmidt DC, Trinidad P, Dougherty B, and Ruiz-Cortes A Automated diagnosis of feature model configurations J. Syst Softw. 2010 83 7 1094-1107

[50]

Wotawa F A variant of reiter’s Hitting-Set algorithm Information Processing Letters 2001 79 1 45-51

Cited By

Le VFelfernig ATran TUta MWooldridge MDy JNatarajan S(2024)INFORMEDQXProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i9.28932(10616-10623)Online publication date: 20-Feb-2024
https://dl.acm.org/doi/10.1609/aaai.v38i9.28932
Le VSilva CFelfernig ABenavides DGalindo JTran TWilliams BChen YNeville J(2023)FASTDIAGPProceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v37i5.25792(6442-6449)Online publication date: 7-Feb-2023
https://dl.acm.org/doi/10.1609/aaai.v37i5.25792
Horcas JBallesteros JPinto MFuentes L(2023)Elimination of constraints for parallel analysis of feature modelsProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608981(99-110)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608981
Show More Cited By

Index Terms

Explanations for over-constrained problems using QuickXPlain with speculative executions

Index terms have been assigned to the content through auto-classification.

Recommendations

Transactional Read-Modify-Write Without Aborts

Language-level transactions are said to provide “atomicity,” implying that the order of operations within a transaction should be invisible to concurrent transactions and thus that independent operations within a transaction should be safe to execute in ...
On the impact of serializing contention management on STM performance

Transactional memory (TM) is an emerging concurrent programming abstraction. Numerous software-based transactional memory (STM) implementations have been developed in recent years. STM implementations must guarantee transaction atomicity and isolation. ...
Refereeing conflicts in hardware transactional memory
ICS '09: Proceedings of the 23rd international conference on Supercomputing

In the search for high performance, most transactional memory (TM) systems execute atomic blocks concurrently and must thus be prepared for data conflicts. The TM system also needs to choose a policy to decide when and how to manage the resulting ...

Comments

Information & Contributors

Information

Published In

cover image Journal of Intelligent Information Systems

Journal of Intelligent Information Systems Volume 57, Issue 3

Dec 2021

204 pages

ISSN:0925-9902

Issue’s Table of Contents

© The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021.

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 December 2021

Accepted: 30 August 2021

Revision received: 27 August 2021

Received: 10 December 2020

Author Tags

Qualifiers

Research-article

Funding Sources

EU FEDER
Austrian research promotion agency
MINECO project OPHELIA
TASOVA network
Junta de Andalucia - METAMORFOSIS project

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Le VFelfernig ATran TUta MWooldridge MDy JNatarajan S(2024)INFORMEDQXProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i9.28932(10616-10623)Online publication date: 20-Feb-2024
https://dl.acm.org/doi/10.1609/aaai.v38i9.28932
Le VSilva CFelfernig ABenavides DGalindo JTran TWilliams BChen YNeville J(2023)FASTDIAGPProceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v37i5.25792(6442-6449)Online publication date: 7-Feb-2023
https://dl.acm.org/doi/10.1609/aaai.v37i5.25792
Horcas JBallesteros JPinto MFuentes L(2023)Elimination of constraints for parallel analysis of feature modelsProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608981(99-110)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608981
Le VFelfernig AUta MTran TSilva CFelfernig AFuentes L(2022)WipeOutRProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A10.1145/3546932.3546992(164-169)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3546932.3546992

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents