Lecturer: Prof. Wolf-Tilo Balke
Assistant: Muhammad Usman and Mayuk Das
Classification: Master (Informatik/Wirtschaftsinformatik)
Credits: 5
Exam: Oral
Regular Dates: Every Tuesday
Time: 03:00 PM-05:30 PM, in IZ160
Starting from: 02.04.2024
Material: Link to StudIP
This lecture covers the topics of knowledge-based systems and deductive databases.
The focus will be on:
What you will you learn?
- What are knowledge-based systems? What can you do with them?
- Many KBS are based on formal logics. You will:
- ...learn about different kinds of formal logic
- ...learn syntactic basics of predicate logic
- ...learn of how to interpret logical expressions
- ...learn how to efficiently evaluate logical expressions in a database setting
- ...how to design a KBS using different flavors of formal logic
- We will show you how the vision of knowledge based systems was born and what became of it
- We will show you how the KBS ideas have been reborn within the semantic web
- We will show you how the semantic web works and what it tries to achieve
Course Material:
This semester we will publish all slides, exercises, and videos exclusively in Stud.IP. If you are eligible for this course you are automatically assigned in Stud.IP. If you are eligble but have not been assigned by April 10, please contact Muhamad Usman or Mayuk Das.