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, 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.
CITATION STYLE
Pham, T. S., Devriendt, J., & De Causmaecker, P. (2018). Modelling Local Search in a Knowledge Base System. In AIRO Springer Series (Vol. 1, pp. 415–423). Springer Nature. https://doi.org/10.1007/978-3-030-00473-6_44
Mendeley helps you to discover research relevant for your work.