FR 2853429 A1 20041008 FR 0450537 A 20040317 Système de traitement informatique permettant à des utilisateurs d'un réseau de communication, notamment du type Internet, de générer des documents fonctionnels à partir d'informations techniques. La présente invention concerne le domaine de la sémantique dans ses 5 applications à la génération de documents comportant une fonctionnalité prédéterminée. Depuis le milieu des années 1980, la sémantique, sans s'éloigner de la rigueur méthodologique fondatrice (voir notamment les travaux de Frege et Montague) a élaboré des théories et des formalismes destinés à assurer la flexibilité et la couverture empirique requises pour un 10 traitement fin des données linguistiques. Des éléments initiateurs très significatifs de ce développement sont la généralisation du modèle de la quantification, l'émergence des théories dynamiques et des re-délimitations des domaines respectifs de la sémantique et de la pragmatique. La sémantique dite formelle inclut des étapes descriptive et analytique elles15 mêmes suivies d'une étape de modélisation, qui vise à valider les prédictions fondées sur les observations et, plus fondamentalement, à pénétrer les mécanismes abstraits de construction du sens. Plusieurs études, connues de l'art antérieur, montrent la valeur ajoutée de la modélisation dans une démarche explicative et donc prédictive. Des modèles 20 algorithmiques nouveaux permettent désormais de fusionner des représentations structurées (éventuellement révisables) et non structurées d'une même source d'information technique (un document). Ces nouveaux modèles cherchent à harmoniser des concepts développés dans les domaines de l'indexation automatique des données multimédia, du traitement du 25 langage naturel et des bases de données relationnelles, objets ou déductives, dans le but d'améliorer sensiblement la qualité des accès à l'information archivée, moyennant un effort de structuration des données raisonnable, capitalisable et révisable. Ces recherches ont notamment donné lieu à la réalisation d'outils d'indexation automatique, de recherche et de filtrage d'information multimédia, disponibles au format XML. Des logiciels dédiés au traitement des données, de type séries temporelles ou séquentielles, sont apparus. La recherche par similarité dans les banques de séries temporelles ou séquentielles de grande taille joue un rôle croissant dans nombre 5 d'applications qui relèvent de la recherche d'information multimédia, du "data mining" ou de la classification automatique. En particulier, on peut citer l'analyse de sous-séquences génomiques, la comparaison de données pathologiques évolutives, la recherche de similarité dans les cours des valeurs boursières, la recherche de similarité dans les partitions musicales 10 et/ou bandes sonores utilisée notamment dans la gestion des droits d'auteurs. Or dans la plupart des cas de réalisations logicielles, l'objectif fonctionnel poursuivi n'est que très rarement atteint du fait d'une confusion, ou assimilation fréquente, entre bases de données dynamiques et bibliothèques virtuelles accessibles notamment via un réseau de type 15 Internet. En effet, les bibliothèques virtuelles ou bibliothèques numériques doivent permettre de retrouver en ligne toutes les facettes des bibliothèques classiques (réservoir de documents, lieu de confrontation du lecteur avec le multimédia, lieu de conservation de documents, lieu d'organisation des connaissances par la classification et le catalogage, aide bibliographique). 20 De ce fait, la mise en place de bibliothèques virtuelles implique plusieurs domaines de recherche: la numérisation des documents, la classification et l'indexation des documents pour améliorer leurs recherches, l'accès à distance aux documents avec l'utilisation d'architectures informatiques adaptées, les problèmes de droits d'auteurs pour la diffusion de documents 25 électroniques ainsi que l'aspect social d'un tel système. Cette mise en place suppose donc la modélisation d'architectures informatiques qui constituent un support pour accueillir les fonctionnalités nécessaires à la mise en oeuvre des bibliothèques virtuelles. Cette modélisation s'articule le plus souvent sur les axes de réalisation décrits ci-après. Tout d'abord une élaboration d'un modèle de représentation logique et physique de documents basé sur les normes internationales (en particulier HTML et XML). On peut ainsi spécifier aisément des modèles de documents appelés DTD (Document Type Définition) permettant de fournir une structure d'accueil pour 5 l'instanciation de documents quel que soit leur type (livre, périodique). Ce modèle prend en compte la composante multimédia de certains types de documents (image, son, vidéo). Ces données multimédias sont très riches en informations et nécessitent des mécanismes de description élaborés. Cette phase de modélisation constitue une étape indispensable car elle influence 10 de manière non négligeable l'étape suivante à savoir le processus d'indexation. Cette étape d'indexation permet de capturer les informations contenues dans les documents, dans le but de faciliter la phase de recherche d'informations. La méthode d'indexation est destinée à extraire deux types d'informations: - les méta données (auteur, titre, résumé, format, date de création), notamment sous la norme du Dublin Core, - l'information liée au contenu sémantique du document en se basant sur les graphes conceptuels. Un modèle utilisateur est ensuite développé pour permettre d'exploiter le 20 contenu des bibliothèques. Le modèle utilisateur intègre les aspects comportementaux et cognitifs. Il est utilisé par les modules de recherche et d'extraction d'information pertinente. En fonction de spécifications inhérentes aux cahiers des charges, des modèles et des outils de collaboration, aptes à permettre un accès transparent à des documents gérés 25 par un ensemble de bibliothèques, sont mis en place. Leur gestion est alors assurée comme celle un espace documentaire virtuel unique. On mesure donc ainsi les limites d'un tel type de modèle en ce sens qu'il ne peut générer que des documents à la fonctionnalité statique selon un processus d'élaboration que l'on pourrait qualifier d'aveugle car l'espace documentaire virtuel et les moyens d'y naviguer, on vient de le voir, sont rendus involontairement déstructurés. La présente invention propose de résoudre ce problème grâce à la mise en place et à l'administration d'un système de traitement informatique 5 permettant à des utilisateurs d'un réseau de communication, notamment du type Internet, de générer des documents fonctionnels à partir d'informations techniques. La présente invention permet de rendre compatibles une approche quasi ontologique du traitement sémantique d'une part et une ergonomie d'utilisation correspondant aux standards de navigabilité de la 10 plupart des sites Internet marchands d'autre part. Les utilisateurs n'ont ainsi pas besoin de posséder des qualifications particulières ou des connaissances particulières dans le domaine du traitement sémantique pour obtenir des documents destinés à faire sens vis-à-vis des spécialistes du domaine. Pour cela, le système de traitement informatique est utilisé dans un système de 15 paiement sécurisé destiné à permettre aux utilisateurs du réseau de communication, notamment du type Internet, d'effectuer des paiements destinés à l'acquisition des documents fonctionnels proposés en vente par une plate- forme distante des utilisateurs du réseau de communication. La plate- forme distante du système de paiement sécurisé comprend un serveur. 20 Le serveur comporte des premiers moyens de calcul pour calculer, en fonction d'une série de paramètres fixes, une base tarifaire. Le serveur comporte en outre des seconds moyens de calcul pour calculer, en fonction d'une série de paramètres variables, une fraction variable tarifaire. Le serveur comporte en outre des moyens de comparaison pour comparer la 25 base tarifaire avec la fraction variable et calculer une pondération en fonction de la comparaison ainsi effectuée. La plate-forme distante comprend en outre une base de données connectée audit serveur. La plateforme distante comprend en outre des moyens de mémorisation pour mémoriser, dans la base de données, la série de paramètres fixes et la série de paramètres variables et la base tarifaire associée à la pondération. La plate-forme est connectée, via le réseau de communication informatique, à des équipements informatiques. Les équipements informatiques comportent des moyens de visualisation sur lesquels les utilisateurs peuvent lire des 5 informations diffusées par la plate-forme, notamment la base tarifaire associée à la pondération. La plate-forme distante comprend en outre des premiers moyens de traitement informatique permettant d'établir, au moment des paiements, une connexion informatique entre le serveur de la plate-forme et un serveur de paiement distant de la plate-forme. La plate10 forme distante comprend en outre des premiers moyens de transmission pour transmettre au serveur de paiement distant des informations de paiement relatives aux utilisateurs, notamment relatives à un code numérique de carte de paiement, à des coordonnées bancaires, à une procédure de paiement de type SWIFT. Les informations de paiement ont 15 été communiquées, par les utilisateurs à la plate-forme, notamment au moyen des équipements informatiques, via le réseau de communication. Ainsi, le serveur de paiement, ayant reçu les informations de paiement relatives aux utilisateurs, peut faire transférer le montant correspondant au paiement au compte de l'opérateur de la plate-forme, et notifier à ladite 20 plate-forme une information de validation du paiement. Le système comprend des seconds moyens de transmission, notamment associés aux équipements informatiques des utilisateurs, pour transmettre les informations techniques à la plate-forme via le réseau de communication. Le système comprend en outre des moyens d'extraction, notamment des 25 seconds moyens de traitement informatique, pour extraire des informations techniques une formulation déterminée en fonction de critères prédéterminés, notamment en fonction de critères législatifs et/ou réglementaires. Le système comprend en outre des moyens d'assemblage, notamment des troisièmes moyens de traitement informatique, pour assembler la formulation déterminée et les informations techniques dans un document final se présentant notamment sous la forme d'un fichier informatique au format XSL-FO ou XML/OpenOffice. Le document final ainsi obtenu peut être converti dans d'autres formats informatiques du type 5 PDF ou RTF et imprimé grâce à des moyens d'impression, une imprimante individuelle par exemple. Le système comprend en outre des troisièmes moyens de transmission pour transmettre, notamment via le réseau de communication, le document final à une entité officielle indépendante de la plate-forme. L'entité officielle est destinée à valider, de manière 10 indépendante, la compatibilité du document final avec les critères prédéterminés. L'utilisateur obtient ainsi confirmation de l'entité officielle indépendante de la fonctionnalité du document final généré par la plateforme. De préférence, le système est tel que la base de données comprend en outre 15 des fichiers-maquette, mémorisés notamment sous la forme de fichiers au format XML. Les moyens d'assemblage comprennent en outre un module logiciel d'analyse, destiné à détecter, dans lesdits fichiers- maquette, un premier groupe de données sémantiques, notamment des occurrences syntaxiques et/ou linguistiques. Les moyens d'assemblage comprennent en 20 outre un premier module logiciel de traitement sémantique, destiné à générer, à partir du premier groupe de données sémantiques, un flux de données primaires statistiques, notamment des constances d'occurrences et/ou des cycles d'occurrences. Les moyens d'assemblage comprennent en outre un second module logiciel de traitement sémantique, destiné à 25 générer, à partir de la formulation déterminée, un flux de données secondaires en fonction du flux de données primaires statistiques, notamment en adaptant et/ou en modifiant la formulation déterminée en fonction des constances d'occurrences et/ou des cycles d'occurrences. Ainsi, la fonctionnalité du document final généré par la plate-forme est établie préalablement à sa validation par l'entité officielle indépendante. Il est également possible d'ajouter au second module logiciel de traitement sémantique des fonctionnalités comme le balisage lexical, le balisage sémantique et le balisage analytique. L'étape de codage et de balisage 5 lexical consiste à établir une transcription préliminaire des informations techniques selon des formats numérisés structurés. Le balisage sémantique suit le même principe: l'analyse mot à mot permettra par exemple de mettre en évidence les noms propres et même de régulariser leur orthographe le cas échéant. De préférence, le système est tel que les moyens d'assemblage, notamment des troisièmes moyens de traitement informatique, comprennent un troisième module logiciel de conversion dynamique de flux, notamment destiné à convertir le document final au format HTML. Les moyens d'assemblage, notamment des troisièmes moyens de traitement 15 informatique, comprennent en outre des moyens de compression pour compresser la formulation déterminée et/ou les informations techniques. Ainsi, la taille du document final généré par la plate-forme est réduite et l'accessibilité distante, notamment via le réseau de communication Internet, du document final généré par la plate-forme est accélérée. De préférence, le troisième module logiciel de conversion dynamique de flux est associé à une mémoire cache. Ainsi, la publication d'un document final volumineux, notamment excédant 145 Mo, généré par la plate-forme est rendue fluide, y compris en temps réel. On va maintenant décrire une variante de réalisation de l'invention dans 25 laquelle la base des informations techniques est, pour mesurer la puissance du système, constituée par un corpus que l'on suppose relativement volumineux, notamment dépassant 100 000 caractères (hors espaces). Le système selon l'invention permet un traitement préliminaire selon trois axes: mots, documents et thèmes. Dans cette navigation, dite triangulaire, une liste de mots résulte d'une combinaison booléenne de documents et/ou de thèmes, une liste de documents résulte d'une combinaison booléenne de mots et/ou de thèmes. Les modules logiciels des moyens d'extraction permettent de construire une première indexation de départ. De manière 5 dynamique, au cours de la navigation, l'utilisateur peut modifier l'indexation: suppression, modification, création, fusion de mots d'index. Les modules logiciels des moyens d'extraction permettent en outre aussi la suppression et la modification d'unités documentaires et même la création de nouvelles unités. Grâce à un accès lexical au vocabulaire d'indexation, la 10 saisie d'un mot par l'utilisateur engendre la liste des mots d'index du corpus les plus proches au plan lexical. Cette fonctionnalité apporte la nécessaire tolérance aux variantes d'écriture d'un même mot ou aux fautes d'orthographe, qu'elles viennent de l'utilisateur ou du corpus lui-même, cette tolérance devant être appréciée à la fois de manière objective et 15 subjective en tenant compte des exigences du destinataire final du document fonctionnel. L'expansion sémantique engendre ensuite la liste des documents proches sémantiquement d'un ou plusieurs documents donnés (les documents qui partagent le plus de termes significatifs communs) ainsi que la liste des mots d'index proches sémantiquement d'un ou plusieurs 20 mots donnés (les mots le plus souvent associés dans les documents). Le premier module logiciel de traitement sémantique procède alors à la classification automatique des documents en résumant le corpus en ses composantes thématiques principales. Ces composantes évoluent au fil des modifications opérées par l'utilisateur sur l'indexation du corpus 25 documentaire. A chacun des thèmes sont associés une liste de documents, ordonnés par importance décroissante et une liste de mots clés également ordonnés. Ces listes dont l'homogénéité signe la qualité de la progression sémantique sont mémorisées dans la base de données de la plate-forme et fournissent la matière nécessaire à la compréhension fine des regroupements effectués. Les listes des mots caractéristiques des thèmes identifiés sont analysées par le second module logiciel de traitement sémantique selon une méthode d'analyse en composantes principales pour être présentées dans un plan factoriel. Les proximités géométriques entre les 5 thèmes sont renforcées et nuancées par le dessin des liaisons entre les thèmes proches. A tout moment du traitement, l'utilisateur peut accéder au document en cours d'élaboration, visualisable dans une version provisoire à la mise en page conviviale. Les retours en arrière sont rendus possibles en passant d'une vue sauvegardée à l'autre de façon à faciliter le cheminement 10 vers la vision de la base la mieux adaptée à la problématique de chaque utilisateur. La duplication de vue, le zoom sur un thème et la comparaison de cartes sémantiques sont assurés. La collecte de termes au fur et à mesure des navigations et rendue possible grâce à un panier virtuel, réceptacle de mots autonome et transversal à l'ensemble des vues. Le panier est 1 5 exportable vers d'autres applications. Le troisième module logiciel de conversion dynamique de flux permet enfin de publier au format HTML, notamment sur un site Internet tout ou partie des vues sur un corpus textuel. Celles-ci peuvent alors être consultées via Internet, notamment grâce à un applet Java autorisant une navigation triangulaire couplée à une 20 visualisation de cartes sémantiques. On peut mentionner de nombreux types de réalisations potentielles de documents présentant des degrés et des natures de fonctionnalité variés: rapports de synthèses, cahiers des charges multi-domaines soumis à validation, formulaires et bordereaux dans le domaine pharmaco-médical, demandes de brevets d'inventions, relevés 25 d'audits à usage juridico-administratif, rapports d'expertises. L'architecture du système selon la présente invention présente par ailleurs l'avantage d'offrir potentiellement, outre la stricte création de documents fonctionnels, la génération d'un langage distribué permettant une méga programmation c'est-à-dire la possibilité de coordonner et d'harmoniser de multiples calculs sur de multiples machines. Pour cela, il est nécessaire d'étudier en particulier, à des niveaux très divers, le domaine des mémoires partagées réparties, des glaneurs de cellules, des couplages avec des bibliothèques existantes. La réalisation d'applications coopératives passe par la 5 disponibilité d'une mémoire partagée répartie. Un langage multi-tâches et distribué est extrêmement sensible au type de cohérence qu'apporte ou qu'impose la mémoire sous- jacente. Pour définir une sémantique compréhensible d'un tel langage, il est nécessaire de spécifier très précisément les propriétés d'une telle mémoire et des protocoles d'accès. 10 Cette sémantique peut être développée dans plusieurs formalismes (dénotationel, calcul de processus). Une mémoire répartie impose la présence d'un module récupérateur. La méga programmation requiert 1'interopérabilité entre langages et/ou bibliothèques, c'est-à-dire la faculté de mêler des données et des programmes obéissant à des conventions de 15 représentation et de manipulation différentes. Cela suppose la mise en place de gestionnaires de mémoire, contrôlant l'allocation, l'accès et le recyclage des données, qui soient neutres, autrement dit, qui s'adaptent aux besoins spécifiques des utilisateurs. Les questions de fiabilité et de sûreté sont certainement les points les plus critiques à traiter dans le développement 20 d'un tel module logiciel complémentaire, en particulier lorsqu'il s'agit d'un système construit par coopération d'applications. On décompose généralement le problème en deux parties: tout d'abord, il faut construire une spécification formelle à partir du cahier des charges en s'assurant qu'elle répond bien aux exigences de ce cahier. Il faut ensuite montrer que 25 l'implantation proposée est correcte vis-à-vis de cette spécification. Toute solution passe donc d'abord par la conception de langages de spécification et de programmation, qui soient sémantiquement fondés, condition minimale pour pouvoir exprimer et prouver des propriétés. Ensuite, un tel module ne saurait se dispenser de l'adjonction de systèmes d'aide à la il vérification et/ou à la preuve. Il existe actuellement un certain nombre de systèmes opérationnels d'aide à la preuve, fondés sur des logiques et des méthodologies différentes. Si les fondements logiques de ces systèmes sont assez bien compris, les outils qui en dérivent sont encore très rudimentaires 5 et la méthodologie de leur emploi encore sommaire. Faire une preuve aidée suppose une formalisation des flux de données et donc une certaine maîtrise des fondements logiques du système. Son utilisation nécessite par ailleurs une bonne compréhension de sa structure interne et plus généralement, la construction de la preuve s'apparente à une construction de programme et 10 demande des compétences avancées en programmation. Le domaine de la preuve aidée par les moyens de traitement informatique modernes peut notamment être intégré à différents systèmes opérationnels existants d'aide à la preuve (B, Coq, PVS), au travers applications de nature différente conjointement dans plusieurs systèmes, de manière à comparer leur 15 faisabilité et à élaborer une méthodologie de développement pour chaque type d'application. Un autre avantage du système selon l'invention est de pouvoir intégrer de manière transversale des modules fonctionnels complémentaires autorisant une analyse semi-automatique des informations techniques brutes à partir 20 desquelles le document final doit être généré. Le système selon une autre variante de réalisation de l'invention comprend des modules complémentaires, notamment des modules de désambiguisation grammaticale (déterminer, par exemple, si "ferme" est un nom, un adjectif, un adverbe ou une forme verbale), des modules d'analyse syntaxique et 25 logique de la phrase (découper les propositions, constituer les groupes grammaticaux, déterminer les fonctions grammaticales comme le sujet, l'attribut, l'apposition), des modules de désambiguïsation sémantique (pour les mots ayant plusieurs sens, déterminer le sens de chacun de ces mots dans le contexte), des modules de repérage des expressions et des entités nommées (regroupement des groupes nominaux propres comme "Société nationale d'exploitation industrielle des tabacs et allumettes"), des modules de résolution des anaphores (retrouver le référent des pronoms comme "il", "en" ou "ce dernier", et d'autres termes comme "le premier") des modules 5 d'analyse de thèmes (déterminer le sujet, les thèmes du texte, du paragraphe, de la phrase). En outre, des modules de détection des têtes de dérivation, de repérage des métaphores, de correction automatique des fautes d'orthographe sont également inter-opérables avec le système selon l'invention. L'adjonction de ces modules préserve la nécessaire 10 segmentation fonctionnelle entre recherche et extraction d'informations, les moyens d'extraction d'informations proposant des membres de phrases répondant directement aux requêtes des utilisateurs. Revendications 1. Système de traitement informatique permettant à des utilisateurs d'un réseau de communication, notamment du type Intemet, de générer des documents fonctionnels à partir d'informations techniques; ledit système comprenant: - des premiers moyens de transmission, notamment associés à des équipements informatiques desdits utilisateurs, pour transmettre lesdites informations techniques à une plate-forme distante via ledit réseau de communication, - des moyens d'extraction, notamment des premiers moyens de traitement informatique, pour extraire desdites informations techniques une formulation déterminée en fonction de critères prédéterminés, notamment en fonction de critères législatifs et/ou réglementaires, - des moyens d'assemblage, notamment des seconds moyens de 15 traitement informatique, pour assembler ladite formulation déterminée et lesdites informations techniques dans un document final se présentant notamment sous la forme d'un fichier informatique au format XSL-FO ou XMiL/OpenOffice; ledit document final ainsi obtenu pouvant être converti dans d'autres formats informatiques du type PDF ou RTF et imprimés grâce 20 à des moyens d'impression; ledit système comprenant en outre des seconds moyens de transmission pour transmettre, notamment via ledit réseau de communication, ledit document final à une entité officielle indépendante de ladite plate-forme distante; ladite entité officielle étant destinée à valider, de manière 25 indépendante, la compatibilité dudit document final avec lesdits critères prédéterminés, de sorte que l'utilisateur obtient confirmation de l'entité officielle indépendante de la fonctionnalité du document final généré par la plate-forme distante. 2. Système selon la revendication 1; ledit système étant tel qu'il comprend une base de données comprenant des fichiers-maquette, mémorisés notamment sous la forme de fichiers au format XML; lesdits moyens d'assemblage comprenant en outre: - un module logiciel d'analyse, destiné à détecter, dans lesdits fichiersmaquette, un premier groupe de données sémantiques, notamment des occurrences syntaxiques et/ou linguistiques, un premier module logiciel de traitement sémantique, destiné à générer, à partir dudit premier groupe de données sémantiques, un flux de 10 données primaires statistiques, notamment des constances d'occurrences et/ou des cycles d'occurrences, - un second module logiciel de traitement sémantique, destiné à générer, à partir de ladite formulation déterminée, un flux de données secondaires en fonction dudit flux de données primaires statistiques, 15 notamment en adaptant et/ou en modifiant ladite formulation déterminée en fonction desdites constances d'occurrences et/ou desdits cycles d'occurrences, de sorte que la fonctionnalité du document final généré par la plate-forme distante est établie préalablement à sa validation par l'entité officielle indépendante. 3. Système selon l'une quelconque des revendications 1 ou 2; ledit système étant tel que lesdits moyens d'assemblage, notamment des troisièmes moyens de traitement informatique, comprennent: - un module logiciel de conversion dynamique de flux, notamment destiné à convertir ledit document final au format HTML, - des moyens de compression pour compresser ladite formulation déterminée et/ou lesdites informations techniques, de sorte que la taille du document final généré par la plate-forme distante est réduite, de sorte que l'accessibilité distante, notamment via le réseau de communication Internet, du document final généré par la plate-forme distante est accélérée. 4. Système selon la revendication 3; ledit système étant tel que ledit module logiciel de conversion dynamique de flux est associé à une mémoire cache, de sorte que la publication d'un document final volumineux, notamment excédant 145 Mo, généré par la plate-forme distante est rendue fluide, y compris en temps réel.