Programme – contenu de l’UE
- Introduction aux techniques de l'Intelligence Artificielle (histoire récente de l'intelligence artificielle, les hypothèses fondatrices et l'évolution récente, exemples, illustrations, mythe et réalité...)
- Résolution de Problème (recherche de solution dans un espace d'états, algorithme A* et hypergraphe, 2 problèmes pour mettre en œuvre la recherche de solution dans un graphe d'états)
- Méthodes de calcul en logique pour l'IA (rappels, Skolemisation, Herbrand , complétude, formalisation, applicabilité)
- PROLOG (Langage, syntaxe, sémantique, mise en œuvre : utiliser Prolog pour la recherche de solution dans un graphe d'états, développement d'un Système à Bases de connaissances)
- Systèmes à base de connaissances (Définitions, architecture, exemples, la question de l'ingénierie des connaissances)
Compétences acquises
Méthodologiques :
Méthode de formalisation de connaissances en logique.
Méthode de formalisation d'un processus de déduction automatique
Méthode de représentation de connaissances en logique
Techniques :
Techniques IA de résolution de problèmes
Expression de connaissances en logique du 1er ordre
Pratique de Prolog pour la réalisation de Système à Base de Connaissances
Secteur d’activité concerné et compétences métier acquises :
Aide à la décision dans l'entreprise
Recherche d'information par le contenu (web sémantique)
Résolution de problèmes, systèmes experts
| 
