
Logic and Symbolic AI
Program Details
- Language: English
- Fees: 900
Entry requirements
- High school diploma or equivalent
- Basic computer literacy
- English Level B1 (CEFR) or equivalent
Study Access
About This Course
This module is an introduction to logic and symbolic AI. We introduce the principles of computational logic and the fundamentals of the logic programming paradigm as exemplified by the Prolog language. We then use these concepts to solve classical artificial intelligence tasks such as problem solving and game playing.
Learning Objectives
- Understand the basics of computational logic.
- Model artificial intelligence tasks in logical formalisms.
- Gain basic programming skills in the logic programming language Prolog.
- Tackle artificial intelligence tasks using generic solution algorithms in Prolog.
Study Programs
This course is mandatory for the following study programs.
- M.Sc. Applied AI
This course is offered in even quarters and can, therefore1, be selected as an elective in the following study programs:
- M.Sc. Cybersecurity
- M.Sc. Advanced Digital Reality
- M.Sc. Digital Leadership
- MBA Digital Technologies
- MBA Digital Transformation
1: Generally all mandatory modules of a study program can be selected as an elective in all study programs in which they are not offered as a mandatory module. However, there are several rules that apply. First, at least half of the selected electives have to be taken from your study program. Second, all electives are only available in either odd or even quarters. Therefore, not all electives are available in all programs (given that you want to finish the program within the regular time frame and do not want to take that elective in parallel to your impact project.)
Micro Degree
- This course is offered as a micro degree.
- German UDS Micro Degrees are compatible with the European MOOC Consortiums Common Micro Credentials Framework.
- Micro Degrees will be rewarded with an equivalent of 5 ECTS.
- Micro Degrees are offered to non-regular students and require a fee of €900.
Requirements
Willingness to engage with abstract concepts and novel ideas.
General Information
- Teaching Format: Knowledge Essential
- Total Workload Master: 125h (40h/85h) / 5 ECTS
- Total Workload Micro Degree: 125h (40h/85h) / Equivalent to 5 ECTS
- Module coordinator: Dr Felix Weitkämper
- Examinations: Project report.
- Offered: Even quarters