Topic outline

  • Introduction

    This course aims at providing the bases of symbolic AI, along with a few selected advanced topics. It includes courses on formal logics, ontologies, description logics, symbolic learning, typical AI topics such as revision, merging, etc., with illustrations on preference modeling and image understanding.

    The exam will have two parts:

    - Written exam,

    - Report on the work on ontologies.

    Additional information:

    Introduction - PDF file

    History - PDF file

    Pre-recorded courses are available in the other sections (best seen using VLC).