Please use this identifier to cite or link to this item: doi:10.22028/D291-25059
Title: Constructive problem solving : a model construction approach towards configuration
Author(s): Buchheit, Martin
Klein, Rüdiger
Nutt, Werner
Language: English
Year of Publication: 1995
OPUS Source: Kaiserslautern ; Saarbrücken : DFKI, 1995
SWD key words: Künstliche Intelligenz
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: In this paper we give a formalisation of configuration as the task to construct for a given specification, which is understood as a finite set of logical formulas, a model that satisfies the specification. In this approach, a specification consists of two parts. One part describes the domain, the possible components, and their interdependencies. The other part specifies the particular object that is to be configured. The language that is used to represent knowledge about configuration problems integrates three sublanguages that allow one to express constraints, to build up taxonomies, and to define rules. We give a sound calculus by which one can compute solutions to configuration problems if they exist and that allows one to recognize that a specification is inconsistent. In particular, the calculus can be used in order to check whether a given configuration satisfies the specification.
Link to this record: urn:nbn:de:bsz:291-scidok-39014
Series name: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Series volume: 95-01
Date of registration: 8-Jul-2011
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
TM_95_01.pdf363,84 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.