{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:44:46Z","timestamp":1762101886539},"reference-count":51,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2017,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The knowledge base (KB) paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a KB to solve various problems and tasks that arise in the domain by applying multiple forms of inference. As such, the paradigm applies a strict separation of concerns between information and problem solving. In this paper, we analyze the principles and feasibility of the KB paradigm in the context of an important class of applications: interactive configuration problems. In interactive configuration problems, a configuration of interrelated objects under constraints is searched, where the system assists the user in reaching an intended configuration. It is widely recognized in industry that good software solutions for these problems are very difficult to develop. We investigate such problems from the perspective of the KB paradigm. We show that multiple functionalities in this domain can be achieved by applying different forms of logical inferences on a formal specification of the configuration domain. We report on a proof of concept of this approach in a real-life application with a banking company.<\/jats:p>","DOI":"10.1017\/s1471068416000156","type":"journal-article","created":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T10:08:30Z","timestamp":1467367710000},"page":"91-117","source":"Crossref","is-referenced-by-count":6,"title":["The KB paradigm and its application to interactive configuration"],"prefix":"10.1017","volume":"17","author":[{"given":"PIETER","family":"VAN HERTUM","sequence":"first","affiliation":[]},{"given":"INGMAR","family":"DASSEVILLE","sequence":"additional","affiliation":[]},{"given":"GERDA","family":"JANSSENS","sequence":"additional","affiliation":[]},{"given":"MARC","family":"DENECKER","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2016,7,1]]},"reference":[{"key":"S1471068416000156_ref40","unstructured":"QML 2015. Qml. http:\/\/qmlbook.org\/."},{"key":"S1471068416000156_ref35","first-page":"25","volume-title":"Proc. of the 8th National Conference on Artificial Intelligence","author":"Mittal","year":"1990"},{"key":"S1471068416000156_ref27","first-page":"275","volume-title":"KI 2001: Advances in Artificial Intelligence, Joint German\/Austrian Conference on AI, Vienna, Austria, September 19\u201321, 2001, Proceedings","author":"Kiziltan","year":"2001"},{"key":"S1471068416000156_ref13","volume-title":"Knowledge-based Configuration: From Research to Business Cases","author":"Felfernig","year":"2014"},{"key":"S1471068416000156_ref4","first-page":"477","article-title":"Simulating dynamic systems using linear time calculus theories","volume":"14","author":"Bogaerts","year":"2014","journal-title":"TPLP"},{"key":"S1471068416000156_ref50","doi-asserted-by":"crossref","unstructured":"Wittocx J. , Vlaeminck H. and Denecker M. 2009. Debugging for model expansion. In Proc. of ICLP, P. M. Hill and D. S. Warren , Eds. LNCS, vol. 5649. Springer: Heidelberg, Germany, 296\u2013311.","DOI":"10.1007\/978-3-642-02846-5_26"},{"key":"S1471068416000156_ref30","unstructured":"Lynce I. and Silva J. P. M. 2004. On computing minimum unsatisfiable cores. In Proc. of SAT 2004 - The 7th International Conference on Theory and Applications of Satisfiability Testing, 10\u201313 May 2004, Vancouver, BC, Canada, Online Proceedings."},{"key":"S1471068416000156_ref20","first-page":"291","volume-title":"Proc. of Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel","author":"Immerman","year":"1997"},{"key":"S1471068416000156_ref12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/AIC-120542","article-title":"Challenges of knowledge evolution in practice","volume":"26","author":"Falkner","year":"2013","journal-title":"AI Communications"},{"key":"S1471068416000156_ref3","doi-asserted-by":"publisher","DOI":"10.1145\/62065.62067"},{"key":"S1471068416000156_ref19","volume-title":"Configuration in Industrial Product Families - the ConIPF Methodology","author":"Hotz","year":"2006"},{"key":"S1471068416000156_ref17","first-page":"767","volume-title":"Proc. of Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005","author":"Hadzic","year":"2005"},{"key":"S1471068416000156_ref49","unstructured":"Wittocx J. , Mari\u00ebn M. and Denecker M. 2008. The idp system: A model expansion system for an extension of classical logic. In Proc. of LaSh, M. Denecker, Ed. ACCO: Leuven, Belgium, 153\u2013165."},{"key":"S1471068416000156_ref48","doi-asserted-by":"crossref","unstructured":"Vlaeminck H. , Vennekens J. and Denecker M. 2009. A logical framework for configuration software. In Proc. of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7\u20139, 2009, Coimbra, Portugal, A. Porto and F. J. L\u00f3pez-Fraguas , Eds. ACM, 141\u2013148.","DOI":"10.1145\/1599410.1599428"},{"key":"S1471068416000156_ref6","first-page":"117","article-title":"The third open answer set programming competition","volume":"14","author":"Calimeri","year":"2014","journal-title":"TPLP"},{"key":"S1471068416000156_ref42","unstructured":"Schneeweiss D. and Hofstedt P. 2011. Fdconfig: A constraint-based interactive product configurator. In Proc. of Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28\u201330, 2011, Revised Selected Papers, H. Tompits , S. Abreu , J. Oetsch , J. P\u00fchrer , D. Seipel , M. Umeda , and A. Wolf , Eds. Lecture Notes in Computer Science, vol. 7773. Springer: Heidelberg, Germany, 239\u2013255."},{"key":"S1471068416000156_ref16","first-page":"797","volume-title":"Proc. of Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004","author":"Hadzic","year":"2004"},{"key":"S1471068416000156_ref26","first-page":"286","volume-title":"Proc. of Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010","author":"Karatas","year":"2010"},{"key":"S1471068416000156_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00097-6"},{"key":"S1471068416000156_ref39","first-page":"196","volume-title":"Justifications","author":"Pontelli","year":"2006"},{"key":"S1471068416000156_ref34","first-page":"430","volume-title":"Proc. of AAAI","author":"Mitchell","year":"2005"},{"key":"S1471068416000156_ref22","first-page":"249","volume-title":"Proc. of the 16th International Symposium on Principles and Practice of Declarative Programming","author":"Jansen","year":"2014"},{"key":"S1471068416000156_ref24","first-page":"13","article-title":"Preference programming: Advanced problem solving for configuration","volume":"17","author":"Junker","year":"2003","journal-title":"AI EDAM"},{"key":"S1471068416000156_ref33","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708435"},{"key":"S1471068416000156_ref51","doi-asserted-by":"crossref","unstructured":"Zhang J. , Li S. and Shen S. 2006. Extracting minimum unsatisfiable cores with a greedy genetic algorithm. In Proc. of AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4\u20138, 2006, Springer: Heidelberg, Germany, 847\u2013856.","DOI":"10.1007\/11941439_89"},{"key":"S1471068416000156_ref23","first-page":"167","volume-title":"Proc. of the 19th National Conference on Artificial Intelligence, 16th Conference on Innovative Applications of Artificial Intelligence","author":"Junker","year":"2004"},{"key":"S1471068416000156_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90021-2"},{"key":"S1471068416000156_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-005-0035-8"},{"key":"S1471068416000156_ref1","unstructured":"Adaptive Planet 2015. Adaptive planet. http:\/\/www.adaptiveplanet.com\/."},{"key":"S1471068416000156_ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708434"},{"key":"S1471068416000156_ref37","first-page":"301","article-title":"Well-founded and stable semantics of logic programs with aggregates","volume":"7","author":"Pelov","year":"2007","journal-title":"TPLP"},{"key":"S1471068416000156_ref15","first-page":"1070","volume-title":"Proc. of ICLP\/SLP","author":"Gelfond","year":"1988"},{"key":"S1471068416000156_ref47","unstructured":"Vanden Bossche M. , Ross P. , MacLarty I. , Van Nuffelen B. and Pelov N. 2007. Ontology driven software engineering for real life applications. In Proc. of 3rd International Workshop on Semantic Web Enabled Software Engineering (SWESE), June 6\u20137 2007, Innsbruck, Austria. Springer: Heidelberg, Germany."},{"key":"S1471068416000156_ref10","first-page":"14:1","article-title":"A logic of nonmonotone inductive definitions","volume":"9","author":"Denecker","year":"2008","journal-title":"ACM Transactions on Compututaional Logic"},{"key":"S1471068416000156_ref46","doi-asserted-by":"crossref","first-page":"99","DOI":"10.3233\/AIC-2012-0547","article-title":"Wecotin - A practical logic-based sales configurator","volume":"26","author":"Tiihonen","year":"2013","journal-title":"AI Communications"},{"key":"S1471068416000156_ref31","unstructured":"Marques-Silva J. and Planes J. 2008. Algorithms for maximum satisfiability using unsatisfiable cores. In Proc. of Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10\u201314, 2008, 408\u2013413."},{"key":"S1471068416000156_ref7","first-page":"681","article-title":"Semantics of templates in a compositional framework for building logics","volume":"15","author":"Dasseville","year":"2015","journal-title":"TPLP"},{"key":"S1471068416000156_ref43","unstructured":"Shchekotykhin K. M. , Friedrich G. , Rodler P. and Fleiss P. 2014. Interactive ontology debugging using direct diagnosis. In Proc. of the 3rd International Workshop on Debugging Ontologies and Ontology Mappings, WoDOOM 2014, co-located with 11th Extended Semantic Web Conference (ESWC 2014), Anissaras\/Hersonissou, Greece, May 26, 2014, P. Lambrix , G. Qi , M. Horridge and B. Parsia , Eds. CEUR Workshop Proceedings, vol. 1162. CEUR-WS.org, 39\u201350."},{"key":"S1471068416000156_ref36","first-page":"1395","volume-title":"Proc. of the 11th International Joint Conference on Artificial Intelligence","author":"Mittal","year":"1989"},{"key":"S1471068416000156_ref8","unstructured":"De Cat B. , Bogaerts B. , Bruynooghe M. , Janssens G. and Denecker M. 2016. Predicate logic as a modelling language: The IDP system. CoRR abs\/1401.6312v2."},{"key":"S1471068416000156_ref45","unstructured":"Syrj\u00e4nen T. 2006. Debugging inconsistent answer set programs. In Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, NMR 2006, Lake District, UK, 30 May\u20131 June, J. Dix and A. Hunter , Eds. 77\u201384."},{"key":"S1471068416000156_ref38","doi-asserted-by":"crossref","unstructured":"Piller F. T. , Harzer T. , Ihl C. and Salvador F. 2014. Strategic capabilities of mass customization based e-commerce: Construct development and empirical test. In Proc. of 47th Hawaii International Conference on System Sciences, HICSS 2014, Waikoloa, HI, USA, January 6\u20139, 2014. IEEE, 3255\u20133264.","DOI":"10.1109\/HICSS.2014.403"},{"key":"S1471068416000156_ref44","doi-asserted-by":"crossref","unstructured":"Shlyakhter I. , Seater R. , Jackson D. , Sridharan M. and Taghdiri M. 2003. Debugging overconstrained declarative models using unsatisfiable cores. In Proc. of ASE, IEEE Computer Society: Washington, D.C., United States, 94\u2013105.","DOI":"10.1109\/ASE.2003.1240298"},{"key":"S1471068416000156_ref18","volume-title":"Proc. of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011","author":"Heras","year":"2011"},{"key":"S1471068416000156_ref21","first-page":"191","volume-title":"Proc. of Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8\u201312, 2008, Second Volume (Workshops)","author":"Janota","year":"2008"},{"key":"S1471068416000156_ref9","first-page":"277","volume-title":"ICLP (Technical Communications)","author":"Denecker","year":"2012"},{"key":"S1471068416000156_ref11","doi-asserted-by":"crossref","unstructured":"Denecker M. and Vennekens J. 2008. Building a knowledge base system for an integration of logic programming and classical logic. In Proc. of ICLP, M. Garc\u00eda de la Banda and E. Pontelli , Eds. LNCS, vol. 5366. Springer: Heidelberg, Germany, 71\u201376.","DOI":"10.1007\/978-3-540-89982-2_12"},{"key":"S1471068416000156_ref25","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-oriented Domain Analysis (FODA): Feasibility Study; Technical Report CMU\/SEI-90-TR-21 - ESD-90-TR-222","author":"Kang","year":"1990"},{"key":"S1471068416000156_ref41","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"S1471068416000156_ref5","first-page":"783","article-title":"Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3","volume":"15","author":"Bruynooghe","year":"2015","journal-title":"TPLP"},{"key":"S1471068416000156_ref28","volume-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068416000156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,23]],"date-time":"2020-09-23T05:40:14Z","timestamp":1600839614000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068416000156\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,1]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["S1471068416000156"],"URL":"https:\/\/doi.org\/10.1017\/s1471068416000156","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,1]]}}}