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