Lecture "Deductive Databases and Knowledge-Based Systems"

Information
Classification: 
Master (Informatik/Wirtschaftsinformatik)
Credits: 
5
Exam: 
oral
Regular Dates: 
every Tuesday
15:45-18:15
starting on 03.04.2018
Room: IZ 161
Contents
Contents: 

This lecture covers the topics of knowledge-based systems and deductive databases.

The focus will be on:

  • First-order logic and clause programming (especially Datalog)
  • Deductive database architecture and query processing
  • Expert Systems
  • The Semantic Web

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

Materials
Date Topic Slides Exercises Videos Extra Attachments
03.04.2018 Introduction Lecture 1   Video 1  
10.04.2018 Syntax Lecture 2 Exercise 1 Video 2  
17.04.2018 Models Lecture 3   Video 3  
24.04.2018 Datalog 1 Lecture 4 Exercise 2 Video 4  
08.05.2018 Datalog 2 Lecture 5 Exercise 3 Video 5

Youtube links for the computer generations detour:
0th, 1st, 2nd, 3rd, 4th, and 5th generation computers.

15.05.2018 Datalog 3 Lecture 6   Video 6  
29.05.2018 Datalog 4 Lecture 7 Exercise 4 Video 7  
05.06.2018 Probablistic & Non-Monoton Lecture 8   Video 8  
12.06.2018 Expert Systems Lecture 9 Exercise 5 Video 9  
19.06.2018 Representation & RDF Lecture 10   Video 10 Tim Berners Lee's Scientific American Article.
26.06.2018 Ontologies 1 Lecture 11 Exercise 6

Video 11 

(from last year)

A resonable Semantic Web by Pascal Hitzler
03.07.2018 Ontologies 2 Lecture 12 Exercise 7

Video 12 

(starts at 1:00 min)

 
10.07.2018 Social Systems Lecture 13   Video 13