Lecture “Knowledge-Based Systems and Deductive Databases”

Information
Classification: 
Master Informatik / Wirtschaftsinformatik
Credits: 
4
Exam: 
Oral (scoring 50% of total exercise points is required to take final exam, between 03. and 07. August, please get an appointment)
Regular Dates: 
Tuesdays, 13:15-15:45, IZ 160
First lecture on March 31
Contents
Contents: 

This lecture covers the topics of knowledge-based systems and deductive databases. The special focus will be on

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

Alongside the lecture, there will be written homework / exercises. These exercises may be solved in teams of two students each. New exercises will be handed out each Tuesday evening and must be returned until the following week before the next lecture into the mailbox on the IfIS floor. In order to be eligible for the final exam, 50% of all exercise points are needed.

Materials

Download

Date Topic Slides Exercise Video Recordings
31.03.2009 Introduction

Slides
PrintSlides

None Video
07.04.2009 First Order Logics

Slides
PrintSlides

Exercise 2 Video
14.04.2009 Models

Slides
PrintSlides

 Exercise 3 Video
21.04.2009 RDB as Logics

Slides
PrintSlides

None Video
28.04.2009 Datalog 1
(revisioned 06.05.09)

Slides
PrintSlides

Exercise 5  Video
05.05.2009 Datalog 2
(please not that slides are extended
compared to video)

Slides
PrintSlides

 Exercise 6  Video
12.05.2009 Datalog 3

Slides
PrintSlides

 Exercise 7 Video
19.05.2009 Datalog 4

Slides
PrintSlides

 Exercise 8  Video
26.05.2009 Uncertain Reasoning

Slides
PrintSlides

 None  Video
09.06.2009 Expert Systems

Slides
PrintSlides

Exercise 10
(you may hand in until next Friday)
Video
16.06.2009 Knowledge Representation

Slides
PrintSlides

 None Video
23.06.2009 Towards Ontologies 1

Slides
PrintSlides

Exercise 12
(you may hand in until next Friday)
Video
30.06.2009 Towards Ontologies 2

Slides
PrintSlides

Exercise 13 (till Friday)
University Ontology
 
Video
07.07.2009 Social Systems

Slides
PrintSlides

- Video

 

AttachmentDateSize
File KBS_01_Intro.pdf31/03/09 4:34 pm4.05 MB
File KBS_01_Intro_Print.pdf31/03/09 4:35 pm1.62 MB
File KBS_02_Logics.pdf07/04/09 4:47 pm3.52 MB
File KBS_02_Logics_Print.pdf07/04/09 4:47 pm1.82 MB
File KBS_02_Exercise.pdf08/04/09 4:11 pm454.43 KB
File KBS_03_Models.pdf14/04/09 4:52 pm2.64 MB
File KBS_03_Models_Print.pdf14/04/09 4:52 pm1.34 MB
File KBS_03_Exercise.pdf14/04/09 5:51 pm423.58 KB
File KBS_04_LogicDBDetour_Print.pdf27/04/09 1:07 pm786.65 KB
File KBS_04_LogicDBDetour.pdf27/04/09 1:08 pm1.3 MB
File grasshopper.datalog28/04/09 7:23 pm922 bytes
File KBS_05_Exercise.pdf28/04/09 7:27 pm93.95 KB
File KBS_05_Datalog1.pdf06/05/09 3:45 pm3 MB
File KBS_05_Datalog1_Print.pdf06/05/09 3:45 pm1.44 MB
File KBS_06_Datalog2.pdf06/05/09 3:45 pm3.24 MB
File KBS_06_Datalog2_Print.pdf06/05/09 3:46 pm1.44 MB
File KBS_06_Exercise.pdf06/05/09 4:28 pm258.65 KB
File KBS_07_Datalog3.pdf12/05/09 5:40 pm4.35 MB
File KBS_07_Datalog3_Print.pdf12/05/09 5:40 pm1.85 MB
File KBS_07_Exercise.pdf13/05/09 2:25 pm257.22 KB
File KBS_08_Datalog4.pdf19/05/09 8:20 pm4.54 MB
File KBS_08_Datalog4_Print.pdf19/05/09 8:23 pm1.82 MB
File KBS_08_Exercise.pdf20/05/09 1:31 pm166.23 KB
File KBS_09_Uncertain.pdf26/05/09 6:59 pm2.38 MB
File KBS_09_Uncertain_Print.pdf26/05/09 6:59 pm1.16 MB
File KBS_10_ExpertSystems.pdf15/06/09 7:06 pm3.06 MB
File KBS_10_ExpertSystems_Print.pdf15/06/09 7:06 pm1.33 MB
File KBS_10_Exercise.pdf12/06/09 5:34 pm159.86 KB
File KBS_11_KnowledgeRepresentation.pdf16/06/09 5:14 pm3.86 MB
File KBS_11_KnowledgeRepresentation_Print.pdf16/06/09 5:14 pm1.54 MB
File KBS_12_Ontologies1.pdf23/06/09 5:48 pm4.25 MB
File KBS_12_Ontologies1_Print.pdf23/06/09 5:48 pm1.8 MB
File KBS_12_Exercise.pdf26/06/09 1:29 pm232.56 KB
File KBS_13_Ontologies2.pdf02/07/09 3:48 pm3.53 MB
File KBS_13_Ontologies2_Print.pdf02/07/09 3:48 pm1.68 MB
File uni.owl02/07/09 3:49 pm9.16 KB
File KBS_13_Exercise.pdf02/07/09 4:12 pm237.76 KB
File KBS_14_SocialSystems.pdf08/07/09 3:00 pm5.68 MB
File KBS_14_SocialSystems_Print.pdf08/07/09 3:00 pm2.25 MB