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