Lecture "Knowledge-based Systems and Deductive Databases"

Content:

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


Course Material:

This semester we will publish all slides, exercises, and videos exclusively in Stud.IP.