<- Archives UCL - Programme d'études ->



Artificial intelligence : representation and reasoning [ LINGI2261 ]


5.0 crédits ECTS  30.0 h + 30.0 h   1q 

Enseignant(s) Deville Yves ;
Langue
d'enseignement:
Anglais
Lieu de l'activité Louvain-la-Neuve
Ressources
en ligne

> https://www.icampus.ucl.ac.be/claroline/course/index.php?cid=INGI2261

Préalables
  • Programmation dans un langage de haut niveau; algorithmique et structures de donnes (p.e. SINF1121)
  • mathematiques discrètes (p.e. INGI1101)
Thèmes abordés
  • Résolution de problèmes par la recherche: formulation des problèmes, stratégies de recherche informées et non informées, recherche locale, évaluation du comportement et coût estimé,  applications
  • Satisfaction de contraintes: problèmes de formulation, traçage et propagation de contraintes, applications
  • Jeux et recherche contradictoire : algorithme de minimax et élagage Alpha-Beta, applications
  • Logique propositionnelle: représentation des connaissances, inférence et  raisonnement, applications
  • Logique du premier ordre: représentation des connaissances, inférence et raisonnement, chaînage avant et arrière, systèmes à base de règles, applications
  • Planification: langages des problèmes de planification, méthodes de recherche, graphes de planification, planification hiérarchique, extensions, applications
  • AI, philosophie et éthique: "les machines savent-elles agir intelligemment ?", "les machines savent-elles vraiment penser ?", l'éthique et les risques de l'intelligence artificielle, l'avenir de l'intelligence artificielle

 

Acquis
d'apprentissage

Les étudiants ayant suivi avec fruit ce cours seront capables de

  • expliquer et exploiter à bon escient les concepts de base de la représentation de connaissances, de la résolution de problèmes et des méthodes de raisonnement, tels qu'utilisés en intelligence artificielle
  • évaluer l'applicabilité, les forces et les faiblesses de la représentation des connaissances, de la résolution de problèmes et des méthodes de raisonnement dans le cadre de la résolution de problèmes concrets d'ingénierie
  • développer des systèmes intelligents par l'assemblage de solutions à des problèmes concrets
  • discuter du rôle de la représentation des connaissances, de la résolution de problèmes et de méthodes de raisonnement dans la conception et la réalisation de systèmes intelligents

Les étudiants auront développé des compétences méthodologiques et opérationnelles.  En particulier, ils auront développé leur capacité à :

  • maîtriser un nouveau langage de programmation utilisant principalement un tutoriel en ligne
  • faire face à des délais et à la compétitivité lorsque l'on développe un application qui se veut la plus efficace.
Modes d'évaluation
des acquis des étudiants
  • Examen : 75%
  • Missions: 25%. Missions 1,2,4,5: nous prenons les trois meilleurs
    scores. Les travaux doivent être personnels (équipe de 2). Pas de collaboration entre les groupes. Aucune copie à partir d'Internet. Tricherie = 0 / 20 pour toutes les missions
Méthodes d'enseignement
  • apprentissage par problèmes
  • Apprendre en faisant
  • 5 missions (de deux semaines)
  • équipes de deux étudiants
  • Cours magistral (1 heure / semaine)
  • Feed-back sur les missions clôturées (1 / 2 heure)
  • Discussion de la mission en cours (1 / 2 heure)
Contenu
  • Introduction
  • Recherche
  • Recherche informée
  • Recherche locale
  • Recherche contradictoire
  • Problème de satisfaction de contraintes
  • Agent logique
  • Logique de premier ordre et inférenc
  • Planification classique
  • Planification dans le monde réel
  • Apprendre à partir d'exemples
  • Fondements philosophiques et le présent et l'avenir de l'AI
Bibliographie
  • Stuart Russell, Peter Norvig, Artificial Intelligence : a Modern Approach, 3nd Edition, 2010, 1132 pages, Prentice Hall
  • transparents en ligne
Autres infos

 

Cycle et année
d'étude
> Master [120] : ingénieur civil en informatique
> Master [120] en sciences informatiques
> Master [120] en statistiques, orientation générale
> Master [60] en sciences informatiques
> Master [120] : ingénieur civil biomédical
Faculté ou entité
en charge
> INFO


<<< Page précédente