Topics suggested for BA and MA theses
Contact:  

Heuristics for theory projection in analogical reasoning 
Ulf Krumnack 

HeuristicDriven Theory Projection (HDTP) is a framework for analogical reasoning currently under development at the IKW. It works in two stages by first identifying common structures in the modelling of two different domains and then transferring knowledge und proposing new conclusions. 

The semantics of theory projection 
Ulf Krumnack 

HeuristicDriven Theory Projection (HDTP) is based on an extended form of antiunification of logical theories. It introduces certain secondorder elements which seem to be wellfounded on a syntactic level but whose semantics needs to be further investigated. A thesis should develop a model theoretic semantics and show its applicability in the description of analogies. 

Design and implementation of the Structure Mapping Theory 
Ulf Krumnack 

The structure mapping theory by D. Gentner is a wellknown psychological theory for finding analogies and making analogical inferences. Although it is today's most prominent approach for analogies, the existing implementation of the structure mapping theory from the 1980s uses rather old technology. 

A classification of analogies  types, fields of applications 
Ulf Krumnack 

Humans use analogies in different situations and for different purposes. In science, new problems are understood and explained via analogies by wellknown phenomena. Analogies are also used in education: e.g. mathematical operations on polynomials can be explained via analogies to operations on natural numbers. Analogies and metaphors are very important stylistic devices in linguistics, e.g. in poems, tales and fairy stories. We use analogies in our everyday life to solve new problems. 

Comparing analogy models 
Ulf Krumnack 

HeuristicDriven Theory Projection (HDTP) is a framework for analogical reasoning currently under development at the IKW. The representation is essentially logicbased. HDTP works in two stages by first identifying common structures in the modelling of two different domains and then transferring knowledge und proposing new conclusions. 

Analogical reasoning and learning 
Ulf Krumnack 

Analogy making is the process by which humans extract operators used to solve one problem and map them onto a solution for another problem. The thesis shall investigate experimentally the human way of analogical reasoning and learning. 

Learning firstorder logical theories with neural networks in reasoning processes 

The wellknown gap in Cognitive Science and Artificial Intelligence between symbolic and subsymbolic modelings seems to be a hard problem. An approach developed at the IKW to bridge this gap in one direction uses a translation of logical theories to a semisymbolic representation, namely to socalled Topos theory. This representation is homogeneous, variablefree, and uses only one inherent operation (concatenation of arrows). The semisymbolic level can be used to train a feedforward neural network that is not only learning the logical input theory, but rather the logical closure of this theory, i.e. a model of the underlying theory. 

Comparing algebraic frameworks used in AI 

Rulebased and procedural approaches are dominating the field of reasoning in artificial intelligence. Examples are methods used for inductive, casebased, or qualitative reasoning. Alternatively, algebraic approaches can be used. Such approaches focus on structural representations and provide a powerful and formally sound foundation for inference algorithms. Examples are the usage of antiunification in analogy and induction or relational algebras for qualitative reasoning. 

Assessment of solutions for programming assignments in PROLOG and LISP 

Assessing assignments and exams produces a big workload for lecturers and tutors. 

Intensions as Algorithms 

Flexible Knowledge Basis for Heterogeneous Data 

With the Problem of handling big heterogeneous (Web based) data new approaches of storing, retrieving, 
