]
]
]
]
Cours 2012
IHDC B337 - Technique d'intelligence artificielle : programmation déclarative
Enseignant(s)
Jean-Marie JACQUET
Gustavo Adolfo OSPINA AGUDELO
(suppléance)
Encadrement des TP/Exercices
Objectifs
L'objectif du cours est d'exposer, au travers de l'étude de la programmation logique, les mécanismes de base du raisonnement logique et leurs applications dans le développement d'applications "intelligentes" typiques de l'Intelligence Artificielle.
Contenu
Le cours est structuré autour des quatre concepts sous-tendant la programmation logique: l'étude d'un langage logique particulier Prolog, l'étude de la logique, l'utilisation de la logique pour concevoir des descriptions déclaratives de problèmes et la dérivation de programmes Prolog à partir de ces descriptions.
Donné en
Année(s) d'études |
Quadrimestre |
Théorie (h) |
Exercices (h) |
Crédits |
|
|---|---|---|---|---|---|
|
3e année de bachelier en sciences informatiques (horaire décalé) |
2e |
30 |
15 |
7 |
|
|
Année préparatoire au 2e cycle en sciences informatiques à horaire décalé |
2e |
30 |
15 |
7 |
|
Méthode d'enseignement
Le cours est conçu comme une suite d'exposés où se mêlent théorie et applications pratiques.
Evaluation
L'examen consiste en une évaluation écrite traditionnelle. Dans le but d'aider l'étudiant, un questionnaire type est proposé et commenté à la fin du cours.
Prérequis
Le cours est conçu pour être aussi autonome que possible. Toutefois, il est attendu de l'étudiant des connaissances de base en mathématiques, en particulier, en logique. L'étudiant pourra se procurer ces connaissances (et même plus que nécessaire) en consultant le livre "Outils mathématiques pour l'informaticien" de Michel Marchand, Ed De Boeck, 2005, ISBN 2-8041-4963-3.
