Analyse syntaxique : Grammaires d unification
|
|
- Irène Bertrand
- il y a 7 ans
- Total affichages :
Transcription
1 Analyse syntaxique : Grammaires d unification Anne Vilnat LIMSI, UPSud 28 novembre 2013 Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
2 Plan 1 Analyse syntaxique : Introduction 2 Grammaire générative 3 Grammaires d unification 4 LFG Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
3 Analyse syntaxique : Introduction Analyse syntaxique ou grammaticale Analyse syntaxique traditionnelle Historiquement (en TAL) fondée sur le paradigme génératif de Chomsky La grammaire a pour objet de générer tous et seulement les énoncés possibles dans une langue (énoncés grammaticaux) En analyse : associer à un énoncé (phrase) grammatical(e) de la langue sa structure syntaxique, à savoir l arbre des séquences de réécritures permettant d obtenir cet énoncé à partir de l axiome S de la grammaire Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
4 Grammaire générative Grammaire générative : définiton G = (V n, V t, R,S), avec : V n : vocabulaire non terminal (ce qui sert à décrire la langue) V t : vocabulaire terminal (les mots de la langue) R : ensemble des règles de réécriture, X Y S : axiome de la grammaire et suivant les règles de R : grammaire non contrainte : trop lâche grammaire en contexte ou contextuelle : X se réécrit Y dans le contexte u v ou uxv uyv : grammaire hors contexte : X Y, avec X : 1 symbole unique de V n grammaire régulière : trop figée (langage de programmation) Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
5 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple le garçon va lire un livre S GN GV S GN GV Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
6 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple le garçon va lire un livre S GN GV GN Det N S GN GV Det N Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
7 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple le garçon va lire un livre S GN GV GN Det N GV (Aux) V GN GN S GV Det N Aux V GN Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
8 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple le garçon va lire un livre S GN GV GN Det N GV (Aux) V GN GN S GV Det N Aux V GN Det N Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
9 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple le garçon va lire un livre S GN GV GN Det N GV (Aux) V GN Aux va V lire bat mange... Det le la les un... N garçon livre pomme... S GN GV Det N Aux V GN Det Le garçon va lire un N livre Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
10 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple le garçon va lire un livre S GN GV GN Det N GV (Aux) V GN Aux va V lire bat mange... Det le la les un... N garçon livre pomme... S GN GV Det N Aux V GN Det Le garçon va lire un N livre Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
11 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple Différences entre structure de surface et structures profondes Exemple «chomskyen» : Time flies like an arrow : S GN GV N V GP Time flies Pre p like Det GN N an arrow Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
12 Grammaire générative Grammaire hors-contexte et arbre syntaxique : Exemple Différences entre structure de surface et structures profondes Exemple «chomskyen» : Time flies like an arrow : S S S GN GV GN GV GV GN GP N Time V GP N flies Prep GN Time like Det N N flies V like GN Det N an arrow V N Pre p Time flies like GN Det N an arrow an arrow Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
13 Grammaire générative Grammaires transformationnelles Règles de base Transformations S... Structure profonde Structure de surface Interprétation sémantique Structure phonologique Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
14 Grammaire générative Analyse syntaxique traditionnelle Théorie des langages formels de Chomsky Formalisation mathématique pas une théorie linguistique La langue n est pas un langage indépendant du contexte Les accords Grammaires contextuelles insuffisantes Constituants discontinus : Combien cette salle a-t elle de fenêtres? Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
15 Grammaires d unification Théories syntaxiques Formalismes fondés sur des théories grammaticales GPSG (Generalized Phrase Phrase-Structure Grammar, Gazdar et al 1985) LFG (Lexical Functional Grammar, Kaplan & Bresnan 1982) UCG (Unification Categorial Grammar, Clader et al 1988) HPSG (Head-driven Phrase Structure Grammar, Pollard & Sag 1994) Formalisation mathématique pas une théorie linguistique TAG (Tree Adjoining Grammar, Joshi & Schabes 1997) ont donné la plupart des analyseurs syntaxiques récents Autres PATR : formalisme à structures de traits et unification DCG (Definite Clause Grammar) : extension de Prolog Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
16 Grammaires d unification Grammaires d unification : principes Introduction de traits dans règles de réécriture Accord : GN Det Nom < Det Num > = < Nom Num > < Det Genre > = < Nom Genre > Verbe transitif direct : GV V GN < V sous cat > = < GN > Verbe intransitif : GV V < V sous cat > = Dormir : < sous cat >= Rencontrer : < sous cat >= GN Articulation forte entre lexique - syntaxe - sémantique Structure de traits comme mode de représentation syntaxique Unification comme opération de base pour l analyse Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
17 Grammaires d unification Grammaires d unification : définitions Trait = couple(attribut, valeur), de valeur atomique ou complexe : une structure de traits Structure de traits = ensemble des traits Structures de traits forme = table cat = nom accord = genre = fém num = sing forme cat accord table nom genre num fém sing det = accord = 1 nom = accord = 1 genre = fém num = sing det nom accord accord genre num fém sing Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
18 Grammaires d unification Unification Extension de structure Structure de traits A extension d une structure de traits B (A B) ssi Tous les traits à valeur atomique présents dans B sont présents dans A avec la même valeur pour tout trait f à valeur non atomique dans B, sa valeur dans A est une extension de sa valeur dans B Structures de traits A forme = table cat = nom accord = genre = fém num = sing accord = genre = fém B Unification de A et B Structure minimale qui est à la fois extension de A et de B, sinon échec Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
19 LFG LFG (Lexical Functional Grammar), Bresnan et Kaplan, fin années 70 Schéma général Entrées lexicales + Règles lexicales Lexique complet Lexique complet + Règles syntagmatiques Structure de constituants Structure de constituants + équations fonctionnelles Structure fonctionnelle Structure fonctionnelle + principes de bonne formation Structure fonctionnelle bien formée Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
20 LFG LFG : Structure de constituants Structure C Arbre de dérivation obtenu par application des règles de réécritures hors-contexte règles syntagmatiques ou entrées lexicales Jean dort règles syntagmatiques P SN V P SN V Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
21 LFG LFG : Structure de constituants Structure C Arbre de dérivation obtenu par application des règles de réécritures hors-contexte règles syntagmatiques ou entrées lexicales Jean dort règles syntagmatiques P SN V SN Nom SN P V Nom Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
22 LFG LFG : Structure de constituants Structure C Arbre de dérivation obtenu par application des règles de réécritures hors-contexte règles syntagmatiques ou entrées lexicales Jean dort règles syntagmatiques P SN V SN Nom entrées lexicales V dort SN Nom P V dort Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
23 LFG LFG : Structure de constituants Structure C Arbre de dérivation obtenu par application des règles de réécritures hors-contexte règles syntagmatiques ou entrées lexicales Jean dort règles syntagmatiques P SN V SN Nom entrées lexicales V dort Nom Jean SN Nom Jean P V dort Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
24 LFG LFG : Structure fonctionnelle Traits à valeur atomique : nombre, genre, mode, temps, etc. Trait Pred valeur atomique, indique la forme sémantique cadre de sous-catégorisation éventuel dormir : Pred = dormir < sujet > manger : Pred = manger < sujet, objet > ne s unifie pas : un seul trait Pred par structure de traits Dont la valeur est une structure fonctionnelle : sujet, objet, compx, etc. Dont la valeur est un ensemble de structures fonctionnelles : Ajout Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
25 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V SN Nom V dort SN Nom Jean P V dort Nom Jean Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
26 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V sujet = = SN Nom V dort sujet = P SN Nom Jean = V dort Nom Jean Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
27 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V sujet = = SN Nom = V dort sujet = P SN = Nom Jean = V dort Nom Jean Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
28 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V sujet = = SN Nom = V dort num = sing mode = ind pers = 3 pred = dormir < sujet > Nom Jean sujet = P SN = Nom Jean = V dort num =sing mode=ind pers=3 pred = dormir <sujet> Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
29 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V sujet = = SN Nom = V dort num = sing mode = ind pers = 3 pred = dormir < sujet > Nom Jean num = sing genre = masc pred = Jean sujet = P SN = Nom Jean = num=sing genre=masc pred = Jean V dort num =sing mode=ind pers=3 pred = dormir <sujet> Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
30 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V SN Nom V dort SN Nom Jean P V dort Nom Jean Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
31 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V SN Nom V dort num = sing mode = ind pers = 3 pred = dormir < sujet > Nom Jean num = sing genre = masc pred = Jean SN Nom Jean P num=sing genre=masc pred = Jean V dort num =sing mode=ind pers=3 pred = dormir <sujet> Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
32 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V SN Nom = V dort num = sing mode = ind pers = 3 pred = dormir < sujet > Nom Jean num = sing genre = masc pred = Jean SN Nom Jean P num=sing genre=masc pred = Jean num=sing genre=masc pred = Jean V dort num =sing mode=ind pers=3 pred = dormir <sujet> num=sing genre=masc Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
33 LFG LFG : Structure fonctionnelle Associer structure de traits et nœuds de l arbre de dérivation P SN V sujet = = SN Nom = SN Nom P V dort num=sing sujet = genre=masc pred = Jean num =sing mode=ind pers=3 pred = dormir <sujet> V dort num = sing mode = ind pers = 3 pred = dormir < sujet > Jean Nom Jean num = sing genre = masc pred = Jean Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
34 LFG LFG : Principes de bonne formation Fonctions sous-catégorisables Primitives codées dans règles syntagmatiques et les entrées lexicales Fonction sous-catégorisables : Sujet, objet, comp(létive), Prep-obj, Xcomp (infinitive, participiale) dormir < sujet > :< sujet > cadre de sous-catégorisation Fonctions non sous-catégorisables Ajout : compléments circonstanciels, adjectifs, relatives Critères devant être vérifiés par les structures fonctionnelles Unicité : un même attribut n apparaît qu une fois dans une sous-structure Cohérence : fonctions sous-catégorisables gouvernées par un prédicat local Complétude : toutes les fonctions sous-catégorisables doivent être présentes localement Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre / 18
Grammaires 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étailTD 1 - Structures de Traits et Unification
TD 1 - Structures de Traits et Unification 1 Définitions Un trait (en: feature) est un couple attribut-valeur. Une structure de traits (en: feature structure) est un ensemble de traits. On peut les représenter
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é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étailChap 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étail! Text Encoding Initiative
Format XML: suite! le contenu d un élément est la concaténation de! texte! et d éléments (imbrication)! => structure arborescente! pas de chevauchement de balises! => exemple : une analyse syntagmatique
Plus en détailIndications pour une progression au CM1 et au CM2
Indications pour une progression au CM1 et au CM2 Objectif 1 Construire et utiliser de nouveaux nombres, plus précis que les entiers naturels pour mesurer les grandeurs continues. Introduction : Découvrir
Plus en détailIntelligence Artificielle Planification
Intelligence Artificielle Planification Bruno Bouzy http://web.mi.parisdescartes.fr/~bouzy bruno.bouzy@parisdescartes.fr Licence 3 Informatique UFR Mathématiques et Informatique Université Paris Descartes
Plus en détailAttestation de maîtrise des connaissances et compétences au cours moyen deuxième année
Attestation de maîtrise des connaissances et compétences au cours moyen deuxième année PALIER 2 CM2 La maîtrise de la langue française DIRE S'exprimer à l'oral comme à l'écrit dans un vocabulaire approprié
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étailLa syllabe (1/5) Unité intuitive (différent du phonème) Constituant essentiel pour la phonologie au même titre que phonème et trait
La syllabe (1/5) Unité intuitive (différent du phonème) Variation des structures syllabiques d une langue à une autre et dans une même langue (cf strict vs à : une seule syllabe mais des structures bien
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étailACCÈS SÉMANTIQUE AUX BASES DE DONNÉES DOCUMENTAIRES
ACCÈS SÉMANTIQUE AUX BASES DE DONNÉES DOCUMENTAIRES Techniques symboliques de traitement automatique du langage pour l indexation thématique et l extraction d information temporelle Thèse Défense publique
Plus en détailNOM : Prénom : Date de naissance : Ecole : CM2 Palier 2
NOM : Prénom : Date de naissance : Ecole : CM2 Palier 2 Résultats aux évaluations nationales CM2 Annexe 1 Résultats de l élève Compétence validée Lire / Ecrire / Vocabulaire / Grammaire / Orthographe /
Plus en détail1. Productions orales en continu après travail individuel
Tâches de production orale 2 niveau A2/B1 (Les tâches sont réalisables aussi bien au niveau A2 qu au niveau B1 suivant la complexité des énoncés et des interactions que les élèves sont capables de produire)
Plus en détailSystèmes décisionnels et programmation avancée
Systèmes décisionnels et programmation avancée M1 SIR Philippe Muller et Mustapha Mojahid, Matthieu Serrurier, Marie-Christine Scheix 2014-2015 Introduction structure du cours intervenants introduction
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étailCompte-rendu de Hamma B., La préposition en français
Compte-rendu de Hamma B., La préposition en français Badreddine Hamma To cite this version: Badreddine Hamma. Compte-rendu de Hamma B., La préposition en français. Revue française de linguistique appliquée,
Plus en détailDétection des propositions syntaxiques du français : en vue de l alignement des propositions de textes parallèles français-japonais
Détection des propositions syntaxiques du français : en vue de l alignement des propositions de textes parallèles français-japonais Yayoi Nakamura-Delloye To cite this version: Yayoi Nakamura-Delloye.
Plus en détailANALYSE SÉMANTICO-DISCURSIVE DES COLLOCATIONS LEXICALES EN CORPUS SPÉCIALISÉ : LA BASE CONNAISSANCE-S
ANALYSE SÉMANTICO-DISCURSIVE DES COLLOCATIONS LEXICALES EN CORPUS SPÉCIALISÉ : LA BASE CONNAISSANCE-S Estelle Dubreil et Béatrice Daille LINA FRE CNRS 2729 Université de Nantes France Résumé : L association
Plus en détailN 334 - SIMON Anne-Catherine
N 334 - SIMON Anne-Catherine RÉALISATION D UN CDROM/DVD CONTENANT DES DONNÉES DU LANGAGE ORAL ORGANISÉES EN PARCOURS DIDACTIQUES D INITIATION LINGUISTIQUE A PARTIR DES BASES DE DONNÉES VALIBEL Introduction
Plus en détailmes m est mets/met mais mets
GRAMMATICAUX DE CATÉGORIES DIFFÉRENTES MES HOMOPHONES M EST METS/MET MAIS METS 1 Homophones grammaticaux de catégories différentes mes m est mets/met mais mets mes : déterminant possessif pluriel, féminin
Plus en détailF7n COUP DE BOURSE, NOMBRE DÉRIVÉ
Auteur : S.& S. Etienne F7n COUP DE BOURSE, NOMBRE DÉRIVÉ TI-Nspire CAS Mots-clés : représentation graphique, fonction dérivée, nombre dérivé, pente, tableau de valeurs, maximum, minimum. Fichiers associés
Plus en détailLogique : ENSIIE 1A - contrôle final
1 Logique : ENSIIE 1A - contrôle final - CORRIGÉ Mardi 11 mai 2010 - Sans documents - Sans calculatrice ni ordinateur Durée : 1h30 Les exercices sont indépendants. Exercice 1 (Logique du premier ordre
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étailLIVRET PERSONNEL DE COMPÉTENCES
Nom... Prénom... Date de naissance... Note aux parents Le livret personnel de compétences vous permet de suivre la progression des apprentissages de votre enfant à l école et au collège. C est un outil
Plus en détailAtelier rédactionnel
Baccalauréat professionnel Gestion - Administration Atelier rédactionnel Exemples de séances réalisées en première et au début de l année de terminale Joëlle PERRETIER & Patrice VIRIEUX Lycée professionnel
Plus en détailBases de données Cours 5 : Base de données déductives
Cours 5 : ESIL Université de la méditerranée Odile.Papini@esil.univmed.fr http://odile.papini.perso.esil.univmed.fr/sources/bd.html Plan du cours 1 Introduction 2 approche sémantique approche axiomatique
Plus en détailAtelier ATOLL pour les grammaires d arbres adjoints
TALN 2001, Tours, 2-5 juillet 2001 Atelier ATOLL pour les grammaires d arbres adjoints François Barthélemy 1, Pierre Boullier 2, Philippe Deschamp 2, Linda Kaouane 2 et Éric Villemonte de la Clergerie
Plus en détailI/ CONSEILS PRATIQUES
D abord, n oubliez pas que vous n êtes pas un enseignant isolé, mais que vous appartenez à une équipe. N hésitez jamais à demander des idées et des conseils aux autres collègues (linguistes et autres)
Plus en détailMorphosyntaxe de l'interrogation en conversation spontanée : modélisation et évaluations
U Université dumaine Faculté des Lettres, Langues et Sciences humaines Morphosyntaxe de l'interrogation en conversation spontanée : modélisation et évaluations Carole Lailler 1 L interrogation : une modalité
Plus en détailDéterminants possessifs
POSSESSIFS MATÉRIEL POUR ALLOPHONES 1 Déterminants Déterminants référents Déterminants possessifs Le déterminant possessif indique une relation d appartenance, de possession, de parenté, d origine, etc.,
Plus en détailThomas Dutronc : Demain
Thomas Dutronc : Demain Paroles et musique : Thomas Dutronc Mercury / Universal Music Thèmes La conception de la vie, la joie de vivre, l insouciance. Objectifs Objectifs communicatifs : Donner son avis,
Plus en détailLa phonétisation de "plus", "tous" et de certains nombres : une analyse phono-syntaxique
La phonetisation de "plus", "tous" et de certains nombres. La phonétisation de "plus", "tous" et de certains nombres : une analyse phono-syntaxique Jean-Philippe Goldman, Christopher Laenzlinger et Eric
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étailMASTER LPL : LANGUE ET INFORMATIQUE (P)
MASTER LPL : LANGUE ET INFORMATIQUE (P) RÉSUMÉ DE LA FORMATION Type de diplôme := Master Domaine : Arts, Lettres, Langues Mention : LITTERATURE, PHILOLOGIE, LINGUISTIQUE Spécialité : LANGUE ET INFORMATIQUE
Plus en détailConception des bases de données : Modèle Entité-Association
Conception des bases de données : Modèle Entité-Association La modélisation d un problème, c est-à-dire le passage du monde réel à sa représentation informatique, se définit en plusieurs étapes pour parvenir
Plus en détailOASIS www.oasis-open.org/committees/xacml/docs/docs.shtml Date de publication
Statut du Committee Working Draft document Titre XACML Language Proposal, version 0.8 (XACML : XML Access Control Markup Language) Langage de balisage du contrôle d'accès Mot clé Attestation et sécurité
Plus en détailModélisation des données
Modélisation des données Le modèle Entité/Association Le MCD ou modèle Entité/Association est un modèle chargé de représenter sous forme graphique les informations manipulées par le système (l entreprise)
Plus en détailApprentissage Automatique
Apprentissage Automatique Introduction-I jean-francois.bonastre@univ-avignon.fr www.lia.univ-avignon.fr Définition? (Wikipedia) L'apprentissage automatique (machine-learning en anglais) est un des champs
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é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é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étailInitiation à la programmation en Python
I-Conventions Initiation à la programmation en Python Nom : Prénom : Une commande Python sera écrite en caractère gras. Exemples : print 'Bonjour' max=input("nombre maximum autorisé :") Le résultat de
Plus en détailIntelligence Artificielle et Robotique
Intelligence Artificielle et Robotique Introduction à l intelligence artificielle David Janiszek david.janiszek@parisdescartes.fr http://www.math-info.univ-paris5.fr/~janiszek/ PRES Sorbonne Paris Cité
Plus en détailFormation Pédagogique 3h
Formation Pédagogique 3h Carole MOULIN Conseillère Pédagogique généraliste Bourgoin 2 20 mars 2013 Ecrire c est: Copier Ecrire sans erreurs sous la dictée Concevoir et écrire une phrase, des phrases, un
Plus en détailActivité pour développer le concept de phrase et de mot
Combien de mots? Activité d apprentissage : en petits groupes ou en grand groupe Faire prendre conscience aux élèves qu une phrase est formée de mots. Bâtonnets Déroulement Dire une courte phrase (p. ex.,
Plus en détailConstruction et maintenance d une ressource lexicale basées sur l usage
Construction et maintenance d une ressource lexicale basées sur l usage Laurie Planes 1, (1) Inbenta France, 164 route de Revel, 31400 TOULOUSE lplanes@inbenta.com Résumé. Notre société développe un moteur
Plus en détailENTRE LES MURS : L entrée en classe
ENTRE LES MURS : L entrée en classe Réalisation : Laurent Cantet Production : Haut et Court Genre : comédie dramatique Adaptation du livre «Entre les murs» de François Bégaudeau, éditions Gallimard 2006.
Plus en détailContribution aux rapports entre la logique combinatoire et les T[Σ]-algèbres.
UNIVERSITÉ PARIS-SORBONNE ÉCOLE DOCTORALE V «CONCEPTS ET LANGAGES» Laboratoire de recherche «Langues, Logiques, Informatique, Cognition (STIH-LaLIC)» T H È S E pour obtenir le grade de DOCTEUR DE L UNIVERSITÉ
Plus en détailSubordonnée circonstancielle de temps
DE MATÉRIEL TEMPS POUR ALLOPHONES 1 Notion de phrase Subordonnée circonstancielle de temps La subordonnée circonstancielle de temps sert à situer l action dans le temps. Elle peut exprimer : la simultanéité
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détail1ère partie Nadine Cullot. Bases de données déductives. Bases de données déductives Introduction et Motivation
Master STIC «Image Informatique et Ingénierie» Module Informatique Modèles de représentation - 10h CM Nadine Cullot Kokou Yétongnon nadine.cullot@u-bourgogne.fr kokou.yetongnon@u-bourgogne.fr 1ère partie
Plus en détailFiche pédagogique : ma famille et moi
Fiche pédagogique : ma famille et moi Tâche finale de l activité : Jouer au «Cluedo» Niveau(x) Cycle 3 Contenu culturel : - jeux de sociétés Connaissances : Connaissances requises : - cf séquences primlangue
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailPeut-on imiter le hasard?
168 Nicole Vogel Depuis que statistiques et probabilités ont pris une large place dans les programmes de mathématiques, on nous propose souvent de petites expériences pour tester notre perception du hasard
Plus en détailGroupes de compétences. C est possible! Même en solo!
Groupes de compétences au lycée C est possible! Même en solo! Pour qui? Pour tous les élèves des classes de Seconde LV1 & LV2 dans un premier temps. Pour tous les élèves de classes de Premières et Pour
Plus en détailPréparation à l examen EFA en Macro
Préparation à l examen EFA en Macro Exercice sur les macros en Word / Excel Les questions suivantes doivent constituer un bref rafraîchissement et vous aider à situer le niveau de vos connaissances : Question
Plus en détailUne école au Togo, épisode 1/4
Une école au Togo, épisode 1/4 Thèmes Éducation, formation Concept Ce documentaire présente la situation de l école primaire au Togo. Contenu Pour visionner le documentaire Une école au Togo, allez sur
Plus en détailDiapo 1. Objet de l atelier. Classe visée. Travail en co-disciplinarité (identité et origine académique des IEN)
COMMENTAIRE Séminaire national Réforme de la série Gestion-administration Lyon 10 et 11 mai 2012 Vendredi matin Martine DECONINCK (IEN EG), Michèle SENDRE (IEN L), Isabelle VALLOT (IEN EG) Diapo 1. Objet
Plus en détailLA RECHERCHE DOCUMENTAIRE
LA RECHERCHE DOCUMENTAIRE Introduction I. Les étapes de la recherche d'information II. Méthodologie spécifique 2.1 Bibliothèque 2.2 Internet Conclusion INTRODUCTION Lorsque on débute une réflexion sur
Plus en détailLogique. Plan du chapitre
Logique Ce chapitre est assez abstrait en première lecture, mais est (avec le chapitre suivant «Ensembles») probablement le plus important de l année car il est à la base de tous les raisonnements usuels
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étailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailSeconde Généralités sur les fonctions Exercices. Notion de fonction.
Seconde Généralités sur les fonctions Exercices Notion de fonction. Exercice. Une fonction définie par une formule. On considère la fonction f définie sur R par = x + x. a) Calculer les images de, 0 et
Plus en détailINF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies
INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH
Plus en détailEvolution et architecture des systèmes d'information, de l'internet. Impact sur les IDS. IDS2014, Nailloux 26-28/05/2014 pascal.dayre@enseeiht.
Evolution et architecture des systèmes d'information, de l'internet. Impact sur les IDS IDS2014, Nailloux 26-28/05/2014 pascal.dayre@enseeiht.fr 1 MVC et le web 27/05/14 2 L'évolution des systèmes informatiques
Plus en détailConcevoir sa stratégie de recherche d information
Concevoir sa stratégie de recherche d information Réalisé : mars 2007 Dernière mise à jour : mars 2011 Bibliothèque HEC Paris Contact : biblio@hec.fr 01 39 67 94 78 Cette création est mise à disposition
Plus en détailPlan. Exemple: Application bancaire. Introduction. OCL Object Constraint Language Le langage de contraintes d'uml
OCL Object Constraint Language Le langage de contraintes d'uml Plan 1. Introduction 2. Les principaux concepts d'ocl Object Constraint Language 1 Object Constraint Language 2 Exemple: une application bancaire
Plus en détailIntelligence artificielle appliquée à l automatique
Intelligence artificielle appliquée à l automatique par Sylviane GENTIL Professeur à l École nationale supérieure d ingénieurs électriciens Institut national polytechnique de Grenoble 1. Définitions et
Plus en détailÉléments d informatique Cours 3 La programmation structurée en langage C L instruction de contrôle if
Éléments d informatique Cours 3 La programmation structurée en langage C L instruction de contrôle if Pierre Boudes 28 septembre 2011 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike
Plus en détail«Bienvenue en Europe» : fiche Apprenant Thème : technologies, innovations et médias
1 «Bienvenue en Europe» : fiche Apprenant Thème : technologies, innovations et médias Contenu Cet ensemble thématique présente des innovations pratiquées dans 4 nouveaux Etats de l Union européenne : -
Plus en détaileduscol Ressources pour la voie professionnelle Français Ressources pour les classes préparatoires au baccalauréat professionnel
eduscol Ressources pour la voie professionnelle Ressources pour les classes préparatoires au baccalauréat professionnel Français Présentation des programmes 2009 du baccalauréat professionnel Ces documents
Plus en détailL exclusion mutuelle distribuée
L exclusion mutuelle distribuée L algorithme de L Amport L algorithme est basé sur 2 concepts : L estampillage des messages La distribution d une file d attente sur l ensemble des sites du système distribué
Plus en détailÉtat de l art Ontologies et Intégration/Fusion d ontologies
Introduction...3 A- Ontologies:...5 1 Les représentations du langage...5 1.1. Typologie selon les types de connaissances modélisées...5 1.1.1 Lexiques contrôlés...5 1.1.2 Glossaires...6 1.1.3 Thesauri...7
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étailMATHÉMATIQUES ET INFORMATIQUE
Premier volet : la théorie des langages 1 Christian Retoré 2 MATHÉMATIQUES ET INFORMATIQUE Les mathématiques de la linguistique computationnelle 1947, un grand millésime : à Jean-Yves Girard, Gérard Huet
Plus en détailModèles à Événements Discrets. Réseaux de Petri Stochastiques
Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés
Plus en détailÉlasticité des applications à base de services dans le Cloud
1/40 Élasticité des applications à base de services dans le Cloud Mourad Amziani 12 Tarek Melliti 1 Samir Tata 2 1 IBISC, EA4526, Université d'évry Val-d'Essonne, Évry, France 2 UMR CNRS Samovar, Institut
Plus en détailIntroduction à l évaluation des besoins en compétences essentielles
Introduction à l évaluation des besoins en compétences essentielles Cet outil offre aux conseillers en orientation professionnelle : un processus étape par étape pour réaliser une évaluation informelle
Plus en détailDESCRIPTEURS NIVEAU A2 du Cadre européen commun de référence pour les langues
DESCRIPTEURS NIVEAU A2 du Cadre européen commun de référence pour les langues ACTIVITÉS DE COMMUNICATION LANGAGIÈRE ET STRATÉGIES Activités de production et stratégies PRODUCTION ORALE MONOLOGUE SUIVI
Plus en détailIntroduction à la sémantique
Introduction à la sémantique Exemplier 2015 1 Jugements sémantiques Jugements syntaxiques : critère de grammaticalité vs. agrammaticalité. (1) *Je demain viendra la maison. (2) *Lire-vous un livre sur
Plus en détailPLAN D ÉTUDES. école fondamentale
PLAN D ÉTUDES école fondamentale Nous Henri, Grand-Duc de Luxembourg, Duc de Nassau, Vu la loi du 6 février 2009 portant organisation de l enseignement fondamental; Notre Conseil d État entendu; Sur le
Plus en détailFiche de synthèse sur la PNL (Programmation Neurolinguistique)
1 Fiche de synthèse sur la PNL (Programmation Neurolinguistique) La programmation neurolinguistique (PNL) fournit des outils de développement personnel et d amélioration de l efficacité relationnelle dans
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailComment traduire le non-dit culturel?
23-28 e-crit Comment traduire le non-dit culturel? Jacob KAGISO SELLO I. Langue et culture Pour ceux qui s intéressent à l Étranger en tant qu Étranger dans son espace culturel, le meilleur moyen d accéder
Plus en détailLe mécanisme du processus de traduction *
Recherches en langue et Littérature Françaises Revue de la Faculté des Lettres et Sciences Humaines Année 53 N 0 218 Le mécanisme du processus de traduction * Fatemeh Mirza-Ebrahim-Tehrani ** E-mail: fmetehrani@yahoo.com
Plus en détailTP 1. Prise en main du langage Python
TP. Prise en main du langage Python Cette année nous travaillerons avec le langage Python version 3. ; nous utiliserons l environnement de développement IDLE. Étape 0. Dans votre espace personnel, créer
Plus en détailExpression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
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étailExpériences de formalisation d un guide d annotation : vers l annotation agile assistée
Expériences de formalisation d un guide d annotation : vers l annotation agile assistée Bruno Guillaume 1,2 Karën Fort 1,3 (1) LORIA 54500 Vandœuvre-lès-Nancy (2) Inria Nancy Grand-Est (3) Université de
Plus en détailPrévalence et étiologie. Le retard mental : langage et communication. Définitions et classifications (2) Définitions et classifications
Le retard mental : langage et communication M. - A. SCHELSTRAETE Unité CODE Prévalence et étiologie Prévalence: 25 / 1000 20 / 1000 déficience légère (QI > 50) 4-5 / 1000 déficience grave (QI < 50) = fréquence
Plus en détail3. Les METHODES AUDIO-VISUELLES : la méthodologie SGAV ou une approche structuro-globale de la langue
3. Les METHODES AUDIO-VISUELLES : la méthodologie SGAV ou une approche structuro-globale de la langue Les méthodes audio visuelles seront définies dans ce cours comme des méthodologies dont la cohérence
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étailACTIVITÉS DE COMMUNICATION LANGAGIÈRE ET STRATÉGIES
référence pour les langues ACTIVITÉS DE COMMUNICATION LANGAGIÈRE ET STRATÉGIES Activités de production et stratégies PRODUCTION ORALE GÉNÉRALE MONOLOGUE SUIVI : décrire l'expérience MONOLOGUE SUIVI : argumenter
Plus en détailProposition de séquence collège/lycée. Niveau A2 A2+
Proposition de séquence collège/lycée Niveau A2 A2+ Titre : De vacaciones! Le professeur présentera les objectifs de la séquence afin de donner du sens aux apprentissages. Il pourra donner la tâche finale
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étailSpécialité auxiliaire en prothèse dentaire du brevet d études professionnelles. ANNEXE IIb DEFINITION DES EPREUVES
ANNEXE IIb DEFINITION DES EPREUVES 51 Epreuve EP1 : ANALYSE ET COMMUNICATION TECHNOLOGIQUES UP1 Coefficient 4 Finalité et objectifs de l épreuve L épreuve vise à évaluer la capacité du candidat à mobiliser
Plus en détailJérôme Lehuen. Un modèle de dialogue dynamique et générique intégrant l acquisition de sa compétence linguistique
THÈSE présentée en vue de l obtention du titre de Docteur de l Université de Caen Spécialité : Sciences Mention : Informatique par Jérôme Lehuen Un modèle de dialogue dynamique et générique intégrant l
Plus en détailNiveau linguistique Berlitz 1 Niveau A1 du CECRL
Niveau linguistique Berlitz 1 Niveau A1 du CECRL Vous pouvez comprendre et utiliser des expressions courantes familières et des phrases simples. Vous êtes capable de vous présenter et de poser à vos interlocuteurs
Plus en détail