6 ECTS credits
168 h study time

Offer 1 with catalog number 1024059BNR for all students in the 1st semester at a (B) Bachelor - advanced level.

Semester
1st semester
Enrollment based on exam contract
Impossible
Grading method
Grading (scale from 0 to 20)
Can retake in second session
Yes
Enrollment Requirements
Students must have followed ‘Logics and Formal Systems’, before they can enroll for ‘Knowledge Representation and Reasoning’.
Taught in
Dutch
Faculty
Faculty of Sciences and Bioengineering Sciences
Department
Computer Science
Educational team
Bart Bogaerts (course titular)
Activities and contact hours
26 contact hours Lecture
26 contact hours Seminar, Exercises or Practicals
Course Content

CONTENTS:

This module consists of two large parts. In the first one, we focus on modelling with, and reasoning with, first-order logic and extensions. The second part of the module is about reasoning with knowledge (in multi-agent systems). 

Introduction

Introduction to knowledge representation

  • The core concepts
    • What is knowledge?
    • What is knowledge representation?
    • What is reasoning
  • Why knowledge representation and reasoning? 
    • De knowledge base hypothesis
    • Knowledge base systems
    • (Dis)advantages
  • The role of logic in KR


PART 1: Modelling with predicate logic

Modelling 

  • Core concepts
  • A simpel modelling language
  • Using information
  • Formal specifications
     

Predicate logic and Extensions

  • A short history
  • First-order logic (recall) 
  • Pragmatics
  • Extensions of first-order logic
  • Examples of applications
  • Axiomatisation of common structures

Modelling of dynamic systems in first-order logic

  • The linear time calculus
  • The frame problem
  • Expressing inertia as causal laws
  • Inference in LTC


PART 2: Reasoning about Knowledge

Introduction to Reasoning about Knowledge

  • Introduction
  • The Muddy Children Puzzle
  • Overview

A Model of Knowledge

  • The Possible Worlds Model
  • Common and Distributed Knowledge
  • Muddy Children revisited
  • Properties of Knowledge
  • Muddy Children, with Beliefs

Knowledge in Multi-Agent Systems

  • Runs and Systems
  • Incorporating Knowledge
  • Incorporating Time
  • Examples of systemen

 

Conclusion

Conclusion

  • Overview of Knowledge Reresentation Today
  • Concluding Remarks

 

Course material
Digital course material (Recommended) : Modelling of Complex Systems, Marc Denecker, (made available on canvas)
Handbook (Recommended) : Reasoning About Knowledge, Fagin, Halpern, Moses, Vardi, MIT Press
Additional info

NA

Learning Outcomes

General competences

  • The students know the role of logic within knowledge representation.
  • The students know different schools of thought within knowledge representation.
  • The students can apply knowledge representation techniques to new problem domains.
  • The students can convert knowledge given in natural language into an appropriate formal language.
  • The students can assess which knowledge representation languages are applicable to which types of knowledge.
  • The students can solve knowledge-intensive problems using generic algorithms.

Grading

The final grade is composed based on the following categories:
Other Exam determines 80% of the final mark.
PRAC Practical Assignment determines 20% of the final mark.

Within the Other Exam category, the following assignments need to be completed:

  • Exam with a relative weight of 1 which comprises 80% of the final mark.

Within the PRAC Practical Assignment category, the following assignments need to be completed:

  • Project with a relative weight of 1 which comprises 20% of the final mark.

Additional info regarding evaluation

20% of the grades are obtained with a (take-home) project about modelling in extensions of first-order logic.

80% of the grades are obtained on the exam.

The exam consists of exercises and theory. Some, but not all of the questions will be defended orally. 

Allowed unsatisfactory mark
The supplementary Teaching and Examination Regulations of your faculty stipulate whether an allowed unsatisfactory mark for this programme unit is permitted.

Academic context

This offer is part of the following study plans:
Bachelor of Artificial Intelligence: Default track (only offered in Dutch)