- Domaine : Licences du domaine SCIENCES, TECHNOLOGIES, SANTE
- Diplôme : Licence
- Mention : Informatique
- Parcours : Informatique et mathématiques
- Unité d'enseignement : Programmation logique
Nombre de crédits de l'UE : 3
Code APOGEE : INF2013L
UE Optionnelle pour ce parcours
UE valable pour le semestre 4 de ce parcours
Type d'enseignement
Nb heures *
Cours Magistraux (CM)
7 h
Travaux Dirigés (TD)
4.5 h
Travaux Pratiques (TP)
21 h
Total du volume horaire
32.5 h
* Ces horaires sont donnés à titre indicatif.
Conditions d'accès à l'UE :
Il est recommandé d'avoir suivi l'UE LIFAP2 : Algorithmique et programmation récursive
Programme - Contenu de l'UE :
Cette UE propose une initiation à l'Intelligence Artificielle à travers la découverte du langage de programmation Prolog.
Programme :
- Rappels de logique des propositions
- Logique du premier ordre : calcul des prédicats, principe de résolution, unification, réfutation
- Programmation en PROLOG : manipulation d'atomes et de listes, bouclues mues par l'échec, points de choix et coupure
- Applications en Intelligence Artificielle : jeux logiques (par exemple sudoku), cryptarithmétique, résolution de problèmes d'IA
Notes de cours : http://liris.cnrs.fr/nathalie.guin/Prolog/index.html
Compétences acquises :
Méthodologiques :
Bases de logique des propositions et des prédicats
Bases de la programmation logique
Premières techniques d'Intelligence Artificielle : recherche dans un graphe d'états, résolution de problèmes de satisfaction de contraintes
Techniques :
Programmation en Prolog
Modalités de contrôle des connaissances et Compétences 2020-2021:
| Type | | Libellé | Nature | Coef. | |
|---|
| CC | Contrôle Continu | CC : Programmation logique | Contrôle Continu Intégral | 3 |
Liste des autres Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 10/05/2021
SELECT * FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='4002' ORDER BY UE_ID_FK ASC, PAR_ID_FK ASC
