KogWis 2012 in Bamberg

Bei der Mitgliederversammlung der Gesellschaft für Kognitionswissenschaft (GK) wurde Ute Schmid wurde zur Tagungsausrichterin für die KogWis 2012 gewählt. Das heisst, Bamberg wird im Herbst 2012 Tagungsort. Erwartet werden etwa 200 Wissenschaftler aus den Bereichen Kognitive Psychologie, Künstliche Intelligenz, Sprachwissenschaft, Philosopie, Neurowissenschaft und Anthropologie. Ute Schmid wird organisatorisch von Claus-Christian Carbon, Dietrich Dörner, Stefan Lautenbacher, Jascha Rüsseler und Christoph Schlieder unterstützt.

 

 

Kolloquium Dienstag, 12.07.2011, 10 Uhr, F 125

Mark Wernsdorfer, Grounding Affordances in Hierarchical Representations of Sensorimotor Interaction

Understanding human cognition implies understanding how the mind forms hierarchical representations of the world. In this project, a reinforcement learning algorithm is developed that is capable of constructing a world model, while embracing this cognitive phenomenon. Representations of concrete concepts result from basic sensorimotor optimisation and serve themselves as elements for higher order representations of abstract concepts. Sequence recognition allows for the agent to obtain a subjective notion of causality. Categorising according to causal roles eventually allows for a functional identification of representations.
Similar approaches to hierarchical reinforcement learning try to grasp functionality (encompassing e. g. context-independency or structural invariance) either by categorising patterns in the sensorimotor structure of percepts or by precategorising functional categories. In contrast, this project proposes a process of autonomous categorisation according to the functional aspects of cognitive representations, also called affordances. The intention is to ground these affordances in the interaction between agent and environment. Semantic conveyance from architect to agent will be minimised.
The agent's performance will be evaluated in a simulated environment. Motivation and realisation of this algorithm will be presented, as well as first empirical results and possible problems.

 

Kolloquium Donnerstag, 14.07.2011, 16 Uhr c.t., Raum F384

Petra Hofstedt, Lehrstuhl für Programmiersprachen und Compilerbau, BTU CottbusMulti-paradigm Programming

Programmiersprachen werden an Hand ihrer Paradigmen klassifiziert, beispielsweise in imperative, funktionale, constraint-basierte, objekt- orientierte oder aspekt-orientierte Sprachen. Ein Paradigma charakterisiert dabei Programmierstil und -konzepte der Sprache und unterstützt so die Modellierung spezifischer Anwendungen. Häufig umfassen Probleme Aspekte verschiedener Paradigmen und lassen sich am besten durch die Kombination von Konzepten verschiedener Sprachen, d.h. multiparadigmatisch, ausdrücken.

Der Vortrag gibt einen Überblick über klassische und neue Entwicklungen des Gebiets der Multiparadigmen- Sprachen und stellt als aktuelles Beispiel die constraint-basierte funktionale Sprache CCFL.

 

MAC, Montag, 27.06. 2011, 17:00 Uhr, F380 

Stefan Betzmeir & Ute Schmid: Prototype Extraction and Classification for Trees and an Application to Incident Mining

In a cooperation with SAP we developed an approach to classify incident reports. We were given a set of incident clusters which were constructed by a domain expert. Our algorithm constructs a prototype for each cluster and a new incident is classified by similarity to prototype. Incidents are given as XML files, i.e. as trees. Instead of using the standard approach of feature extraction from trees and applying feature-based methods for classification learning, we propose an algorithm for constructing structural prototypes, i.e. for learning on tree structures. In the talk we will focus on the generic problem of aligning sets of arbitrary trees and present our preliminary results.

WIAI Fakultätskolloquium Donnerstag, 16.06. 2011, 16:00 Uhr 

Janis Voigtländer, Universität Bonn: Programmiersprachliche Techniken für Bidirektionale Transformation

In verschiedenen Anwendungsgebieten sind sogenannte bidirektionale Transformationen von Interesse, bestehend aus zwei Funktionen: 1.) einer Funktion "get", die eine Quelle (Dokument/Wert) auf eine Sicht abbildet (typischerweise unter Vernachlässigung von Teilen der Eingabe) und 2.) einer Funktion "put", die eine veränderte Sicht geeignet zurück in die ursprüngliche Quelle einbringt. Dabei sollen "get" und "put" bestimmte Konsistenzbedingungen (zueinander) erfüllen. Veränderung einer der beiden Funktionen führt in der Regel zur Notwendigkeit, auch die andere zu ändern (und wechselseitige Konsistenz neu zu beweisen). Es liegt daher nahe zu versuchen, stets nur eine der beiden Funktionen explizit anzugeben und die andere automatisch zu erhalten (samt Konsistenzgarantie). Mit Techniken zur Manipulation deklarativer Programme ist dies tatsächlich erreichbar. Ich stelle verschiedene Ansätze vor und gehe insbesondere auf eine erfolgreiche Kombination "syntaktischer" und "semantischer" Bidirektionalisierung ein.