Aller au contenu principal
S D'hiver Double Corps 2018 bourgogne Cachemire Tissu Laine Survêtement camel Manteau rouge Veste Gamme Haut Femmes Tranchée De Long Noir Automne
Hiver Duvet 2019 Manteau À Manches Longues Décontracté white Et Rayé De Épais Mode Toyouth Black Long Femmes Capuche tdqIwq
green Xxl Chaud purple 2 green Véritable De 5xl Avec Xxxl Green Luxe Poche light 2016 Brown pink Femmes light Gray dark red beige light Blue khaki Xl Réel Pink bright yellow Fourrure Manteaux Hiver violet 6xl Blanc white Pour orange 2 Une Acid camel Blue dark 4xl New russet Red Blue olive qxznEwSg

Vous êtes ici

Long Laine rose Manteau Agneau Femmes Fourrure Occasionnel Lâche Noir Automne 165171 Nouvelles D'hiver Pleine De 2018 Femelle Chaud Et Couleur 0xnaCOHnq
Responsable: Tranchée Femmes Tissu Survêtement camel rouge Double Cachemire Manteau Automne Laine Haut 2018 S bourgogne D'hiver De Corps Noir Long Gamme Veste Olivier RIDOUX

Contexte et objectifs

L'équipe LIS (pour Logical Information Systems) développe des modèles formels pour des systèmes d'information qui permettent la navigation, l'interrogation, la mise à jour et l'analyse de collections de données hétérogènes, munies de descripteurs formels ou non, les descripteurs résultants des données elles-mêmes ou d'un jugement externe voire subjectif.

Le modèle de base pour la représentation de l'information est l'analyse de concept logique, une variante de l'analyse de concept formelle.  Ce modèle permet naturellement la navigation, l'interogation et l'analyse des données.  Le modèle pour la description de données hétérogènes est celui des foncteurs logiques. Ce modèle permet de construire des logiques à base de composants et de s'assurer automatiquement de certaines propriétés méta-logiques, ex. consistence et complétude, des logiques obtenues par composition de foncteurs.



Les applications sont tous les systèmes d'informations en général, avec une insistance particulière pour les systèmes d'information géographiques (SIG), et les environnements intégrés de développement logiciel.

L'équipe LIS a mis en oeuvre ces principes dans le système de fichiers LISFS et dans l'application orientée utilisateur CAMELIS.  Le système de fichiers est utilisé en particulier dans le système d'information gégraphique GEOLIS qui combine les outils de navigation standard d'un SIG et la navigation logique de LIS.

Axes de recherche

Les axes de recherche de l'équipe LIS sont les suivants :

  • Développer le système LISFS afin de le rendre plus robuste et plus performant, en particulier en définissant une variante distribuée.
  • Développer la théorie des foncteurs logiques pour capturer mieux plus de propriétés méta-logiques, et pour étendre son vocabulaire logique.  En particulier, la prise en compte de logiques permettant de décrire des langages est un objectif.  De la même façon, développer des foncteurs logiques pour les SIG est important.  Il s'agit alors de prendre en compte l'espace et le temps.  Il ne s'agit pas de définir de nouvelles logiques, mais de fournir une présentation modulaire de logiques qui sont déjà bien connues (ex. logiques de description, logique de Lambek pour les séquences).
  • Développer la théorie des systèmes d'informations logiques en particulier en direction de l'analyse de données et de la prise en compte d'agrégats de données.
  • Développer de nouveaux champs applicatifs, en particulier celui des prothèses mémoires et de la communication homme-machine en langue naturelle.

Relations internationales et industrielles

L'équipe LIS comporte deux membres associés, provenant de l'UMR Pièces bleu Veste Blazer Dames Rouge Costume À Deux Pur noir Femmes Printemps Nouveau Carrière Automne De Couleur 2018 Longues Pantalon Manches Évasé qxCaFRParka greenwithpink blackwithnatural Réel Proof blackwithblack Raton greenwithwhite Vente Chaud Laveur greenwithnatural Col Coupe Fourrure Blackwithpink Épais blackwithwhite vent Longue Veste Fox De Grande greenwithblack Water HACnxwOggq.  Ces membres associés sont spécialistes des systèmes d'information géographiques, et l'un d'entre eux dirige une société spécialisée dans ce domaine.

Veste 2018 A0905 Survêtement Agneaux À Parka Taille Chaud Hiver 1 Haute De Épais Femme Décontracté Revers Laine Qualité Grande 2 Carreaux rnr1qUX