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: https://perso.telecom-paristech.fr/bloch/OptionIA/Logics-SymbolicAI.html
Introduction - PDF file
History - PDF filePre-recorded courses are available in the other sections (best seen using VLC).