Research Colloquium and Colloquium for Doctoral Candidates

General Information

The research colloquium of the CogSys group is a forum for scientific discussion between lecturers, doctorate candidates and master students (interested bachelor students are welcome, too). Talks cover concepts and results of theses as well as current research in the field cognitive systems. Furthermore, current subjects of more general interest can be presented and discussed. Sometimes external researchers are invited.

If you want to be informed about current talks and want to look up the login information, please sign up for the  course KogSys: General Information in the virtual campus.

Please also note the talks of the BaCAI lecture series.

Kolloquium, 10.10.19

Lisa Schatt, Master AI, in context of the Dare2Del project: Title Generating Explanations For Classification of Irrelevant Files
In the course of a lifetime people do not only hoard several items and documents but also digital files whose amount and size is constantly on the rise. The evaluation whether these files are still needed and thus relevant is getting more difficult over time and with increasing number of files. The application concept of Dare2Del offers the possibility to analyze files in a file system to suggest deletion candidates and explain those with a textual reasoning. This thesis focusses on one hand on the implementation of a prototype of the application and on the other hand on extending the logic in a way to enable near misses as counterexamples for a higher explanation comprehensibility. These near missed files fulfill nearly all criterias for irrelevance to be classified as deletion candidates but not all of them. This leads to a clarification of the comparison of relevant and irrelevant files for the user by corresponding examples.

Kolloquium, 24.09.19, 09:15 Uhr, WE5/05.013

Thilip: "Optimizing alert timings"

Kolloquium, 29.08.19

Clemens Bartnik: "Der Einfluss von Erkl?rungen auf Vertrauen in Dare2Del - Studienvorstellung"

Kolloquium, 25.07.19

Sebastian Seufert, Ferdinand Lang: "Pepper"

Kolloquium, 24.07.19, 13:30 Uhr, WE5/05.013

Hannah Deininger: Inductive Logic Programming Theories as Explanations for Image Classification: How Number and Semantic Distance of Contrasting Classes Influence Explanation Complexity
Abstract: Deep Learning models such as Convolutional Neural Networks are successfully applied to image classication because of their outstanding performance regarding their accuracy. However, they suer from not being comprehensible in their internals by humans. Especially, it is unclear how Deep Learning models learn to dierentiate between classes. To get insight into the learning process of Black-Box models, this master's thesis improved the explainable AI system LIME-Aleph 2.0 resulting in LIME-Aleph 2.1. LIME-Aleph 2.1 combines the predictive power of Deep Learning models with logic rules generated with the ILP system Aleph to obtain comprehensible explanations for the classication result of the Black-Box classier. Concretely, this master's thesis aims to answer questions regarding the influence of contrasting classes on the generated explanations' complexity. To investigate if and to what extent contrasting classes influence the generated explanations' complexity, two experiments were conducted based on LIME-Aleph 2.1. It could be shown that the number of contrasting classes influences explanation complexity, whereas a variation of the semantic distance of the contrasting class seems to have no impact on explanation complexity. Overall, this master's thesis is one step in the direction of making Deep Learning more understandable for humans.

Kolloquium, 24.07.19, 12 Uhr, WE5/05.013

Daniel Sch?fer: Comparing Feature-based, Sequential, and Logic Machine Learning Approaches for Trajectory Mining

The goal of this thesis is to investigate the possibility to predict transportation modes of parts of a trajectory. From these parts only certain features are known, that describe them and a sequence of previous parts of that same trajectory, that are direct predecessors. These sequences are created with a sliding window approach. Predecessors of a segment are set into relation to the part of the trajectory that is investigated. The utilised ALEPH framework then produces human readable rules based upon these features and relations among the segments. For each transportation mode that is investigated one or more rule is produced. Throughout this thesis is investigated, if a Positive Only (PosOnly) approach can compete with
inducing by the regular One-Against-All (OAA) setting. The evaluated results are compared to a Conditonal Random Field (CRF) approach, that was earlier realised for predicting Transportation Modes (TMs).

Kolloquium, 17.07.19, um 13:00 Uhr, WE5/05.013

Krist Fama: A Learning Chatbot - Incremental Learning for Advice Giving
Abstract: Human-machine conversations aim to make the communication between users and machines easier via natural language. This communication often happens with the help of chatbots. These agents nowadays can be realised by using Natural Language Understanding (NLU) services which make it possible for a machine to understand human language. In this work, an intelligent chatbot for the back pain domain is realised. This realisation is achieved by using the Rasa Framework for NLU and handling the dialog management. The input recognition using a Support Vector Machine (SVM) classifier and the output prediction using a Recurrent Neural Network (RNN) are then evaluated.

Kolloquium, 11.07.19 um 17:15 Uhr 

Sarem Seitz: "Making Reinforcement Learning agents efficient for learning and acting in the real-world"

Kolloquium, 04.07.19 

Jan Boockmann: "Towards the Inference of Shape Predicates from Memory Graphs"

Kolloquium, 04.07.19 um 14:00 Uhr

Malte Büttner: "Iterative visual reasoning beyond convolutions"

Kolloquium, 29.05.19, 14 Uhr, WE5/05.013

Simon Hoffmann: Comparing Non-Pretrained Deep Learning Architectures for Subcellular Protein Pattern Classification in Confocal Microscope Images

 Accurately classifying of subcellular protein-patterns in microscope images remains a major challenge for experts and deep learning systems. The nature of cells – including cell division, variable states and fine-grained structures – poses an extraordinary recognition setting. Due to their excellent recognition capability, high-performance deep neural networks are predestined for an efficient and accurate analysis of these sophisticated medical images. Adequate networks could enhance the understanding of proteins and subcellular functions, which is crucial to defeat serious diseases such as cancer. However, network architectures that can cope with these complex pictorial features have been inadequately evaluated so far. Hence, this master’s thesis aims at evaluating appropriate state-of-the-art deep learning architectures in order to highlight their performance in subcellular protein pattern classification in images of the Cell Atlas dataset. For this purpose, the four deep learning architectures DenseNet, Inception-ResNet-V2, DFL-CNN and GapNet-PL are implemented. Furthermore, the classification performance and computational requirements of all architectures are compared against each other. For reasons of objectivity, all models are utilised without prior training. The results of the evaluation provide crucial insights into the suitability of the architectures for dealing with complex cell characteristics. Ultimately, this study shows that all investigated architectures demonstrate exceptional accomplishment – albeit divergent - in classifying fine-grained protein and subcellular pattern in confocal microscope images.

Kolloquium, 23.05.2019, 14:00, WE5/05.013

Felix Hitzler (MA Computing in the Humanties): Reinforcement Learning to Evaluate Different Branching Heurstics for Constraint Satisfaction Problems
The thesis has been realised In cooperation with the CAS Software AG. The goal has been to extend the CAS Configurator Merlin such that Boolean constraint satisfaction problems for product configurations can be solved. Accordingly, a framework for testing different branching heurstics with reinforcement learning has been developed.

Kolloquium 29.04.2019, 14:30 s.t., WE5/05.013

Ludwig Schallner (MA AI): Effekt verschiedener Methoden zur Generierung von Superpixeln auf die visuellen Erkl?rungen von LIME

Im Rahmen dieser Masterarbeit werden Modelle, welche auf verschiedene Datens?tze (gestresste Tabakpflanzen, Malaria) trainiert wurden mit unterschiedlichen Superpixel-Berechnungsmethoden in Kombination mit LIME betrachtet. Die unterschiedlichen Superpixel-Ans?tze werden anhand ihres Effektes auf die visuelle Erkl?rbarkeit von LIME untersucht.

Kolloquium 29.04.2019, 13:00 s.t., WE5/05.013

Andreas Wiegand (MA AI): Rekonstruktion von 3D-Modellen  mit Generative Adversarial Networks

Ziel der Arbeit ist es, das Konzept der GANs auf 3D-Punktwolken von Tabakbl?ttern anzuwenden, um die Wahrscheinlichkeitsverteilung von 3D-Daten zu erlernen. Des weiteren soll geprüft werden, ob es mit Hilfe von GANs m?glich ist, Punktwolken zu erg?nzen, welche beim Erfassen durch ein Scan-Verfahren unvollst?ndig erfasst worden sind. Dabei wird auf Verfahren zurückgegriffen, welche bei 2D-Daten, wie Bildern, zur Rekonstruktion verwendet worden ist, so zum beispielsweise Conditional-GANs (C-GAN, Dong, Loy, He, & Tang, 2016a). Die Ergebnisse dieser Arbeit zeigen auf, dass es m?glich ist, die Punktwolken von Tabakbl?ttern zu erlernen und neue Bl?tter zu produzieren. Die Qualit?t der generierten Daten ist jedoch eher mittelm??ig. Es zeichnet sich jedoch eine Qualit?tssteigerung der Rekonstruktion, durch unterschiedliche Aufbauten von GANs, ab.

Kolloquium, 18.04.2019

Thomas Voit, TH Nürnberg: "Lernen über Spiele/?hnlichkeit von Spielen"

Kolloquium 20.12.2018, 16:00 s.t., WE5/05.013

Gesina Schwalbe, AI Lab Continental: ?berblick über die Absicherung von DNNs im autonomen Fahren

Viele herk?mmlichen Methoden zur Sicherstellung der Betriebssicherheit sind auf autonome Fahrzeuge mit DNNs nicht (direkt) anwendbar. Der Vortrag ist ein Schnelldurchlauf durch die wichtigsten Fragestellungen und Unterschiede, den aktuellen Stand und m?gliche Ausblicke zur Absicherung von DNNs.

Kolloquium 18.12.2018, 14:00 s.t., WE5/05.013

Harshit Gupta (MA IntSoSySc): Explanation Generation from Reasoning Traces

In this thesis, we explain the reasoning trace of a Prolog program using simple English sentences. The goals are requested from the user via a graphical user interface and resultant goal with intermediate trace rules are “textualized” and presented to the user within the graphical user interface. We present this thesis as a white box model to explain the results of a Prolog program, along with comparing the explanations of white box models to black box models.

Kolloquium 13.12.2018, 16:00 s.t., WE5/05.013

Michael Nigsch und Mel Walter, ibindo GmbH München: ibindo – ein Chatbot gegen Liebeskummer

ibindo richtet sich an Menschen, die verlassen worden sind und unter einer Trennung leiden. Liebeskummer verl?uft in der Regel in vier, nicht voneinander abgrenzbaren, Phasen:
 ? Leugnung,
 ? aufbrechende Gefühle,
 ? Neuorientierung und dem
 ? Neubeginn.
ibindo arbeitet wie ein Coach oder ein Therapeut und begleitet die Betroffenen durch diese Phasen. Er ist psychoedukativ und arbeitet mit Methoden basierend auf der systemischen Therapie und der dialektisch-behaviouralen Therapie (DBT).
Menschen, die unter Liebeskummer leiden, erleben h?ufig starke Emotionen: Verzweiflung, Angst, Einsamkeit oder Wut. Ibindo bietet hierfür spezielle Programme an, um die Betroffenen darin zu unterstützen besser mit diesen Emotionen umgehen zu k?nnen.
Bisher bildet ibindo freie (kontextuell eingeschr?nkte) Eingaben durch NLP auf einfache Absichten ab und definiert User als ein Objekt mit bestimmten Attributen (“hat Hoffnung”, “ist wütend”) – hierzu stellt der Bot gezielte Fragen. Zukünftig soll ein User als Menge von typischen [Sprachmodi und Gefühlszust?nden] unabh?ngig von erwartbaren Antworten modelliert und der Gespr?chsverlauf in seiner Gesamtheit einer Klassifizierung (Typ “Leugnung”, Typ “Aufbrechende Gefühle” usw.) zugrunde gelegt werden. Auch eine kleine Anzahl von Aussagen k?nnte so bereits früh zu einer praktikablen Einsch?tzung führen. Den Datensatz, anhand dessen die Typen abgegrenzt und eine KI trainiert würde, sollen l?ngere Eingaben liefern, zu denen der User derzeit schon an kritischen Stellen aufgefordert wird. Die Positionsbestimmung des Users (als Abbildung des Verlaufs von Gespr?chsbeginn bis zum momentanen Befinden) soll zunehmend anpassungsf?higer und dynamischer werden, um Dialoge nur zu relevanten, aktuellen Themen zu erzeugen. Das Programm begleitete den User dann noch zuverl?ssiger durch die Phasen der Therapie und riefe im Idealfall den Bewusstseinszustand eines “glücklichen und zufriedenen” Menschen hervor, dessen Selbstbewusstsein wiederhergestellt ist und der sich aus seiner emotionalen Krise befreien konnte.

Kolloquium 06.12.2018

Johannes Rabold: "Bayesian Deep Learning"

Kolloquium 29.11.2018

Explanation Generation Frameworks

Florence Rat (MA CitH): Intention Recognition in a Probabilistic Logic Framework -- Investigating Navigation Behaviour in Complex Tables

This paper examines an approach to intention recognition in a probabilistic logical framework  in the context of the cognitive support system Dare2Del and the use case of a table-based  work scenario. The approach is based on the logic of the situation calculus and combines  it with probability theory to determine the most likely intention of an observed agent. The  goal is to extend this probabilistic logical approach to the use case of table navigation so  that context such as cell content or cell position can be integrated, and to evaluate its basic  feasibility and applicability to a particular use case scenario. This includes the realisation of  the presented approach and its extension as well as the research and realisation of a tool for  tracking user actions during navigation in tables. In addition, the human navigation behaviour  in complex tables is observed and evaluated. The user data for the evaluation were collected  in the context of a user study. The probabilistic logical approach for intention recognition  proves to be suitable for the extension and integration of context information. However, the  estimation of probabilities must be improved and adjusted.

Johannes Rabold (MA AI): Enriching LIME with Inductive Logic Programming: Explaining Deep Learning Classifiers with Logic Rules in a Companion System Framework

With the rise of black-box classifiers like Deep Learning networks, the need for interpretable and complete explanations for them becomes apparent. Users need to have the possibility to ask why a classifier inferred a particular result. Logic clauses induced by Inductive Logic Programming systems are superior in expressibility over visual explanations alone. This thesis uses the ideas of LIME, a visual explanation framework, and enriches it with an ILP component to get comprehensible and powerful ex planations for the inference results of Deep Learning Networks for images. The background knowledge for the predicates is obtained both automatically and by an annotation system that lets humans annotate labels and relations. The human labeling system and the explanation component form a Companion System where not only AI helps the user but also the other way round.

Katharina Weitz (MA CitH): Applying Explainable Artificial Intelligence for Deep Learning Networks to Decode Facial Expressions of Pain and Emotions

Deep learning networks are successfully used for object and face recognition in images and videos. In order to be able to apply such networks in practice, for example in hospitals as a pain recognition tool, the current procedures are only suitable to a limited extent. The advantage of deep learning methods is that they can learn complex non-linear relationships between raw data and target classes without limiting themselves to a set of hand-crafted features provided by humans. However, the disadvantage is that due to the complexity of these networks, it is not possible to interpret the knowledge that is stored inside the network. It is a black-box  learning procedure. Explainable Artificial Intelligence (XAI) approaches mitigate this problem by extracting explanations for decisions and representing them in a  human-interpretable form. The aim of this master’s thesis is to investigate different XAI methods and apply them to explain how a deep learning network distinguishes facial expressions of pain from facial expressions of emotions such as happiness and  disgust. The results show that the CNN has problems to distinguish between pain and happiness. By the usage of XAI it can be shown that the CNN discovers features for happiness in painful images, when the person shows no typical pain related facial expressions. Furthermore, the results show that the learned features of the network are dataset-independent. It can be concluded that model-specific XAI approaches seem to be a promising base to make the learned features visible for humans. This is on the one hand the first step to improve CNNs and on the other hand,  to increase the comprehensibility of such black box systems.

Michael Gro?  (MA AI): Exploring Deep Learning for Relational Domains A Case Study with Michalski Trains
In this master thesis the ability of deep neural networks to learn basic relations with as less prior knowledge as possible is observed. For this, the relational domain of the Michalski trains is used, due to its versatility in presentation, complexity in possible classification rules, and easy understandability. Therefore, a convolutional neuronal network was implemented to let it learn the relations from pictures of the trains, which separates the needed knowledge of the domain, i.e. the size of the image, from the semantics of its relations. The empirical results show, that the used CNN is well able to classify the trains correctly, but also that the diffculty to learn the rule may be solely attributed to the number of patterns needed for classifying a train correctly, but not its logical complexity.

Rambabu Gupty (MA IntSoSySci): Applying Deep Learning for Classifying Images of Hand Postures in the Rock-Paper-Scissors Game

The goal of our research is to build a model for visual recognition. First, I described Convolutional neural networks, its methods and techniques. Moreover, I also presented briefly the history of deep learning. After that, introduction about few architectures of convolutional neural networks were discussed. The crucial thing about this experiment is that we are dealing with fewer amounts of data for deep learning training and spend less computation power to perform training as architecture is relatively small. I also include several models with different methods and techniques to achieve the best accuracy on CIFAR10 datasets. In the experiment, architecture has to be designed, to classify images of three hand postures of ”Rock-Paper-Scissors” game. An intelligent agent (named NAO) plays this game with people. So, deep learning model has to be built for identifying different hand postures of image. Based on results, similar architecture (with techniques and methods) which obtained higher accuracy in that experiment has been used to classify hand postures of the game.

Mark Gromowski: Extending Hidden Markov Models to Set-Valued Observations: A Comparison of Different Approaches on Sequences of Facial Expressions

The present thesis describes the implementation of a classification system based on the concept of Hidden Markov Models. Combinations of parallel observations that occur in the course of an observation sequence are handled either by representing them as separate symbols in the alphabet of possible observations or by using an updated HMM concept processing them as sets of observations. The classification system, which is realized as an extension of the data mining software RapidMiner, is evaluated by applying it to sequences of Action Units representing facial expressions. The system achieves modest results in classifying facial expressions decoding pain and other sentiments. Generalising or completely removing AUs that are irrelevant for the classification of pain leads to a higher recall for the class pain but can result in a decrease of the overall performance. Processes applying the updated HMM concept require more computation time but fewer states and iterations of the training process in order to achieve their optimal results.

Marco Dorner (MA AI):  Ein lernbasierter Companion-Ansatz zur Transformation von semi-strukturierten in strukturierte Daten – Systematische Evaluation der FlashMeta Technologie

 Die Automatisierte Erzeugung von Programmen ist eine Problemstellung die im professionellen wie im privaten ?Computer-Alltag“ relevant ist. Immer dann, wenn ein Computernutzer sich mit repetitiven Aufgaben konfrontiert sieht, w?re ein kleines Programm sinnvoll. Für Benutzer ohne Programmierkenntnisse ist das allerdings nahezu unm?glich.
In dieser Arbeit wird das PROSE Framework betrachtet, ein von Microsoft entwickeltes Framework zur automatisierten Programmsynthese anhand von Beispielen. Zur Programmsynthese werden Beispiele für die gewünschte Programmausgabe spezifiziert. Programme werden dann mit Hilfe einer vorher definierten Grammatik erstellt. Der Synthesealgorithmus ist prinzipiell dom?nenunabh?ngig. Zur Effizienzsteigerung kommt für verschiedene Operatoren dom?nenspezifisches Wissen zum Einsatz. Um die Funktionsweise von PROSE zu analysieren wurden für drei dom?nenspezifische Sprachen mehrere Programme synthetisiert.  Diese Programme sollten unterschiedliche Datenextraktionsaufgaben aus einem generisch erzeugten Tabellensatz erledigen. Nicht immer konnte das richtige Programm erzeugt werden. Die Ergebnisse deuten darauf hin, dass der Einsatz eines Companions gerade bei Unregelm??igkeiten in den Daten durch Rückfragen hilfreich sein kann.

Dr. Michael S. Bittermann: Kognition als Kontinuum der  Pareto-Nichtdominiertheit
im Raum der Entscheidungsvariablen

Ein rechnerisches Modell der Kognition ist Gegenstand des Vortrags. Kognition wird in dieser Arbeit definiert als Bereitschaftszustand, unverzüglich das Beste zu tun, unter Einbeziehung der Einmaligkeit des Umstands in dem sich der/die kognitiv Handelnde befindet. Das ?Beste“ bedeutet, dass die Handlung eine minimale Ver?nderung des Umstands bewirkt, der ver?nderte Umstand jedoch die Zielsetzungen, welche vom Handelnden verfolgt werden, maximal erfüllt. Von dieser Warte aus erscheint Kognition als eine Form robuster, unmittelbarer Optimierung. Im vorliegenden rechnerischen Modell wird die Formation von Kognition durch stochastische Mehrzieloptimierung abgebildet, deren Resultate über ein selbst-assoziatives Radiale-Basisfunktionen-Netz verallgemeinert werden. Das so trainierte Netz wird mit einem Tupel stimuliert, welches den Umstand darstellt, in dem sich der/die kognitiv Handelnde gegenw?rtig befindet. Dies führt am Netzwerkausgang zu einem Tupel, das den durch Einsatz der Kognition ver?nderten Umstand darstellt. Der zu erwartende Unterschied zwischen Eingangs- und Ausgangstupel identifiziert die ?beste“ Tat gem?? obiger Definition. Die vorw?rts gerichtete, parallele Kopplungsstruktur des Netzwerks sorgt dafür, da? die Antwort unmittelbar nach der Stimulation des Netzes vorliegt. Der Einsatz sich überlappender Radiale-Basisfunktionen sorgt für die Robustheit und Einmaligkeit der Antwort. Zur ?berprüfung der Gültigkeit des Modells wurden Computerexperimente ausgeführt. Deren Resultate weisen nach, dass das Radiale-Basisfunktionen-Netz mathematisch gesehen einem Kontinuum im Raum der Entscheidungsvariablen entspricht. N?mlich es stellt ein Hypervolumen oder eine Hyperoberfl?che dar, das nicht-dominierte von dominierten Regionen des Entscheidungsraums unterscheidet. Rechnerisch betrachtet entspricht Kognition demnach dem Streben im mehrdimensionalen Entscheidungsraum, einen Punkt, welcher sich au?erhalb des Kontinuums der Nichtdominanz befindet, durch neuronale Informationsverarbeitung auf sozusagen ?kürzestem“ Weg an das Kontinuum heranzuführen. Diese Konzeption des Kognitionsph?nomens ist neu, und durch ihr mathematisches Wesen ist ihre Undeutlichkeit minimal.

Tobias Hecht (MA AI): Context Aware Robot Assistance - Applying Reinforcement Learning to Make Pepper Offer Help to a Human Memory Player

In this thesis the question is examined, whether it is possible to equip the humanoid robot Pepper with learning means to adapt to social circumstances. Therefore, a reinforcement learning algorithm was designed and implemented on Pepper. To evaluate the practicability and possibility of learning from a task-oriented social interaction, the robot was put in a shared spatial environment together with a human. The task was to find all corresponding pairs in a Memory game with as less card turns as possible. Although results from the conducted evaluation study show that learning from social interaction is basically possible, the implemented algorithm is only of limited use and needs several improvements.

Verteidigung der Masterarbeit
Andreas Foltyn (MA AI):  Towards automated segmentation of plants – An exploration of deep neural networks for leaf isolation in agricultural crops

Plant phenotyping describes the quantitative analysis of observable plant traits and is gaining importance especially for effective plant breeding. Increasingly,the manual examination of plants is replaced by image-based methods, for which raw data often has to be segmented into semantically coherent parts, such as leaves. To this end, this thesis examines how deep neural networks can be used to segment 3D point clouds of plants, semantically as well as instance-base. In semantic segmentation, the plant is divided into distinct classes, while instance segmentation also distinguishes between individual instances of these classes. For this purpose, two approaches were selected for each case, which were compared with each other. The results show that for semantic segmentation existing methods are already performing well. Although satisfactory results have been achieved for instance segmentation, this task still poses a challenge and requires further research.  

Master-Projekt Pr?sentation
Krist Fama, Daniel Sch?fer (MA AI Projekt):  Pain Recognition with Cartesian Genetic Programming

Pain recognition has recently received significant attention. Over the past years a lot of work is done in this field, trying to find the one equation which defines the pain expression of all humans. Hence it is not a trivial challenge and it depends on a lot of factors. Different methods has been tried in automating pain recognition and some of them achieved good results. We chose Cartesian Genetic Algorithm(CGP) to identify pain by generating a Regular Expression(RegEx) that combines Action Units(AUs). We systematically review the mutation, fitness function and the evolutionary algorithm to achieve good results. The implementation steps are summarized and the statistical result are shown. There are two underlying motivations for us to write this paper. First, wheather it is possible to achieve a simple RegEx which correctly identifies pain expressions of all humans and second to find out how CGP fits with our problem and what results it achieves.

Verteidigung der Masterarbeit
Louisa Maa? (MA AI):  Lernen regul?rer Ausdrücke aus wenigen Nutzerinteraktionen
 für intelligentes Ersetzen in Texten

Der Einsatz von regul?ren Ausdrücken in der Textverarbeitung bietet das Potential, auch komplizierte Aufgaben mit relativ wenig Aufwand zu bew?ltigen. Vielen Nutzern fehlen jedoch Kenntnisse über das Schreiben regul?rer Ausdrücke, wodurch oftmals eine Anpas- sung der Texte per Hand erfolgt. In der vorliegenden Arbeit wird ein Ansatz für intelligen- tes Ersetzen vorgestellt, mithilfe dessen der Nutzer lediglich Beispiele bereitstellen muss, um einen Vorschlag für ein automatisiertes Anpassen zu erhalten. Ein Algorithmus für das Lernen regul?rer Ausdrücke aus Beispielen wurde implementiert, welcher unter geringer Laufzeit zwei Beispiele abstrahiert und aus diesen Abstraktionen regul?re Ausdrücke er- zeugt. Durch das Einbinden der Programming–by–Example–Technologie PROSE k?nnen Anpassungen, die der Nutzer im Text vornimmt, verallgemeinert und auf weitere Beispiele angewandt werden. Der Nutzer muss somit lediglich zwei Beispiele ver?ndern und kann im Anschluss diese Ver?nderung auf den Rest des Textes übertragen.

Verteidigung der Masterarbeit
Ines Rieger (MA CitH): Head Pose Estimation Using Deep Learning

Head poses are an important mean of non-verbal human communication and thus a  crucial element in human-computer interaction. While computational systems have  been trained with various methods for head pose estimation in the recent years, approaches based on convolutional neural networks (CNNs) for image processing have  so far proven to be one of the most promising ones. This master’s thesis starts of  improving head pose estimation by reimplementing a recent CNN approach based on  the shallow LeNet-5. As a new approach in head pose estimation, this thesis focuses  on residual networks (ResNets), a subgroup of CNNs specifically optimized for very  deep networks. To train and test the approaches, the Annotated Facial Landmarks in  the Wild (AFLW) dataset and the Annotated Faces in the Wild (AFW) benchmark  dataset were used. The performance of the reimplemented network and the implemented ResNets of various architectures were evaluated on the AFLW dataset. The  performance is hereby measured in mean absolute error and accuracy. Furthermore,  the ResNets with a depth of 18 layers were tested on the AFW dataset. The best  performance of all implemented ResNets was achieved by the 18 layer ResNet adapted  for an input size of 112 x 112 pixels. In comparison with the reimplemented network  and other state-of-the-art approaches, the best ResNet performs equal or better on the AFLW dataset and outperforms on the AFW dataset.

Verteidigung der Masterarbeit

Matthias  Delfs (MA CITH): Forecasting in the Supply Chain with MachineLearning Techniques (joint with Siemens Healtheneers)

This thesis was written in cooperation with Siemens Healthineers. The goal was to predict future sales figures of X-ray systems for the supply chain management. The product line consists of five different systems. Sales figures are predicted for all systems as a single quantity and also individually. The historic data supplied covered 15 years and consisted of 180 data points. These data points are a monthly census of sales related figures. The research question was to compare the performance of traditional time series modeling techniques from statistics with newly emerging machine learning approaches. The established time series modeling techniques were exponential smoothing and ARIMA. The machine learning techniques consisted of modeling feedforward neural networks and random forests. The performance of all methods was measured with the mean absolute percentage error. The best performance of all implemented methods resulted from an extended ARIMA model (ARIMAX). Moreover, the thesis included implementing a software tool for the supply chain management to make forecasts in practice.

Adrian Schwaiger: Model selection - Hoeffding Races and Bernstein Stopping

Model selection is an important part of machine learning --
either selecting between different learning algorithms or within the
same algorithm using different parameters (parameter optimization).
Evaluating the performance of every model using cross-validation can be
cumbersome or even unfeasible. In this talk methods will be presented
which render the need to complete all cross-validations obsolete.
Candidate models are eliminated ahead of time if they will necessarily
be outperformed.

Marina Jobst: Sequenzbasierte Vorhersage des Kaufverhaltens unter Verwendung von Clickstream-Daten

Laut dem j?hrlich erscheinenden Global B2C E-Commerce Report der E-Commerce Foundation haben im Jahr 2015 ca. 73% der Bev?lkerung in Deutschland über das Internet eingekauft (Willemsen, Abraham, & van Welie, 2016). Seit der Einführung des elektronischen Handels in den 90ern hat sich der Sektor rapide entwickelt, auch im Jahr 2016 wurden zweistellige Wachstumsraten erreicht. Jedoch müssen im E-Commerce alle traditionellen Gesch?ftsmechanismen überdacht werden, da die Beziehungen zwischen dem Kunden und dem H?ndler einen Wandel durchlebt. Die Nutzer k?nnen einfach zwischen verschiedenen Online-Shops wechseln und beispielsweise Preise vergleichen. Um sich einen Vorteil vor der Konkurrenz zu verschaffen, ist es wichtig den Kunden exakt zu kennen und dessen Verhalten zu analysieren und vorherzusagen. Eine der wichtigsten Quellen von Informationen über das Verhalten der Kunden sind Clickstream-Daten. Diese werden definiert als der elektronische Rekord der Aktivit?t des Nutzers im Internet (Bucklin & Sismeiro, 2009). In dieser Arbeit wird eine Klassifikation von Clickstream-Daten des BAUR-Online-Shops mittels Hidden Markov Modellen durchgeführt. Hierbei wird eine Einteilung der Kunden in K?ufer und keine K?ufer vorgenommen. Die Clickstream-Daten werden auf verschiedenen Ebenen betrachtet, die sich im Detaillierungsgrad unterscheiden. Bei einer ersten Evaluation konnten sehr gute Ergebnisse bei der Accuracy erreicht werden. Jedoch müssen für den Einsatz im Real-Time-Umfeld noch Fragen gekl?rt werden, wie beispielsweise zu welchem Zeitpunkt einer Session eine Klassifikation sinnvoll ist oder wie die Sortimente geschnitten werden müssen, um m?glichst genaue Vorhersagen zu treffen.

From 2014 to 2016 we participated in the Monday Afternon Club (MAC), a joint colloquium of the groups of theory (Mendler), programming languages (Lüttgen) and cognitive systems (look for the VC-course).

Dienstag, 08.11.2016,  16:15 Uhr, WE5/04.003 (MAC)

Johannes Rabold: "Exploring Deep Learning for Image Data -- Effort and Performance for Learning a Classifier for Facial Expressions of Pain" (BA Thesis Presentation)

This thesis describes the workflow of automatically recognizing the occurrence of pain in a facial image. A technique called convolutional neural network from the deep learning context will be described and utilized for this task. The traditional way of detecting pain in faces relied on hand-crafted features. These can be error-prone and sometimes not be suitable for the given task. Deep learning techniques provided promising performance results in the recent years. In order to explore the potential of deep learning for the pain detection task, we designed multiple convolutional network architectures and trained them on the popular UNBC Pain Archive. The results of our tests are promising and with a little improvement can reach the performance of current classifiers for pain detection.

Freitag, den 23.9. um 10 Uhr in 5.013 (Lab)

Lea-Louisa Maa?: A Webbased Frontend for Easy Interaction with the Inductive Programming System Igor - Inference of Constructor Terms from Examples and Interactive Testing of Generated Programs (Probevortrag für eine Pr?sentation, Microsoft Research in Redmond, Washington, USA)

A developer’s work can get quite repetitive. This tedious part of his or her job decreases work time efficiency by a considerable amount. Inductive programming systems can provide a solution to this issue. These tools require only input- and output examples provided by the user to generate the needed functions.
One of these systems is called IGOR II and has been developed by the University of Bamberg. Because of the necessity to use constructor terms instead of native representations of certain data types, interaction with IGOR II is rather elaborate, which distinctly limits its accessibility.
In my talk I will present the newly developed user interface easyIGOR, which allows one to easily interact with IGOR II. On top of providing examples in a readable manner comprehensible for almost everybody, it now is also possible to easily test the function that IGOR II generates with new inputs. At this point, IGOR II is usable by a broad audience and ready to be tested thoroughly.

Bachelorarbeit zum Thema

Donnerstag, 19.5.2016, 12 Uhr,  WE5/05.013

Christian Teichmann: Ego-Perspective Simulation of Moral Dilemmata and Identification ofBehavioural Predictors of Moral Decisions (Masterarbeit CitH)

A situation without a “back door”, including simply negative decision options, followed by an unpredictable outcome with consequences we can not estimate - this could be a moral dilemma. Is there anything worse? Everyone might act differently facing moral dilemmata or do we have something in common? How do we ascertain our decision and is there an impact of the consequences on us? There are plenty of questions we could derive from dealing with moral dilemmata. Is it possible to get an answer for each of them?

 Researchers of different decades have dealt with this topic and have developed different methods to study their hypotheses. And with the technological development new tools can be used to carry out a study. Even new media like games can be helpful for research, but to which extend? Computer games are a very new medium if you consider all other media like films or books. They become very popular within a very short time. And not only they are popular among young adults but among all age groups. This aspect makes them attractive for the research in moral dilemmata.

 In this thesis I’d like to introduce the implementation of a simulation which will be part of a study from Ena Franz and Victoria G?etz, two psychology students in the master program. We have developed a conceptual basis for the program and cooperated during the implementation phase of the game. As a short introduction I’d like to present some previous work on the topic morality. It will be followed by the conceptual groundwork and the implementation of the simulation itself. At least I wanted to say a few words to the potential for the future research.

Freitag, 15.4.2016, 10 Uhr,  WE5/05.013

Verteidigung der Masterarbeit von Mike Imhof (Computing in the Humanities):
Classification of ERP Components with Imbalanced Datasets
A Comparison of Linear Discriminant Analysis and Logistic Regression
 
Event-related potential (ERP) components describe voltage fluctuations in the ongoing electroencephalogram (EEG) which is a method to record electrical activity of the brain. The classification of ERP components can be used to control systems over a brain-computer interface (BCI) such as a mental typewriter. It is based on attentional selection processes of letters and can be used as a communication device by individuals who cannot use any motor system (e.g. patients with locked-in syndrome). Linear discriminant analysis (LDA) is a widely used method for classification of ERP components. Although it makes more assumptions about the underlying data compared to other methods, it is recommended to use LDA, even when the requirements are not fulfilled. It is accepted to take a loss in performance in order to gain the advantage of the simplicity of LDA. I compare LDA with linear regression (LR) that also convinces by its simplicity, but makes less assumptions. For this purpose I apply both methods to electroencephalogram data containing an error-related negativity which is an ERP component that occurs during error trials in choice reaction tasks. It belongs to the group of error-related potentials (ErrPs) and its classification has proven to improve the performance of mental typewriters and other systems using a BCI. Datasets containing ErrP components are usually characterized by class imbalance whereas the error class (target class) is under-represented. A performance evaluation using the receiver operating characteristic show that under class imbalance conditions, LR yields better results than LDA. These results indicate that LR is a more suitable candidate for ERP classification as LDA under certain conditions.

Donnerstag, 4.2.16, 12 - 14 Uhr, WE5/05.005

KogSys-Projekt: Das Schmerzgesicht

Abstract: Die meisten Menschen sind in der Lage, wahrzunehmen, wenn ihrGegenüber Schmerzen empfindet. Ein wichtiger Indikator ist hierbei derGesichtsausdruck des Gegenübers. Es zeigen sich aber auch andereEmpfindungen im Gesichtsausdruck. Einige davon, wie zum Beispiel Freude,k?nnen leicht von Schmerz unterschieden werden. Der Gesichtsausdruck vonEkel ist dem von Schmerz allerdings sehr ?hnlich. In diesem Projekt wurde untersucht, wie sich Schmerz- undEkelgesichtsausdrücke voneinander unterscheiden. Verwendet wurden Dateneines Versuches der Physiologischen 球探足球比分, in dem ProbandenSchmerz-, Ekel- und neutrale Mimik zeigten. Aus den symbolischrepr?sentierten Daten (keine Bilder/Videos) wurden abstrakteBeschreibungen (Klassifikatoren) gelernt und diese evaluiert.

Freitag, 4.12.15, 10:30 Uhr, WE5/05.013

Teena Hassan & Dominik Seuss (Fraunhofer IIS & Cognitive Systems Group): Automatic Facial Action Unit Detection

Facial expressions are social signals that could reveal an underlying emotional state or physiological condition. They are a key component of nonverbal behavioral analysis. Psychologists have developed a comprehensive framework for analyzing facial expressions through the basic visually distinguishable motions of facial muscles. The framework is called Facial Action Coding System (FACS) and the basic facial movements are called Action Units (AU). The framework allows an objective analysis of facial expressions by coding any facial expression as a combination of AUs along with their intensities.

In this project, we use a model-based approach to infer AU intensities from videos of facial expressions. We use a 3D deformable model of human facial geometry that describes the person-dependent and expression-related shape variations. We combine information about facial geometry and facial appearance in a state estimation framework to infer AU intensities. A motion model based on the viscoelastic properties of facial muscles is used to model the changes in AU intensities over time.

In this presentation, we will provide an overview of the approach, present some evaluation results, and briefly discuss the next steps. 

Talks SS 15

Dienstag, 13.10.15, 16:00 – 18:00 (ct), WE5/01.006

Einladung zur Abschlusspr?sention: ?Bamberg zaubert: Sensorbasierte Online-Pr?diktion von Besucherbewegungen bei Stra?enfesten“

Vom 17.-19. Juli 2015 wurde das Festival ?Bamberg zaubert“ von einem studentischen Projekt der Uni Bamberg begleitet. Insgesamt 12 Studierende waren im Einsatz, um mit Hilfe von Flowtrack?-Sensoren Besucherstr?me zu messen, Besucher zu ihrer Mobil-Nutzung zu be-fragen und an einem Stand über das Projekt zu informieren.
Das Projekt unter der Leitung der Bamberger Informatik-Professorinnen Dr. Daniela Nicklas und Dr. Ute Schmid l?dt nun zur Abschlusspr?sentation der Ergebnisse ein. In drei Teams wurde un-tersucht, wie sich Besucherzahlen zum aktuellen Zeitpunkt vorhersagen k?nnen, wie Gruppen von Besuchern erkannt werden k?nnen, die gemeinsame Wege gehen, und wie Besucherstr?me visualiert werden.
Die Veranstaltung ist ?ffentlich

Do, 30.7.15, 10:00, Raum WE5/05.013

Christina Zeller: Automatische Erzeugung analoger Beispiele aus Debugging-Traces -- Konstruktion von Rückmeldungen für ein Intelligentes Tutor-System zur schriftlichen Subtraktion (Master CitH)

Die schriftliche Subtraktion stellt eine wichtige Kulturtechnik dar. Beim Erlernen werden geh?uft systematische Fehler begangen. Es ist nicht sicher, ob Lehrende dieser immer richtig erkennen und ob Lehrende genug Zeit haben um auf jeden Lernenden individuell einzugehen. Auf Grund der Systematisierung der Fehler k?nnen Diagnosemodelle entwickelt werden. Diese Diagnosemodelle k?nnen in Intelligenten Tutor-Systemen verwendet werden. Intelligente Tutor-Systeme sind computerbasierende Systeme, die einem Lernenden beim Lernen individuelle Rückmeldung geben. Diese Systeme k?nnen unterschiedlich implementiert werden. In dieser Arbeit werden die Vorteile zweier Systeme zusammengefügt. Dadurch entsteht ein System, dass zur Diagnose Algorithmic Debugging verwendet und bei der Diagnose eines Fehlers automatisch eine analoge Aufgabe unter Berücksichtigung des diagnostizierten Fehlers generiert. Die Korrektheit der einzelnen generierten analogen Spalten einer analogen Aufgabe wird mit Hilfe von Strutktureigenschaften und mathematischen Betrachtungen nachgewiesen. Es bleibt jedoch fraglich, ob eine formale Korrektheit dem Anspruch eines Experten an die analogen Aufgaben genügt. Die empirische Prüfung des Systems im Bezug auf erfolgreiches Lernen und der Einfluss auf andere lernf?rderlichen Variablen steht aus. Diese Prüfung erscheint erst sinnvoll, wenn weitere Forschungserkenntnisse in der graphischen Oberfl?che des Systems berücksichtigt werden. Abschlie?end wird verdeutlicht, dass ein Intelligentes Tutor-System ein unterstützendes Werkzeug der Lehre darstellt. Es darf adaptiv und individuell auf den Lernenden eingehen. Es muss jedoch berücksichtigt werden, dass es ein bestimmtes Ziel verfolgt und dabei auch akzeptable Grenzen aufweisen darf.

MO, 27.7.15, 9:00 s.t., Raum WE5/05.013

Norman Steinmeier: Evaluation der Güte eines Partikelschwarm-Algorithmus zur Funktionsapproximation (Master AI)

In der Masterarbeit wird die Güte eines Approximationsverfahrens auf Basis von Partikelschwarmoptimierung zur Findung numerischer Gegebenheiten innerhalb einer Menge von Daten untersucht. Dabei soll ein vorgegebenes Gerüst eines mathematischen Ausdrucks so in seinen Parametern bestimmt werden, dass für vordefinierte Eingabewerte eine N?herungsl?sung eines Ausgabewertes m?glich ist. Die Güte des Verfahrens wird durch die Abweichung vom ursprünglich vorgegebenen Ausgabewert und errechneten Ausgabewert bemessen. Ausgehend von wichtigen Grundlagen und einer Erl?uterung des Untersuchungsaufbaus findet eine abschlie?ende Bewertung der Eignung des Verfahrens für ein reales Problem statt. Au?erdem sollen verschiedene Konfigurationen und Funktionsprototypen für einen Vergleich herangezogen werden.

Pr?sentation studentischer Arbeiten:

DO, 21.5., 9-12 Uhr, Raum WE5/05.013
Ergebnisse Studentischer Arbeiten zum Thema Induktion von Zahlenreihen

• 9:00: Barbora Hrda und Christian Teichmann: Cognitive Models for Number Series Induction Problems -- An Approach to Determine the Complexity of Number Series (Seminar)
• 10:00 Henrik Marquardt: Induction on Number Series - A case study with MagicHaskeller on the Web (Bachelor-Projekt)
• 10:30 Barbora Hrda und Dea Svoboda: Alternating Number Series Problems in IGOR 2 (Master Projekt)

MO, 18.5., 16-18 Uhr, Raum WE5/03.004
Ergebnisse des Bachelor-Projekts Verteiltes Probleml?sen

Daniel Bernhard, Bettina Finzel, Michael Gro?, Christian Teichmann
Eine im Rahmen der Bachelorarbeit von Tina K?mmerer entwickelte Multi-Agenten-Simulation für eine Schatzsuche wurde um zwei Kooperationsstrategien erg?nzt. Zum einen wird über Broadcasting kommuniziert, zum anderen über einen zentralen Agenten. Die Auswirkung der Strategie auf die Effizienz der Zielerreichung wurde systematisch untersucht.

Kolloquium Montag, 4.5.15, 16 Uhr c.t., WE5/05.003

Fritz Wysotzki (TU Berlin): Modellierung des Assoziativen Ged?chtnisses

Schwerpunkt ist die Verwendung von symbolischen Repr?sentationen auf der Basis eines Episodischen Ged?chtnisses mit (kurzem) Bezug zu den klassischen Semantischen Netzen auf der n?chsth?heren Ebene. Der Vortrag beginnt mit den theoretischen Grundlagen, folgend von anschaulichen Beispielen für die Funktion des menschlichen Erinnerns von im Ged?chtnis gespeicherten Strukturen mit neuen Ergebnissen. Eine neurobiologische Interpretation erfolgt am Rande, kann aber in der auf den Vortrag folgenden Diskussion ausführlicher behandelt werden. Das Problem der verschiedenen Repr?sentationsschichten und deren Zusammenhang ist z.Zt. international sehr aktuell.

Talks WS 14/15

Kolloquium Montag, 30.3.15, 10 Uhr, WE5/05.013

Sebastian Boosz: Applying Anti-Unification Strategies to Matching and Generalization of Recursive Functions - Investigating a Second-order approach for Learning from Examples (Masterarbeit AI)

Programmers seldom invent completely new programs, instead they tend to adapt existing programs by analogical reasoning. After a suitable source program has been found, it is a feasible strategy to picture the execution behavior of that program for a certain input. The programmer then tries to envision the execution behavior of the desired program for the very same input. Comparing, she can draw conclusions about what both programs have in common and where the differences are located. Adapting the existing program by applying those differences appropriately, yields the desired program. In this thesis a programming by analogy approach is investigated for recursive func- tions. Based on concrete unfoldings of source and target functions, higher-order anti- unification is used to find a generalization, revealing differences between source and target. A set of heuristics was developed which is used to match and apply those dif- ferences to the source function in order to transform it into the corresponding target function. The success of the heuristics is evaluated and possible means of improvement are suggested.

Keywords: recursion, recursive functions, higher-order anti-unification, generalization, programming by analogy, learning from examples, heuristics

Kolloquium Dienstag, 24.3.15, 10:00 Uhr, WE5/05.013

Frederic Ehmann: Künstliche Intelligenz in Computerspielen -- Lernen von Handlungsstrategien eines autonomen Agenten am Beispiel eines Jump 'n' Run Computerspiels (Masterarbeit AI)

Diese Masterarbeit handelt von dem Lernen von Handlungsstrategien eines autonomen Agenten, der ein Jump 'n' Run Computerspiel spielt. Die Stages werden zuf?llig generiert, um anschlie?end von dem Agenten gelernt zu werden. Hierbei soll von Stage zu Stage gelernt werden, um einen stetig ansteigenden Score zu erreichen. Der Score ist die Bewertung der bisherigen Errungenschaften und der Effektivit?t. Zum einen sollten m?glichst in derselben Stage sichtbare Verbesserungen im Score durch das Lernen entstehen, zum anderen sollten von Stage zu Stage Verbesserungen im Score sichtbar werden. Ein Ausgangszustand kann durch eine Aktion (z.B. Bewegung nach rechts) in einen Folgezustand geführt werden. Hierbei entsteht ein Reward. Ein Reward bezeichnet die Bewertung für das Ausführen einer Aktion in einer bestimmten Situation. Diese Situation wird als Zustand bezeichnet. Zust?nde werden in dieser Arbeit nur durch ihre Eigenschaften de?niert und nicht etwa nummeriert. Der Reward wird nicht nur kurzfristig, sondern auch langfristig betrachtet (durch Q-Learning). Zun?chst werden Informationen über die langfristigen Rewards von Anfangszust?nden und Aktionen erhalten. Diese Informationen werden genutzt, um klassische Vorhersagealgorithmen (Linear Regression und K Nearest Neighbors) zu verwenden. Somit k?nnen ebenfalls unbekannte Anfangszust?nde und Aktionen einem vorhergesagten langfristigen Reward (Q^-Wert) zugeschrieben werden. So wird die Aktion mit dem h?chsten vorhergesagten langfristigen Reward als vermeintlich beste Aktion bestimmt.

Kolloquium Montag, 8.12.14, 10:00 Uhr, WE5/05.004

Florian Muth & Sebastian Ulschmid: Anwendung von Feature-Extraktionsmethoden und Klassifikationslernen zur Identifikation von Fahrzeugtypen (Ergebnisse des Master-Projekts)

Wie k?nnen Fotos der Fahrzeugmodelle A4 Limusine, A5 Coupe, A7 Sportback und A3 Basis von der Firma Audi durch Verwendung von Bildverarbeitung und maschinellem Lernen zur Unterscheidung/Identifizierung der Modelle herangezogen werden? Für die Klassifizierung beschr?nkten wir uns zun?chst auf die Features hintere Seitenscheiben, Tankdeckel sowie seitliche Reflektoren die es zu erkennen gilt. Anschlie?end wurde untersucht, wie globale Verfahren angewandt werden k?nnen, also Verfahren, welche nicht auf spezifische Merkmale der Fahrzeuge, sondern auf bild-eigenen Merkmalen basieren. Diese Ans?tze wurden dann kombiniert, um deren Vorteile zu vereinen und eine m?glichst exakte Klassifizierung zu erreichen.

MAC Dienstag, 2.12.14, 16:00 Uhr, WE5/05.004

Ute Schmid, Applying Inductive Program Synthesis to Induction of Number Series -- A Case Study with IGOR2 

Induction of number series is a typical task included in intelligence tests. It measures the ability to detect regular patterns and to generalize over them, which is assumed to be crucial for general intelligence. There are some computational approaches to solve number problems. Besides special-purpose algorithms, applicability of general purpose learning algorithms to number series prediction was shown for E-generalization and artificial neural networks (ANN). We present the applicability of the analytical inductive programming system Igor2 to number series problems.
An empirical comparison of Igor2 shows that Igor2 has comparable performance on the test series used to evaluate the ANN and the E-generalization approach. Based on findings of a cognitive analysis of number series problems by Holzman et al. (1982, 1983) we conducted a detailed case study, presenting Igor2 with a set of number series problems where the complexity was varied over different dimensions identified as sources of cognitive complexity by Holzman. Our results show that performance times of Igor2 correspond to the cognitive findings for most dimensions.

Kolloquium 13.10.14, WE5/05.013

Martina Milovec: Applying Inductive Programming to Solving Number Series Problems - Comparing Performance of IGOR with Humans (Masterarbeit AI)

Number series problems in IQ tests are challenging, especially for humans and computer programs. This thesis presents a comparison study between the IGOR algorithm and human performance on number series problems. IGOR's task was to find a correct function for number series problems with different complexity factors, in order to generate the number series from this function. IGOR's performance results bring closer the capabilities of a computer program to the human intelligence. The introduction of this thesis describes induction and the psychological background. Furthermore, different computer models for solving number series problems, such as MagicHaskeller, ANN, Semi-analytical model, Spaun, Asolver and Seqsolver, are given. A short introduction to the IGOR algorithm in Maude and representation of number series problems in IGOR is also given. The results first focus on the human performance and the preliminary study on number series problems with IGOR. Secondly, the comparison of both performances of IGOR and humans are represented and summarized. The conclusion gives an overview of the results, problems and some corresponding solution suggestions, as well as ideas for further research on number series problems with IGOR

Talks SS 14

Kolloquium, 15.9.14, 16:00 Uhr (s.t.) WE5/05.013

Tamara Engelbrecht, Norman Steinmeier:  Wahrnehmungsqualit?t dreidimensionaler Video Streams/Quality of Experience in Stereoscopic Video Streaming
(Ergebnisse des gemeinsamen MA Projekts mit KTR)

Entwurf eines Untersuchungsdesigns zur Kl?rung der Frage: Welche Art und welche St?rke von ?bertragungsfehlern bei gestreamten 3D-Videos sind insbesondere qualit?tsverschlechternd? Informationen zur Durchführung des Experiments, sowie anschlie?ende Darstellung und Bewertung der Untersuchungsergebnisse. Informationen zur Weiterführbarkeit.

Kolloquium 18.7.14, 10 Uhr, WE5/05.042

P. Hohmann, S. H?pfel, A. Rohm: Results of the Bachelor-Project "Applying IGOR to Enduser Programming"

We investigated how the inductive programming system IGOR can be applied to learn programs for end-user support. Application domain was string transformations in Excel. In this domain already exists a plug-in called Flashfill. Main part of the project work was to define suitable abstract data types and specify input/output examples for IGOR. We could show that IGOR can learn the Flashfill transformations and identified some problems which are beyond Flashfill but solvable with IGOR. For a more convenient handling of IGOR and Maude, a GUI was developped.
 

Kolloquium of the SS14 Reading Club, 9.7.14, 10:00, WE5.003

Christina Zeller, Dea Svoboda, Michael Sünkel, Daniel Bernhard: Experimenting with a Humanoid Robot - Programming NAO to (Inter-)Act

In the context of the Reading Club, an application has been implemented, which allows a humanoid robot the behavior of a polite and courteous gentlemen. The robot is already trained to recognizefamiliar people. Unknown he should know and remember. During this procedure, it should always comply with pleasantries.

Kolloquium  Mo 5.5.14, 16 Uhr,  (WE5/05.005) 

Fritz Wysotzki (TU Berlin) mit gro?em Anteil von Jürgen K?rner (FU Berlin): ?bergeneralisierung mit Methoden der Künstlichen Intelligenz und Kybernetik 

Experimentelle Grundlage ist die Beschreibung des Prozesses einer neurotischen Erkrankung  anhand  zweier Fallbeispiele aus  psychoanalytischer und kybernetischer Sicht.  Ziel ist es, komplexe klinische Ph?nomene mithilfe von  Methoden der Systemtheorie (speziell der Entscheidungstheorie) zu modellieren und als Lerngeschichte abzubilden.
Dann erscheint z.B. der Wiederholungszwang, dem eine Patientin unterliegt, indem sie ihr altruistisches Verhalten aus der Kindheit auf alle sozialen Situationen auch au?erhalb der Familie übertr?gt, als Folge einer ?bergeneralisierung, mit der sie negative Emotionen als Kosten für Fehlentscheidungen vermeidet. Dieser Prozess  wird  in mathematisch formalisierter Form dargestellt und begründet. Es wird gezeigt, wie eine derartige Lerngeschichte in einem iterativen Prozess dazu führt, dass die Patientin nicht mehr unterscheiden kann, ob ihr neurotisches Verhalten in der aktuellen sozialen Situation angemessen ist oder nicht.
Die  Schlussfolgerungen aus dieser Betrachtung , die  auch für allgemeine Verhaltensaspekte und Ged?chtnisstrukturen relevant sind, stimmen wieder mit psychoanalytischen Behandlungserfahrungen gut überein: Therapeutische Ver?nderungen lassen sich nicht allein mithilfe sprachlicher, also symbolischer Interventionen erzielen. Denn die unbewussten Phantasien werden nicht digital, sondern analog  nach den Prinzipien neuronaler Netzwerke verarbeitet; sie müssen z.B. in der ?bertragungsanalyse erst affektiv erlebt und dadurch dem Bewusstsein zug?nglich werden. 

Talks WS 13/14

Kolloquium  FR 28.3.14, 10 Uhr,  (WE5/05.013) 

Claudia Buhl: Anwendung von Methoden des maschinellen Lernens im Kontext der Simulation reaktiver Str?mungen 

Bei der numerischen Simulation von reaktiven Str?mungen wird die numerische Str?mungsmechanik mit numerischen Methoden zur L?sung chemischer Probleme gekoppelt. Die Berechnung der chemischen Reaktionen nimmt dabei einen Gro?teil der gesamten Simulationszeit in Anspruch. Eine M?glichkeit, diesem Problem entgegenzuwirken, sind Flamelet-Datenbanken, in denen vor der Simulation die exakte chemische L?sung diskreter Zust?nde hinterlegt wird. Mittels linearer Interpolation k?nnen dann w?hrend der Simulation für beliebige Zust?nde die L?sungen approximiert werden. Diese Datenbanken sind jedoch extrem speicherintensiv. Aufgabe dieser Masterarbeit ist es, mittels maschinellen Lernens die Datenmengen zu reduzieren und dabei noch eine m?glichst hohe Ergebnisqualit?t zu erreichen. Als Lernverfahren wird die Methodik K-N?chste-Nachbarn verwendet. Zun?chst wird eine analytische Validierung von KNN und der linearen Interpolation durchgeführt. Des Weiteren wird für KNN eine adaptive Generierung der Trainingsdaten umgesetzt. Anschlie?end werden beide Verfahren mittels einer vereinfachten Flamelet-DB als Datenbasis verglichen. 

Kolloquium DI,  18.2.14, 10:00 Uhr,  (WE5/05.013) 

Johannes Folger (MA AI): Classification of Facial Expressions of Pain from Video Streams

The main concern of this thesis was the development and evaluation of an approach for classifying pain from video streams. In contrast to the analysis of individual images, videos provide temporal information that can improve the classification of facial expressions. The presented approach considered such kind of information by extracting data from temporal frames of different sizes. The method was evaluated by classifying pain, disgust, and neutral expressions within video sequences of four different subjects. As this work is considered to be a pilot study, three individual classifiers were trained and tested only in a person-dependent manner. Results showed that all classifiers obtained mean accuracy rates above chance. Additionally, no classifier could achieve outstanding performances and the size of the temporal frames seems to have no influence on the performance results. One reason for this could be the number of attributes considered for machine learning.

Kolloquium DI,  4.2.14 12:00 Uhr,  (WE5/05.013) 

Christian Rei?ner (MA AI): Researching Heuristic Functions to Detect and Avoid Dead Ends in Action Planning   

One approach to reduce the runtime in learning is to find dead ends by planning and use this information to avoid them efficiently. The heuristic search is a well performing planning approach. The target of this paper is the modification of the heuristic search. I will present methods to detect dead ends and run them in different planning domains. A comparison of the results decides the best method to detect dead ends in planning. I will show that the Wisp method delivers the best results and that abstraction heuristics are the best for detecting dead ends.

Kolloquium Di 28.1.14 12:00 Uhr, WE5/05.013 

Andre Kowollik (externe Masterarbeit, FAU): Mensch-Roboter-Interaktion in gestenbasierten Zweipersonenspielen -- NAO spielt Schere, Stein, Papier   

Das Spiel "Schere, Stein, Papier" ist eine Situation, in der normalerweise eine zwischen-menschliche Interaktion stattfindet. Diese Interaktion wurde auf den Roboter (NAO) übertragen, indem eine simple Spracherkennung implementiert, eine Gestenerkennung auf Basis des Frameworks OpenCV und verschiedene Spielstrategien entwickelt wurden. Die Strategien stellen dabei vereinfachte Verhaltensmuster von NAO dar. Zur Bewertung der Mensch-Roboter-Interaktion und der Verhaltensmuster wurde eine Nutzer-studie durchgeführt.    

Kolloquium Mo 27.1.14 12:00 Uhr, WE5/05.013 

Matthias Düsel (MA AI): Semantisches Matching von Freizeitaktivit?ten mittels Wikipediabasierter Kategorisierung   

Diese Arbeit untersucht, inwiefern Wikipedia genutzt werden kann, um semantische ?hnlichkeit zu berechnen. Das Ziel ist es, ein Matching-System zu erstellen, in welches ein Benutzer eine Freizeitaktivit?t eingibt und daraufhin Eintr?ge mit ?hnlichen Aktivit?ten als Ergebnis zurück bekommt. Hierbei liegt das Augenmerk auf der Bedeutung der Eintr?ge. Die Matches sollen also aufgrund ihrer semantischen ?hnlichkeit entstehen und nicht nur, weil zwei Eintr?ge das selbe Wort enthalten. Bei einem rein lexikalischem Vergleich gibt es kein Match zwischen "Ich würde gerne in die Oper gehen" und "Ich sehe mir heute Don Giovanni an". Semantisch sind diese Eintr?ge jedoch verwandt, da Don Giovanni eine Oper ist.   

Kolloquium  MO 16.12. 12:00 Uhr,  WE5/05.013

Simone Schineller (MA WI): A Hierarchical Approach for Classifying Pain and Disgust by Aggegration over Facial Regions

Im Rahmen der Arbeit wurde ein zweistufiger Ansatz zur Erkennung von Schmerz und Ekel basierend auf Gesichtsdaten entwickelt, der mit Hilfe der Software Rapid Miner umgesetzt wurde. Die Besonderheit des Modells liegt in der Aufteilung des Gesichtes in einzelne Regionen und deren anschlie?ender Klassifikation als Vorverarbeitungsschritt. Ziel der Arbeit war es, die Eignung verschiedener Klassifikatoren für die mimikbasierte Schmerz- und Ekelerkennung zu untersuchen und miteinander zu vergleichen. Weiterhin wurden sowohl individuelle als auch personenunabh?ngige Klassifkatoren gegenübergestellt, um zu ermitteln, ob letztere für die gestellte Aufgabe ausreichend gut geeignet sind.

Talks SS 13 

Kolloquium  DO 27.6. 14:15 Uhr,  WE5/05.013

Christian Massny (MA WI): TRAINING BY ERROR - CHESS TRAINING BY INDIVIDUAL ERROR CLASSIFICATION

Chess Engines have long surpassed all but the most potent of human chess players. The vast majority of chess players cannot even come close to beating any given engine on a personal computer with mainstream hardware.Hence chess programs are mostly used for two purposes: analyzing past games and getting used to playing new openings. The analysis is mostly done by hand, importing any past game and the replaying it with the calculations of the engine showing when mistakes were made in the game.The goal of this thesis now is to analyze past games on a larger scale using the complete game database of a particular player. The software to be programmed will import any number of games and analyze them. The analysis will both find mistakes made by the player using an open source chess engine and then classify the mistakes the player made so that statistical information regarding the type and magnitude of mistakes the player makes will be available for further training.Each mistake can be singled out and analyzed individually. At the end of this thesis the author will propose a way of using the error database to teach the player to get rid of his mistakes even better.

Kolloquium DI 11.6. 10:15 Uhr, WE5/5.013

Stefan Betzmeir (Master WI): Inducing Structural Prototypes for the Classification of Semi-Structured Data

The internet has evolved from a network of documents into a network of heterogeneous web applications. Semi-structured data offers enough structural flexibility, while providing the necessary semantic annotation to transfer information between those applications. Today the XML Data Model is the de facto standard meta-model for semi-structured data on the internet. Due to its generic nature, XML has become the foundation of numerous domain specific formats, causing an abundance of XML data that holds considerable potential for data analysis. This paper presents a case-based reasoning framework for classifying semi-structured data. It supports the extraction of a prototype tree from a cluster of data trees, as well as the classification of a data tree, based on its similarity to a set of prototype trees. By representing each cluster with only one prototype, an acceptable runtime of the classification can be maintained, even if the data clusters keep on growing.

Colloquium Archive

You find information on past talks in the Colloquium Archives [WS 12/13]  [SS12]  [WS 11/12]   [SS 11]  [WS 10/11]  [SS 10]  [WS 09/10]  [SS 09]  [WS 08/09]   [SS 08]   [WS 07/08] and the colloquium archive (old)

Donnerstag, 4.2.16, 12 - 14 Uhr, WE5/05.005

KogSys-Projekt: Das Schmerzgesicht

Abstract: Die meisten Menschen sind in der Lage, wahrzunehmen, wenn ihrGegenüber Schmerzen empfindet. Ein wichtiger Indikator ist hierbei derGesichtsausdruck des Gegenübers. Es zeigen sich aber auch andereEmpfindungen im Gesichtsausdruck. Einige davon, wie zum Beispiel Freude,k?nnen leicht von Schmerz unterschieden werden. Der Gesichtsausdruck vonEkel ist dem von Schmerz allerdings sehr ?hnlich. In diesem Projekt wurde untersucht, wie sich Schmerz- undEkelgesichtsausdrücke voneinander unterscheiden. Verwendet wurden Dateneines Versuches der Physiologischen 球探足球比分, in dem ProbandenSchmerz-, Ekel- und neutrale Mimik zeigten. Aus den symbolischrepr?sentierten Daten (keine Bilder/Videos) wurden abstrakteBeschreibungen (Klassifikatoren) gelernt und diese evaluiert.

Freitag, 4.12.15, 10:30 Uhr, WE5/05.013

Teena Hassan & Dominik Seuss (Fraunhofer IIS & Cognitive Systems Group): Automatic Facial Action Unit Detection

Facial expressions are social signals that could reveal an underlying emotional state or physiological condition. They are a key component of nonverbal behavioral analysis. Psychologists have developed a comprehensive framework for analyzing facial expressions through the basic visually distinguishable motions of facial muscles. The framework is called Facial Action Coding System (FACS) and the basic facial movements are called Action Units (AU). The framework allows an objective analysis of facial expressions by coding any facial expression as a combination of AUs along with their intensities.

In this project, we use a model-based approach to infer AU intensities from videos of facial expressions. We use a 3D deformable model of human facial geometry that describes the person-dependent and expression-related shape variations. We combine information about facial geometry and facial appearance in a state estimation framework to infer AU intensities. A motion model based on the viscoelastic properties of facial muscles is used to model the changes in AU intensities over time.

In this presentation, we will provide an overview of the approach, present some evaluation results, and briefly discuss the next steps. 

Talks SS 15

Dienstag, 13.10.15, 16:00 – 18:00 (ct), WE5/01.006

Einladung zur Abschlusspr?sention: ?Bamberg zaubert: Sensorbasierte Online-Pr?diktion von Besucherbewegungen bei Stra?enfesten“

Vom 17.-19. Juli 2015 wurde das Festival ?Bamberg zaubert“ von einem studentischen Projekt der Uni Bamberg begleitet. Insgesamt 12 Studierende waren im Einsatz, um mit Hilfe von Flowtrack?-Sensoren Besucherstr?me zu messen, Besucher zu ihrer Mobil-Nutzung zu be-fragen und an einem Stand über das Projekt zu informieren.
Das Projekt unter der Leitung der Bamberger Informatik-Professorinnen Dr. Daniela Nicklas und Dr. Ute Schmid l?dt nun zur Abschlusspr?sentation der Ergebnisse ein. In drei Teams wurde un-tersucht, wie sich Besucherzahlen zum aktuellen Zeitpunkt vorhersagen k?nnen, wie Gruppen von Besuchern erkannt werden k?nnen, die gemeinsame Wege gehen, und wie Besucherstr?me visualiert werden.
Die Veranstaltung ist ?ffentlich

Do, 30.7.15, 10:00, Raum WE5/05.013

Christina Zeller: Automatische Erzeugung analoger Beispiele aus Debugging-Traces -- Konstruktion von Rückmeldungen für ein Intelligentes Tutor-System zur schriftlichen Subtraktion (Master CitH)

Die schriftliche Subtraktion stellt eine wichtige Kulturtechnik dar. Beim Erlernen werden geh?uft systematische Fehler begangen. Es ist nicht sicher, ob Lehrende dieser immer richtig erkennen und ob Lehrende genug Zeit haben um auf jeden Lernenden individuell einzugehen. Auf Grund der Systematisierung der Fehler k?nnen Diagnosemodelle entwickelt werden. Diese Diagnosemodelle k?nnen in Intelligenten Tutor-Systemen verwendet werden. Intelligente Tutor-Systeme sind computerbasierende Systeme, die einem Lernenden beim Lernen individuelle Rückmeldung geben. Diese Systeme k?nnen unterschiedlich implementiert werden. In dieser Arbeit werden die Vorteile zweier Systeme zusammengefügt. Dadurch entsteht ein System, dass zur Diagnose Algorithmic Debugging verwendet und bei der Diagnose eines Fehlers automatisch eine analoge Aufgabe unter Berücksichtigung des diagnostizierten Fehlers generiert. Die Korrektheit der einzelnen generierten analogen Spalten einer analogen Aufgabe wird mit Hilfe von Strutktureigenschaften und mathematischen Betrachtungen nachgewiesen. Es bleibt jedoch fraglich, ob eine formale Korrektheit dem Anspruch eines Experten an die analogen Aufgaben genügt. Die empirische Prüfung des Systems im Bezug auf erfolgreiches Lernen und der Einfluss auf andere lernf?rderlichen Variablen steht aus. Diese Prüfung erscheint erst sinnvoll, wenn weitere Forschungserkenntnisse in der graphischen Oberfl?che des Systems berücksichtigt werden. Abschlie?end wird verdeutlicht, dass ein Intelligentes Tutor-System ein unterstützendes Werkzeug der Lehre darstellt. Es darf adaptiv und individuell auf den Lernenden eingehen. Es muss jedoch berücksichtigt werden, dass es ein bestimmtes Ziel verfolgt und dabei auch akzeptable Grenzen aufweisen darf.

MO, 27.7.15, 9:00 s.t., Raum WE5/05.013

Norman Steinmeier: Evaluation der Güte eines Partikelschwarm-Algorithmus zur Funktionsapproximation (Master AI)

In der Masterarbeit wird die Güte eines Approximationsverfahrens auf Basis von Partikelschwarmoptimierung zur Findung numerischer Gegebenheiten innerhalb einer Menge von Daten untersucht. Dabei soll ein vorgegebenes Gerüst eines mathematischen Ausdrucks so in seinen Parametern bestimmt werden, dass für vordefinierte Eingabewerte eine N?herungsl?sung eines Ausgabewertes m?glich ist. Die Güte des Verfahrens wird durch die Abweichung vom ursprünglich vorgegebenen Ausgabewert und errechneten Ausgabewert bemessen. Ausgehend von wichtigen Grundlagen und einer Erl?uterung des Untersuchungsaufbaus findet eine abschlie?ende Bewertung der Eignung des Verfahrens für ein reales Problem statt. Au?erdem sollen verschiedene Konfigurationen und Funktionsprototypen für einen Vergleich herangezogen werden.

Pr?sentation studentischer Arbeiten:

DO, 21.5., 9-12 Uhr, Raum WE5/05.013
Ergebnisse Studentischer Arbeiten zum Thema Induktion von Zahlenreihen

• 9:00: Barbora Hrda und Christian Teichmann: Cognitive Models for Number Series Induction Problems -- An Approach to Determine the Complexity of Number Series (Seminar)
• 10:00 Henrik Marquardt: Induction on Number Series - A case study with MagicHaskeller on the Web (Bachelor-Projekt)
• 10:30 Barbora Hrda und Dea Svoboda: Alternating Number Series Problems in IGOR 2 (Master Projekt)

MO, 18.5., 16-18 Uhr, Raum WE5/03.004
Ergebnisse des Bachelor-Projekts Verteiltes Probleml?sen

Daniel Bernhard, Bettina Finzel, Michael Gro?, Christian Teichmann
Eine im Rahmen der Bachelorarbeit von Tina K?mmerer entwickelte Multi-Agenten-Simulation für eine Schatzsuche wurde um zwei Kooperationsstrategien erg?nzt. Zum einen wird über Broadcasting kommuniziert, zum anderen über einen zentralen Agenten. Die Auswirkung der Strategie auf die Effizienz der Zielerreichung wurde systematisch untersucht.

Kolloquium Montag, 4.5.15, 16 Uhr c.t., WE5/05.003

Fritz Wysotzki (TU Berlin): Modellierung des Assoziativen Ged?chtnisses

Schwerpunkt ist die Verwendung von symbolischen Repr?sentationen auf der Basis eines Episodischen Ged?chtnisses mit (kurzem) Bezug zu den klassischen Semantischen Netzen auf der n?chsth?heren Ebene. Der Vortrag beginnt mit den theoretischen Grundlagen, folgend von anschaulichen Beispielen für die Funktion des menschlichen Erinnerns von im Ged?chtnis gespeicherten Strukturen mit neuen Ergebnissen. Eine neurobiologische Interpretation erfolgt am Rande, kann aber in der auf den Vortrag folgenden Diskussion ausführlicher behandelt werden. Das Problem der verschiedenen Repr?sentationsschichten und deren Zusammenhang ist z.Zt. international sehr aktuell.

Talks WS 14/15

Kolloquium Montag, 30.3.15, 10 Uhr, WE5/05.013

Sebastian Boosz: Applying Anti-Unification Strategies to Matching and Generalization of Recursive Functions - Investigating a Second-order approach for Learning from Examples (Masterarbeit AI)

Programmers seldom invent completely new programs, instead they tend to adapt existing programs by analogical reasoning. After a suitable source program has been found, it is a feasible strategy to picture the execution behavior of that program for a certain input. The programmer then tries to envision the execution behavior of the desired program for the very same input. Comparing, she can draw conclusions about what both programs have in common and where the differences are located. Adapting the existing program by applying those differences appropriately, yields the desired program. In this thesis a programming by analogy approach is investigated for recursive func- tions. Based on concrete unfoldings of source and target functions, higher-order anti- unification is used to find a generalization, revealing differences between source and target. A set of heuristics was developed which is used to match and apply those dif- ferences to the source function in order to transform it into the corresponding target function. The success of the heuristics is evaluated and possible means of improvement are suggested.

Keywords: recursion, recursive functions, higher-order anti-unification, generalization, programming by analogy, learning from examples, heuristics

Kolloquium Dienstag, 24.3.15, 10:00 Uhr, WE5/05.013

Frederic Ehmann: Künstliche Intelligenz in Computerspielen -- Lernen von Handlungsstrategien eines autonomen Agenten am Beispiel eines Jump 'n' Run Computerspiels (Masterarbeit AI)

Diese Masterarbeit handelt von dem Lernen von Handlungsstrategien eines autonomen Agenten, der ein Jump 'n' Run Computerspiel spielt. Die Stages werden zuf?llig generiert, um anschlie?end von dem Agenten gelernt zu werden. Hierbei soll von Stage zu Stage gelernt werden, um einen stetig ansteigenden Score zu erreichen. Der Score ist die Bewertung der bisherigen Errungenschaften und der Effektivit?t. Zum einen sollten m?glichst in derselben Stage sichtbare Verbesserungen im Score durch das Lernen entstehen, zum anderen sollten von Stage zu Stage Verbesserungen im Score sichtbar werden. Ein Ausgangszustand kann durch eine Aktion (z.B. Bewegung nach rechts) in einen Folgezustand geführt werden. Hierbei entsteht ein Reward. Ein Reward bezeichnet die Bewertung für das Ausführen einer Aktion in einer bestimmten Situation. Diese Situation wird als Zustand bezeichnet. Zust?nde werden in dieser Arbeit nur durch ihre Eigenschaften de?niert und nicht etwa nummeriert. Der Reward wird nicht nur kurzfristig, sondern auch langfristig betrachtet (durch Q-Learning). Zun?chst werden Informationen über die langfristigen Rewards von Anfangszust?nden und Aktionen erhalten. Diese Informationen werden genutzt, um klassische Vorhersagealgorithmen (Linear Regression und K Nearest Neighbors) zu verwenden. Somit k?nnen ebenfalls unbekannte Anfangszust?nde und Aktionen einem vorhergesagten langfristigen Reward (Q^-Wert) zugeschrieben werden. So wird die Aktion mit dem h?chsten vorhergesagten langfristigen Reward als vermeintlich beste Aktion bestimmt.

Kolloquium Montag, 8.12.14, 10:00 Uhr, WE5/05.004

Florian Muth & Sebastian Ulschmid: Anwendung von Feature-Extraktionsmethoden und Klassifikationslernen zur Identifikation von Fahrzeugtypen (Ergebnisse des Master-Projekts)

Wie k?nnen Fotos der Fahrzeugmodelle A4 Limusine, A5 Coupe, A7 Sportback und A3 Basis von der Firma Audi durch Verwendung von Bildverarbeitung und maschinellem Lernen zur Unterscheidung/Identifizierung der Modelle herangezogen werden? Für die Klassifizierung beschr?nkten wir uns zun?chst auf die Features hintere Seitenscheiben, Tankdeckel sowie seitliche Reflektoren die es zu erkennen gilt. Anschlie?end wurde untersucht, wie globale Verfahren angewandt werden k?nnen, also Verfahren, welche nicht auf spezifische Merkmale der Fahrzeuge, sondern auf bild-eigenen Merkmalen basieren. Diese Ans?tze wurden dann kombiniert, um deren Vorteile zu vereinen und eine m?glichst exakte Klassifizierung zu erreichen.

MAC Dienstag, 2.12.14, 16:00 Uhr, WE5/05.004

Ute Schmid, Applying Inductive Program Synthesis to Induction of Number Series -- A Case Study with IGOR2 

Induction of number series is a typical task included in intelligence tests. It measures the ability to detect regular patterns and to generalize over them, which is assumed to be crucial for general intelligence. There are some computational approaches to solve number problems. Besides special-purpose algorithms, applicability of general purpose learning algorithms to number series prediction was shown for E-generalization and artificial neural networks (ANN). We present the applicability of the analytical inductive programming system Igor2 to number series problems.
An empirical comparison of Igor2 shows that Igor2 has comparable performance on the test series used to evaluate the ANN and the E-generalization approach. Based on findings of a cognitive analysis of number series problems by Holzman et al. (1982, 1983) we conducted a detailed case study, presenting Igor2 with a set of number series problems where the complexity was varied over different dimensions identified as sources of cognitive complexity by Holzman. Our results show that performance times of Igor2 correspond to the cognitive findings for most dimensions.

Kolloquium 13.10.14, WE5/05.013

Martina Milovec: Applying Inductive Programming to Solving Number Series Problems - Comparing Performance of IGOR with Humans (Masterarbeit AI)

Number series problems in IQ tests are challenging, especially for humans and computer programs. This thesis presents a comparison study between the IGOR algorithm and human performance on number series problems. IGOR's task was to find a correct function for number series problems with different complexity factors, in order to generate the number series from this function. IGOR's performance results bring closer the capabilities of a computer program to the human intelligence. The introduction of this thesis describes induction and the psychological background. Furthermore, different computer models for solving number series problems, such as MagicHaskeller, ANN, Semi-analytical model, Spaun, Asolver and Seqsolver, are given. A short introduction to the IGOR algorithm in Maude and representation of number series problems in IGOR is also given. The results first focus on the human performance and the preliminary study on number series problems with IGOR. Secondly, the comparison of both performances of IGOR and humans are represented and summarized. The conclusion gives an overview of the results, problems and some corresponding solution suggestions, as well as ideas for further research on number series problems with IGOR

Talks SS 14

Kolloquium, 15.9.14, 16:00 Uhr (s.t.) WE5/05.013

Tamara Engelbrecht, Norman Steinmeier:  Wahrnehmungsqualit?t dreidimensionaler Video Streams/Quality of Experience in Stereoscopic Video Streaming
(Ergebnisse des gemeinsamen MA Projekts mit KTR)

Entwurf eines Untersuchungsdesigns zur Kl?rung der Frage: Welche Art und welche St?rke von ?bertragungsfehlern bei gestreamten 3D-Videos sind insbesondere qualit?tsverschlechternd? Informationen zur Durchführung des Experiments, sowie anschlie?ende Darstellung und Bewertung der Untersuchungsergebnisse. Informationen zur Weiterführbarkeit.

Kolloquium 18.7.14, 10 Uhr, WE5/05.042

P. Hohmann, S. H?pfel, A. Rohm: Results of the Bachelor-Project "Applying IGOR to Enduser Programming"

We investigated how the inductive programming system IGOR can be applied to learn programs for end-user support. Application domain was string transformations in Excel. In this domain already exists a plug-in called Flashfill. Main part of the project work was to define suitable abstract data types and specify input/output examples for IGOR. We could show that IGOR can learn the Flashfill transformations and identified some problems which are beyond Flashfill but solvable with IGOR. For a more convenient handling of IGOR and Maude, a GUI was developped.
 

Kolloquium of the SS14 Reading Club, 9.7.14, 10:00, WE5.003

Christina Zeller, Dea Svoboda, Michael Sünkel, Daniel Bernhard: Experimenting with a Humanoid Robot - Programming NAO to (Inter-)Act

In the context of the Reading Club, an application has been implemented, which allows a humanoid robot the behavior of a polite and courteous gentlemen. The robot is already trained to recognizefamiliar people. Unknown he should know and remember. During this procedure, it should always comply with pleasantries.

Kolloquium  Mo 5.5.14, 16 Uhr,  (WE5/05.005) 

Fritz Wysotzki (TU Berlin) mit gro?em Anteil von Jürgen K?rner (FU Berlin): ?bergeneralisierung mit Methoden der Künstlichen Intelligenz und Kybernetik 

Experimentelle Grundlage ist die Beschreibung des Prozesses einer neurotischen Erkrankung  anhand  zweier Fallbeispiele aus  psychoanalytischer und kybernetischer Sicht.  Ziel ist es, komplexe klinische Ph?nomene mithilfe von  Methoden der Systemtheorie (speziell der Entscheidungstheorie) zu modellieren und als Lerngeschichte abzubilden.
Dann erscheint z.B. der Wiederholungszwang, dem eine Patientin unterliegt, indem sie ihr altruistisches Verhalten aus der Kindheit auf alle sozialen Situationen auch au?erhalb der Familie übertr?gt, als Folge einer ?bergeneralisierung, mit der sie negative Emotionen als Kosten für Fehlentscheidungen vermeidet. Dieser Prozess  wird  in mathematisch formalisierter Form dargestellt und begründet. Es wird gezeigt, wie eine derartige Lerngeschichte in einem iterativen Prozess dazu führt, dass die Patientin nicht mehr unterscheiden kann, ob ihr neurotisches Verhalten in der aktuellen sozialen Situation angemessen ist oder nicht.
Die  Schlussfolgerungen aus dieser Betrachtung , die  auch für allgemeine Verhaltensaspekte und Ged?chtnisstrukturen relevant sind, stimmen wieder mit psychoanalytischen Behandlungserfahrungen gut überein: Therapeutische Ver?nderungen lassen sich nicht allein mithilfe sprachlicher, also symbolischer Interventionen erzielen. Denn die unbewussten Phantasien werden nicht digital, sondern analog  nach den Prinzipien neuronaler Netzwerke verarbeitet; sie müssen z.B. in der ?bertragungsanalyse erst affektiv erlebt und dadurch dem Bewusstsein zug?nglich werden. 

Talks WS 13/14

Kolloquium  FR 28.3.14, 10 Uhr,  (WE5/05.013) 

Claudia Buhl: Anwendung von Methoden des maschinellen Lernens im Kontext der Simulation reaktiver Str?mungen 

Bei der numerischen Simulation von reaktiven Str?mungen wird die numerische Str?mungsmechanik mit numerischen Methoden zur L?sung chemischer Probleme gekoppelt. Die Berechnung der chemischen Reaktionen nimmt dabei einen Gro?teil der gesamten Simulationszeit in Anspruch. Eine M?glichkeit, diesem Problem entgegenzuwirken, sind Flamelet-Datenbanken, in denen vor der Simulation die exakte chemische L?sung diskreter Zust?nde hinterlegt wird. Mittels linearer Interpolation k?nnen dann w?hrend der Simulation für beliebige Zust?nde die L?sungen approximiert werden. Diese Datenbanken sind jedoch extrem speicherintensiv. Aufgabe dieser Masterarbeit ist es, mittels maschinellen Lernens die Datenmengen zu reduzieren und dabei noch eine m?glichst hohe Ergebnisqualit?t zu erreichen. Als Lernverfahren wird die Methodik K-N?chste-Nachbarn verwendet. Zun?chst wird eine analytische Validierung von KNN und der linearen Interpolation durchgeführt. Des Weiteren wird für KNN eine adaptive Generierung der Trainingsdaten umgesetzt. Anschlie?end werden beide Verfahren mittels einer vereinfachten Flamelet-DB als Datenbasis verglichen. 

Kolloquium DI,  18.2.14, 10:00 Uhr,  (WE5/05.013) 

Johannes Folger (MA AI): Classification of Facial Expressions of Pain from Video Streams

The main concern of this thesis was the development and evaluation of an approach for classifying pain from video streams. In contrast to the analysis of individual images, videos provide temporal information that can improve the classification of facial expressions. The presented approach considered such kind of information by extracting data from temporal frames of different sizes. The method was evaluated by classifying pain, disgust, and neutral expressions within video sequences of four different subjects. As this work is considered to be a pilot study, three individual classifiers were trained and tested only in a person-dependent manner. Results showed that all classifiers obtained mean accuracy rates above chance. Additionally, no classifier could achieve outstanding performances and the size of the temporal frames seems to have no influence on the performance results. One reason for this could be the number of attributes considered for machine learning.

Kolloquium DI,  4.2.14 12:00 Uhr,  (WE5/05.013) 

Christian Rei?ner (MA AI): Researching Heuristic Functions to Detect and Avoid Dead Ends in Action Planning   

One approach to reduce the runtime in learning is to find dead ends by planning and use this information to avoid them efficiently. The heuristic search is a well performing planning approach. The target of this paper is the modification of the heuristic search. I will present methods to detect dead ends and run them in different planning domains. A comparison of the results decides the best method to detect dead ends in planning. I will show that the Wisp method delivers the best results and that abstraction heuristics are the best for detecting dead ends.

Kolloquium Di 28.1.14 12:00 Uhr, WE5/05.013 

Andre Kowollik (externe Masterarbeit, FAU): Mensch-Roboter-Interaktion in gestenbasierten Zweipersonenspielen -- NAO spielt Schere, Stein, Papier   

Das Spiel "Schere, Stein, Papier" ist eine Situation, in der normalerweise eine zwischen-menschliche Interaktion stattfindet. Diese Interaktion wurde auf den Roboter (NAO) übertragen, indem eine simple Spracherkennung implementiert, eine Gestenerkennung auf Basis des Frameworks OpenCV und verschiedene Spielstrategien entwickelt wurden. Die Strategien stellen dabei vereinfachte Verhaltensmuster von NAO dar. Zur Bewertung der Mensch-Roboter-Interaktion und der Verhaltensmuster wurde eine Nutzer-studie durchgeführt.    

Kolloquium Mo 27.1.14 12:00 Uhr, WE5/05.013 

Matthias Düsel (MA AI): Semantisches Matching von Freizeitaktivit?ten mittels Wikipediabasierter Kategorisierung   

Diese Arbeit untersucht, inwiefern Wikipedia genutzt werden kann, um semantische ?hnlichkeit zu berechnen. Das Ziel ist es, ein Matching-System zu erstellen, in welches ein Benutzer eine Freizeitaktivit?t eingibt und daraufhin Eintr?ge mit ?hnlichen Aktivit?ten als Ergebnis zurück bekommt. Hierbei liegt das Augenmerk auf der Bedeutung der Eintr?ge. Die Matches sollen also aufgrund ihrer semantischen ?hnlichkeit entstehen und nicht nur, weil zwei Eintr?ge das selbe Wort enthalten. Bei einem rein lexikalischem Vergleich gibt es kein Match zwischen "Ich würde gerne in die Oper gehen" und "Ich sehe mir heute Don Giovanni an". Semantisch sind diese Eintr?ge jedoch verwandt, da Don Giovanni eine Oper ist.   

Kolloquium  MO 16.12. 12:00 Uhr,  WE5/05.013

Simone Schineller (MA WI): A Hierarchical Approach for Classifying Pain and Disgust by Aggegration over Facial Regions

Im Rahmen der Arbeit wurde ein zweistufiger Ansatz zur Erkennung von Schmerz und Ekel basierend auf Gesichtsdaten entwickelt, der mit Hilfe der Software Rapid Miner umgesetzt wurde. Die Besonderheit des Modells liegt in der Aufteilung des Gesichtes in einzelne Regionen und deren anschlie?ender Klassifikation als Vorverarbeitungsschritt. Ziel der Arbeit war es, die Eignung verschiedener Klassifikatoren für die mimikbasierte Schmerz- und Ekelerkennung zu untersuchen und miteinander zu vergleichen. Weiterhin wurden sowohl individuelle als auch personenunabh?ngige Klassifkatoren gegenübergestellt, um zu ermitteln, ob letztere für die gestellte Aufgabe ausreichend gut geeignet sind.

Talks SS 13 

Kolloquium  DO 27.6. 14:15 Uhr,  WE5/05.013

Christian Massny (MA WI): TRAINING BY ERROR - CHESS TRAINING BY INDIVIDUAL ERROR CLASSIFICATION

Chess Engines have long surpassed all but the most potent of human chess players. The vast majority of chess players cannot even come close to beating any given engine on a personal computer with mainstream hardware.Hence chess programs are mostly used for two purposes: analyzing past games and getting used to playing new openings. The analysis is mostly done by hand, importing any past game and the replaying it with the calculations of the engine showing when mistakes were made in the game.The goal of this thesis now is to analyze past games on a larger scale using the complete game database of a particular player. The software to be programmed will import any number of games and analyze them. The analysis will both find mistakes made by the player using an open source chess engine and then classify the mistakes the player made so that statistical information regarding the type and magnitude of mistakes the player makes will be available for further training.Each mistake can be singled out and analyzed individually. At the end of this thesis the author will propose a way of using the error database to teach the player to get rid of his mistakes even better.

Kolloquium DI 11.6. 10:15 Uhr, WE5/5.013

Stefan Betzmeir (Master WI): Inducing Structural Prototypes for the Classification of Semi-Structured Data

The internet has evolved from a network of documents into a network of heterogeneous web applications. Semi-structured data offers enough structural flexibility, while providing the necessary semantic annotation to transfer information between those applications. Today the XML Data Model is the de facto standard meta-model for semi-structured data on the internet. Due to its generic nature, XML has become the foundation of numerous domain specific formats, causing an abundance of XML data that holds considerable potential for data analysis. This paper presents a case-based reasoning framework for classifying semi-structured data. It supports the extraction of a prototype tree from a cluster of data trees, as well as the classification of a data tree, based on its similarity to a set of prototype trees. By representing each cluster with only one prototype, an acceptable runtime of the classification can be maintained, even if the data clusters keep on growing.

Colloquium Archive

You find information on past talks in the Colloquium Archives [WS 12/13]  [SS12]  [WS 11/12]   [SS 11]  [WS 10/11]  [SS 10]  [WS 09/10]  [SS 09]  [WS 08/09]   [SS 08]   [WS 07/08] and the colloquium archive (old)