C217 - Techniques de base de l'intelligence artificielle
Objectifs
Introduction : A propos d'intelligence artificielle ; Introduction à la logique formelle.
Logique : La logique des propositions ; Systèmes de preuves en logique des propositions ; Principes de résolution en logique des propositions ; La logique des prédicats ; Introduction, premiers exemples et syntaxe ; Algorithme d'unification ; Méthode de Herbrand.
Prolog : Introduction, premiers exemples et syntaxe ; Sémantique opérationnelle, unification et sémantique ; L'environnement GNU-Prolog et quelques prédicats prédéfinis ; Programmation en Prolog, les exemples de base.
Programmation par contrainte : Contraintes et problèmes de satisfaction de contraintes ; Résolution de CSPs ; Réalisation de solveurs de contraintes en Prolog ; Programmation logique par contraintes avec Gnu-Prolog.
Ontologie : Notion d'ontologie ; Représentation des ontologies ; Construction des ontologies ; Apport des ontologies pour la recherche d'informations
Résolution de problèmes : Résolution de problèmes et algorithmes de recherche ; Représentation et résolution de problèmes en IA.
Apprentissage : Les algo génétiques ; Réseaux de neurones ; Les réseaux multicouches. Systèmes experts : Les systèmes experts ; Les mécanismes d'exploitation ; Le formalisme particulier ; Architecture d'un générateur de systèmes experts ; Réflexions et mise en oeuvre des systèmes experts.
Diplômes intégrant cette UE ou Enseignement
En bref
Crédits ECTS 3
Nombre d'heures 30
Durée totale 1 semestre
Services aux étudiants Courrier électronique, Forums en ligne, Devoirs à rendre, Travaux pratiques sur site, Regroupement sur site
Support de transmission des connaissances Ressources en ligne
Contact(s)
Composante
Amiens : Université de Picardie Jules Verne
Contact(s) administratif(s)
Contact 1451 Techniques de base de l'intelligence artificielle
Téléphone 1 : Non renseigné
Téléphone 2 : Non renseigné