De l'Informatique outil au Langage Informatique créé par le Web et à la valeur de l'Information. Université Paris II & LRI Michel de Rougemont

Présentation au sujet: "De l'Informatique outil au Langage Informatique créé par le Web et à la valeur de l'Information. Université Paris II & LRI Michel de Rougemont"— Transcription de la présentation:

1 De l'Informatique outil au Langage Informatique créé par le Web et à la valeur de l'Information. Université Paris II & LRI Michel de Rougemont mdr@lri.fr http://www.lri.fr/~mdr

2 Informatique Outil Depuis 1960: 1.Informatique de Gestion : Cobol 2.Informatique Scientifique: Fortran Depuis 1975: 1.Outils de bureautique 2.Bases de données: SQL Depuis 1995: 1.Navigateur: IExplorer 2.Moteurs de recherche : Google 3.Services Web: Amazon

3 Langage, Valeur de l’information et des Services 1.Langage du Web Outil multi-langue Moteurs google.com, google.fr, google.de….. 2.Modèles de valeur de l’information Valeur d’un fichier Valeur d’un mail. Valeur relative d’un fichier XML. 3.Services et Economie numérique Services Web Futurs services 4.Science de l’Informatique pour: Régulation Création de services

4 Valeur d’un site 1.Valeur Google Autorité, Valeur statique « A est grand si de nombreux sites de grande autorité pointent vers A » 2. Valeur $ d’un service WEB 3. Autres mesures possibles service d’une administration service d’une association

5 Actualités Google news.google.com news.google.fr Le 28.02.04

6 Valeur d’un email 1. Comment faire la différence entre un vrai mail et un SPAM? 2. Pousuites légales de Spammers 3. Modifications au protocole de mail (pop, smtp)

7 Logique et hasard Fondements de l’Informatique 1.Logique 2.Algorithmique 3.Hasard et Approximation Calculer f(x)=y peut être difficile Estimer peut être facile.

8 Exemple: calcul fiable Comment calculer fiablement à partir de composants non-fiables? Chaque composant (+, /) fait 30% d’erreur dans l’intervalle [1,100] Remarque pour: Algorithme: calculer Résultat = réponse majoritaire, erreur Même technique pour f(x,y,z).

9 Protocole valorisé d’email 1.Introduire un timbre numérique pour combattre la gratuité. 2.La timbre est un calcul plus ou moins long imposé par le destinataire à l’expéditeur. 3.Le destinataire peut vérifier le calcul très rapidement. 4.Modifications au protocole de mail (pop, smtp)

10 Valeur proportionnelle au calcul demandé à A par B Modifications au protocole de mail (pop, smtp) 1.A prend un ticket sur la page Web de B. (Entrée x d’un problème) 2.A calcule f(x)=y 3.A envoie y et l’Email 4.B vérifie y A B 1. ticket 3. Résultat et Email 2.Calcul

11 A calcule une fonction polynomiale A prend un ticket sur la page Web de B. B : génère un polynôme aléatoire de degré n B: choisit n+1 valeurs aléatoires Ticket= A doit trouver P(x) à partir du ticket. Interpolation ou Inversion matricielle

12 B vérifie le calcul B garde P(x) lorsqu’il génère le ticket. Vérifier consiste à comparer les coefficients de P(x) avec ceux envoyés par A. On peut paramétrer: le degré, la précision des valeurs aléatoires pour forcer A à calculer 10 minutes 30 minutes…. Interpolation est polynomiale La vérification est triviale

13 Régulation et sécurité informatique Problèmes tels que: DRM: gestion des droits digitaux Routage équilibré Détection d’intrus Solutions définissent des modèles de valeur. Solution technique allie algorithmique et hasard

14 Valeur d’un document XML? 1.Structure de document: comment différencier un livre, d’un rapport, d’un document administratif ? 2.Solution XML : DTD (Data Type Definition) Définit la structure. Le document doit suivre cette structure 3.Comment mesurer l’écart d’un document avec une DTD ?

15 XML document DTD.. Logic mdr

16 XML avec erreurs

17 Valeur XML=dist(F, DTD) 1.Définition: dist(F, DTD) est la plus petite distance d’Edition entre F et F’ accepté par la DTD. 2.Distance est difficile à calculer. 3.On peut décider facilement (O(1)) si la distance est grande. 4.Si la distance est petite, on peut corriger F, et obtenir F’. http://www.lri.fr/~mdr/xml/

18 Applications futures 1.Web sémantique Recherche de documents structurés: Exemples: L’article du Monde dont une section parle de XML. La séquence vidéo qui montre le discours de Clinton à l’ONU. 2.Nouveaux services

19 Sciences du langage 1.Sens et Dénotation. Langages artificiels ne capturent que la dénotation. Comment s’intéresser à d’autre propriétés (intensionnelles). 2.La valeur est une propriété intensionnelle: Approximable Avec le hasard

20 1.Satisfiabilité : U |= F 2.Satisfiabilité approchée U |= F Image sur la classe K des arbres Satisfiabilité approchée

21 Conclusion Modèles de Valeur –Site : pagerank –Email : calcul –XML, relative à une DTD Test et correction de langages réguliers Economie Numérique –Création de service qui a une valeur économique. Sciences du langage –Intension et approximation

22 Arbres binaires : p-Distance avec permutation Tree-Edit-Distance Dist(T1,T2) =2 p-Dist (T1,T2) =1 Dist (T, L) = Min Dist (T,T’) a e b cd a e b c a e b cd f e Deletion Insertion

23 Logique, testeurs, et correcteurs Un Testeur décides |= pour une formule F. Un Correcteur prend un arbre T proche d’un language L et trouve T’ dans L proche de T. Possible si L suit une logique simple. Théorème. Il existe un correcteur pour le langage des arbres réguliers à distance constante.

24 Exemple simple Testeur pour 0+ 1* 0+ Types de segments: 000000011111110000010000 probablement accepté 011110000000111111 rejeté avec grande probabilité 00 1 00000 11111 00011 11100 01100 00 Correcteur pour 0+ 1* 0+ 00000001111110000100000 *

25 Décomposition arborescente XML peut être transformé en un arbre binaire

26 XML avec erreurs

27 XML corrigé No ambiguities on the possible states of q’’ Immediate correction!

28 Règles de correction XML q1q2qq’ q’’ -p1 t c ……- - - q1 q2 q’’ instead of * Action Insert, Link Delete, Delete

29 Valeur relative de documents Pour une DTD, marquer les documents Web comme suit: –Infini s’ils sont loins –Dist(Document,DTD)=i On obtient un paysage valué relatif à une DTD. Combinaisons booléennes Generalization à –Min{ Dist(D,DTD’) : }

30 Informatique-Economie Diplôme Universitaire Modèles de l’Economie Numérique (Université Paris II) http://dup2.free.fr Futur Master Economie et Complexité, Ecole des Mines-Paris, Paris II