Prolog

Exemple d'une simulation argumentée pour l'apprentissage de Prolog Dessalles, J-L. & Meyers, P. (1993). "Exemple d'une simulation argumentée pour l'apprentissage de Prolog". In M. Baron, R. Gras & J-F. Nicaud (Eds), Environnements interactifs d'apprentissage avec ordinateur . Paris : Eyrolles, 147-157. Exemple d'une simulation argumentée pour l'apprentissage de PrologJean-Louis Dessalles Telecom-Paris - 46 rue Barrault - 75634 Paris Cedex 13

Solutions aux exercices Michel Gagnon Chapitre 1 1.1 Solution: Tester dans SWI-Prolog. 1.2 Solution: engendre(X,Y):pere(Y,X). engendre(X,Y):mere(Y,X). grand_parent(X,Y):engendre(P,X), engendre(Y,P). parents(X,M,P):mere(X,M), pere(X,P). frere_ou_soeur(X,Y):parents(X,M,P), parents(Y,M,P), X \= Y. cousin(X,Y):engendre(U,X), engendre(V,Y), freres_ou_soeurs(U,V). 1 Chapitre 2 2.1 Solution: Tester dans SWI-Prolog. 2.2 Solution: Parce que ce prédicat signifie que tout le monde aime tout le monde

LIP6 © Cours I Page 1 PLAN DU COURS (8 heures) PLAN DU COURS (8 heures) Cours les Lundi 13 Novembre, 20 Novembre., 27 Novembre. et 4 Décembre: De 8h45 à 9h45. Chapitre 1 : Introduction à l'Intelligence Artificielle Chapitre 2 : Logique et Prolog Chapitre 3 : Représentation des connaissances Chapitre 4 : Apprentissage Automatique TD+TP+Examen (1 h) (3 h) (2 h) (2 h) Support de Cours IA-2001 Jean-Daniel Zucker LIP6 © Cours I Page 2 Chapitre 1 ::Introduction à l'Intelligence Artificielle

clients (coordonnées, derniers achats) * Statistiques vendeurs | Progiciel « Siriel » | * Création de PLV et ILV * Création de prix * Création de fiches produits * Informations diverses par rapport aux produits du rayon | Progiciel « Prolog » | * Vérification de la disponibilité des produits * Aperçu des différentes versions possible pour le produit * Commande de produit a l’entrepôt | 3 Système informatique et techniques utilisées Service | Matériel | Logiciels | Le Directeur

Contraintes Logiques Introduction à PROLOG 1 Planning 23 janvier : Introduction à l’Intelligence Artificielle 27 janvier : Heuristiques pour la recherche dans un espace d'état (1) Heuristiques de bases pour la recherche de chemins 2 février : (2) Heuristiques pour la recherche d'un optimum local et introduction aux méthodes à base de population 3 février : Théorie des Jeux 10 février : Satisfaction de Contraintes 17 février : Logiques 29 mars : Introduction à PROLOG 4 séances de TD : – TD « Heuristiques

MUMPS 1967 InterLisp 1967 Simula67 1967 SNOBOL4 1968 ALGOL 68 1968 POP-1 1968 Forth 1968 LOGO 1968 REFAL 1969 B Années 1970 Années Langage 1970 POP-2 1971 Pascal 1972 Smalltalk Environment 1972 C 1972 INTERCAL 1972 Prolog 1972 SmallTalk 72 1973 COMAL 1974 GRASS 1974 COBOL74 1975 Scheme 1975 Altair BASIC 1976 RATFOR 1977 X11.1 ANSI Standard MUMPS 1978 FORTRAN 77 1978 VisiCalc 1979 REXX 1979 Awk 1979 VULCAN DBase-II 1979 Green Années 1980

Types et langages de programmation Algorithmique et Programmation Unisciel/K.Zampieri 1 Généalogie partielle des langages de programmation FORTRAN ALGOL60 LISP COBOL BASIC ML PL/1 C SIMULA 67 PASCAL SMALLTALK PROLOG ADA C++ MODULA-2 JAVA Plus de 4000 langages 2 Le choix d'un langage n'est pas neutre Y-a-t-il un langage universel? LISP L'assembleur C PASCAL C++ JAVA Delphi 3 Le choix d'un langage n'est pas neutre (2)

du programme comme une amélioration de la communication humain/machine. Le langage de cinquième génération concerne plus particulièrement l’intelligence artificielle comme le PROLOG. Ils représentent les connaissances sous forme déclarative (ça donne quelque chose comme ça : “grands-parents = parents de parents” en PROLOG) Malgré ses grandes évolutions , Le principe de l’IA n’est cependant pas un domaine infini, il est soumis à certaines limites tels que le fonctionnement et les approches de la

CNF ou EBNF. (L'extrémité arrière de la balise a été écrit en Ada, donc nous n'avons pas utilisé YACC.) Un autre outil pour les analyseurs de développement automatique a été intégré dans le langage de programmation PROLOG. En entrant dans une grammaire CNF dans l'interpréteur PROLOG, vous pouvez effectivement le transformer en un analyseur pour n'importe quel langage récursif droit. Pour consulter une EBNF complète du langage Pascal, prenez ce lien Merci au Dr S. Fitzpatrick de prendre le temps

r´eutilis´e les trois bases pr´ec´edentes. Nous y avons ajout´e un ´echantillon provenant du PKDD’02 Discovery Challenge 3 (converti en arbres comme d´ecrit dans [94]), ainsi que la base Student Loan de l’UCI Irvine, repr´esent´ee initialement en faits prolog et convertie en arbres selon [17]. Les r´esultats obtenus sont d´ecrits dans la Table 3.6. De mani`ere g´en´erale, ces exp´erimentations sur les arbres confirment les r´esultats observ´es sur les chaˆınes. Les automates obtenus via le test de proportion