Lecture “Knowledge-Based Systems and Deductive Databases”

Information
Classification: 
Master Informatik / Wirtschaftsinformatik
Credits: 
4 or 5 (depending on examination rules)
Exam: 
Oral
Regular Dates: 
Wednesdays, 16:45 bis 19:00, Room IZ 160
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 willyou 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
 

PLEASE REFER TO THE INTRODUCTION SLIDES BELOW FOR A BETTER OVERVIEW!

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. The exercises are optional, but recommended.

Current exercise success is tracked within the IfIS HMS Homework Management System.

 

Materials

Download

Date Topic Slides Exercise Video Recordings
27.10.2010 Introduction

Slides
PrintSlides

none Video
03.11.2010 First Order Logics Slides
PrintSlides
Nr2 Video
10.11.2010 Logical Models Slides
PrintSlides
Nr3 Video
17.11.2010 Datalog Basics Draft Slides Nr4 Video
24.11.2010 Datalog Herbrand Models

Slides
Print Slides

Nr5 Video
01.12.2010 Datalog Fixpoint Semantics Draft Slides Nr6 Video
08.12.2010 Datalog Optimization Draft Slides Nr7 Video
15.12.2010 Uncertain Resoning Slides   Video
05.01.2011 Expert Systems Slides Nr9 Video
12.01.2011 Knowledge Representation Slides   Video
19.01.2011 Ontologies Slides Nr11 broken; use this instead
26.01.2011 Semantic Web Slides Nr12 Video
02.01.2011 Folksonomies Slides
Video
09.01.2011 Question Answering Slides   Video

 

AttachmentDateSize
File KBS_01_Intro.pdf28/10/10 1:45 pm4.23 MB
File KBS_01_Intro_P.pdf28/10/10 1:45 pm1.76 MB
File KBS_02_Logics.pdf03/11/10 2:24 pm3.72 MB
File KBS_02_Exercise.pdf10/11/10 12:59 pm439.16 KB
File KBS_03_Exercise.pdf11/11/10 3:37 pm429.03 KB
File KBS_03_Models.pdf11/11/10 3:37 pm2.55 MB
File KBS_03_Models_P.pdf11/11/10 3:37 pm1.29 MB
File KBS_02_Logics_P.pdf11/11/10 3:39 pm1.83 MB
File KBS_04_Datalog1.pdf17/11/10 2:05 pm3.16 MB
File KBS_04_Exercise.pdf22/11/10 3:57 pm368.74 KB
File KBS_05_Datalog2.pdf25/11/10 11:11 am3.4 MB
File KBS_05_Datalog2_P.pdf25/11/10 11:11 am1.48 MB
File KBS_05_Exercise.pdf25/11/10 11:11 am324.81 KB
File KBS_06_Datalog3.pdf01/12/10 1:57 pm4.05 MB
File KBS_06_Exercise.pdf08/12/10 3:45 pm316.83 KB
File KBS_07_Datalog4.pdf08/12/10 3:45 pm4.05 MB
File KBS_08_Uncertain.pdf15/12/10 1:43 pm2.22 MB
File KBS_09_ExpertSystems.pdf05/01/11 1:27 pm2.94 MB
File KBS_10_Knowledge Representation.pdf19/01/11 1:11 pm3.89 MB
File KBS_11_Ontologies1.pdf19/01/11 1:11 pm4.19 MB
File KBS_07_Exercise.pdf19/01/11 1:35 pm263.96 KB
File KBS_09_Exercise.pdf19/01/11 1:35 pm260.8 KB
File KBS_11_Exercise.pdf19/01/11 1:42 pm336.57 KB
File KBS_12_Ontologies2.pdf24/01/11 5:26 pm3.44 MB
File KBS_12_Exercise.pdf28/01/11 5:40 pm331.91 KB
File KBS_13_SocialSystems.pdf02/02/11 1:35 pm5.72 MB
File KBS_14_QA.pdf11/02/11 2:27 pm4.78 MB