Intelligence Artificielle : Logique et Contraintes
Les transparents de présentation de l'option IALC :
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).
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.
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
Chacun d'entre vous a la possibilité de gérer des projets
sur le serveur gitlab.u-psud.fr de l'université.
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).
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 :
pull pour récupérer la version la plus à jour de votre projet depuis
le serveur
add pour rajouter un nouveau fichier dans le système de gestion
de version
commit pour creer une nouvelle version
push pour répercuter le travail effectué en local sur le serveur
help pour avoir de l'aide sur les différentes commandes
D'autres commandes utiles :
status permet de visualiser les fichiers qui ont été modifiés et
ceux actuellement non couverts par le système de gestion de versions.
log d'avoir l'historique des modifications de l'archive
Quelques conseils :
on ne met dans une archive que les fichiers "source", mais jamais ce qui
est généré automatiquement par programme, par compilation,...
pensez à ajouter des fichiers, plutot que des répertoires
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.
