Accueil  >>  Licence  >>  Informatique  >>  Informatique  >>  Programmation logique
  • Domaine : Licences du domaine SCIENCES, TECHNOLOGIES, SANTE
  • Diplôme : Licence
  • Mention : Informatique
  • Parcours : Informatique
  • 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
    Responsabilité de l'UE :
GUIN NATHALIE
 nathalie.guinuniv-lyon1.fr
04.26.23.45.17
    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
    Liste des autres Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 19/07/2018
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