We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: The KB paradigm and its application to interactive configuration

Abstract: 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 feasibility 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. To appear in Theory and Practice of Logic Programming (TPLP).
Comments: To appear in Theory and Practice of Logic Programming (TPLP)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
DOI: 10.1017/S1471068416000156
Cite as: arXiv:1605.01846 [cs.AI]
  (or arXiv:1605.01846v1 [cs.AI] for this version)

Submission history

From: Pieter Van Hertum [view email]
[v1] Fri, 6 May 2016 07:39:19 GMT (56kb)

Link back to: arXiv, form interface, contact.