@phdthesis{Schwaiger2008, author = {Schwaiger, Petra}, title = {Ein Bedingungsmodell f{\"u}r Planungsprobleme in strukturierten Dom{\"a}nen}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-12497}, school = {Universit{\"a}t Passau}, year = {2008}, abstract = {Computerunterst{\"u}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{\"a}t der Anfragen und der Vollst{\"a}ndigkeit und Korrektheit der Antworten hoch. Dies gilt insbesondere f{\"u}r Planungsprobleme in strukturierten Dom{\"a}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{\"u}fung von Studienordnungen und bei der computerunterst{\"u}tzten Studienberatung auf. In der vorliegenden Arbeit wird ein Framework zur Behandlung eben genannter Probleme pr{\"a}sentiert. Die vorgestellte L{\"o}sung bietet durch den modellbasierten Ansatz und die entwickelte anwendungsnahe Modellierungssprache - gerade auch im Vergleich zu existierenden Ans{\"a}tzen - einen sehr hohen Grad an Abstraktion, Allgemeing{\"u}ltigkeit, Ausdrucksst{\"a}rke, Flexibilit{\"a}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{\"u}ber hinaus als Formalisierung und Verallgemeinerung von Pfadconstraints bzw. Pfadanfragen in hierarchischen Datenmodellen aufgefasst werden. F{\"u}r die interne Repr{\"a}sentation erweist sich ein logikbasierter Ansatz mit Constraints, n{\"a}mlich Answer Set Programming mit Gewichten, als eine ausgezeichnete Methode bez{\"u}glich der Ausdrucksst{\"a}rke, M{\"a}chtigkeit und Ad{\"a}quatheit. Die Praxistauglichkeit des verfolgten Ansatzes im Hinblick auf Performanz und Skalierbarkeit wird in verschiedenen realen Anwendungsf{\"a}llen demonstriert.}, subject = {Logik}, language = {de} }