Knowledge Representation and Reasoning

Undergraduate course

Course description

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.

ECTS Credits

10 ECTS

Level of Study

Bachelor level

Semester of Instruction

Autumn
Required Previous Knowledge
INFO104 or equivalent.
Recommended Previous Knowledge
Basic understanding of programming.
Credit Reduction due to Course Overlap
INFO282 overlaps 10 ECTS with INFO281.
Access to the Course

The course is open to students with admission to study at the UiB. The course has 100 study places. Students who have this course as a compulsory part of their study plan will have priority access.

Application deadline: Wednesday, week 33

Teaching and learning methods
Lectures, seminars or data labs, normally 2 + 2 hours per week for 12-14 weeks.
Compulsory Assignments and Attendance
Mandatory participation: it is mandatory to attend at least 75% of the seminars and labs.
Forms of Assessment

The assessment comprises of two parts:

  • 4-hour written exam (60%)
  • Three graded assignments (40%)

Grades for each part of assessment and the final grade will be published in Studentweb.

The exam assignment will be given in the language of instruction in the course.

The exam answer must be submitted in the same language as the exam assignment.

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

For writtten exam:

Assessment in teaching semester.

A retake exam is arranged for students with valid absence according to § 5-5. If there is a retake exam, this will be available for students with the following results/absences:

  • Medical certificate/valid absence
  • Interruption during the exam
  • Fail/failed

If you have the right to take a retake exam and a retake exam is arranged for students with valid absences, you can sign up yourself in Studentweb after January 15.

For graded assignments:

Assessment only in teaching semester.

Students with valid absence as defined in the UiB regulations § 5-5 can apply for an extended submission deadline to eksamen.infomedia@uib.no. The application must be submitted before the deadline for submission has expired.

Reading List
The reading list will be ready before 1 July for the autumn semester and 1 December for the spring semester.
Course Evaluation
All courses are evaluated according to UiB's system for quality assurance of education.
Course Administrator
The Department of Information Science and Media Studies at the Faculty of Social Sciences has the administrative responsibility for the course