This lecture will be held online. We will meet every Tuesday in our virtual conference room to give a short summary of the last lesson and discuss open questions. Please join our StudIP lecture Link. The conference room and acess will be shared on StudIP.
We will upload slides, exercises, and videos on our Website every Tuesday.
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
