Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25059
Titel: Constructive problem solving : a model construction approach towards configuration
Verfasser: Buchheit, Martin
Klein, Rüdiger
Nutt, Werner
Sprache: Englisch
Erscheinungsjahr: 1995
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1995
SWD-Schlagwörter: Künstliche Intelligenz
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: 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 zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-39014
hdl:20.500.11880/25115
http://dx.doi.org/10.22028/D291-25059
Schriftenreihe: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Band: 95-01
SciDok-Publikation: 8-Jul-2011
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
TM_95_01.pdf363,84 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.