Thesis (doctoral)--Universität Kaiserslautern, 2002. / Includes bibliographical references (p. 219-234) and index.

In der Arbeit wird ein Rahmenkonzept für ein ganzheitliches Qualitätsmanagement für Fallbasierte Systeme im Angebotsengineering erarbeitet. Es vereint die Anforderungen des Total Quality Management nach Kunden-, Prozess- und Mitarbeiterorientierung mit bestehenden Ansätzen und Methoden zur Pflege Fallbasierter Systeme. Das Rahmenkonzept beschreibt anhand Fallbasierter Systeme zur Kostenschätzung im Angebotsengineering notwendige Grundlagen und Elemente, welche für eine systematische Qualitätsmessung und -steuerung der Wissensbasis eines solchen Fallbasierten Systems benötigt werden. Die Art und Weise ihrer Darstellung zeigt gleichzeitig eine Vorgehensweise auf, wie beim Aufbau einer Qualitätsmessung und -steuerung für Fallbasierte Systeme vorgegangen werden kann. / In the thesis a framework for an integrated quality management for case-based reasoning systems (CBR systems) in offer engineering has been developed. The framework conjoins the requirements of Total Quality Management for customer orientation, process orientation and employee-orientation with existing approaches and techniques from case base maintenance and case-based reasoner maintenance. Using a case-based cost estimation system in offer engineering as a case study, the framework describes basic principles and elements for a systematic quality measurement and control of the knowledge base of CBR systems. The principles and elements are described in a specific order that can be taken as a procedure for developing quality measurement and control for CBR systems.

Erfahrungsmanagement (EM) ist eine Spezialform des Wissensmanagements, die sich mit aufgabenbezogenem Wissen beschäftigt. Diese Arbeit entwickelt ein Rahmenwerk für Assistenzsysteme, die Menschen bei EM-Aufgaben unterstützen. Es untersucht nicht nur technische Fragen (Erfahrungswissen sammeln, strukturieren, speichern und wiederverwenden) sondern auch organisatorische (Erfahrungswissen evaluieren und pflegen) und psychosoziale Aspekte (ein EM-System integrieren, Barrieren vermeiden, den Systemeinsatz bewerten). Fallbasierte Anwendungsbeispiele für industrielle und experimentelle Szenarien zeigen, welche Prozesse wo unterstützt oder gar teilautomatisiert werden können. Sie dienen der experimentellen Evaluierug der Fragen, die ich zu Beginn jedes Anwendungskapitels formuliert habe. / Experience Management (EM) is a special form of Knowledge Management that deals with task-based knowledge. This thesis provides a framework for assistant systems that support human beings in EM tasks. It deals not only with technical issues (how to collect, structure, store, retrieve, and reuse experiential knowledge), but als with organizational issues (how to evaluate and maintain it) and psychosocial questions (how to integrate an EM system, how to avoid barriers, how to evaluate the success of the whole system). Case-based sample applications from both, industrial and experimental scenarios, show to what extend the particular EM processes can be supported or which sub-processes can even be automated. By means of experiments with these implemented samples, we evaluate the topics that are discussed at the beginning of each application chapter.

Die vorliegende Diplomarbeit befasst sich mit dem diagnostischen Schließen bei Widersprüchen. Diagnostisches Schließen wird in Anlehnung an Johnson und Krems (2001) als sequentieller Verstehensprozess aufgefasst, bei dem ein Situationsmodell aufgebaut wird, dass die Problemlösung enthält. Es wurde eine Experimentalaufgabe aus dem Bereich der medizinischen Diagnostik konstruiert, bei der sequentiell Krankheitssymptome präsentiert wurden. Die studentischen Versuchspersonen sollten auf mögliche Ursachen schließen und eine Diagnose stellen. Erfasst wurden die Häufigkeit richtiger Lösungen sowie Ratingwerte einer Plausibilitätseinschätzung über den gesamten Schlussfolgerungsprozess hinweg. Neben widerspruchsfreien Versuchsdurchgängen wurden zwei Arten von Widersprüchen erzeugt. Zum einen Widersprüche, in denen ein Wechsel zwischen verschiedenen Klassen von Hypothesen notwendig ist, und zum anderen Widersprüche, bei denen zwischen Einzelhypothesen der gleichen Hypothesenklasse gewechselt werden soll. Erwartet wurde, dass Widersprüche schwerer zu lösen sein sollten als widerspruchsfreie Durchgänge und dass sich der Prozess des Schließens je nach Widerspruchsart unterschiedlich gestaltet. Im Vergleich der Durchgänge ließen sich die Hypothesen bestätigen. Bezüglich der beiden Widerspruchsarten wurde davon ausgegangen, dass ein Wechsel zwischen Hypothesenklassen schwieriger sein sollte, als wenn Einzelhypothesen innerhalb der gleichen Klasse geändert werden müssen. Dies konnte in der experimentellen Untersuchung nicht bestätigt werden, sondern hat sich eher gegenteilig gezeigt. Mit Hilfe des Verfahrens der Fuzzy Pattern Klassifikation, dass insbesondere die Unsicherheit und Unschärfe von Daten berücksichtigt, wurden die Ratings ausgewertet. Die Modellierung des Schlussfolgerungsprozesses speziell für die Fälle von Widersprüchen verdeutlicht die Ergebnisse.

This thesis investigates the relationship between eye movements, memory and thinking in five studies based on eye tracking experiments. The studies draw on the human ability to spatially index multimodal events as demonstrated by people’s gaze reverting back to emptied spatial locations when retrieving information that was associated with this location during a preceding encoding phase – the so called “looking-at-nothing” phenomenon. The first part of this thesis aimed at gaining a better understanding of the relationship between eye movements and memory in relation to verbal information. The second part of this thesis investigated what could be learned about the memory processes involved in reasoning and decision-making by studying eye movements to blank spaces. The first study presented in this thesis clarified the role of eye movements for the retrieval of verbal information from memory. More precisely, it questioned if eye movements to nothing are functionally related to memory retrieval for verbal information, i.e. auditorily presented linguistic information. Eye movements were analyzed following correct and incorrect retrievals of previously presented auditory statements concerning artificial places that were probed during a subsequent retrieval phase. Additionally, eye movements were manipulated as the independent variable with the aid of a spatial cue that either guided the eyes towards or away from associated spatial locations. Using verbal materials elicited eye movements to associated but emptied spatial locations, thereby replicating previous findings on eye movements to nothing. This behaviour was more pronounced for correct in comparison to incorrect retrievals. Retrieval performance was higher when the eyes were guided towards in comparison to being guided away from associated spatial locations. In sum, eye movements play a functional role for the retrieval of verbal materials. The second study tested if the looking-at-nothing behaviour can also diminish; for example, does its effect diminish if people gain enough practice in a retrieval task? The same paradigm was employed as in the first study. Participants listened to four different sentences. Each sentence was associated with one of four areas on the screen and was presented 12 times. After every presentation, participants heard a statement probing one sentence, while the computer screen remained blank. More fixations were found to be located in areas associated with the probed sentence than in other locations. Moreover, the more trials participants completed, the less frequently they exhibited the looking-at-nothing behaviour. Looking-at-nothing behaviour can in this way be seen to indeed diminish when knowledge becomes strongly represented in memory. In the third and fourth study eye movements were utilized as a tool to investigate memory search during rule- versus similarity-based decision-making. In both studies participants first memorized multiple pieces of information relating to job candidates (exemplars). In subsequent test trials they judged the suitability of new candidates that varied in their similarity to the previously learned exemplars. Results showed that when using similarity, but not when using a rule, participants fixated longer on the previous location of exemplars that were similar to the new candidates than on the location of dissimilar exemplars. This suggests that people using similarity retrieve previously learned exemplars, whereas people using a rule do not. Eye movements were used yet again as a tool in the fifth study. On this occasion, eye movements were investigated during memory-based diagnostic reasoning. The study tested the effects of symptom order and diversity with symptom sequences that supported two or three contending hypotheses, and which were ambiguous throughout the symptom sequence. Participants first learned information about causes and symptoms presented in spatial frames. Gaze allocation on emptied spatial frames during symptom processing and during the diagnostic response reflected the subjective status of hypotheses held in memory and the preferred interpretation of ambiguous symptoms. Gaze data showed how the diagnostic decision develops and revealed instances of hypothesis change and biases in symptom processing. The results of this thesis demonstrate in very different scenarios the tight interplay between eye movements, memory and thinking. They show that eye movements are not automatically directed to spatial locations. Instead, they reflect the dynamic updating of internal, multimodal memory representations. Eye movements can be used as a direct behavioural correlate of memory processes involved in similarity- versus rule-based decision-making, and they reveal rich time-course information about the process of diagnostic reasoning. The results of this thesis are discussed in light of the current theoretical debates on cognitive processes that guide eye movements, memory and thinking. This thesis concludes by outlining a list of recommendations for using eye movements to investigate thinking processes, an outlook for future research and possible applications for the research findings. / Diese Dissertation beschäftigt sich mit der Interaktion von Blickbewegungen, Gedächtnis- und Denkprozessen. In fünf experimentellen Untersuchungen, die auf der Messung von Blickbewegungen beruhen, wurde die menschliche Fähigkeit zum räumlichen Indizieren multimodaler Ereignisse untersucht. Diese Fähigkeit manifestiert sich u.a. im sogenannten „Looking-at-nothing“ Phänomen, das beschreibt, dass Menschen beim Abruf von Informationen aus dem Gedächtnis an Orte zurückblicken, die in einer vorhergehenden Enkodierphase mit den abzurufenden Informationen assoziiert wurden, selbst wenn diese räumlichen Positionen keinerlei erinnerungsrelevante Informationen mehr enthalten. In der ersten Untersuchung wurde der Frage nachgegangen, ob Blickbewegungen an geleerte räumliche Positionen den Abruf von Informationen aus dem Gedächtnis erleichtern. Während ein solches Verhalten für den Abruf zuvor visuell dargebotener Informationen bereits gezeigt werden konnte, ist die Befundlage für die Erinnerungsleistung bei auditiv dargebotenen, linguistischen Informationen unklar. Um diesen Zusammenhang zu untersuchen, wurde das Blickverhalten zunächst als Folge von richtigen und falschen Antworten untersucht. In einem weiteren Schritt wurde das Blickverhalten experimentell manipuliert. Dies geschah mit Hilfe eines räumlichen Hinweisreizes, der die Blicke entweder hin zu der Position leitete, die mit dem abzurufenden Stimulus assoziiert war, oder weg von dieser Position. Die Ergebnisse dieser Untersuchung konnten bisherige Befunde zum Looking-at-nothing Verhalten replizieren. Zudem zeigte sich, dass beim korrekten Abruf von Informationen aus dem Gedächtnis vermehrt Looking-at-nothing gezeigt wurde, während das bei fehlerhaften Abrufen nicht der Fall war. Die Blickmanipulation ergab, dass die Gedächtnisleistung besser war, wenn der Hinweisreiz den Blick hin zur assoziierten räumlichen Position leitete. Im Gegensatz dazu war die Erinnerungsleistung schlechter, wenn der Blick von der assoziierten räumlichen Position weggeleitet wurde. Blickbewegungen an geleerte räumliche Positionen scheinen demnach auch den Abruf verbaler Stimuli zu erleichtern. In der zweiten Untersuchung wurde erforscht, ob das Looking-at-nothing Verhalten nachlässt, wenn das experimentelle Material stark gelernt, d.h. stark im Gedächtnis repräsentiert ist. Dazu wurde das gleiche experimentelle Paradigma, wie in der ersten Untersuchung verwendet. Vier verschiedene Sätze wurden während der Enkodierphase mit vier verschiedenen räumlichen Positionen assoziiert. Nach jeder Präsentation aller vier Sätze, wurde einer der Sätze getestet. Diese Prozedur wiederholte sich in zwölf Durchgängen. In den ersten vier Durchgängen sahen die Versuchspersonen beim Abruf häufiger in das Feld, dass mit der getesteten Information assoziiert war, d.h. sie zeigten wie erwartet das Looking-at-nothing Verhalten. Je mehr Durchgänge die Versuchspersonen bearbeiteten, desto seltener blickten sie zu der assoziierten räumlichen Position. Demnach verschwindet das Looking-at-nothing Verhalten, wenn Informationen stark im Gedächtnis repräsentiert sind. In der dritten und vierten Untersuchung wurden Blickbewegungen an geleerte räumliche Positionen als Methode verwendet um Denkprozesse zu untersuchen. In der dritten Untersuchung lernten Versuchsteilnehmer zunächst Informationen über fiktive Bewerber (Exemplare) für eine freie Position in einem Unternehmen. Jedes Exemplar wurde mit seinen Eigenschaften während der Lernphase mit einer distinkten räumlichen Position verknüpft. In einer nachfolgenden Entscheidungsphase beurteilten die Versuchsteilnehmer neue Bewerber. Diese neuen Bewerber variierten in ihrer Ähnlichkeit mit den zuvor gelernten Bewerbern. Versuchsteilnehmer die eine ähnlichkeitsbasierte Entscheidungsstrategie verwendeten, sahen an die geleerten räumlichen Positionen zurück, die in der Lernphase mit den Exemplaren verknüpft wurden. Wendeten sie jedoch eine abstrakte Regel an, um die neuen Bewerber zu beurteilten, so zeigten sie kein Looking-at-nothing Verhalten. Dieses Ergebnis lässt darauf schließen, dass eine ähnlichkeitsbasierte im Gegensatz zu einer regelbasierten Strategie den Abruf zuvor gelernter Exemplare bewirkt. Auch in der fünften Untersuchung wurden Blickbewegungen als Methode eingesetzt, diesmal zur Untersuchung gedächtnisbasierter Schlussfolgerungsprozesse, wie sie beim Finden von Erklärungen für eine Anzahl gegebener Informationen auftreten. Manipuliert wurden die Reihenfolge der präsentierten Informationen und die Diversität der möglichen Erklärungen. Die getesteten Symptomsequenzen unterstützen stets mindestens zwei mögliche Erklärungen. Die Versuchsteilnehmer lernten in einer vorangestellten Lernphase die Symptome und ihre möglichen Erklärungen. Symptome und Erklärungen wurden mit räumlichen Positionen verknüpft. In einer anschließenden Diagnosephase wurden verschiedene Symptomsequenzen getestet. Das Blickverhalten während der Diagnosephase reflektierte die Interpretation der Symptome im Sinne der subjektiv wahrscheinlichsten Erklärung. Die Aufzeichnung und Analyse der Blickbewegungen erlaubte es die Entwicklung dieser Interpretation über die gesamte Sequenz hinweg zu beobachten und Hypothesenwechsel lokalisieren zu können. Insgesamt stützen die Ergebnisse dieser Dissertation die Annahme einer engen funktionalen Verbindung von Blickbewegungen, Gedächtnis- und Denkprozessen. Sie zeigen, dass Blickbewegungen nicht automatisch an alle assoziierten räumlichen Positionen gerichtet werden, sondern dass sie vielmehr den situations- und aufgabenabhängigen Abruf von Informationen aus dem Gedächtnis widerspiegeln. Blickbewegungen können als direktes Verhaltensmaß zur Messung von Gedächtnisprozessen beim ähnlichkeitsbasierten Entscheiden herangezogen werden und liefern wertvolle Prozessdaten über die Integration von Symptominformationen beim diagnostischen Schließen. Die Ergebnisse dieser Dissertation werden im Lichte der aktuellen theoretischen Diskussion über kognitive Prozesse beim Bewegen der Augen, beim Gedächtnisabruf und beim komplexen Denken betrachtet. Abschließend werden Empfehlungen für die Verwendung der Methode der Blickbewegungsmessung als Prozessmaß zur Untersuchung gedächtnisbasierter Denkprozesse gegeben, ein Überblick über zukünftige Forschungsmöglichkeiten präsentiert und Ideen für Anwendungsmöglichkeiten der präsentierten Befunde aufgezeigt.

Description Logics (DLs) are increasingly successful knowledge representation formalisms, useful for any application requiring implicit derivation of knowledge from explicitly known facts. A prominent example domain benefiting from these formalisms since the 1990s is the biomedical field. This area contributes an intangible amount of facts and relations between low- and high-level concepts such as the constitution of cells or interactions between studied illnesses, their symptoms and remedies. DLs are well-suited for handling large formal knowledge repositories and computing inferable coherences throughout such data, relying on their well-founded first-order semantics. In particular, DLs of reduced expressivity have proven a tremendous worth for handling large ontologies due to their computational tractability. In spite of these assets and prevailing influence, classical DLs are not well-suited to adequately model some of the most intuitive forms of reasoning. The capability for abductive reasoning is imperative for any field subjected to incomplete knowledge and the motivation to complete it with typical expectations. When such default expectations receive contradicting evidence, an abductive formalism is able to retract previously drawn, conflicting conclusions. Common examples often include human reasoning or a default characterisation of properties in biology, such as the normal arrangement of organs in the human body. Treatment of such defeasible knowledge must be aware of exceptional cases - such as a human suffering from the congenital condition situs inversus - and therefore accommodate for the ability to retract defeasible conclusions in a non-monotonic fashion. Specifically tailored non-monotonic semantics have been continuously investigated for DLs in the past 30 years. A particularly promising approach, is rooted in the research by Kraus, Lehmann and Magidor for preferential (propositional) logics and Rational Closure (RC). The biggest advantages of RC are its well-behaviour in terms of formal inference postulates and the efficient computation of defeasible entailments, by relying on a tractable reduction to classical reasoning in the underlying formalism. A major contribution of this work is a reorganisation of the core of this reasoning method, into an abstract framework formalisation. This framework is then easily instantiated to provide the reduction method for RC in DLs as well as more advanced closure operators, such as Relevant or Lexicographic Closure. In spite of their practical aptitude, we discovered that all reduction approaches fail to provide any defeasible conclusions for elements that only occur in the relational neighbourhood of the inspected elements. More explicitly, a distinguishing advantage of DLs over propositional logic is the capability to model binary relations and describe aspects of a related concept in terms of existential and universal quantification. Previous approaches to RC (and more advanced closures) are not able to derive typical behaviour for the concepts that occur within such quantification. The main contribution of this work is to introduce stronger semantics for the lightweight DL EL_bot with the capability to infer the expected entailments, while maintaining a close relation to the reduction method. We achieve this by introducing a new kind of first-order interpretation that allocates defeasible information on its elements directly. This allows to compare the level of typicality of such interpretations in terms of defeasible information satisfied at elements in the relational neighbourhood. A typicality preference relation then provides the means to single out those sets of models with maximal typicality. Based on this notion, we introduce two types of nested rational semantics, a sceptical and a selective variant, each capable of deriving the missing entailments under RC for arbitrarily nested quantified concepts. As a proof of versatility for our new semantics, we also show that the stronger Relevant Closure, can be imbued with typical information in the successors of binary relations. An extensive investigation into the computational complexity of our new semantics shows that the sceptical nested variant comes at considerable additional effort, while the selective semantics reside in the complexity of classical reasoning in the underlying DL, which remains tractable in our case.

Das Finden einer Erklärung für eine gegebene Menge von Daten oder Evidenzen wird als abduktives Schließen bezeichnet (Josephson & Josephson, 1994). Eine Vielzahl von Aufgaben lässt sich demnach als Abduktion charakterisieren, darunter beispielsweise medizinische Diagnose, die Suche nach Fehlern in technischen Systemen oder auch wissenschaftliches Entdecken (z.B. Charniak & McDermott, 1985). Für viele dieser Aufgaben ist der Umgang mit Anomalien von besonderer Bedeutung. Eine Anomalie ist im einfachsten Falle eine neue Evidenz, die einer bisherigen Erklärung für Daten widerspricht. Vor allem im Bereich des wissenschaftlichen Entdeckens weist eine Vielzahl von Studien darauf hin, wie wichtig das Erkennen und Lösen von Anomalien für erfolgreiches Problemlösen ist (vgl. Kuhn, 1962; Chinn & Brewer, 1998; Alberdi, Sleeman & Korpi, 2000). Die meisten Theorien abduktiven Schließens berücksichtigen die Bedeutung von Anomalien dagegen nur unzureichend (vgl. Klahr & Dunbar, 1988; Thagrad, 1989). Allerdings bietet das Modell von Johnson und Krems (2001, Krems & Johnson, 1995) einen spezifischen Mechanismus zur Anomalieresolution: Im Falle zweier sich widersprechender Evidenzen wird für beide Evidenzen eine Alternativerklärung konstruiert. Anschließend werden diese gegeneinander abgewogen. Indes wurde dieser Mechanismus bislang noch nicht empirisch belegt. Ziel der vorliegenden Arbeit war es einerseits zu klären, ob sich empirische Belege für den postulierten Mechanismus zur Anomalieresolution von Johnson und Krems (2001) finden lassen und andererseits zu prüfen, welche Einflussfaktoren und Strategien die Resolution von Anomalien beeinflussen. Es fand sich, dass abstrakte Ausgangshypothesen die Resolution von Anomalien erleichtern. Widersprach eine Anomalie einer abstrakten Ausgangserklärung, so lösten die Versuchsteilnehmer in Experiment 1 die Aufgaben häufiger, als bei einer konkreten Ausgangshypothese. In Experiment 2 zeigte sich zudem, dass bei einer abstrakten Ausgangshypothese weniger Experimente durchgeführt werden mussten um die Aufgabe korrekt zu lösen, dass häufiger spezifische Hypothesentests durchgeführt wurden und die Aufgaben auch schneller gelöst werden konnten. Unabhängig von der Ausgangshypothese testeten erfolgreiche Versuchsteilnehmer bevorzugt spezifische Hypothesen während hypothesenfreie Experimente dazu dienten, neue Hypothesen zu generieren. Demnach lösten die Probanden die Aufgaben durch Anwendung einer Mischstrategie, indem sie sowohl hypothesengestützt als auch hypothesenfrei nach neuen Daten suchten. Eine Einteilung der Versuchsteilnehmer in Theoretiker und Empiristen (Klahr & Dunbar, 1988) war dagegen nicht möglich. Das Ergebnis wurde in Anlehnung an Befunde von Smith et al. (1991) dahingehend interpretiert, dass eine solche Mischstrategie dabei hilft, die Komplexität der abduktiven Aufgabe zu reduzieren. Nicht bestätigt werden konnte in den Experimenten 2 und 3 die Modellvorhersage von Johnson und Krems (2001), dass die Versuchspersonen zwei Alternativerklärungen für die widersprechenden Evidenzen generieren um diese anschließend gegeneinander abzuwägen. Es wurde von den Probanden nur eine Alternativerklärung generiert, in Abhängigkeit davon, ob die an der Anomalie beteiligten Evidenzen kontextsensitiv oder kontextfrei erklärbar waren. Unter kontextsensitiven Evidenzen versteht man solche Evidenzen, die zu ihrer Erklärung auf andere Evidenzen angewiesen sind. Dagegen können kontextfrei erklärbare Evidenzen unmittelbar und ohne Einbeziehung des Kontextes erklärt werden. War eine kontextsensitive Evidenz an der Anomalie beteiligt, entweder als anomalieauslösende Evidenz oder als widersprochene Evidenz, so wurde immer diese alternativ erklärt. Waren dagegen beide an der Anomalie beteiligten Evidenzen kontextfrei erklärbar, so wurde nur für die anomalieauslösende Evidenz eine Alternativerklärung generiert. Zusammenfassend belegen die Ergebnisse der vorliegenden Arbeit die Bedeutung unterschiedlicher Hypothesentypen bei der Anomalieresolution. Abstrakte Ausgangshypothesen erleichtern nach Anomalieeintritt den Wechsel zu alternativen Hypothesen. Ist an der Anomalie eine kontextsensitive Evidenz beteiligt, wird diese bevorzugt alternativ erklärt. Im anderen Falle wird immer die anomalieauslösende Evidenz alternativ erklärt. Weiterhin zeigen die Ergebnisse, dass im Gegensatz zu dem von Johnson und Krems postulierten Mechanismus, menschliche Problemlöser bei der Anomalieresolution keine Optimierungs-strategie anwenden, sondern minimumsorientiert nach nur einer Alternativ-erklärung suchen und anschließend die Suche abbrechen (vgl. Gigerenzer & Selten, 2000). Dagegen fand sich als bevorzugte Strategie erfolgreicher Problem-löser das Testen spezifischer Hypothesen sowie hypothesenfreie Experimente zur Generierung von neuen Hypothesen.

Die vorliegende Diplomarbeit befasst sich mit dem diagnostischen Schließen bei Widersprüchen. Diagnostisches Schließen wird in Anlehnung an Johnson und Krems (2001) als sequentieller Verstehensprozess aufgefasst, bei dem ein Situationsmodell aufgebaut wird, dass die Problemlösung enthält. Es wurde eine Experimentalaufgabe aus dem Bereich der medizinischen Diagnostik konstruiert, bei der sequentiell Krankheitssymptome präsentiert wurden. Die studentischen Versuchspersonen sollten auf mögliche Ursachen schließen und eine Diagnose stellen. Erfasst wurden die Häufigkeit richtiger Lösungen sowie Ratingwerte einer Plausibilitätseinschätzung über den gesamten Schlussfolgerungsprozess hinweg. Neben widerspruchsfreien Versuchsdurchgängen wurden zwei Arten von Widersprüchen erzeugt. Zum einen Widersprüche, in denen ein Wechsel zwischen verschiedenen Klassen von Hypothesen notwendig ist, und zum anderen Widersprüche, bei denen zwischen Einzelhypothesen der gleichen Hypothesenklasse gewechselt werden soll. Erwartet wurde, dass Widersprüche schwerer zu lösen sein sollten als widerspruchsfreie Durchgänge und dass sich der Prozess des Schließens je nach Widerspruchsart unterschiedlich gestaltet. Im Vergleich der Durchgänge ließen sich die Hypothesen bestätigen. Bezüglich der beiden Widerspruchsarten wurde davon ausgegangen, dass ein Wechsel zwischen Hypothesenklassen schwieriger sein sollte, als wenn Einzelhypothesen innerhalb der gleichen Klasse geändert werden müssen. Dies konnte in der experimentellen Untersuchung nicht bestätigt werden, sondern hat sich eher gegenteilig gezeigt. Mit Hilfe des Verfahrens der Fuzzy Pattern Klassifikation, dass insbesondere die Unsicherheit und Unschärfe von Daten berücksichtigt, wurden die Ratings ausgewertet. Die Modellierung des Schlussfolgerungsprozesses speziell für die Fälle von Widersprüchen verdeutlicht die Ergebnisse.

Quality of service is commonly used to shape network traffic to meet specified criteria. The various scenarios include limiting and reserving bandwidth for a particular application, host or user, prioritizing latency sensitive traffic or equal distribution of unreserved bandwidth. The DynShaper software distributes and controls a traffic quota by more sophisticated means than fixed per user limits and simple disconnection after the user reaches the limit. It distributes the quota on a daily basis, where each day receives the same share. The users are sorted into predefined groups with different bandwidths depending on their recent consumption. This classification is periodically updated to ensure the sorting order is maintained. The bandwidths of these groups is dynamically adjusted depending on the actual consumption to provide an efficient utilization. This thesis presents another distribution model using a case-based reasoning approach, a method for machine learning which is classified as conventional artificial intelligence. Case-based reasoning tries to solve new problems based on the solutions of similar problems from the past. Controlling the network traffic to remain within a fixed quota can be modeled as such a problem if the traffic patterns are recurring. Possible solutions can be derived from statistical data and altered to suit the new problems. When an untested solution is applied, the software supervises the execution and revises the solution accordingly, if the actual results deviate from the precalculated schedule.

Der wirtschaftliche Erfolg von Unternehmen wird heute von der Fähigkeit beeinflusst, die Geschäftsstrategie schneller umsetzen zu können als die Konkurrenz. Wichtige Ziele sind die Erschließung neuer Märkte, die Reduzierung von Kosten sowie die Steigerung der Effizienz. Eine Voraussetzung besteht darin, vorhandene Geschäftsprozesse flexibel anpassen und zügig neue Prozesse einführen zu können. Das bedingt wandlungsfähige und innovationsfördernde Systemlandschaften. An dieser Stelle setzen die durch Geschäftsprozesse getriebenen serviceorientierten Architekturen für ERP-Systeme an. Mit SOA-ERP-Systemen wird es möglich, selektiv und am Bedarf ausgerichtet neue Prozesse zu gestalten und das Prozess-Design mit der Einbindung von Lieferanten, Kunden und Partnern über Unternehmensgrenzen hinweg zu gestalten. SAP Enterprise-SOA bezeichnet die serviceorientierte ERP-Architektur der SAP AG. Die darauf basierenden Anwendungen entstehen – unter Einsatz der Enterprise-SOA Roadmap-Methodik – durch die gezielte Kombination von Plattform-, Ex-tension- und Composite-Applikationen. Letztere stellen hochflexible, aus Enterprise-Services/Services von Drittanbietern erstellte, Anwendungen dar. Deren Design durch SOA-Experten liegt ein hohes Maß an Erfahrungswissen zu Grunde. Dieses stellt den zentralen Aspekt der Speicherung und Wiederverwendung durch fallbasiertes Schließen dar. Im Gegensatz zum bestehenden Ansatz zur Beschreibung von Best-Practice Implementierungen im „SAP Community Network“ ermöglicht der hier dargestellte Vorschlag die strukturierte, prozessbezogene Speicherung sowie die ähnlichkeitsbasierte Wiederverwendung von Composite-Applikationen innerhalb des Roadmap-Prozesses. Schwerpunktmäßig werden dazu Indizes zum Aufbau von Zugriffsstrukturen in der Fallbasis sowie wie ein allgemeingültiges globales und ein beispielhaftes, kontextspezifisches lokales Indexvokabular erarbeitet. Weiterhin erfolgt die Angabe entsprechender Ähnlichkeitsmaße für die ausgeprägten Indizes sowie das Aufzeigen der Ähnlichkeitsbestimmung zwischen zwei Fällen durch einen Nearest-Neighbor Matching Algorithmus.