Skip to main content

M.Sc.|MBA|Micro-Degree BDAI_logic-ai
Logic and Symbolic AI

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.

  1. Course Start:

  2. Course End:

  3. Estimated Effort:

    10:00 h/week
Book Micro-Degree Program Enrollment in this course is by invitation only*
  • *This course is subject to a fee. Please, book the course using the “Book Micro-Degree Program” button. If you have not registered at German-UDS.academy yet, please register with the same email address that you have used for the booking. If you already have an account at German-UDS.academy, please use the same email address for the booking system.

Logic and Symbolic AI

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

Course Staff

Dr. Felix Weitkämper

Dr. Felix Weitkämper

Felix has completed his undergraduate education in Mathematics with Philosophy at the LMU in Munich. Afterwards, he completed a doctorate in Mathematics with the Logic Group at the University of Oxford. After graduating from Oxford, he spent a year teaching 15-19 year olds at a technical college in the North of England as part of the Researchers in Schools initiative, which brought postgraduates from selective universities into schools in disadvantaged parts of England. In 2020, Felix moved into computer science and joined the programming languages and AI group at the LMU in Munich as a postdoctoral researcher. His research focus lies on interpretable, human-centered AI, and in particular on the combination of statistical learning and modelling with sophisticated logical reasoning. Within this field, his work spans from mathematical foundations to systems and applications in the life sciences. He is part of the German UDS family since October 2024 as a full-time senior researcher, doing his part for the new generation of AI specialists and deciders to be grounded in the whole breadth of AI research and technique.

Frequently Asked Questions

What web browser should I use?

Our German-UDS.academy platform works best with current versions of Chrome, Edge, Firefox, or Safari.

See our list of supported browsers for the most up-to-date information.