Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-641
Main Title: Asynchrones Constraintlösen
Subtitle: Ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung
Translated Title: Asynchronous Constraint Solving
Author(s): Ringwelski, Georg
Advisor(s): Jähnichen, Stefan
Referee(s): Jähnichen, Stefan
Frühwirth, Thomas
Granting Institution: Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik
Type: Doctoral Thesis
Language: German
Language Code: de
Abstract: Constraint Satisfaction Probleme (CSP) bestehen aus einer Menge von Randbedingungen (Constraints), die einen gesuchten Lösungszustand beschreiben. Das Lösen von CSP, also das finden von Konfigurationen, in denen alle Randbedingungen erfüllt sind, ist ein aktuelles Forschungsgebiet mit vielen Anwendungsfeldern in Wirtschaft, Technik und dem alltäglichen Leben. CSP sind NP-vollständig, so daß in der Künstlichen Intelligenz nach Verfahren gesucht wird, die trotz des erforderlichen Nichtdeterminismus schnell genug für ihr jeweiliges Anwendungsgebiet eine oder mehrere Lösungen finden. In der Dissertation wird ein Ausführungsmodell definiert und verifiziert, das den Einsatz solcher effizienten Verfahren zum Lösen realer Problem erlaubt. Dieses Ausführungsmodell, das Asnychrone Constrainlösen (ACS), beschreibt, wie man Constraintlöser und Constraints für konkete Anwendungsgebiete erstellt und welche Ergebnisse dort berechnet werden können. ACS erlaubt, im Gegensatz zum Stand der Technik, auch das dynamische Hinzufügen und Zurücknehmen von Constraints während des Lösungsprozesses. Diese adaptive Constraintverarbeitung unterstützt die Verwendung Constraint-basierte Techniken in interaktiven und kontinuierlichen Softwaresystemen, die zuvor wegen der technischen Einschränkungen der erhältlichen Systeme kaum bearbeitbar waren, obwohl sie vom deklarativen Standpunkt aus oft sehr gut als CSP formuliert werden können. Desweiteren ist das Ausführungsmodell so konzipiert, daß es zur Verarbeitung von Constraints in verteilten und nebenläufigen Systemen geeignet ist. Auch für diesen immens an Bedeutung gewinnenden Anwendungsbereich waren zuvor nur sehr restriktive Ausführungsmodelle bekannt. In der Arbeit wird das ACS Modell und eine prototypische Implementierung vorgestellt, so daß sich neben den theoretischen Eigenschaften auch die Eignung für praktische Probleme zeigen lies.
URI: urn:nbn:de:kobv:83-opus-5431
http://depositonce.tu-berlin.de/handle/11303/938
http://dx.doi.org/10.14279/depositonce-641
Exam Date: 12-Feb-2003
Issue Date: 20-Feb-2003
Date Available: 20-Feb-2003
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): Constraintverarbeitung
Dynamische Constraintprobleme
Verteilte Constraintprobleme
Constraint processing
Distributed constraint satisfaction
Dynamic constraint satisfaction
Usage rights: Terms of German Copyright Law
Appears in Collections:Technische Universität Berlin » Fakultäten & Zentralinstitute » Fakultät 4 Elektrotechnik und Informatik » Publications

Files in This Item:
File Description SizeFormat 
Dokument_48.pdf2.32 MBAdobe PDFThumbnail
View/Open


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