Intelligence Artificielle : Logique et Contraintes

Les transparents de présentation de l'option IALC :

alt= "si vous ne pouvez les visualiser dans la page, ils sont téléchargeables" ici


Conseils préalables

Essayez de rester organisés.

Commencez par créer un répertoire pour ce cours (par exemple ialc) à l'emplacement de votre choix sous votre hiérarchie.

Dans ce répertoire, vous allez placer un répertoire
opl (fourni dans l'archive du TD5) qui contiendra tout le code Opl que vous allez écrire au fur à mesure des tps à venir.

Dans la suite, pour une meilleure efficacité, il vous est suggéré de travailler en binôme, à deux devant le même écran (plutot que chacun sur son écran). Cela permet généralement de gagner du temps car l'un peut vérifier ce que tape l'autre et corriger plus rapidement les erreurs.

En fin de TP, vous penserez à partager le code réalisé durant le TP avec votre binome (Il est fortement conseillé de gérer votre dossier avec le gestionnaire de version git, et de le partager via le serveur de l'université gitlab.u-psud.fr (voir les indications ci-dessous).

TD 5 (sur machine)

Conseil Préalable
Télécharger le fichier : archiveTD5.tgz

Si ce n'est déjà fait, vous pouvez décompresser à l'emplacement de votre choix avec la commande :
tar xzf archiveTD5.tgz

Déplacez ensuite le dossier opl de cette archive dans le dossier que vous avez créé pour ce cours et suivez les instructions de la feuille de td.

Rappel : Evaluez vos modèles dans un terminal avec une commande du type :
oplrun .mod

TD 6 (sur machine)

Conformément à ce qui a été annoncé lors du td du 26/02, pour essayer de rattraper votre retard, voici deux exercices (issu de la prochaine feuille de td) que vous devez traiter avant la prochaine séance.
Exercice 1
Exercice 4
Archive à télécharger : archiveTD6.tgz

Ajouter les dossiers figurant dans cette archive dans le répertoire opl de votre projet que vous avez créé lors de la séance précédente.

Utilisation de git pour ce cours

  1. Chacun d'entre vous a la possibilité de gérer des projets sur le serveur gitlab.u-psud.fr de l'université.
  2. Il suffit pour chaque binôme, que l'un des membres du binôme crée une archive privée pour ce cours et donne accès à cette archive à l'autre membre du binôme. (vous pouvez aussi créer une autre archive dans le seul but de vous entrainer avec les commandes de git).
  3. de faire chacun un clone de cette archive sous votre compte utilisateur.
A présent, vous allez pouvoir à chaque séance compléter cette archive en rajoutant au fur et à mesure de la résolution des différents problèmes abordés, les codes source correspondants. Pour cela, vous devrez apprendre à vous servir des commandes suivantes : D'autres commandes utiles : Quelques conseils :

Si vous faites attention à ne pas travailler à plusieurs simultanément sur des mêmes parties de projet, vous pouvez déjà gagner énormément en compétence en utilisant régulièrement ces commandes de base.

Naturellement, git permet de faire des choses plus avancées. Le site de référence concernant git est https://git-scm.com.

Vous trouverez une traduction francaise du livre "Pro Git" accessible en ligne à : https://git-scm.com/book/fr/v2.

Rédacteur de cette page (pour toute remarque) : Philippe Chatalic.