After successful completion of the course, students are able to understand methods and techniques from declarative knowledge processing for different fields that center around datalog. They have insight to this versatile formalism that allows for addressing a range of different problems, by using different extensions of datalog that have been developed.
Declarative knowledge representation is characterised by the fact that there is a separation between the representation of knowledge and the processing of knowledge. The representation takes the form of sentences in a symbolic language whilst the processing is done by procedures accessing these sentences. Declarative knowledge representation is in contrast to procedural methods in which knowledge is represented only implicitly in the executed algorithms.
In this lecture, we consider different formalisms for representing and processing declarative knowledge, with particular emphasis on (but not limited to):
- Datalog and extensions
- Answer Set Programming and Extensions
- Description Logics for representing ontological knowledge
- Contextual Reasoning
lectures en bloc, in November / December / January, Friday 9:00-13:00
Tentative start: Fri November 25, 2022
The course language is English.
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture 24h
- Additional reading and preparation for exam 50h
- Oral exam 1h
Knowledge about the material presented, small exercises to be solved on the fly. In case of an agreed project, presentation and discussion of the project.