C217 - Techniques de base de l'intelligence artificielle

FIED (Fédération Interuniversitaire de l'Enseignement à Distance)
Vous êtes ici :

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.0

Nombre d'heures 40

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

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é