Specialization "Logics, Information, and Knowledge
Contents of the specialization "Logics, Information, and Knowledge
An important goal of modern computer science is to automatically extract knowledge from data and information. Many of the methods and modeling tools needed for this are provided by logics.
Logics of different power can represent relationships of different complexity semantically unambiguously, and automatic inference methods can be used to derive new knowledge. The importance of logic here ranges from databases to ontologies to comprehensive knowledge-based systems.
In this focus, you can learn about logics, information, and knowledge from very different perspectives to get a comprehensive picture. Formalisms for representing knowledge on the information level and general logics for deriving new knowledge (also) under uncertainty are considered. The principal possibilities and limitations of automated handling of logics will be taught, as well as the role of logic in software creation. The focus is rounded off by methods for automatic knowledge acquisition based on automatic learning.
Prerequisites for the specialization "Logics, Information, and Knowledge
Master thesis
The supervisor of the master thesis must assign the thesis to the subject-specific focus.
You must acquire at least 30 credit points with the following modules:
Basic modules
- Architecture and Implementation of Database Systems
- Commonsense Reasoning
- Complexity Theory
- Pattern Recognition
- Knowledge discovery in databases
Advanced modules
- Database Theory
- Advanced topics in knowledge presentation
- Functional and rule-based programming
- Logic and Complexity
- Logical-algebraic system design
- Logical methods of software engineering
- Probabilistic graphical models
- Speech Recognition
Seminars and student research project
The supervisors of the seminars and the student research project have to assign the achievements to the subject focus, if seminars or student research project are to contribute to the 30 credit points. How many seminars you can take can be found in the examination regulations.