Universität Bamberg - Logo

News

ITCO Absolventenpreis

Christophe Quignon erhält ITCO Absolventenpreis
ausführlich

Kolloquium Mittwoch, 27.03.2013

Johannes Wicht (MA AI Präsentation): Entwicklung eines Systems zur Erkennung von Eskalationen in der Assist-Datenbank (in Kooperation mit Siemens)
ausführlich

27.02.13

Dagstuhl Seminar "Approaches and Applications of Inductive Programming"


ausführlich

Kolloquium Montag, 26.11.2012

Matthias Linhardt (MA CiTH Präsentation): Konzeption und exemplarische Ausführung eines Assistenzsystems für ein Content-Management-System (in Kooperation mit docufy)
ausführlich

MAC Montag, 12.11.2012

Michael Siebers: (Goal-dependent) Conditional Annulling of Actions in Automated Planning
ausführlich

Kolloquium Montag, 5. 11. 2012

Lukas Berle (BA Präsentation, Projekt EMN-Moves): Matching natural language activity descriptions by using self-expanding ontologies -- An application to support mobility of elderly people
ausführlich

22.10.12

ESF-Forschungsprojekt "Alumnae Tracking" 01.10.2012

Im Oktober ist das ESF-finanzierte Projekt "Alumnae-Tracking" gestartet. Ziel des Projekts ist die Analyse von Bildungs- und Berufsverläufen der Absolventen der Informatik im Gendervergleich.
ausführlich

Pressebericht KogWis 2012

Kognitionswissenschaftler tagen in Bamberg
ausführlich

News

Short Description of Research Topics

Inductive Programming

The construction of generalized (recursive) programs from small sets of positive input/output examples is investigated. More specific, our research addresses 

  • theoretic and algorithmic foundations of the induction of functional programs,
  • inductive program synthesis as an approach to cognitive modeling of learning from problem solving experience,
  • application of inductive synthesis techniques to enduser programming support (e.g. inducing XSL transformations with recursive template applications from small example XML documents).

Learning Structural Prototypes

Development and application of structural generalisation methods (least general generalisation, anti-unification)

  • for incident mining - to provide standard solutions or to retrieve previous solutions for incident reports as support for help desk engineers
  • as a cognitive model of adaptation effects in aesthetic judgements

Analogical Problem Solving and Generalization

Several psychological as well as formal aspects of analogy making are explored:

  • anti-unification as approach to automated analogical reasoning and generalization
  • empirical investigation of conditions for preference of derivational (replaying an old solution) vs. transformational (mapping entities of base and target problem) strategies in human problem solvers
  • empirical demonstration of re-representation of problem structures during analogy making

Applications of Planning and Learning

Current research topics are:

  • individualized pain classification from facial expressions
  • distributed problem solving in rescue and emergency scenarios
  • classifier learning for medical and technical diagnosis
  • cognitive assistance for people with mental deficits