< Back to previous page
Publication
The KB paradigm and its application to interactive configuration
Book Contribution - Book Chapter Conference Contribution
The knowledge base paradigm aims to express domain
knowledge in a rich formal language, and to use this domain knowledge
as a knowledge base 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 fea-
sibility of the knowledge base 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.
Book: Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, Proceedings
Pages: 13 - 29
ISBN:978-3-319-28227-5
Publication year:2016
Accessibility:Open