Abstract
In this paper we present how the basic building blocks of local search approaches—problem constraints, neighbourhood moves, objective function, move evaluations—can be modelled declaratively using FO (\(\cdot \)), an extension of first order logic. We extend the Knowledge Base System IDP with three built-in local search heuristics, namely first improvement, best improvement and tabu search, which take those building block specifications as input and execute local search accordingly. To demonstrate the framework, three neighbourhood moves for three different problems are modelled and tested.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Benoist, T., Estellon, B., Gardi, F., Megel, R., Nouioua, K.: Localsolver 1. x: a black-box local-search solver for 0–1 programming. 4OR: Q. J. Op. Res. 9(3), 299–316 (2011)
Bruynooghe, M., Blockeel, H., Bogaerts, B., De Cat, B., De Pooter, S., Jansen, J., Labarre, A., Ramon, J., Denecker, M., Verwer, S.: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with idp3. Theory. Pract. L. Program. 15(6), 783–817 (2015)
Cramer, M., Van Hertum, P., Ambrossio, D.A., Denecker, M.: Modelling delegation and revocation schemes in IDP. arXiv:1405.1584 (2014)
De Cat, B., Bogaerts, B., Bruynooghe, M., Janssens, G., Denecker, M.: Predicate logic as a modelling language: the IDP system (2016). http://arxiv.org/abs/1401.6312v2
De Cat, B., Bogaerts, B., Devriendt, J., Denecker, M.: Model expansion in the presence of function symbols using constraint programming. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, 4–6 November 2013, pp. 1068–1075. IEEE Computer Society (2013). http://dx.doi.org/10.1109/ICTAI.2013.159
De Cat, B.: Separating knowledge from computation: An FO(\(\cdot \)) knowledge base system and its model expansion inference. Ph.D. thesis. KU Leuven, Leuven, Belgium (2014)
Denecker, M., Vennekens, J.: Building a knowledge base system for an integration of logic programming and classical logic. In: M. GarcĂa de la Banda, E. Pontelli (eds.) ICLP, LNCS, vol. 5366, pp. 71–76. Springer (2008). http://dx.doi.org/10.1007/978-3-540-89982-2_12
Devriendt, J.: Exploiting symmetry in model expansion for predicate and propositional logic. Ph.D. thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science (2017). https://lirias.kuleuven.be/handle/123456789/564687. Denecker, Marc (supervisor)
Glover, F., Laguna, M.: Tabu search. In: Handbook of Combinatorial Optimization, pp. 3261–3362. Springer (2013)
Michael trick’s operations research page. https://mat.gsia.cmu.edu/COLOR/instances.html (2017)
Michel, L., Van Hentenryck, P.: The Comet programming language and system. In: P. van Beek (ed.) CP, LNCS, vol. 3709, pp. 881–881. Springer (2005)
OscaR Team: OscaR: Scala in OR (2012). https://bitbucket.org/oscarlib/oscar
TSP instance library. www.iwr.uni-heidelberg.de/groups/comopt/software/TSPLIB95/ (2017)
Van Hertum, P., Dasseville, I., Janssens, G., Denecker, M.: The KB paradigm and its application to interactive configuration. Theory. Pract. L. Program. 17(1), 91–117 (2017)
Vlaeminck, H., Vennekens, J., Denecker, M.: A logical framework for configuration software. In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, pp. 141–148. ACM (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Pham, TS., Devriendt, J., De Causmaecker, P. (2018). Modelling Local Search in a Knowledge Base System. In: Daniele, P., Scrimali, L. (eds) New Trends in Emerging Complex Real Life Problems. AIRO Springer Series, vol 1. Springer, Cham. https://doi.org/10.1007/978-3-030-00473-6_44
Download citation
DOI: https://doi.org/10.1007/978-3-030-00473-6_44
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00472-9
Online ISBN: 978-3-030-00473-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)