Knowledge Representation and Reasoning

Lågaregradsemne

Emnebeskrivelse

Mål og innhold

The course introduces the principles of knowledge representation and reasoning. Relying on tools from propositional and first-order logic, it presents logic-based formalisms not only for representing different sorts of knowledge (such as uncertain knowledge and incomplete knowledge) and for performing different forms of reasoning (such as deductive reasoning, default reasoning and abductive reasoning) but also for reasoning about different aspects crucial in multi-agent systems (e.g., tools for reasoning about knowledge, reasoning about action and reasoning about change).

Læringsutbytte

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 knowledge representation.
  • theoretical knowledge of the different reasoning tasks that can be performed over a knowledge base,
  • a proper understanding of logic-based formalisms for reasoning about knowledge, action and change, as possible worlds models.
  • a broad understanding of the way 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.

Studiepoeng, omfang

10 ECTS

Studienivå (studiesyklus)

Bachelor level

Undervisningssemester

Autumn
Krav til forkunnskaper
INFO104 or equivalent.
Anbefalte forkunnskaper
Basic understanding of programming.
Studiepoengsreduksjon
INFO282 overlaps 10 ECTS with INFO281.
Krav til studierett
The course is open to students with admission to study at the UiB.
Arbeids- og undervisningsformer
Lectures and seminars.
Obligatorisk undervisningsaktivitet
  • Mandatory seminar participation: it is mandatory to attend at least 75% of the seminar sessions.
  • Mandatory assignments: during the teaching semester, there will be mandatory assignments. A student must submit and get an approving grade on each one of them (for approval, at least 50% of the available points are needed).

These mandatory activities are required for presenting the final exam.

Approved activities are valid only for the semester in which they are approved.

Vurderingsformer

The assessment consists of a 4-hour written exam.

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

The answers to the exam must be submitted in the same language as the exam.

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

Assessment in teaching semester.

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

  • 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.

Litteraturliste
The reading list will be ready before 1 July for the autumn semester and 1 December for the spring semester.
Emneevaluering
Alle emne blir evaluert i tråd med UiBs kvalitetssystem for utdanning.
Hjelpemiddel til eksamen
Programansvarlig
The Programme Committee is responsible for the content, structure and quality of the study programme and courses.
Administrativt ansvarlig
The Department of Information Science and Media Studies at the Faculty of Social Sciences has the administrative responsibility for the course