OPUS - Passau

Bibliographische Daten und PDF-Volltexte aus der Universität Passau
... die Wissenschaft der Hochschule sichtbar machen!

Home

Suchen

Melden

Veröffentlichen

Hilfe

Kontakt

OPUS-Frontdoor

Schwaiger, Petra

Ein Bedingungsmodell für Planungsprobleme in strukturierten Domänen

Open Access: Freier Zugang zum Volltext!

pdf-Format:

Dokument 1.pdf (8.515 KB)

SWD-Schlagwörter:		Logik, Beratungssystem, Modellierung
Freie Schlagwörter (Deutsch):		Answer Set Programming, Baumconstraint, Pfadconstraint, strukturierte Domäne
Freie Schlagwörter (Englisch):		Answer Set Programming, structured domain, tree constraint, path constraint, recommender system
Beteiligte Einrichtung:		Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik
Fakultät:		Fakultät für Informatik und Mathematik
DDC-Sachgruppe:		Informatik
Dokumentart:		Dissertation
Hauptberichter:		Freitag, Burkhard
Sprache:		Deutsch
Tag der mündlichen Prüfung:		17.07.2008
Erstellungsjahr:		2008
Publikationsdatum:		21.08.2008
Kurzfassung auf Deutsch:		Computerunterstützte Beratungssysteme finden sowohl in der Industrie als auch im akademischen Bereich eine zunehmende Bedeutung. Die Anforderungen an solche Systeme sind hinsichtlich der abbildbaren Strukturen, der Flexibilität der Anfragen und der Vollständigkeit und Korrektheit der Antworten hoch. Dies gilt insbesondere für Planungsprobleme in strukturierten Domänen. Derartige Probleme treten beispielsweise bei der Erstellung von Tests auf der Grundlage einer Menge von Fragen und gewissen Anforderungen an den Test, bei der Konsistenzprüfung von Studienordnungen und bei der computerunterstützten Studienberatung auf. In der vorliegenden Arbeit wird ein Framework zur Behandlung eben genannter Probleme präsentiert. Die vorgestellte Lösung bietet durch den modellbasierten Ansatz und die entwickelte anwendungsnahe Modellierungssprache – gerade auch im Vergleich zu existierenden Ansätzen – einen sehr hohen Grad an Abstraktion, Allgemeingültigkeit, Ausdrucksstärke, Flexibilität und Integrierbarkeit. Im Rahmen des entwickelten Modells wird eine geeignete Verzahnung von strukturellen und constraintbasierten Aspekten erreicht. Der hierbei in Syntax und Semantik definierte Constraintbegriff kann darüber hinaus als Formalisierung und Verallgemeinerung von Pfadconstraints bzw. Pfadanfragen in hierarchischen Datenmodellen aufgefasst werden. Für die interne Repräsentation erweist sich ein logikbasierter Ansatz mit Constraints, nämlich Answer Set Programming mit Gewichten, als eine ausgezeichnete Methode bezüglich der Ausdrucksstärke, Mächtigkeit und Adäquatheit. Die Praxistauglichkeit des verfolgten Ansatzes im Hinblick auf Performanz und Skalierbarkeit wird in verschiedenen realen Anwendungsfällen demonstriert.
Lizenz:		Veröffentlichungsvertrag für Publikationen ohne Print on Demand

Lizenz

URN: http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-12497
URL dieser Seite: http://www.opus-bayern.de/uni-passau/volltexte/2008/1249/