UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Angewandte Informatik >>
Professur für Angewandte Informatik, insbes. Kognitive Systeme
Anschrift: An der Weberei 5, 96047 Bamberg
Tel.:++49-951-863 2861Fax:++49-951-863 2862
www:https://www.uni-bamberg.de/en/cogsys/

In the research domain Cognitive Systems ( CogSys ) we are concerned with the development of approaches, concepts, and methods for design, description, and analysis of intelligent systems based on cognitive principles. Our research strategy is to combine empirical studies of cognitive phenomena, development of algorithms, and their testing in different areas of application. Main topics of our group are induction and learning as well as planning and problem solving in single- and multi-agent settings. Especially, we are interested in the inductive synthesis of recursive functional programs from incomplete specifications, e.g., input/output examples. Furthermore, we investigate analogical reasoning as a powerful approach to problem solving as a special mechanism of knowledge acquisition. Application areas are, for example, support of human problem solvers in the domains of software development, classifier learning for medical diagnostics and quality control, and support systems for activities of daily life.

Forschungsschwerpunkte

Inductive Program Synthesis
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).

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: distributed problem solving in rescue and emergency scenarios; classifier learning for medical and technical diagnosis; cognitive assistance for people with mental deficiencies; learning geographic maps from navigation.

Forschungsrelevante apparative Ausstattung

PC-Labor und Kephera-Labor, F 123

Kooperationsbeziehungen

Institut für Kognitionswissenschaft, Universität Osnabrück
Carnegie Mellon University, School of Computer Science
Fraunhofer IIS, Erlangen

Wissenschaftliche Tagungen

Workshop Approaches and Applications of Inductive Programming (AAIP), held in conjunction with ECML 07 on Sept. 17th in Warsaw, Poland

Workshop Approaches and Applications of Inductive Programming (AAIP), held in conjunction with the 22nd International Conference on Machine Learning (ICML 2005) on August 7th 2005 in Bonn, Germany

Workshop "Algebraic Models of Reasoning" at the 26th German Conference on Artificial Intelligence (KI2003, Hamburg, September 15th-18th, 2003)

European Cognitive Science Conference (Osnabrück, Sept. 10-13, 2003)

Laufende und vor kurzem beendete Forschungsprojekte

UnivIS ist ein Produkt der Config eG, Buckenhof