AI504: Knowledge Representation

The Study Board for Science

Teaching language: Danish or English depending on the teacher, but English if international students are enrolled
EKA: N400004102
Assessment: Second examiner: Internal
Grading: 7-point grading scale
Offered in: Odense
Offered in: Spring
Level: Bachelor

STADS ID (UVA): N400004101
ECTS value: 7.5

Date of Approval: 09-02-2024


Duration: 1 semester

Version: Approved - active

Entry requirements

The course cannot be chosen by students who have passed DM846 or DM880

Academic preconditions

Students taking this course should be acquainted with the basic principles of Artificial intelligence and have some experience with modelling and reasoning in propositional and predicate logic. These competences can be acquired by following AI501.

Course introduction

The goal of this course is to provide students with tools to be able to model the real world using logical tools; and to be able to apply these tools in the development of intelligent agents. The course builds upon the introduction to this topic provided in AI501.

Expected learning outcome

To achieve the learning objectives of this course, the student must demonstrate the ability to:
  • understand the theoretical concepts of soundness, completeness and decidability
  • choose the logical framework best suited to a particular application within Artificial Intelligence
  • use existing tools for reasoning within a specific logic
  • understand the theoretical limitations of different logics and how they affect possible applications to Artificial Intelligence.



Content

The course includes the following topics:

  • First-order logic (FOL)
  • soundness
  • completeness and undecidability
  • decidable subsystems of FOL, including description logics and logic programming
  • reasoning algorithms

Literature

See itslearning for syllabus lists and additional literature references.

Examination regulations

Exam element a)

Timing

Spring and June

Tests

Portfolio and tests

EKA

N400004102

Assessment

Second examiner: Internal

Grading

7-point grading scale

Identification

Student Identification Card - Name

Language

Normally, the same as teaching language

Duration

written exam - 3 hours

Examination aids

The exam is without aids.

Internet is not allowed. However, you may access the course's website in itslearning in connection with opening the "DE – Digital Exam" system and filling in any test in the system.

ECTS value

7.5

Additional information

The portfolio exam consists of:

1. Assignments during the course
2. Project
3. Written exam

Indicative number of lessons

60 hours per semester

Teaching Method

At the faculty of science, teaching is organized after the three-phase model ie. intro, training and study phase.
  • Intro phase: 30 hours
  • Training phase: 30 hours (tutorials)
Activities during the study phase:
  • Further reading
  • Exercises
  • Solving the project assigments

Teacher responsible

Name E-mail Department
Marco Peressotti Peressotti@imada.sdu.dk Institut for Matematik og Datalogi

Additional teachers

Name E-mail Department City
Matteo Acclavio acclavio@imada.sdu.dk Digital Democracy Centre

Timetable

Administrative Unit

Institut for Matematik og Datalogi (datalogi)

Team at Registration

NAT

Offered in

Odense

Recommended course of study

Transition rules

Transitional arrangements describe how a course replaces another course when changes are made to the course of study. 
If a transitional arrangement has been made for a course, it will be stated in the list. 
See transitional arrangements for all courses at the Faculty of Science.