The KB paradigm and its application to interactive configuration

DOI10.1017/S1471068416000156MaRDI QIDQ4593081zbMATH OpenFDO

Authors Pieter van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1605.01846

zbMATH Keywords

applications of declarative systemsinferencesinteractive configurationknowledge-base paradigm

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

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).

Recommendations

• A tool for developing interactive configuration applications
• Consistency-based diagnosis of configuration knowledge bases
• \({\mathcal{COCONF}}\): conceptual language-based configuration
• scientific article; zbMATH DE number 1670628
• Decision planning knowledge representation framework: A case-study

Cites work

• A logic of nonmonotone inductive definitions
• A Tarskian informal semantics for answer set programming
• A theory of diagnosis from first principles
• A tool for developing interactive configuration applications
• Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
• Debugging for Model Expansion
• scientific article; zbMATH DE number 1882057 (Why is no real title available?)
• scientific article; zbMATH DE number 4187147 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Justifications for Logic Programs Under Answer Set Semantics
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
• Semantics of templates in a compositional framework for building logics
• Simulating Dynamic Systems Using Linear Time Calculus Theories
• Well-founded and stable semantics of logic programs with aggregates

Cited in

(3)

• A framework for step-wise explaining how to solve constraint satisfaction problems
• A tool for developing interactive configuration applications
• Interactive model expansion in an observable environment

Describes a project that uses

Uses Software

• IDP3
• QUICKXPLAIN

This page was built for publication: The KB paradigm and its application to interactive configuration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593081)