Grammaires formelles et. programmation logique
|
|
- Paul Bilodeau
- il y a 8 ans
- Total affichages :
Transcription
1 Grammaires formelles et programmation logique
2 Motivation Après avoir étudié Prolog nous l avons appliqué à l interprétation de règles de sémantique sur des termes (Arbres de Syntaxe Abstraite) Nous allons ici nous intéresser à la façon de produire de tels arbres à partir d un ensemble de lexèmes extraits d un texte (de programme par exemple). L analyseur se déduira simplement et automatiquement des règles de production établies pour définir sa grammaire
3 Généralités Phrase en français séquence finie de mots considérés comme éléments insécables d'un ensemble fini toutes les séquences ne sont pas permises correctes (syntaxique) sensées (sémantique) Nous (individu) savons produire de nouvelles phrases mécanisme de génération! Nous savons également reconnaître de nouvelles phrases mécanisme de reconnaissance! Pour les langues naturelles, on n'a pas de formalisation complète de ces mécanismes. Les "grammaires à structure de phrase" de Chomsky [Cho 59] en sont une lointaine mais très utile approximation. Parmi ces grammaires, nous regarderons dabord les grammaires hors-contexte ou grammaires non-contextuelles
4 Règles ou productions Ensemble de règles (productions) qui précise les suites de mots qui constituent les phrases bien formées : L'ensemble des productions suivantes phrase --> [effacer], groupe-nom. groupe_nom --> [le],[dernier],[mot], [de],groupe_nom. groupe_nom --> [la], [deuxième], [ligne]. permet de produire effacer le dernier mot de la deuxième ligne verbe verbe article adjectif nom prep art adjectif mot groupe_nominal groupe_nominal
5 Grammaire 1) phrase --> verbe, groupe_nom. 2) groupe_nom --> article, adjectif, nom. 3) groupe_nom --> article, adjectif, nom, préposition, groupe_nom. 4) verbe --> [imprimer]. 5) verbe --> [effacer]. 6) article --> [le]. 7) article --> [la]. 8) adjectif --> [deuxième]. 9) adjectif --> [premier]. 10) adjectif --> [dernier]. 11) nom --> [mot]. 12) nom --> [ligne]. 13) préposition--> [de]. effacer le dernier mot de la deuxième ligne
6 Extensibilité On peut ajouter des productions 14) article --> [un]. 15) article --> [du]. 16) adjectif --> [troisième]. 17) nom --> [caractère]. 18) nom --> [page]. exemples de nouvelles phrases produites effacer un premier caractère effacer le premier caractère du troisième mot
7 Monoïde libre un ensemble (alphabet ou vocabulaire) * l'ensemble des séquences finies d'éléments de plus la séquence vide * est appelée fermeture de Les éléments de * seront appelés phrases + fermeture positive ne contient pas la séquence vide * est muni de la structure algébrique < *, {concaténation, } U { monoïde libre engendré par Σ* la concaténation définie au sens habituel est associative λ est l'élément neutre de la concaténation Σ donne l'ensemble des constantes (générateurs)
8 Définition des grammaires Hors-contexte (non-contextuelles) Une GNC G est un quadruplet (V, T, P, S) où V est un ensemble fini de "symboles non terminaux" ou "catégories syntaxiques" T P est un ensemble fini (disjoint de V) de "symboles terminaux" ou "mots" un ensemble fini de "règles" ou "productions" de la forme A --> avec A V et (V T) + S un "symbole initial" V
9 Retour sur l exemple dans notre exemple V = {phrase, groupe_nom, verbe, article, adjectif, nom, préposition, phrase} T = {imprimer, effacer, le, la, un, premier, deuxième, troisième, dernier, caractère, not, ligne, page, de, du} S = phrase
10 Productions et Dérivations On définit deux relations ==> et =*=> sur (V T)* Si A --> est une production de P et et des phrases de (V T)* alors A ==> On dit que A --> β est appliquée à ααγ pour engendrer αβγ Deux phrases sont liées par la relation ==> quand la seconde est obtenue à partir de la première par l'application d'une production..., m des mots de (V T)* tels que 1 ==> 2, 2 ==> 3..., m-1 ==> m on écrira alors 1 =*=> m =*=> est la fermeture réflexive et transitive de ==>
11 Langage non-contextuel engendré par une GNC L = { T* et S =*=> } ex : effacer le deuxième mot imprimer la deuxième ligne effacer la deuxième ligne de la troisième ligne
12 Arbres d analyse (arbres de dérivation) phrase verbe groupe-nom art adj nom prep groupe-nom effacer le dernier mot de art adj nom Le sommet s'appelle "racine" il est marqué par le symbole initial de G Les feuilles sont marquées par les symboles terminaux les noeuds intermédiaires correspondent aux productions. la deuxième ligne
13 Arbre de dérivation L'arbre de dérivation représente donc la trace de la construction d'une expression bien formée si A est dans l'arbre Xp X 1 A --> X 1,..., Xp est une production utilisée dans la construction de la phrase Une phrase est dite «ambiguë» si on peut lui associer plusieurs arbres syntaxiques. (par extension, on dit dans ce cas que la grammaire est ambigüe)
14 Expression parenthèsée (Terme) Un arbre peut s'écrire sous forme d'une expression parenthèsée ex : ph( v(effacer), gn(art(le), adj(dernier), n(mot), prep(de), gn( art(la), adj(deuxième), n(ligne)))). avec ici ph pour phrase, gn pour groupe-nom,n pour nom,...
15 GNC et clauses de Horn gram- maire analogie s p, q, r s est bien formée si p, q et r sont bien formées clauses s :- p, q, r s est vrai si p, q, et r sont vrais attention comme dans Prolog mais à la des clauses de Horn : l'ordre des symboles du corps compte
16 Exemple Prolog Une phrase étant une suite de "mots", on va utiliser des listes de "mots" pour la représenter 1) phrase ([V GN]) :- verbe([v]), groupe_nom(gn). 2) groupe_nom([art, Adj, N]) :- article ([Art]), adjectif ([Adj]), nom([n]). 3) groupe_nom ([Art, Adj, N, Pr GN]):- article([art]), adjectif([adj]), nom([n]), preposition([pr]), groupe_nom(gn).
17 Déclaration des terminaux 4) verbe([imprimer]). 5) verbe([effacer]). 6) article([le]). 7) article([la]). 8) adjectif([deuxieme]). 9) adjectif([premier]). 10) adjectif([dernier]). 11) nom([mot]). 12) nom([ligne]). 13 preposition([de]).
18 Construction de l Arbre de Syntaxe Abstraite Objectif: utiliser cette notation pour spécifier puis générer les termes dont nous avons besoin ensuite pour l interprétation prolog des règles de sémantique structurelle vues dans le cours précédent.
19 DCG et Construction de l'arbre syntaxique On réécrit la grammaire DCG avec un argument phrase(ph(v,gn)) --> verbe(v), groupe_nom(gn). groupe_nom(gn(art, Adj,N))--> article(art),adjectif(adj)),nom(n). groupe_nom(gn(art, Adj, N, Pr, gn(gn)))--> article(art),adjectif(adj),nom(n), preposition(p), groupe_nom(gn). verbe(v(effacer)) --> [effacer]. verbe(v(imprimer)) --> [imprimer]. article(art(le)) --> [le]. adjectif(adj(dernier)) --> [dernier].... nom(n(mot)) --> [mot]. preposition(prep(de)) --> [de].
20 exemple la phrase [effacer, le, dernier, mot] peut se construire par les productions phrase(ph(v(effacer), Gn)) --> verbe(v), groupe_nom(gn) puis en phrase(ph(v(effacer), gn(art, Adj, N)) --> verbe(v(effacer)), article(art), adjectif(adj), nom(n). et phrase(ph(v(effacer), gn(art(le),adj(dernier),n(mot))) --> verbe(v(effacer)), article(art(le)), adjectif(adj(dernier)), nom(n(mot)). ainsi jusqu'à produire l'arbre syntaxique (le terme) ph(v(effacer), gn(art(le), adj(dernier), n(mot))))
21 Limites des GNC ne permettent pas de tenir compte du contexte 1) effacer la dernier ligne 2) effacer la deuxième ligne de la deuxième ligne syntaxiquement incorrecte (1), sémantiquement absurde (2) et/ou la solution de certains de ces problèmes dans le cadre GNC demanderait de nombreuses autres productions.
22 Grammaires DCG Definite Clause Grammars afin de régler le problème de l'accord des genres (féminin ou masculin) (contexte syntaxique) on propose de remplacer par exemple par groupe_nom --> article, adjectif, nom, preposition, groupe_nom. groupe_nom --> article(c), adjectif(c), nom(c), preposition, groupe_nom. dans laquelle un "argument contextuel" C a été introduit
23 Exemple DCG : suite Ici cet argument pourra prendre les valeurs "masculin" ou "féminin" Les autres règles s'écrivant verbe --> [imprimer] verbe --> [effacer] article(masculin) --> [le] article(féminin) --> [la] adjectif(masculin) --> [dernier] nom(féminin) --> [ligne] effacer la dernière ligne ne peut être produite!
24 Représentation en Clauses de Horn groupe_nom ([Art, Adj, N]) :- article(c, [Art]), adjectif(c, [Adj]), nom(c, [Nom]).... article(masculin, [le]). article(feminin, [la]).... production des grammaires DCG clauses de Horn avec prédicats d'arité quelconque
25 Contextes sémantiques et DCG On veut éliminer les phrases du genre effacer la dernière ligne de la dernière ligne Le corps des règles pourra contenir des prédicats ou procédures(entre accolades) représentant des conditions d'emploi des productions ex : 1" phrase --> verbe, groupe_nom(o). 2" groupe_nom(y 1 ) --> article(c), adjectif(c), nom(c, Z 1 ), {Y 1 < Z 1 }. 3" groupe_nom(y 2 ) --> article(c), adjectif(c) nom(c, Z 2 ), {Y 2 < Z 2 }, preposition, groupe_nom(z 2 ) " nom(masc, 1) --> [caractère] 13" nom(masc, 2) --> [mot] 14" nom(fem, 3) --> [ligne] 15" nom(fem, 4) --> [page]
26 Trace de dérivation 12",..., 15" introduisent une hiérarchie sémantique caractère not ligne page (l'idée vient de ce que la préposition...de... implique l'inclusion) {Y 1 < Z 1 } dans 2" et 3" élimine les phrases absurdes ex : on suppose que l'on en est à groupe_nom(y 2 )--> [la, dernière], nom(fem, Z 2 ), {Y 2 < Z 2 }, [de], groupe_nom(z 2 ). avec nom(fem, 3) --> [ligne] on passe à groupe_nom(y 2 ) --> [la, dernière, ligne], {Y 2 < 3}, [de], groupe_nom(3) puis avec la règle 2" correctement instanciée groupe_nom(y 2 ) --> [la, dernière, ligne], {Y 2 < 3}, [de, la, dernière], nom(fem, Z 1 ), {3 < Z 1 } seule nom(fem, 4) --> [page] permet de satisfaire 3 < Z 1 groupe_nom(y 2 ) --> [la, dernière, ligne], {Y 2 < 3}, [de, la, dernière, page].
27 Grammaire DCG et programmation logique groupe_nom(y 2 ) --> article(c), adjectif(c), nom(c, Z 2 ), {Y 2 < Z 2 }, preposition, groupe_nom(z 2 ) est traduit en groupe_nom(y 2, [art, Adj, N, Pr GN]) :- article(c, [Art]), adjectif(c, [Ad]), nom(c, Z 2, [N]), Y 2 < Z 2, preposition(pr), groupe_nom(z 2, GN). dans laquelle les catégories syntaxiques (comme nom(c, Z 2, [N])) ou les procédures {Y 2 < Z 2 } sont interprétées comme des prédicats logiques.
28 Construction de l'arbre de syntaxe abstraite On réécrit la grammaire DCG avec les arguments phrase(ph(v, Gn)) --> verbe(v), groupe-nom(o,gn) groupe_nom(y 1, gn(art, Adj,N))--> article (C, Art), adjectif (C, Adj)), nom(c, Z 1, N), {Y 1 <Z 1 }. groupe_nom(y 2, gn (Art, Adj, N, Pr, gn, (Gn)))--> article(c, Art), adjectif(c, Adj), nom(c, Z 2, N), {Y 2 <Z 2 } preposition(p), groupe_nom(z 2, Gn). verbe (v(effacer)) --> [effacer]. verbe (v(imprimer)) --> [imprimer]. article(masc, art(le)) --> [le].... nom(fem, 4, n(page)) --> [page]. preposition(prep(de)) --> [de].
29 Eléments de transformations automatique en Prolog En partant de phrase --> verbe, groupe nom nous avions écrit phrase([v GN]) :- verbe([v]), groupe_nom(gn). Cela suppose la reconnaissance du fait que 'verbe' consomme un mot de la phrase.
30 Représentation en D_liste Un traitement automatique pourrait plus simplement produire Phrase(Ph) :- conc(début, Reste, Ph), verbe(début), groupe_nom(reste). Ou plus efficacement Phrase(Ph, Fin) :- verbe(ph, Suite), groupe_nom(suite, Fin) avec par exemple et et le but verbe --> [effacer] transformé en verbe([effacer S], S).?- phrase([effacer, le, dernier, mot], [ ]).
Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1
Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-
Plus en détailGrammaires d unification
Cours sur le traitement automatique des langues (IV) Violaine Prince Université de Montpellier 2 LIRMM-CNRS Grammaires d unification Grammaire catégorielle Grammaire syntagmatique généralisée (GPSG) Les
Plus en détailCH.6 Propriétés des langages non contextuels
CH.6 Propriétés des langages non contetuels 6.1 Le lemme de pompage 6.2 Les propriétés de fermeture 6.3 Les problèmes de décidabilité 6.4 Les langages non contetuels déterministes utomates ch6 1 6.1 Le
Plus en détailBANQUES DE DONNÉES PÉDAGOGIQUES
223 Daniel BURET, Jean-Claude BLANCHARD. HISTORIQUE L'EPI a entrepris en 1989 de créer des bases d'énoncés mathématiques destinées aux enseignants pour la production de documents et accompagnées d'un outil
Plus en détailTravaux pratiques. Compression en codage de Huffman. 1.3. Organisation d un projet de programmation
Université de Savoie Module ETRS711 Travaux pratiques Compression en codage de Huffman 1. Organisation du projet 1.1. Objectifs Le but de ce projet est d'écrire un programme permettant de compresser des
Plus en détailSuivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)
Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être
Plus en détailLES CARTES À POINTS : POUR UNE MEILLEURE PERCEPTION
LES CARTES À POINTS : POUR UNE MEILLEURE PERCEPTION DES NOMBRES par Jean-Luc BREGEON professeur formateur à l IUFM d Auvergne LE PROBLÈME DE LA REPRÉSENTATION DES NOMBRES On ne conçoit pas un premier enseignement
Plus en détailRappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Plus en détailCode_Aster. Procédure IMPR_RESU aux formats 'RESULTAT' et 'ASTER' 1 But
Titre : Procédure IMPR_RESU aux formats 'RESULTAT' et 'AST[...] Date : 24/04/2013 Page : 1/9 Procédure IMPR_RESU aux formats 'RESULTAT' et 'ASTER' 1 But Écrire le maillage ou les résultats d'un calcul
Plus en détailCours de Master Recherche
Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction
Plus en détail1. Qu'est-ce que SQL?... 2. 2. La maintenance des bases de données... 2. 3. Les manipulations des bases de données... 5
1. Qu'est-ce que SQL?... 2 2. La maintenance des bases de données... 2 2.1 La commande CREATE TABLE... 3 2.2 La commande ALTER TABLE... 4 2.3 La commande CREATE INDEX... 4 3. Les manipulations des bases
Plus en détailThéorie des Langages
Théorie des Langages Analyse syntaxique descendante Claude Moulin Université de Technologie de Compiègne Printemps 2010 Sommaire 1 Principe 2 Premiers 3 Suivants 4 Analyse 5 Grammaire LL(1) Exemple : Grammaire
Plus en détailLES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN
LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN Les contenues de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas
Plus en détailmajuscu lettres accent voyelles paragraphe L orthographe verbe >>>, mémoire préfixe et son enseignement singulier usage écrire temps copier mot
majuscu conjugaison >>>, L orthographe singulier syllabe virgule mémoire lettres et son enseignement graphie suffixe usage accent ; écrire féminin temps voyelles mot point Renforcer l enseignement de l
Plus en détailLa recherche d'information sur Internet
La recherche d'information sur Internet Compétence du socle : Je sais utiliser les fonctions principales d'un outil de recherche sur le Web (moteur de recherche, annuaire...) CDI du collège Léon Cazeneuve
Plus en détailFormula Negator, Outil de négation de formule.
Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente
Plus en détailchapitre 4 Nombres de Catalan
chapitre 4 Nombres de Catalan I Dénitions Dénition 1 La suite de Catalan (C n ) n est la suite dénie par C 0 = 1 et, pour tout n N, C n+1 = C k C n k. Exemple 2 On trouve rapidement C 0 = 1, C 1 = 1, C
Plus en détail«Dire et écrire» pour réaliser une composition en travail collaboratif en géographie. Agnès Dullin, lycée J. Racine 20 rue du Rocher, 75008 Paris
«Dire et écrire» pour réaliser une composition en travail collaboratif en géographie Agnès Dullin, lycée J. Racine 20 rue du Rocher, 75008 Paris OBJECTIFS 1- Niveau et insertion dans la programmation 2-
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailInitiation à la Programmation en Logique avec SISCtus Prolog
Initiation à la Programmation en Logique avec SISCtus Prolog Identificateurs Ils sont représentés par une suite de caractères alphanumériques commençant par une lettre minuscule (les lettres accentuées
Plus en détailCours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
Plus en détailMIS 102 Initiation à l Informatique
MIS 102 Initiation à l Informatique Responsables et cours : Cyril Gavoille Catherine Pannier Matthias Robine Marc Zeitoun Planning : 6 séances de cours 5 séances de TD (2h40) 4 séances de TP (2h40) + environ
Plus en détailfiche D AUTOCORRECTION Frimousse, une petite chienne qu'on a adoptée le mois dernier, est intelligente et docile.
fiche D AUTOCORRECTION 3.4 Les accords sont corrects dans chaque groupe du nom. On met souvent sur le dos de l inattention les erreurs d orthographe grammaticale. Bien accorder les mots exige de l observation
Plus en détailUtilisation des tableaux sémantiques dans les logiques de description
Utilisation des tableaux sémantiques dans les logiques de description IFT6281 Web Sémantique Jacques Bergeron Département d informatique et de recherche opérationnelle Université de Montréal bergerja@iro.umontreal.ca
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailLangue Française. Syllabus A1. Description globale du niveau A1 utilisateur élémentaire
Langue Française Redatto da Dott.ssa Annie Roncin Syllabus A1 Description globale du niveau A1 utilisateur élémentaire L étudiant peut : -comprendre et utiliser des expressions familières et quotidiennes
Plus en détailVoici les objectifs de la séance d'aujourd'hui :
Bienvenue au module de formation en ligne sur l export de données dans le cadre de la gestion externe de cas dans le LaMPSS. Le module vous donnera un aperçu de la fonction «export de données» introduite
Plus en détailt 100. = 8 ; le pourcentage de réduction est : 8 % 1 t Le pourcentage d'évolution (appelé aussi taux d'évolution) est le nombre :
Terminale STSS 2 012 2 013 Pourcentages Synthèse 1) Définition : Calculer t % d'un nombre, c'est multiplier ce nombre par t 100. 2) Exemples de calcul : a) Calcul d un pourcentage : Un article coûtant
Plus en détailLa mémoire. Un ordinateur. L'octet. Le bit
Introduction à l informatique et à la programmation Un ordinateur Un ordinateur est une machine à calculer composée de : un processeur (ou unité centrale) qui effectue les calculs une mémoire qui conserve
Plus en détail1. LA GESTION DES BASES DE DONNEES RELATIONNELLES
Dossier G11 - Interroger une base de données La base de données Facturation contient tout un ensemble d'informations concernant la facturation de la SAFPB (société anonyme de fabrication de produits de
Plus en détailAlgorithmes d'apprentissage
Algorithmes d'apprentissage 1 Agents qui apprennent à partir d'exemples La problématique : prise de décision automatisée à partir d'un ensemble d'exemples Diagnostic médical Réponse à une demande de prêt
Plus en détailFiche pour les étudiants «Comment répondre à une question à développement?»
VOLUME 11, NO 1 AUTOMNE 2012 Cégep de Rimouski Développement pédagogique Annexe 2 du Pédagotrucs no 40 Fiche pour les étudiants «Comment répondre à une question à développement?» Voici un guide qui t aidera
Plus en détailLes structures. Chapitre 3
Chapitre 3 Les structures Nous continuons notre étude des structures de données qui sont prédéfinies dans la plupart des langages informatiques. La structure de tableau permet de regrouper un certain nombre
Plus en détailIN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C
IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailSOMMAIRE. Travailler avec les requêtes... 3
Access Les requêtes SOMMAIRE Travailler avec les requêtes... 3 A) Créer une requête sélection en mode QBE... 3 B) Exécuter une requête à partir du mode Modifier (QBE)... 3 C) Passer du mode Feuille de
Plus en détailRapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources
Master Maths Finances 2010/2011 Data Mining janvier 2011 RapidMiner 1 Introduction 1.1 Présentation RapidMiner est un logiciel open source et gratuit dédié au data mining. Il contient de nombreux outils
Plus en détailDocument d aide au suivi scolaire
Document d aide au suivi scolaire Ecoles Famille Le lien Enfant D une école à l autre «Enfants du voyage et de familles non sédentaires» Nom :... Prénom(s) :... Date de naissance :... Ce document garde
Plus en détailAxiomatique de N, construction de Z
Axiomatique de N, construction de Z Table des matières 1 Axiomatique de N 2 1.1 Axiomatique ordinale.................................. 2 1.2 Propriété fondamentale : Le principe de récurrence.................
Plus en détailLe génie logiciel. maintenance de logiciels.
Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction
Plus en détailquelque quelque(s) quel(s) que/quelle(s) que quel(s) / quelle(s) qu elle(s)
GRAMMATICAUX DE CATÉGORIES DIFFÉRENTES QUELQUE HOMOPHONES QUELQUE(S) QUEL(S) QUE/QUELLE(S) QUE QUEL(S)/QUELLE(S) QU ELLE(S) 1 Homophones grammaticaux de catégories différentes quelque quelque(s) quel(s)
Plus en détailI. Le déterminant Il détermine le nom. Le déterminant indique le genre, le
I. Le déterminant Il détermine le nom. Le déterminant indique le genre, le nombre et le degré de détermination du nom. 1. L article le, la, les, l, d, au, aux, du, des, un, une, des, du, de l, de la, des.
Plus en détailCalculabilité Cours 3 : Problèmes non-calculables. http://www.irisa.fr/lande/pichardie/l3/log/
Calculabilité Cours 3 : Problèmes non-calculables http://www.irisa.fr/lande/pichardie/l3/log/ Problèmes et classes de décidabilité Problèmes et classes de décidabilité Nous nous intéressons aux problèmes
Plus en détailMesurer les altitudes avec une carte
www.ign.fr > Espace éducatif > Les fiches thématiques > Lecture de la carte Mesurer les altitudes avec une carte Les cartes topographiques ne sont pas uniquement une représentation plane de la surface
Plus en détailProblèmes de Mathématiques Filtres et ultrafiltres
Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire
Plus en détailExercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT
Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT Ces exercices portent sur les items 2, 3 et 5 du programme d informatique des classes préparatoires,
Plus en détailles Formulaires / Sous-Formulaires Présentation...2 1. Créer un formulaire à partir d une table...3
Présentation...2 1. Créer un formulaire à partir d une table...3 2. Les contrôles :...10 2.1 Le contrôle "Intitulé"...11 2.2 Le contrôle "Zone de Texte"...12 2.3 Le contrôle «Groupe d options»...14 2.4
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailMétriques de performance pour les algorithmes et programmes parallèles
Métriques de performance pour les algorithmes et programmes parallèles 11 18 nov. 2002 Cette section est basée tout d abord sur la référence suivante (manuel suggéré mais non obligatoire) : R. Miller and
Plus en détailLES DECIMALES DE π BERNARD EGGER
LES DECIMALES DE π BERNARD EGGER La génération de suites de nombres pseudo aléatoires est un enjeu essentiel pour la simulation. Si comme le dit B Ycard dans le cours écrit pour le logiciel SEL, «Paradoxalement,
Plus en détailRéaliser une recherche avec le logiciel documentaire PMB
Réaliser une recherche avec le logiciel documentaire PMB Compétence du socle commun : «Consulter des bases de données documentaires en mode simple» Je sais rechercher des références de documents à l'aide
Plus en détailInformatique Théorique : Théorie des Langages, Analyse Lexicale, Analyse Syntaxique Jean-Pierre Jouannaud Professeur
Université Paris-Sud Licence d Informatique Informatique Théorique : Théorie des Langages, Analyse Lexicale, Analyse Syntaxique Jean-Pierre Jouannaud Professeur Adresse de l auteur : LIX École Polytechnique
Plus en détailCOMMENT ECRIRE UN «JOB AID»
COMMENT ECRIRE UN «JOB AID» Jan Jacobs September 2009 1. Qu est ce qu un job aid? 1. Un job aid décrit étapes par étapes ce que vous devez faire pour réaliser une procédure. 2. Un job aid peut aussi être
Plus en détailProgrammation d'agents intelligents Vers une refonte des fils de raisonnement. Stage de fin d'études Master IAD 2006
vendredi 8 septembre 2006 Programmation d'agents intelligents Vers une refonte des fils de raisonnement Stage de fin d'études Master IAD 2006 Benjamin DEVEZE Responsable : M. Patrick TAILLIBERT Plan Plan
Plus en détail1. Introduction... 2. 2. Création d'une macro autonome... 2. 3. Exécuter la macro pas à pas... 5. 4. Modifier une macro... 5
1. Introduction... 2 2. Création d'une macro autonome... 2 3. Exécuter la macro pas à pas... 5 4. Modifier une macro... 5 5. Création d'une macro associée à un formulaire... 6 6. Exécuter des actions en
Plus en détailModule 16 : Les fonctions de recherche et de référence
Module 16 : Les fonctions de recherche et de référence 16.0 Introduction L une des fonctions les plus importantes d Excel, c est la possibilité de chercher une valeur spécifique dans un grand nombre de
Plus en détailCours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Plus en détailAide-mémoire : Chaque, leur, même, quelque, tout
Aide-mémoire : Chaque, leur, même, quelque, tt Les confusions homophoniques sont à l origine de plusieurs erreurs. Il est possible de les éviter en portant attention aux classes de mots ( catégories grammaticales
Plus en détailVOS PREMIERS PAS AVEC TRACENPOCHE
Vos premiers pas avec TracenPoche page 1/16 VOS PREMIERS PAS AVEC TRACENPOCHE Un coup d'oeil sur l'interface de TracenPoche : La zone de travail comporte un script, une figure, un énoncé, une zone d analyse,
Plus en détailLe langage SQL Rappels
Le langage SQL Rappels Description du thème : Présentation des principales notions nécessaires pour réaliser des requêtes SQL Mots-clés : Niveau : Bases de données relationnelles, Open Office, champs,
Plus en détailExcel 2007 Niveau 3 Page 1 www.admexcel.com
Excel 2007 Niveau 3 Page 1 TABLE DES MATIERES UTILISATION DE LISTES DE DONNEES... 4 REMARQUES PREALABLES SUR LES LISTES DE DONNEES... 4 METTRE EN FORME LE TABLEAU... 6 METTRE LA LISTE A JOUR... 7 a/ Directement
Plus en détailLa mesure de Lebesgue sur la droite réelle
Chapitre 1 La mesure de Lebesgue sur la droite réelle 1.1 Ensemble mesurable au sens de Lebesgue 1.1.1 Mesure extérieure Définition 1.1.1. Un intervalle est une partie convexe de R. L ensemble vide et
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailEn direct de la salle de presse du Journal virtuel
Français En direct de la salle de presse du Journal virtuel Écrire des textes variés Guide En direct de notre salle de presse Guide R ENSEIGNEMENTS GÉNÉRA UX EN DIRECT DE NOTRE SA LLE DE PRESSE MISE À
Plus en détailPROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux
PROGRAMME DETAILLE du Master IRS Parcours en première année en apprentissage Unités d Enseignement (UE) 1 er semestre ECTS Charge de travail de l'étudiant Travail personnel Modalités de contrôle des connaissances
Plus en détailLes tablettes et l'extranet Intermixt Mode d'emploi
Les tablettes et l'extranet Mode d'emploi Ce document vous présente les étapes vous permettant d avoir accès aux documents disponibles sur l'extranet d'. Vous pouvez éventuellement les télécharger pour
Plus en détailUtilisez Toucan portable pour vos sauvegardes
Utilisez Toucan portable pour vos sauvegardes Préambule Toucan est un logiciel libre et gratuit, permettant de réaliser des sauvegardes ou synchronisation de vos données. Il est possible d automatiser
Plus en détailLe modèle standard, SPE (1/8)
Le modèle standard, SPE (1/8) Rappel : notion de grammaire mentale modulaire Les composants de la grammaire : module phonologique, sémantique syntaxique Syntaxe première : elle orchestre la relation mentale
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailXML, PMML, SOAP. Rapport. EPITA SCIA Promo 2004 16 janvier 2003. Julien Lemoine Alexandre Thibault Nicolas Wiest-Million
XML, PMML, SOAP Rapport EPITA SCIA Promo 2004 16 janvier 2003 Julien Lemoine Alexandre Thibault Nicolas Wiest-Million i TABLE DES MATIÈRES Table des matières 1 XML 1 1.1 Présentation de XML.................................
Plus en détailLe chiffre est le signe, le nombre est la valeur.
Extrait de cours de maths de 6e Chapitre 1 : Les nombres et les opérations I) Chiffre et nombre 1.1 La numération décimale En mathématique, un chiffre est un signe utilisé pour l'écriture des nombres.
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailLe stockage local de données en HTML5
Le stockage local HTML5, pourquoi faire? Dans une optique de réduction des couts de maintenance, de déploiement, beaucoup d'entreprises ont fait le choix de migrer leurs applicatifs (comptables, commerciales,
Plus en détailApplication de la méthode QFD comme outil d'extraction des connaissances métier en conception intégrée
Application de la méthode QFD comme outil d'extraction des connaissances métier en conception intégrée Estelle FREY, Samuel GOMES, Jean-Claude SAGOT Laboratoire Systèmes et Transports Equipe ERgonomie
Plus en détailCRÉER UNE BASE DE DONNÉES AVEC OPEN OFFICE BASE
CRÉER UNE BASE DE DONNÉES AVEC OPEN OFFICE BASE 2 ème partie : REQUÊTES Sommaire 1. Les REQUÊTES...2 1.1 Créer une requête simple...2 1.1.1 Requête de création de listage ouvrages...2 1.1.2 Procédure de
Plus en détailL'instruction if permet d'exécuter des instructions différentes selon qu'une condition est vraie ou fausse. Sa forme de base est la suivante:
420-183 Programmation 1 8. Les structures conditionnelles Dans l'écriture de tout programme informatique, une des premières nécessités que nous rencontrons est de pouvoir faire des choix. Dans une application
Plus en détailS'orienter et se repérer sur le terrain avec une carte
www.ign.fr > Espace éducatif > Les fiches thématiques > Lecture de la carte S'orienter et se repérer sur le terrain avec une carte Il s'agit d'effectuer une correspondance entre le lieu où l'on se trouve
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailVÉRIFICATEUR ORTHOGRAPHIQUE POUR LE BAMBARA PRÉSENTATION & MODE D'EMPLOI
version française VÉRIFICATEUR ORTHOGRAPHIQUE POUR LE BAMBARA PRÉSENTATION & MODE D'EMPLOI Ce vérificateur fonctionne pour les traitements de texte libres et gratuits Libre Office, Open Office (à présent
Plus en détailCe document a été mis en ligne par le Canopé de l académie de Montpellier pour la Base Nationale des Sujets d Examens de l enseignement professionnel.
Ce document a été mis en ligne par le Canopé de l académie de Montpellier pour la Base Nationale des Sujets d Examens de l enseignement professionnel. Ce fichier numérique ne peut être reproduit, représenté,
Plus en détailLES TECHNOLOGIES DU WEB APPLIQUÉES AUX DONNÉES STRUCTURÉES
LES TECHNOLOGIES DU WEB APPLIQUÉES AUX DONNÉES STRUCTURÉES 1e partie : encoder et structurer les données Gautier Poupeau Antidot http://www.lespetitescases.net Twitter @lespetitescases Emmanuelle Bermès
Plus en détailComment autoriser un programme à communiquer avec Internet sous Vista?
Comment autoriser un programme à communiquer avec Internet sous Vista? Votre pare-feu a pour fonction de bloquer les connexions entre un programme installé sur votre ordinateur et Internet. C'est en quelque
Plus en détailRecherche dans un tableau
Chapitre 3 Recherche dans un tableau 3.1 Introduction 3.1.1 Tranche On appelle tranche de tableau, la donnée d'un tableau t et de deux indices a et b. On note cette tranche t.(a..b). Exemple 3.1 : 3 6
Plus en détailOCL - Object Constraint Language
OCL - Object Constraint Language Laëtitia Matignon laetitia.matignon@univ-lyon1.fr Département Informatique - Polytech Lyon Université Claude Bernard Lyon 1 2012-2013 Laëtitia Matignon SIMA - OCL - Object
Plus en détailAlgorithmes de recherche
Algorithmes de recherche 1 Résolution de problèmes par recherche On représente un problème par un espace d'états (arbre/graphe). Chaque état est une conguration possible du problème. Résoudre le problème
Plus en détailTravail avec soin et concentration
Travail avec soin et concentration Supplément pour la préparation Centre pour le développement de tests et le diagnostic (CTD) Université de Fribourg, Suisse Ce supplément est un complément à la Test Info
Plus en détailPlan du cours : Zippers. Des fonctions sur les listes avec position. Des fonctions sur les listes avec position
Plan du cours : Le problème : naviguer efficacement une structure de données Ce qui ne marche pas Ce qui marche : les de Huet Exemples Comment dériver des pour tout type de données Pour en savoir plus
Plus en détailLes chaînes de caractères
Les chaînes de caractères Dans un programme informatique, les chaînes de caractères servent à stocker les informations non numériques comme par exemple une liste de nom de personne ou des adresses. Il
Plus en détailTable des matières. Introduction
Table des matières 1 Formalisation des virus informatiques 2 1.1 Les machines de Turing........................ 2 1.2 Formalisation de Fred Cohen..................... 2 1.2.1 Définition d un virus informatique..............
Plus en détailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur
Plus en détailLangage SQL (1) 4 septembre 2007. IUT Orléans. Introduction Le langage SQL : données Le langage SQL : requêtes
Langage SQL (1) Sébastien Limet Denys Duchier IUT Orléans 4 septembre 2007 Notions de base qu est-ce qu une base de données? SGBD différents type de bases de données quelques systèmes existants Définition
Plus en détailGOL502 Industries de services
GOL502 Industries de services Conception d un service Partie IIb Version 2013 Introduction Conception d un service partie IIb Nous verrons dans ce chapitre Modélisation d un service; Langage de modélisation
Plus en détailCOMMUNICATEUR BLISS COMMANDE PAR UN SENSEUR DE POSITION DE L'OEIL
COMMUNICATEUR BLISS COMMANDE PAR UN SENSEUR DE POSITION DE L'OEIL J. TICHON(1) (2), J.-M. TOULOTTE(1), G. TREHOU (1), H. DE ROP (2) 1. INTRODUCTION Notre objectif est de réaliser des systèmes de communication
Plus en détailProtocoles DHCP et DNS
Protocoles DHCP et DNS DHCP (Dynamic Host Configuration Protocol) est un protocole qui permet à un serveur DHCP (Unix, Windows, AS400...) d'affecter des adresses IP temporaires (et d'autres paramètres)
Plus en détailLangue, techniques de rédaction et correction d épreuves (412-2A1-LG)
Langue, techniques de rédaction et correction d épreuves (412-2A1-LG) Programme : Services paralangagiers (Recherche documentaire en traduction) Plan de cours Introduction Frais d inscription Ce cours
Plus en détailTransférer et enregistrer les photos sur l'ordinateur
BML INFORMATIQUE Perfectionnement Séance N 4 Approche de la photo numérique Daniel Drux 15 Oct. 2014 Cette séance a pour but de vous aider à aborder la photo numérique en assimilant les notions de base.
Plus en détail