PROLOG II ET III


PRÉSENTATION
Les projets internationaux de développement de l'intelligence artificielle,   notamment le projet japonais sur les ordinateurs de cinquième génération,   ont brusquement projeté sur le devant de la scène le langage Prolog.
Ce langage, né au début des années 70, à la faculté des Sciences de Luminy à Marseille,   avait pour but d'intégrer des travaux récents en logique mathématique comme le principe de résolution (proposé par Alan Robinson) ou la méthode   de démonstration automatique de théorèmes. Si Prolog est un langage conçu  pour faire des déductions, il a aussi l'avantage de manipuler des données symboliques : les arbres. Aujourd'hui, ce langage est largement répandu,   non seulement dans les universités, mais aussi de plus en plus, au sein du monde industriel.
Les principales applications de ce langage sont celles qui préoccupent   le monde de l'intelligence artificielle, c'est-à-dire la représentation des connaissances et les systèmes experts, la compréhension du langage naturel, la reconnaissance des formes, la robotique, etc...
Il existe actuellement plusieurs versions du langage, interprétées ou compilées, qui diffèrent entre elles par la syntaxe et les fonctions primitives proposées.
Nous avons choisi de nous intéresser à Prolog II, version développée au GIA à Luminy. Cette version a l'avantage de proposer une syntaxe claire et des primitives originales que l'on ne trouve rassemblées nulle part ailleurs. Le principal objectif du séminaire est d'exposer les concepts fondamentaux et les mécanismes de base de la programmation en Prolog, d'introduire les structures complexes manipulées en Prolog et enfin, sur une application simple, de montrer comment utiliser le langage en pratique.
 
OBJECTIF
Apprendre à programmer en Prolog, acquérir la méthodoligie de programmation spécifique à ce langage afin de développer des application d'intelligence Artificielle.
 
PUBLIC
Ce stage s'adresse à toute personne possédant une bonne connaissance
des concepts de base en informatique et désirant s'initier à la programmation en PROLOG.

DURÉE
4 jours


CONTENU

1ière journée
 Mécanismes de base.
  . Syntaxe
  . Effacement
  . Remontée
  . La coupure et le dif

2ième journée
 Les listes
  . Les listes et les suites finies
  . Accès à un élément d'une liste
  . Construction d'une liste
  . La récursivité
Les termes préfixés
La négation en Prolog

3ième journée
 Les n-uplets
Les arbres syntaxiques
Les règles prédéfinies
  . Les entrées-sorties
  . Les prédicats arithmétiques
  . Ajout et suppression de règles
  . Les vérifications de type

4ième journée
 Présentation de deux applications du langage Prolog :
 Résolution d'un problème d'optimisation combinatoire sous contrainte.
 Réalisation d'un programme permettant d'interroger une base de données
 au moyen d'un sous-ensemble du français



CONDITIONS FINANCIÈRES
  inter-entreprise : 400 € h.t. par personne et par jour
  intra-entreprise : 1200 € h.t. par jour pour 4 personnes maximum .
  Pour un cours intra entreprise hors BdR,
  prévoir également les déplacements de notre formateur.
 



:: Retour aux formations ::