Séminaire profil Inférence et connaissance
2000-2001

But du séminaire

Programme

Résumés

Les réseaux de neurones formels sont une méthode informatique inspirée de la neurobiologie. Ils permettent de résoudre des problèmes de classification, de diagnostic et d'identification, tout en favorisant des échanges fructueux avec la biologie et la physique mathématique. Nous exposerons les bases conceptuelles des réseaux de neurones, avant de passer à des exemples d'applications pratiques. On essaiera de donner en même temps une idée des types de problèmes pour lesquels cette approche est réellement appropriée.

Dans ce séminaire, nous présenterons nos travaux dans le cadre du projet ESPRIT-LTR 24939 « AGENT: Automated Generalisation New Technology » sur l'application des Systèmes Multi-Agents à la généralisation cartographique automatisée. Ce projet porte sur la modélisation en Système Multi-Agents des objets géographiques et du traitement automatisé de la généralisation cartographique. Nous sommes dans ce cadre confrontés à un Système Multi-Agents hétérogène et multi-niveaux. La présence d'agents hétérogènes nous amène à développer des structures organisationnelles hybrides adaptées à cette société. Comme le système est ouvert (création et élimination dynamique d'agents) et construit de façon dynamique sur plusieurs niveaux (basé sur les principes de la récursivité et de structuration hiérarchique) de nouveaux modèles et approches doivent être développées pour soutenir les structures organisationnelles correspondantes.

Avec l'arrivée des documents structurés est apparu le besoin de transformation de structure. Aujourd'hui la transformation de documents structurés, et notamment des documents XML, est utilisée dans de nombreux contextes pour adapter, formatter, convertir et normaliser les documents. Le projet Opéra (INRIA) utilise les transformations dans le contexte particulier de la présentation et de l'adaptation de documents multimédia, eux-mêmes spécifiés en XML. Dans ce séminaire on s'attachera à définir ce qu'est précisement XML et on présentera quelques langages autour d'XML, en particulier le langage de transformation XSLT. Nous verrons ensuite comment nous utilisons XSLT pour la présentation et l'adaptation de documents multimédia.

L'évolution des technologies de l'information permet de prévoir que dans les années 2015 à 2020, l'élément de base de l'information binaire (le bit) pourra être inscrit dans la matière à l'échelle de l'atome, voire de l'électron ou du photon. À cette échelle, les lois de la physique classique ne sont plus en vigueur, elles ont cédé la place à celles de la physique quantique, très déroutantes pour notre intuition. Or c'est un fait souvent méconnu que l'informatique que nous connaissons aujourd'hui est fondée, dans ses racines les plus théoriques, sur la physique classique. Elle cèdera donc la place à une informatique fondée sur d'autres principes, ceux qui gouvernent la physique quantique, c'est à dire la connaissance ultime que nous avons (aujourd'hui) de la matière. Les recherches en informatique quantique sont actuellement très actives. Elles touchent aux fondements mêmes de l'informatique : algorithmique, complexité, théorie de l'information. À partir de bases mathématiques et physiques élémentaires, ce séminaire donnera un aperçu du versant informatique des recherches actuelles en informatique quantique. Les rudiments indispensables de physique quantique seront introduits très simplement, si bien qu'aucune connaissance préalable ne sera nécessaire dans ce domaine. On explorera ensuite comment représenter l'information, comment effectuer des calculs et plus généralement comment traiter et communiquer l'information en exploitant directement les lois et principes de la physique quantique. On comprendra alors pourquoi et comment, pour certaines grandes classes de problèmes algorithmiques importants, les ordinateurs quantiques seront, à énergie et taille égale, quadratiquement, voire exponentiellement plus puissants que les ordinateurs classiques.

The Internet and the ubiquitous networking have made possible to achieve a level of information sharing and communication that was not possible until just a few years ago. This has generated, among the other things, a wider creation of informal community structures, which are very often both distributed and short-lived. The knowledge of the existence and structure of these communities and social networks is difficult to be obtained, but is valuable for a number of reasons, among which improved content navigation and expertise location.
This seminar will first present some models dealing with community mining and social network modelling, then some issues related to the applicability of these models in work organizations will be outlined, finally some existing applications capable to trace community activities preserving privacy and user acceptability will be described.

L'informatisation généralisée et la mise en réseau des ordinateurs autorise l'échange d'informations numériques. Le worldwide web est à la fois la première application et le principal moteur de cette évolution. Dans la perspective d'un web sémantique, le réseau de documents informels qu'est le web se voit enrichi d'un réseau de connaissance formalisée, c'est-à-dire un réseau dont les documents sont décrits dans un langage défini sémantiquement.
Dans un tel réseau, le problème n'est plus la transmission, l'encodage ou la syntaxe des représentations mais leur interprétation. Il est utile et nécessaire de pouvoir importer une représentation de ce web sémantique et de pouvoir l'interpréter en accord avec sa sémantique.
On rappellera tout d'abord brièvement les notions de sémantique dénotationelle simple sur des exemples de langages de représentation de connaissance avant de caractériser le problème de l'interopérabilité sémantique. On étudiera ensuite plusieurs techniques propre à contribuer à son accomplissement.
L'approche mise en avant repose sur l'étude des propriétés préservées par les transformations de représentations. On présentera par quels mécanismes celle-ci pourrait être mise en ¦uvre dans le cadre d'un web sémantique.
Assurer l'intelligibilité au niveau sémantique est indispensable lorsque les représentations véhiculées sont destinées à être interprétées par des machines. Si elles sont destinées à des humains, il est nécessaire de se préoccuper de l'interprétation que ceux-ci vont faire des représentations formelles. On donnera plusieurs exemples qui montrent qu'à l'évidence cette interopérabilité doit aussi être traité sur un plan sémiologique. On évoquera essentiellement une piste de recherche à ce sujet.