Course ID: AC5170

Title: Knowledge representation and reasoning


Person in charge:

            Dr. Thi-Lan Le (Thi-Lan.Le

Teaching semester:


Target skills:

The course covers knowledge representation and reasoning algorithms in artificial intelligence. The focus is, in the first part, on logical and symbolic knowledge and, in a second one probabilistic knowledge. The course will cover logical languages, symbolic languages, probabilistic systems, and decision making with these languages and systems.

Program summary:

  • Overview of knowledge representation and reasoning
  • Knowledge representation with logic and symbolic formalism
    • Knowledge representation overview
    • Conceptual graphs
    • Description logics
    • Temporal and spatial reasoning
    • Hypothetical reasoning
    • Probabilistic knowledge and reasoning
      • Introduction to Bayes neworks
      • Inference in Bayes networks
      • Graphical models
      • Dynamic Bayes networks and Bayesian filters

Used software: