Université Lyon 1
Université de Lyon
Arqus
Accueil  >>  Licence  >>  Informatique  >>  Bio-informatique  >>  Programmation logique
  • Domaine : Licences du domaine SCIENCES, TECHNOLOGIES, SANTE
  • Diplôme : Licence
  • Mention : Informatique
  • Parcours : Bio-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 6 de ce parcours
    Responsabilité de l'UE :
GUIN NATHALIE
 nathalie.guinuniv-lyon1.fr
04.26.23.45.17
LEFEVRE MARIE
 marie.lefevreuniv-lyon1.fr
04.72.44.58.90
    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 2021-2022 :
TypeLibelléNatureCoef. 
CCContrôle ContinuCC : Programmation logiqueContrôle Continu Intégral3
    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