Home
Student Pages
Undergraduate course

Knowledge Representation and Reasoning

Main content

Level of Study

Bachelor level

Teaching semester

Autumn

Objectives and Content

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.

Learning Outcomes

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

  • has theoretical knowledge about principles for logic-based representation and reasoning.
  • has a basic understanding of Kripke models, production systems, frames, inheritance systems and approaches to handling uncertain or incomplete knowledge.
  • has a basic understanding of principles for reasoning with respect to explanation and planning.
  • has a broad understanding of how knowledge based systems work which provides a solid foundation for further studies and for assessing when knowledge based approaches to problem solving are appropriate.

Skills

The student

  • can analyze and design knowledge based systems intended for computer implementation.

Recommended Previous Knowledge

INFO104 or equivalent. Basic understanding of programming.

Credit Reduction due to Course Overlap

INFO282 overlaps 10 ECTS with INFO281.

Access to the Course

Open

Teaching and learning methods

Lectures, seminars or data labs, normally 2 + 2 hours per week for 12-14 weeks.

Compulsory Assignments and Attendance

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.

Forms of Assessment

4 hour written exam (100%)

Updated: Change of assessment form from 4 hour written exam to 4 hour take home exam as part of the measures to limit the risk of corona infection.

Grading Scale

The grading system has a descending scale from A to E for passes and F for fail.

Assessment Semester

Assessment in teaching semester and the following semester.

Course Evaluation

All courses are evaluated according to UiB's system for quality assurance of education.

Exam information

  • Type of assessment: Take-home examination

    Assignment handed out
    16.12.2021, 09:00
    Submission deadline
    16.12.2021, 13:00
    Withdrawal deadline
    02.12.2021
    Examination system
    Inspera
    Digital exam