TD 1 - Structures de Traits et Unification

Dimension: px
Commencer à balayer dès la page:

Download "TD 1 - Structures de Traits et Unification"

Transcription

1 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 sous formes de matrices (en: attribute-value matrices (AVM)). Une structure de traits est mal formée si elle contient deux fois le même attribut (au même niveau d enchâssement) avec une valeur différente. genre masculin singulier personne troisième genre masculin genre féminin singulier personne troisième Dans les structures de traits ci-dessus, la valeur des traits est atomique. En HPSG, la valeur d un trait peut être atomique, être une structure de trait, une liste de valeurs ou un ensemble de valeurs. indice indices indices genre masculin singulier personne 3eme genre masculin genre féminin singulier, nombre singulier personne 3eme personne 3eme genre masculin genre féminin singulier, singulier personne 3eme personne 3eme Les structures de traits peuvent être représentées par des graphes acycliques orientés (en: directed acyclic graphs (DAG)) dont les arcs réprésentent les noms des différents traits et les noeuds les valeurs des différents traits. 2 Extension, subsomption et unification Une structure de traits A est une extension d une structure de traits B (ce qui se note A B) si et seulement si: Tous les traits à valeur atomique présents dans B sont présents dans A avec la même valeur, Pour tout trait t ayant une valeur non atomique, la valeur de t dans A est une extension de la valeur de t dans B. La relation inverse de l extension s appelle la subsomption. L unification de deux structures de traits A et B (notée A B) est la structure de trait minimale qui est à la fois une extension de A et de B. Si une telle structure n existe pas, l unification échoue (ce qui est noté ). L unification de deux structures de traits A et B typées (respectivement t et t ) a pour résultat, si elle existe, la structure de trait minimale qui est à la fois une extension de A et de B de type t où t est le plus grand type qui soit à la fois un sous-type de t et un sous-type de t. 1

2 L unification de listes n est définie que sur des listes de longueur identique. Le résultat de l unification de deux listes A et B est la liste C dont chaque élément de rang x où x varie de 1 à L (L = longueur des listes A et B) est le résultat de l unification de l élément de rang x des listes A et B. Le résultat de l unification de deux ensembles A et B est l ensemble C qui est construit de manière à ce que tout élément de C est soit un élément de A ou de B, soit le résultat de l unification d un élément de A et de B. Chaque élément de A et de B ne peut être utilisé qu une seule fois dans la construction de l ensemble C. 3 Exercices 3.1 Unification de structures de traits non-typées Soit la liste de structures de traits non-typées ci-dessous: 1. Pour chaque paire de structures de traits (x,y) dites si x est une extension y ou inversement? 2. Pour chaque paire de structures de traits (x,y) dites si elles sont unifiables et donnez le résultat le cas échéant. A. B. GENRE masculin NOMBRE singulier PERSONNE 3eme GENRE masculin D. E. GENRE feminin GENRE masculin C. PERSONNE 3eme F. PERSONNE 2eme 3.2 Exercice 2: Unification de structures de traits typées Soit la hiérarchie de types donnée dans le tableau ci-dessous: 2

3 type hérite de contrainte indice structure-de-trait genre genre nombre personne personne genre valeur-atomique feminin genre masculin genre nombre valeur-atomique singulier nombre pluriel nombre personne valeur-atomique 2eme personne 3eme personne indice-masculin indice genre masculin indice-feminin indice genre feminin indice-singulier indice nombre singulier indice-pluriel indice nombre pluriel indice-1ere indice personne 1ere indice-2eme indice personne 2eme indice-3eme indice personne 3eme indice-0 indice-1 indice-2 indice-3 indice-masculin indice-singulier indice-0 indice-3eme indice-2eme indice-pluriel indice-2 indice-feminin 1. Pour chaque paire de structure de traits (x,y), donnez le résultat de l unification entre x et y. A. B. C. indice-0 indice-2 indice-3eme singulier personne 2eme personne 3eme genre masculin nombre pluriel D. E. F. indice-feminin indice-masculin indice-2eme genre feminin genre masculin personne 2eme 3.3 Exercice 2: Unification de structures de traits non-typées avec valeur non-atomiques et réentrance 1. Pour chaque paire de structure de traits (x,y), donnez le résultat de l unification entre x et y. 3

4 A. SYNTAXE ACCORD SEMANTIQUE NOMBRE singulier TEMPS present B. SYNTAXE ACCORD PERSONNE 3eme C. ACCORD 1 SYNTAXE SUJET ACCORD 1 D. SYNTAXE SUJET NOMBRE pluriel E. SUJET NOMBRE pluriel SYNTAXE ACCORD NOMBRE pluriel 3.4 Unification de listes (avec structures de traits typées) Soit la hiérachie de types représentée par l arbre ci-dessous: synsem canonique non-canonique gap affixe-pronominal nul-pronominal 1. Pour chaque paire de structure de traits (x,y), donnez le résultat de l unification entre x et y. 4

5 A. COMPS canonique gap, LOC CAT TETE nom LOC CAT TETE prep B. canonique COMPS LOC CAT VAL SPR synsem synsem, LOC CAT C. synsem COMPS synsem, LOC CAT VAL SPR synsem MARQUE de D. COMPS gap synsem, LOC CAT TETE nom LOC CAT TETE prep 3.5 Unification d ensembles 1. Donnez tous les résultats possibles de l unification entre les structures de traits A et B. 2. Dites si l unification de deux ensembles peut échouer. A. B. OBJETS{ FORME rond OBJETS{ COULEUR rouge }, FORME carré }, COULEUR bleu 1. Pour chaque paire de structure de traits (x,y), donnez tous les résultats possibles de l unification entre x et y. A. B. C. OBJETS{ FORME rond OBJETS{ COULEUR rouge OBJETS{ COULEUR rouge }, FORME carré, COULEUR bleu }, FORME carré, COULEUR bleu }, COULEUR bleu 5

6 4 Structure du signe en HPSG signe mot syntagme signe PHON liste(forme) SYNSEM canonique mot signe SYNSEM CATEGORIE ST-ARG liste(synsem) syntagme signe BRANCHES liste(signe) synsem canonique non-canonique gap affixe-pronominal nul-pronominal synsem LOCAL local NON-LOCAL non-local local CATEGORIE categorie CONTENU contenu CONTEXTE contexte categorie TETE tete VALENCE valence MARQUE marque contenu INDICE indice RELATIONS ensemble(relation) indice NOMBRE nombre GENRE genre PERSONNE personne valence SUJ liste(synsem) SPR liste(synsem) COMPS liste(synsem) 6

Grammaires d unification

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étail

Analyse syntaxique et application aux langues naturelles. Grammaires Lexicales Fonctionnelles (LFG)

Analyse syntaxique et application aux langues naturelles. Grammaires Lexicales Fonctionnelles (LFG) Université de Nice Sophia Antipolis Master 2 Recherche PLMT Analyse syntaxique et application aux langues naturelles Grammaires Lexicales Fonctionnelles (LFG) Jacques Farré et Sylvain Schmitz Analyse syntaxique

Plus en détail

Analyse syntaxique ou grammaticale

Analyse syntaxique ou grammaticale Analyse syntaxique ou grammaticale Analyse syntaxique traditionnelle Généralement 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

Plus en détail

LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN

LES 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étail

Théorie des Graphes Cours 3: Forêts et Arbres II / Modélisation

Théorie des Graphes Cours 3: Forêts et Arbres II / Modélisation IFIPS S7 - informatique Université Paris-Sud 11 1er semestre 2009/2010 Théorie des Graphes Cours 3: Forêts et Arbres II / 1 Forêts et arbres II Théorème 1.1. Les assertions suivantes sont équivalentes

Plus en détail

CHAPITRE 2 GRAPHES 2.1 LES GRAPHES ET LEURS COMPOSANTES.

CHAPITRE 2 GRAPHES 2.1 LES GRAPHES ET LEURS COMPOSANTES. CHAPITRE 2 GRAPHES 2.1 LES GRAPHES ET LEURS COMPOSANTES. Faire le numéro 5 a)b) de la page 39 du cahier math 3000 Remarque importante : La somme des degrés de tous les sommets d un graphe est toujours

Plus en détail

2A-SI 4 - Bases de Données 4.4 - Normalisation de schémas relationnels

2A-SI 4 - Bases de Données 4.4 - Normalisation de schémas relationnels 2A-SI 4 - Bases de Données 4.4 - Normalisation de schémas relationnels Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Avec l aide du cours de Y. Bourda Intérêt de la «normalisation»

Plus en détail

FEUILLE D'ENGAGEMENT STATUT DE L'ENTRAINEUR CHAMPIONNAT U13 FEMININ REGION PRESENTIEL 1 (EJ) OU EN FORMATION PRESENTIEL 1 (EJ)

FEUILLE D'ENGAGEMENT STATUT DE L'ENTRAINEUR CHAMPIONNAT U13 FEMININ REGION PRESENTIEL 1 (EJ) OU EN FORMATION PRESENTIEL 1 (EJ) CHAMPIONNAT U13 FEMININ REGION Date :. du Président CHAMPIONNAT U13 MASCULIN REGION Date :. du Président CHAMPIONNAT U15 FEMININ REGION Date :. du Président CHAMPIONNAT U15 MASCULIN REGION Date :. du Président

Plus en détail

Grammaire Niveaux 4-5. 328 exercices pour les classes de CE2-CM1

Grammaire Niveaux 4-5. 328 exercices pour les classes de CE2-CM1 Grammaire Niveaux 4-5 328 exercices pour les classes de CE2-CM1 Les codes flash placés dans la marge permettent de retrouver facilement un exercice (la lettre indique le numéro du chapitre et le groupe

Plus en détail

Méthodes et outils pour l annotation manuelle ou semi-automatique de corpus

Méthodes et outils pour l annotation manuelle ou semi-automatique de corpus Méthodes et outils pour l annotation manuelle ou semi-automatique de corpus Yann Mathet, Antoine Widlöcher Laboratoire GREYC - Université de Caen Ecole thématique «Annotation de données langagières» Biarritz,

Plus en détail

fiche D AUTOCORRECTION Frimousse, une petite chienne qu'on a adoptée le mois dernier, est intelligente et docile.

fiche 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étail

Rapport des travaux du bureau d étude Prolog «Programmer en Prolog»

Rapport des travaux du bureau d étude Prolog «Programmer en Prolog» Ministère d Enseignement Supérieur, de Recherche Scientifique et de Technologies *** Ecole Nationale d Ingénieurs de Tunis ***** Département de Technologies d Informations et de Communications *******

Plus en détail

Grammaires formelles, Automates

Grammaires formelles, Automates 1/39 Grammaires formelles, Automates Pierre Zweigenbaum LIMSI, CNRS pz@limsi.fr http://www.limsi.fr/~pz/ 2/39 1 Syntaxe : grammaire, analyse 2 Grammaires formelles Langage et grammaire Grammaires régulières

Plus en détail

Mon code d autocorrection 1 er cycle. Est-ce que ma phrase débute par une MAJUSCULE et se termine par un point? J encercle la majuscule et le point.

Mon code d autocorrection 1 er cycle. Est-ce que ma phrase débute par une MAJUSCULE et se termine par un point? J encercle la majuscule et le point. Mon code d autocorrection 1 er cycle Structure de la phrase Est-ce que ma phrase se dit bien en français écrit? Je relis ma phrase. Je fais lire ma phrase par quelqu un. Ponctuation Est-ce que ma phrase

Plus en détail

EXAMEN FINAL. 2 Février 2006-2 heures Aucun document autorisé

EXAMEN FINAL. 2 Février 2006-2 heures Aucun document autorisé MIE - E ANNÉE ALGORITHMIQUE GÉNÉRALE Vincent Mousseau EXAMEN FINAL Février 006 - heures Aucun document autorisé Exercice : On s intéresse à la gestion informatique des réservations sur l année d une salle

Plus en détail

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé A. P. M. E. P. Exercice 1 5 points 1. Réponse d. : 1 e Le coefficient directeur de la tangente est négatif et n est manifestement pas 2e

Plus en détail

EXAMEN I31, 2015. La clarté et la concision de vos réponses est essentielle. Lisez l énoncé avant de répondre.

EXAMEN I31, 2015. La clarté et la concision de vos réponses est essentielle. Lisez l énoncé avant de répondre. EXAMEN I, 05 La clarté et la concision de vos réponses est essentielle. Lisez l énoncé avant de répondre. Euclide et Bézout Pour a = a 0 = 0,b = b 0 =. Première question. Calculez le PGCDg deaetb, ainsi

Plus en détail

Modélisation Conceptuelle. Partie 3: Validation et transformations

Modélisation Conceptuelle. Partie 3: Validation et transformations Modélisation Conceptuelle Partie 3: Validation et transformations Méthode de modélisation 1. Etude des besoins de l'entreprise interviews analyse des documents existants 2. Construction du diagramme EA

Plus en détail

Traitement de Langages et Dialogues Naturels par Ordinateur

Traitement de Langages et Dialogues Naturels par Ordinateur Traitement de Langages et Dialogues Naturels par Ordinateur Une introduction Philippe Muller muller@irit.fr Institut de Recherche en Informatique de Toulouse CNRS-Université Paul Sabatier http://www.irit.fr/

Plus en détail

TP4- IFT3330. Traitements de la langue naturelle

TP4- IFT3330. Traitements de la langue naturelle TP4- IFT3330 Traitements de la langue naturelle (à rendre avant midi le 13 décembre) Objectif Ce TP vise à vous familiariser avec les processus d'analyses de la langue naturelle, notamment, les analyses

Plus en détail

bleu cyan vert rouge magenta violet jaune orange

bleu cyan vert rouge magenta violet jaune orange 99 Les liens chromatiques simples 1 secondaire Soit: Utilisez une des deux teintes soit en rabattue, soit en rompue et l autre pure. bleu cyan vert rouge magenta violet jaune orange Soit: Utilisez l une

Plus en détail

Projet de Programmation Fonctionnelle

Projet de Programmation Fonctionnelle Projet de Programmation Fonctionnelle L objectif de ce projet est de concevoir, en Objective Caml, un évaluateur pour le langage mini-ml (un sous ensemble du langage Objective Caml). Votre programme devra

Plus en détail

T.P. Traitement Automatique des Langues (Retoré) Master Info 1ère année Université Bordeaux 1

T.P. Traitement Automatique des Langues (Retoré) Master Info 1ère année Université Bordeaux 1 T.P. Traitement Automatique des Langues (Retoré) Master Info 1ère année Université Bordeaux 1 Il s agit d illustrer le cours par une grammaire de clauses définiesà écrire en Sicstus Prolog. En fait Prolog

Plus en détail

Chapitre 6. Programmation Dynamique. Méthodes P.S.E.P. 6.1 Programmation dynamique. 6.1.1 Exemple introductif

Chapitre 6. Programmation Dynamique. Méthodes P.S.E.P. 6.1 Programmation dynamique. 6.1.1 Exemple introductif Chapitre 6 Programmation Dynamique. Méthodes P.S.E.P. 6.1 Programmation dynamique 6.1.1 Exemple introductif Problème : n matrices M i (m i, m i+1 ) à multiplier en minimisant le nombre de multiplications,

Plus en détail

Fondements linguistiques et informatiques pour le traitement au. naturelle écrite

Fondements linguistiques et informatiques pour le traitement au. naturelle écrite Fondements linguistiques et informatiques pour le traitement automatique de la langue naturelle écrite Philippe Muller, Patrick Saint-Dizier muller@irit.fr, stdizier@irit.fr http://www.irit.fr/ Philippe.Muller/Cours/Master2/

Plus en détail

DUT Informatique - Module M-4102C Modélisation et construction des applications réparties

DUT Informatique - Module M-4102C Modélisation et construction des applications réparties DUT Informatique - Module M-4102C Modélisation et construction des applications réparties Applications réparties (distributed systems) J. Christian Attiogbé Février 2009, maj 2015 J. Christian Attiogbé

Plus en détail

Généralités sur les graphes

Généralités sur les graphes Généralités sur les graphes Christophe ROSSIGNOL Année scolaire 2008/2009 Table des matières 1 Notion de graphe 3 1.1 Un peu de vocabulaire.......................................... 3 1.2 Ordre d un graphe,

Plus en détail

LES PROPORTIONS ET LES PARTAGES PROPORTIONNELS. Une proportion est une égalité de deux rapports (un rapport est une fraction, un quotient).

LES PROPORTIONS ET LES PARTAGES PROPORTIONNELS. Une proportion est une égalité de deux rapports (un rapport est une fraction, un quotient). CHAPITRE III LES PROPORTIONS ET LES PARTAGES PROPORTIONNELS I ] DEFINITION : Une proportion est une égalité de deux rapports (un rapport est une fraction, un quotient). Exemple : 3 = 3,6 est une proportion

Plus en détail

Brevet des collèges Polynésie septembre 2014

Brevet des collèges Polynésie septembre 2014 Brevet des collèges Polynésie septembre 2014 Durée : 2 heures Indication portant sur l ensemble du sujet. Toutes les réponses doivent être justifiées, sauf si une indication contraire est donnée. Pour

Plus en détail

Correction exercice corpus atypiques (1/9)

Correction exercice corpus atypiques (1/9) Correction exercice corpus atypiques (1/9) Repérer les incongruités syntaxiques et/ou sémantiques dans les extraits suivants (données attestées) Quelque chose qu a soulevé Annie et Christophe (prof de

Plus en détail

Module OMGL - UE ModDyn

Module OMGL - UE ModDyn Module OMGL - UE ModDyn Modélisation de la dynamique / Réseaux de Petri J. Christian Attiogbé Février 2009, maj 2012 J. Christian Attiogbé (Février 2009, maj 2012) Module OMGL - UE ModDyn 1 / 34 Plan de

Plus en détail

Mathématiques Pour l Informatique I : Théorie des Ensembles et Relations. Serge Iovleff

Mathématiques Pour l Informatique I : Théorie des Ensembles et Relations. Serge Iovleff Mathématiques Pour l Informatique I : Théorie des Ensembles et Relations Serge Iovleff 13 septembre 2004 Quelques références Ma Page http ://www.iut-info.univ-lille1.fr/ iovleff Un Cours réalisé par des

Plus en détail

TES Spécialité Maths Eléments de correction du DNS n 8 du Jeudi 2 Mai 2013. Graphe et codage binaire ( d après Déclic TES)

TES Spécialité Maths Eléments de correction du DNS n 8 du Jeudi 2 Mai 2013. Graphe et codage binaire ( d après Déclic TES) TES Spécialité Maths Eléments de correction du DNS n 8 du Jeudi 2 Mai 2013 Objectifs : donner du sens à un calcul matriciel graphe étiqueté chercher de nouveaux problèmes Un codage binaire peut se faire

Plus en détail

Statistiques émies par l'ordre des Infirmières et infirmiers au Liban 01-09-2015

Statistiques émies par l'ordre des Infirmières et infirmiers au Liban 01-09-2015 01-09-2015 1- Répartition des infirmier/es inscrit/es à l'ordre selon le genre Genre Effectif Pourcentage Féminin 10497 80.31% Masculin 2573 19.69% Total 13070 100.00% 2- Répartition des infirmier/es inscrit/es

Plus en détail

Aujourd hui, j ai parlé en français: Maquette générale

Aujourd hui, j ai parlé en français: Maquette générale 1 Aujourd hui, j ai parlé en français: Maquette générale Niveaux du CECR : A1 Public : Adolescents à la découverte du français Contexte d enseignement-apprentissage : Cours de FLE Supports technologiques

Plus en détail

Calculer la probabilité d un événement

Calculer la probabilité d un événement THEME : CORRIGE DES EXERCICES PROBABILITES Calculer la probabilité d un événement Exercice n : Un sachet contient bonbons à la menthe, à l orange et au citron. On tire, au hasard, un bonbon du sachet et

Plus en détail

2A-SI 4 - Bases de Données 4.4 - Normalisation de schémas relationnels

2A-SI 4 - Bases de Données 4.4 - Normalisation de schémas relationnels 2A-SI 4 - Bases de Données 4.4 - Normalisation de schémas relationnels Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Avec l aide du cours de Y. Bourda Intérêt de la normalisation

Plus en détail

THEORIE DES LANGAGES & COMPILATION

THEORIE DES LANGAGES & COMPILATION THEORIE DES LANGAGES & COMPILATION Parie I: Langages réguliers & Automates + Analyse lexicale. Partie II: Compilation: Grammaires, Analyse syntaxique, Sémantique. Intervenants: M. CHABBAR : Cours partie

Plus en détail

Planification des savoirs essentiels 3 e année Écriture / Grammaire Étape 1 Lexique. Orthographe d usage. Le sens des mots. Mots à plusieurs sens

Planification des savoirs essentiels 3 e année Écriture / Grammaire Étape 1 Lexique. Orthographe d usage. Le sens des mots. Mots à plusieurs sens Planification des savoirs essentiels 3 e année Écriture / Grammaire Étape 1 Lexique Le sens des mots Mots à plusieurs sens Mots qui ont la même forme au féminin et au masculin Les dictionnaires L ordre

Plus en détail

Introduction à la théorie des graphes. Solutions des exercices

Introduction à la théorie des graphes. Solutions des exercices CAHIERS DE LA CRM Introduction à la théorie des graphes Solutions des exercices Didier Müller CAHIER N O 6 COMMISSION ROMANDE DE MATHÉMATIQUE 1 Graphes non orientés Exercice 1 On obtient le graphe biparti

Plus en détail

EVOLUTIONS EXOGENES. REVER S.A. Belgique Tél : +32 71 20 71 61 http://www.rever.eu

EVOLUTIONS EXOGENES. REVER S.A. Belgique Tél : +32 71 20 71 61 http://www.rever.eu EVOLUTIONS EXOGENES Les contenus 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 être considérés comme un engagement

Plus en détail

Des grammaires en Prolog? DCG et ALE - Une petite introduction

Des grammaires en Prolog? DCG et ALE - Une petite introduction Des grammaires en Prolog? DCG et ALE - Une petite introduction Laleh Ghadakpour et François Yvon Ecole Nationale Supérieure des télécommunications Departement Informatique et Réseaux 2 avril 2007 Plan

Plus en détail

Réseau québécois du crédit communautaire Le microcrédit québécois original

Réseau québécois du crédit communautaire Le microcrédit québécois original IDENTITÉ VISUELLE DU RÉSEAU/structure Réseau québécois du crédit communautaire Le microcrédit québécois original Le logo du RQCC doit toujours apparaître avec le thème accolé tel que présenté ci-dessus

Plus en détail

Courbes représentatives de fonctions

Courbes représentatives de fonctions Courbes représentatives de fonctions I) Définitions. Soit une fonction définie sur un intervalle, à valeurs dans. 1) Graphe de la fonction. a) Définition. Le graphe de la fonction est l ensemble des couples

Plus en détail

TP 7 : Manipulation d images.

TP 7 : Manipulation d images. Lycée Masséna TP 7 : Manipulation d images. On va voir deux choses dans ce TP : les tableaux Numpy, qui sont très pratiques pour les opérations terme à terme entre tableaux de nombres à plusieurs dimensions.

Plus en détail

Maîtrise Informatique 2003 / 2004. Devoir de PROLOG. Julien Van Den Bossche / Benoît Moulin

Maîtrise Informatique 2003 / 2004. Devoir de PROLOG. Julien Van Den Bossche / Benoît Moulin Maîtrise Informatique 2003 / 2004 Devoir de PROLOG Julien Van Den Bossche / Benoît Moulin Devoir de PROLOG, Julien Van Den Bossche / Benoît Moulin Page 1 sur 10 Généralités sur le devoir Les codes sources

Plus en détail

Savoirs de base. S initier Se perfectionner Maîtriser. Corrigés des tests de positionnement

Savoirs de base. S initier Se perfectionner Maîtriser. Corrigés des tests de positionnement Savoirs de base S initier Se perfectionner Maîtriser Corrigés des tests de positionnement Mathématiques x Dans la collection «Savoirs de base», les cours «S initier» et «Se perfectionner» proposent de

Plus en détail

Il y a 24 individus en ligne (les modèles de voitures) et 6 variables en colonnes (paramètres mécaniques). Valeurs propres

Il y a 24 individus en ligne (les modèles de voitures) et 6 variables en colonnes (paramètres mécaniques). Valeurs propres VOITURE: On étudie 6 différents paramètres mécaniques (les variables), exprimées dans des unités différentes, de 24 modèles de voitures (les individus). Modèle Cylindre Puissance Vitesse Poids Longueur

Plus en détail

INGÉNIERIE DES CONNAISSANCES CONSTRUCTION D ONTOLOGIES À PARTIR DE TEXTES (1)

INGÉNIERIE DES CONNAISSANCES CONSTRUCTION D ONTOLOGIES À PARTIR DE TEXTES (1) 09.02.2002 INGÉNIERIE DES CONNAISSANCES CONSTRUCTION D ONTOLOGIES À PARTIR DE TEXTES (1) Outils de traitement automatique des langues pour la construction d ontologies à partir de textes Didier BOURIGAULT

Plus en détail

SEO Camp'us -4 et 5 février 2009. Directeur du pôle métiers Aposition

SEO Camp'us -4 et 5 février 2009. Directeur du pôle métiers Aposition L'apport de la sémantique et de la linguistique statistique pour le SEO SEO Camp'us -4 et 5 février 2009 Philippe YONNET Directeur du pôle métiers Aposition Président de l association SEOCamp Comment classer

Plus en détail

L ACCORD DES PRÉTENDUS ADJECTIFS COMPOSÉS, DE COULEUR OU AUTREMENT

L ACCORD DES PRÉTENDUS ADJECTIFS COMPOSÉS, DE COULEUR OU AUTREMENT LE BULLETIN DU DÉPARTEMENT DE FRANÇAIS DU CÉGEP DE SAINTE-FOY Vol. 1, n o 6 5 CH.-H. AUDET L ACCORD DES PRÉTENDUS ADJECTIFS COMPOSÉS, DE COULEUR OU AUTREMENT D après Ch.-H. Audet, Morphologie et syntaxe

Plus en détail

L arc de triomphe. Rallye piéton. Questionnaire 1. Schéma d orientation sur la place de l Etoile. Complétez le texte manquant :

L arc de triomphe. Rallye piéton. Questionnaire 1. Schéma d orientation sur la place de l Etoile. Complétez le texte manquant : L arc de triomphe Questionnaire 1 Complétez le texte manquant : Schéma d orientation sur la place de l Etoile Trouvez sur quel pilier on peut observer : - un homme effrayé s accrochant à la jambe de quelqu

Plus en détail

Manipulation d image avec numpy

Manipulation d image avec numpy Manipulation d image avec numpy 1 Format numérique d image Une image peut être numérisée sous forme d image matricielle (en anglais «bitmap») par une matrice de points colorés. Cette matrice a n lignes

Plus en détail

Découverte de Règles Associatives Hiérarchiques entre termes. Sandra BSIRI Hamza Mahdi ZARG AYOUNA Chiraz L.Chérif Sadok BENYAHIA

Découverte de Règles Associatives Hiérarchiques entre termes. Sandra BSIRI Hamza Mahdi ZARG AYOUNA Chiraz L.Chérif Sadok BENYAHIA Découverte de Règles Associatives Hiérarchiques entre termes Sandra BSIRI Hamza Mahdi ZARG AYOUNA Chiraz L.Chérif Sadok BENYAHIA 1 Plan Problématique et État de l art Nouvelle approche Approche Conceptuelle

Plus en détail

UJF Licence Sciences INF 112. TP3 : Partie 1 : Les macros-commandes de Microsoft PowerPoint Partie 2 : Les macros-commandes de Microsoft Excel

UJF Licence Sciences INF 112. TP3 : Partie 1 : Les macros-commandes de Microsoft PowerPoint Partie 2 : Les macros-commandes de Microsoft Excel UFR IMA Informatique & Mathématiques Appliquées Grenoble 1 UNIVERSITE JOSEPH FOURIER Sciences, Technologie, Médecine : Partie 1 : Les macros-commandes de Microsoft PowerPoint Partie 2 : Les macros-commandes

Plus en détail

Sujet n 1. Sujet n 2

Sujet n 1. Sujet n 2 Exercices d oraux Consignes : L oral comporte deux questions dont une de spécialité pour le candidats concernés. L épreuve est constituée d une préparation d une vingtaine de minutes suivie d un entretien

Plus en détail

Notes de cours de spé maths en Terminale ES

Notes de cours de spé maths en Terminale ES Spé maths Terminale ES Lycée Georges Imbert 05/06 Notes de cours de spé maths en Terminale ES O. Lader Table des matières Recherche de courbes sous contraintes, matrices. Systèmes linéaires.......................................

Plus en détail

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1 Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation

Plus en détail

Dags Connexité 1. Rappel sur les listes class Liste { int val; Liste suivant; Liste (int x, Liste s) { val = x; suivant = s; } }

Dags Connexité 1. Rappel sur les listes class Liste { int val; Liste suivant; Liste (int x, Liste s) { val = x; suivant = s; } } Inf Cours Dags Connexité jeanjacqueslevynet secrétariat de l enseignement: Catherine Bensoussan cb@lixpolytechniquefr Aile, LIX, Rappel sur les listes class Liste { int val; Liste suivant; Liste (int x,

Plus en détail

Arbres binaires de recherche

Arbres binaires de recherche Chapitre 1 Arbres binaires de recherche 1 Les arbre sont très utilisés en informatique, d une part parce que les informations sont souvent hiérarchisées, et peuvent être représentées naturellement sous

Plus en détail

Coloriages et invariants

Coloriages et invariants DOMAINE : Combinatoire AUTEUR : Razvan BARBULESCU NIVEAU : Débutants STAGE : Montpellier 013 CONTENU : Exercices Coloriages et invariants - Coloriages - Exercice 1 Le plancher est pavé avec des dalles

Plus en détail

TP 1 M1 Informatique Apprentissage Automatique. Premières classifications : apprentissage et évaluation

TP 1 M1 Informatique Apprentissage Automatique. Premières classifications : apprentissage et évaluation Premières classifications : apprentissage et évaluation L objectif de ce TP est double : prise en main de la bibliothèque scikit-learn de Python, dédiée à l apprentissage automatique, sensibilisation à

Plus en détail

Harmonie des couleurs vocabulaire

Harmonie des couleurs vocabulaire Source : La couleur et ses accords - Robert Montchaud - Editions Fleurus - 2004 Harmonie des couleurs vocabulaire primaire intermédiaire intermédiaire secondaire Tonique pure secondaire intermédiaire intermédiaire

Plus en détail

Plan du cours de Programmation logique

Plan du cours de Programmation logique Plan du cours de Programmation logique 1 Introduction 2 3 Igor Stéphan 1/ 64 La logique comme langage de programmation Un langage de programmation logique est défini par : un langage des données Ω; et

Plus en détail

Les graphes d intervalles

Les graphes d intervalles Les graphes d intervalles Complément au chapitre 3 «Vol aux archives cantonales» Considérons un ensemble de tâches ayant chacune une heure de début et une heure de fin bien précises. Supposons qu on demande

Plus en détail

PROGRAMMATION ÉCRITURE LECTURE Mon CP avec Papyrus Manuel + fichier d exercices

PROGRAMMATION ÉCRITURE LECTURE Mon CP avec Papyrus Manuel + fichier d exercices PREMIÈRE PÉRIODE Support : Conte La planète des Alphas Étude du code - a, o, i, u, y, é, e, f, - Combinatoire - m, s, r, l, j, ch, v - Écrire des syllabes. - Écrire des mots. - Écrire une phrase dictée.

Plus en détail

IUT STID, 1 ère année Découverte de logiciels statistiques Prise en main du logiciel SPAD

IUT STID, 1 ère année Découverte de logiciels statistiques Prise en main du logiciel SPAD Université de Perpignan - IUT de Carcassonne Vivien ROSSI Année 2006/2007 IUT STID, 1 ère année Découverte de logiciels statistiques Prise en main du logiciel SPAD Ce document est tiré du site : http ://www.stat.ucl.ac.be/ispersonnel/lecoutre/stats/spad/

Plus en détail

Sujet de mathématiques du brevet des collèges

Sujet de mathématiques du brevet des collèges Sujet de mathématiques du brevet des collèges POLYNÉSIE Septembre 014 Durée : h00 Calculatrice autorisée Indication portant sur l ensemble du sujet. Toutes les réponses doivent être justifiées, sauf si

Plus en détail

Structures de données non linéaires

Structures de données non linéaires Structures de données non linéaires I. Graphes Définition Un graphe (simple) orienté G est un couple (S, A), où : S est un ensemble dont les éléments sont appelés les sommets. A est un ensemble de couples

Plus en détail

INTRODUCTION AU DATA MINING

INTRODUCTION AU DATA MINING INTRODUCTION AU DATA MINING 6 séances de 3 heures mai-juin 2006 EPF - 4 ème année - Option Ingénierie d Affaires et de Projets Bertrand LIAUDET Phase 4 : Modélisation non-supervisée - 5 : Règles d association

Plus en détail

Fonction polynôme du second degré : Forme canonique

Fonction polynôme du second degré : Forme canonique Fonction polynôme du second degré : Forme canonique I) Introduction. Soit g(x) = a(x - s)²+h. Toute fonction polynôme du second degré peut s écrire sous cette forme. Le passage de la forme développée à

Plus en détail

Savoirs de base. S initier Se perfectionner Maîtriser. Tests de positionnement autocorrectifs

Savoirs de base. S initier Se perfectionner Maîtriser. Tests de positionnement autocorrectifs Savoirs de base S initier Se perfectionner Maîtriser Tests de positionnement autocorrectifs Mathématiques x Dans la collection «Savoirs de base», les cours «S initier» et «Se perfectionner» proposent de

Plus en détail

STATISTIQUES A UNE VARIABLE EXERCICES CORRIGES

STATISTIQUES A UNE VARIABLE EXERCICES CORRIGES STATISTIQUES A UNE VARIALE EXERCICES CORRIGES Exercice n Les élèves d une classe ont obtenu les notes suivantes lors d un devoir : Note 4 5 8 0 4 5 8 0 Effectif 4 7 6 4 ) Déterminer l étendue et le mode

Plus en détail

Théorie des graphes. 1 Définitions. Nous allons introduire les définitions au fur et à mesure en essayant de montrer que l énoncé suivant est vrai :

Théorie des graphes. 1 Définitions. Nous allons introduire les définitions au fur et à mesure en essayant de montrer que l énoncé suivant est vrai : Université de Provence 2008-2009 Licence MI 1ère année-s1 Mathématiques générales I Théorie des graphes Table des matières 1 Définitions 1 2 Chemins, Cycles et Connexité 5 1 Définitions Nous allons introduire

Plus en détail

Cours 3 14 octobre Notations et rappels de théorie des graphes

Cours 3 14 octobre Notations et rappels de théorie des graphes Introduction aux modèles graphiques 2009/2010 Cours 3 14 octobre 2009 Enseignant: Francis Bach Scribe: Thierry Guillemot, Amandine Schreck 3.1 Notations et rappels de théorie des graphes Un graphe G est

Plus en détail

Toute situation est soit perdante, soit gagnante

Toute situation est soit perdante, soit gagnante Toute situation est soit perdante, soit gagnante Toute situation est soit perdante, soit gagnante Toute situation est soit perdante, soit gagnante Toute situation est soit perdante, soit gagnante Toute

Plus en détail

Analyse syntaxique : Grammaires d unification

Analyse syntaxique : Grammaires d unification Analyse syntaxique : Grammaires d unification Anne Vilnat LIMSI, UPSud 28 novembre 2013 Anne Vilnat (LIMSI, UPSud) Analyse syntaxique : Grammaires d unification 28 novembre 2013 1 / 18 Plan 1 Analyse syntaxique

Plus en détail

Algorithmes pour les graphes

Algorithmes pour les graphes Algorithmes pour les graphes 1 Définitions Un graphe est représenté par : V : L ensemble des noeuds ou sommets. E : L ensemble des arcs ou arrêtes. E est un sous-ensemble de V xv. On note G = (V, E). Si

Plus en détail

Méthodes de Résolution de problèmes En Intelligence Artificielle

Méthodes de Résolution de problèmes En Intelligence Artificielle Méthodes de Résolution de problèmes En Intelligence Artificielle Résolution de Problèmes et Intelligence Artificielle Résoudre des puzzles Jouer aux échecs Faire des mathématiques Et même conduire une

Plus en détail

Chapitre 2 : Conception de base de données relationnelle

Chapitre 2 : Conception de base de données relationnelle Chapitre 2 : Conception de base de données relationnelle Le modèle entité-association 1. Les concepts de base 1.1 Introduction Avant que la base de données ne prenne une forme utilisable par le SGBD il

Plus en détail

LE PROBLEME DU PLUS COURT CHEMIN

LE PROBLEME DU PLUS COURT CHEMIN LE PROBLEME DU PLUS COURT CHEMIN Dans cette leçon nous définissons le modèle de plus court chemin, présentons des exemples d'application et proposons un algorithme de résolution dans le cas où les longueurs

Plus en détail

Cours de Statistiques

Cours de Statistiques Cours de Statistiques Romain Raveaux 1 1 Laboratoire L3I Université de La Rochelle romain.raveaux01 at univ-lr.fr Octobre 24-11, 2008 1 / 35 Sommaire 1 Quelques Rappels 2 numériques Relations entre deux

Plus en détail

Réflexion sur la «Parité» Etude des données de l année 2014 et Evolution 2012-2014

Réflexion sur la «Parité» Etude des données de l année 2014 et Evolution 2012-2014 Réflexion sur la «Parité» Etude des données de l année 2014 et Evolution 2012-2014 Grâce à la mise en place d outils de suivi, nous avons à notre disposition, pour l année 2014, des données nouvelles pour

Plus en détail

Théorie de la Normalisation 1/44

Théorie de la Normalisation 1/44 Théorie de la Normalisation 1/44 La phase de design d une BD q Analyse des besoins q Design conceptuel q Modèle EA, UML q Design logique q EA vers relations q raffinement de schéma: normalisation q Design

Plus en détail

Chapitre 5. Calculs financiers. 5.1 Introduction - notations

Chapitre 5. Calculs financiers. 5.1 Introduction - notations Chapitre 5 Calculs financiers 5.1 Introduction - notations Sur un marché économique, des acteurs peuvent prêter ou emprunter un capital (une somme d argent) en contrepartie de quoi ils perçoivent ou respectivement

Plus en détail

Épreuve d informatique 2011

Épreuve d informatique 2011 A 2011 INFO. MP ÉCOLE NATIONALE DES PONTS ET CHAUSSÉES, ÉCOLES NATIONALES SUPÉRIEURES DE L AÉRONAUTIQUE ET DE L ESPACE, DE TECHNIQUES AVANCÉES, DES TÉLÉCOMMUNICATIONS, DES MINES DE PARIS, DES MINES DE

Plus en détail

MES COMPETENCES EN ORTHOGRAPHE CE1

MES COMPETENCES EN ORTHOGRAPHE CE1 MES COMPETENCES EN ORTHOGRAPHE CE1 OBJECTIFS BLANCHE JAUNE ORANGE VERTE BLEUE MARRON NOIRE sons complexes homonymes grammaticaux règ orthographiques l orthographe des mots normes de l écriture [j] [g]

Plus en détail

Algorithmique et Analyse d Algorithmes

Algorithmique et Analyse d Algorithmes Algorithmique et Analyse d Algorithmes L3 Info Cours 11 : Arbre couvrant Prétraitement Benjamin Wack 2015-2016 1 / 32 La dernière fois Rappels sur les graphes Problèmes classiques Algorithmes d optimisation

Plus en détail

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables

Plus en détail

COURS DE THÉORIE DES GRAPHES ORGANISATION PRATIQUE & PROJET

COURS DE THÉORIE DES GRAPHES ORGANISATION PRATIQUE & PROJET COURS DE THÉORIE DES GRAPHES ORGANISATION PRATIQUE & PROJET Pour le lundi 26 octobre 2015, chaque étudiant aura choisi les modalités d examen le concernant : 1) projet d implémentation, exercices, partie

Plus en détail

CHAPITRE II CONCEPTION D'UN SCHEMA RELATIONNEL. [GARD01] Chapitre XVII

CHAPITRE II CONCEPTION D'UN SCHEMA RELATIONNEL. [GARD01] Chapitre XVII CHAPITRE II CONCEPTION D'UN SCHEMA RELATIONNEL [GARD01] Chapitre XVII 27 CONCEPTION D'UN SCHEMA RELATIONNEL - Introduction 1. INTRODUCTION 1.1. Lien entre la base de données et le système d'information

Plus en détail

CAHIER DE L ENTRAINEUR CATÉGORIE U13

CAHIER DE L ENTRAINEUR CATÉGORIE U13 CAHIER DE L ENTRAINEUR CATÉGORIE U13 PROGRAMME DE 24 SÉANCES COORDINATION 15 20 20 20 TOUJOURS FAIRE TRAVAILLER LES 2 PIEDS LORS DES ATELIERS S ET LAISSER LIBRE DANS LES JEUX SÉANCE 1 ENTRE CHAQUE EXERCICE

Plus en détail

Pour mettre à niveau à partir de Windowmaker 5, veuillez consulter Les Nouveautés de Windowmaker 2012

Pour mettre à niveau à partir de Windowmaker 5, veuillez consulter Les Nouveautés de Windowmaker 2012 Sommaire Prérequis pour la mise à niveau... 1 Améliorations d ordre général... 1 Windowmaker pour Windows 8... 1 Pourcentage de bradage maximum... 1 Encore facile de maintenir les coûts pour les pièces

Plus en détail

Construire des analyseurs avec DyALog

Construire des analyseurs avec DyALog TALN 2002, Nancy, 24 27 juin 2002 Construire des analyseurs avec DyALog Éric Villemonte de la Clergerie ATOLL - INRIA Domaine de Voluceau Rocquencourt, B.P. 105,78153 Le Chesnay (France) Eric.De_La_Clergerie@inria.fr

Plus en détail

Stockage et utilisation d un multi direct acyclique graphe pour PostgreSQL 8.2. Jonathan Winandy Juillet 2008

Stockage et utilisation d un multi direct acyclique graphe pour PostgreSQL 8.2. Jonathan Winandy Juillet 2008 Stockage et utilisation d un multi direct acyclique graphe pour PostgreSQL 8.2 Jonathan Winandy Juillet 2008 1 Table des matières 1 Introduction 3 2 Le modèle Nested set 3 2.1 Présentation du modèle..........................................

Plus en détail

Maîtriser les fonctionnalités d un traitement de texte (Word OpenOffice)

Maîtriser les fonctionnalités d un traitement de texte (Word OpenOffice) Utilisation de l'ordinateur et apport des TIC en enseignement (1NP) Module 03 Maîtriser les fonctionnalités d un traitement de texte. Sens du Module De nombreux documents remis aux enfants sont réalisés

Plus en détail

Exercice n 1. Exercice n 2

Exercice n 1. Exercice n 2 Exercice n Un sac contient une boule verte, une boule rouge et une boule bleue. On tire successivement deux boules du sac. Mais avant de tirer la deuxième boule, on remet dans le sac la première boule

Plus en détail

Le WEB : HTML. Formation Systèmes d'information et numérique. Exercices en HTML

Le WEB : HTML. Formation Systèmes d'information et numérique. Exercices en HTML 1 ère STI2D TD V1.0 Le WEB : HTML Formation Systèmes d'information et numérique 1) Exercice 1 : Texte simple : Exercices en HTML A l aide de Notepad++, créez une page web Ex1.html qui contient «Hello World!»

Plus en détail

Logique et bases de données

Logique et bases de données Logique et bases de données Vision logique d une BD relationnelle Signification des règles logiques Le modèle DATALOG Evaluation des règles non récursives Signification et évaluation des règles récursives

Plus en détail