Research

Research of the AI group in the Cognitive Science institute includes topics in Analogical Reasoning, Logic Programming, Formal Semantics.
Below you find a list of specific research interests. For further information, please visit the projects and the individual home pages.

Analogical Reasoning

Predictive analogies in qualitative physics, heuristic-driven theory projection

Helmar Gust,
Kai-Uwe Kühnberger,
Ulf Krumnack

Algebraic Methods in AI

Category Theory, closure spaces, channels, topologies, universal algebra, Coalgebras

Helmar Gust,
Kai-Uwe Kühnberger

Logic Programming and Constraints

PROLOG and PROLOG extensions for CLP

Helmar Gust

Knowledge Management

Mapping-Tools for Cooperative Work and Learning, distributed learning,
terminology extraction, ontologies, internal document structure, text mining

Petra Ludewig,
Helmar Gust,
Kai-Uwe Kühnberger

Media-based Learning Environments

 

Helmar Gust
Tobias Thelen

Ontology Design

Ontology generation and adaptation, extraction of semantic information from syntactic data.

Helmar Gust,
Kai-Uwe Kühnberger

Neuro-Symbolic Integration

Learning logical theories and complex data structures with neural networks.

Helmar Gust,
Kai-Uwe Kühnberger,

Cognitive Integration

Reducing cognitive diversity to a few principles in order to achieve human-level intelligence.

Helmar Gust,
Kai-Uwe Kühnberger