English
Autumn
The course introduces the principles of logic-based knowledge representation and reasoning, as well as other important symbolic approaches to representing and reasoning about knowledge such as production systems, frames and inheritance networks. How to represent different sorts of knowledge, such as uncertain or incomplete knowledge, knowledge about action and change, and knowledge about default situations, is discussed. Various types of reasoning are discussed, such as logical entailment, explanation and planning.
INFO102 or equivalent. Solid background in programming.
Lectures and data labs, normally 2 + 2 hours per week for 12-15 weeks.
3 mandatory assignments.
The assignments must be approved in the teaching semester, and they are valid in this and the following semester.
Written exam 4 hours.