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, taxonomies and Kripke models. 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.
A student who has completed the course should have the following learning outcomes defined in terms of knowledge, skills and general competence:
Knowledge
The student
Skills
The student
INFO104 or equivalent. Basic understanding of programming.
Lectures, seminars or data labs, normally 2 + 2 hours per week for 12-14 weeks.
There will be mandatory assignments which must be completed and approved.
Mandatory participation: Attendance at mandatory seminars and labs (at least 75 %).
Approved compulsory requirements are valid for the two following semesters.
Update: In the autumn semester 2021, the requirement to attend 75% of the seminars will not apply due to the corona situation. However, it is highly recommended that students attend as much as possible.
Written exam 4 hours.
Updated: Change of assessment form spring 2021 from written exam to 4-hour take home exam as part of the measures to limit the risk of corona infection. Group assignment as normal