Acquiring knowledge of current techniques for declarative knowledge representation and reasoning.
Didactic procedure: lecture presentation using slides.
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 December / January (tentative)
Dates and room will be posted later.
The course language is English.
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture 24h
- Additional reading and preparation for exam 50h
- Oral exam 1h