Lecture “Deductive Databases and Knowledge-Based Systems”

Master (Informatik / Wirtschaftsinformatik / Internet Technologies and Information Systems)
Oral (25 minutes, English or German)
Regular Dates: 
Wednesdays, 9:45-12:00; IZ161


This lecture will be part of the ITIS M.Sc. program. Therefore, all lectures and exercises will be tought in English language. We will also offer video recordings of the lectures (slides+voice) for download. 


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



Lecture 1: Introduction PDF Video (partially broken)  
Lecture 2: Syntax  PDF Video Exercise
Lecture 3: Models   PDF Video Exercise
Lecture 4: Datalog 1  PDF    Video Exercise
Lecture 5: Datalog 2   PDF Video Exercise
Lecture 6: Datalog 3  PDF  Video  Exercise
Lecture 7: Datalog 4  PDF  Video  
Lecture 8: Probablistic & Non-Monoton  PDF  Video   
Lecture 9: Expert System  PDF  Video  Exercise 
Lecture 10: Representation & RDF  PDF  Video   
Lecture 11: Ontologies 1  PDF  Video  Exercise 
Lecture 12: Ontologies 2  PDF Video  Exercise 
Lecture 13: Social Systems  PDF  Video   
Lecture 14: Question Answering PDF Video   




File KBS_01_Intro.pdf14/04/12 1:31 pm4.48 MB
File KBS_02_Logics.pdf25/04/12 9:49 am3.79 MB
File KBS_02_Exercise.pdf30/04/12 4:45 pm484.66 KB
File KBS_03_Models.pdf02/05/12 9:19 am2.7 MB
File KBS_03_Exercise.pdf02/05/12 1:53 pm479.84 KB
File KBS_04_Datalog1.pdf14/05/12 2:02 pm3.22 MB
File KBS_05_Datalog2.pdf16/05/12 9:31 am3.28 MB
File KBS_04_Exercise.pdf22/05/12 11:48 am420.3 KB
File KBS_05_Exercise.pdf22/05/12 11:49 am373.5 KB
File KBS_06_Datalog3.pdf23/05/12 3:47 pm3.6 MB
File KBS_06_Exercise.pdf29/05/12 11:37 am366.17 KB
File KBS_07_Datalog4.pdf30/05/12 9:20 am4.1 MB
File KBS_07_Exercise.pdf30/05/12 9:20 am263.94 KB
File KBS_08_Uncertain.pdf06/06/12 9:33 am2.26 MB
File KBS_09_ExpertSystems.pdf13/06/12 3:41 pm3.45 MB
File KBS_09_Exercise.pdf13/06/12 3:41 pm260.7 KB
File KBS_10_Knowledge Representation.pdf20/06/12 9:32 am3.91 MB
File KBS_11_Exercise.pdf11/07/12 9:23 am378.02 KB
File KBS_11_Ontologies1.pdf28/06/12 4:44 pm4.28 MB
File KBS_12_Ontologies2.pdf11/07/12 9:21 am3.53 MB
File KBS_13_SocialSystems.pdf11/07/12 9:21 am5.74 MB
File KBS_12_Exercise.pdf11/07/12 9:23 am377.22 KB
File KBS_14_QA.pdf17/07/12 11:18 pm4.73 MB