Connaissances et raisonnement (6ECTS)
Responsable : Laurent Simon
Contenu
Ce cours fournira les bases pour concevoir des systèmes intelligents qui peuvent stocker et manipuler des connaissances. Nous introduirons la modélisation des connaissances au moyen de la logique propositionnelle et la logique du premier ordre, les principales tâches de raisonnement (dont la satisfiabilité, la déduction, l'abduction) et leurs utilisations, et les algorithmes de raisonnement associés (en particulier, les solveurs SAT). Le raisonnement sous l'incertain (logiques non-monotones, modèles graphiques) sera également abordé.