Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-641
For citation please use:
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
URI: urn:nbn:de:kobv:83-opus-5431
http://depositonce.tu-berlin.de/handle/11303/938
http://dx.doi.org/10.14279/depositonce-641
License: http://rightsstatements.org/vocab/InC/1.0/
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.
Subject(s): Constraintverarbeitung
Dynamische Constraintprobleme
Verteilte Constraintprobleme
Constraint processing
Distributed constraint satisfaction
Dynamic constraint satisfaction
Issue Date: 20-Feb-2003
Date Available: 20-Feb-2003
Exam Date: 12-Feb-2003
Language: German
Language Code: de
DDC Class: 004 Datenverarbeitung; Informatik
TU Affiliation(s): Fak. 4 Elektrotechnik und Informatik
Appears in Collections:Technische Universität Berlin » Publications

Files in This Item:
Dokument_48.pdf
Format: Adobe PDF | Size: 2.32 MB
DownloadShow Preview
Thumbnail

Item Export Bar

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