Information: this page is not translated in english

- IA Algo Données Logiciel

Cette plateforme regroupe les logiciels développés par les différentes équipes du département Informatique du LIRMM:

- dans le domaine de l'intelligence artificielle, en particulier, la représentation des connaissances et des raisonnements,

- dans le domaine du calcul mathématique et du calcul parallèle,

- dans les domaines de la fouille et de la visualisation de données .

Logiciels en Intelligence Artificielle

COGUI est un logiciel développé en Java. Il permet de construire des bases de connaissances fondés sur les graphes.

GRAAL est une boite à outils Java dédiée au stockage et à l'interrogation des bases de connaissances, dans le cadre des règles existentielles avec la langage Datalog+/-.

AOC poset builder est un outil de classification écrit en Java disponible également en ligne. Il permet de construire des AOC poset (ou sous-hiérarchie Galois), une sous structure du treillis de Galois.

IBEX est une bibliothèque C ++ pour le traitement de contraintes sur des nombres réels.

QUACQ est un outil d'apprentissage actif (QUick ACQuisition). Il apprend les réseaux de contraintes en proposant des d'affectations partielles que l'utilisateur doit valider.

DisChoco est une plate-forme de bibliothèque Java pour le raisonnement sur contraintes distribuées (DCR).

MaDKit est une plate-forme de développement multi-agents développé en Java. MaDKit est conçu pour construire facilement des applications distribuées et des simulations en utilisant le paradigme et les fonctionnalités multi-agents.

TurtleKit est une bibliothèque Java pour simuler des systèmes multi-agents (MAS).

Logiciels en Algorithmique

LinBox  est une bibliothèque haute performance pour l'algèbre linéaire exacte.

FFLAS-FFPACK est un ensemble de routines d'algèbre linéaire sur les corps finis.

Cado-NFS est une implémentation de l'algorithme de crible sur les corps de nombres (NFS) pour la factorisation d'entiers et le calcul de logarithmes discrets dans les corps finis.

SageMath est un logiciel libre et gratuit de calcul mathématique.

Mathemagix est un logiciel libre pour l'algèbre et l'analyse.

CGPE est un générateur de code pour l'évaluation de polynômes.

PerPI est un outil d'analyses et de mesures de performance de parallélisation d'instructions.

Traitement d'images est un ensemble de logiciels en libre-accès pour le traitement d'images en ligne.

Logiciels en Fouille de Données

Jeux De Mots est un outil logiciel en ligne visant à construire un grand réseau lexico-sémantique du français. Cet outil est composée de plusieurs jeux (GWAP - games with a purpose) et d'environnements contributifs.

Plant Game est un jeu participatif ayant pour finalité la production de grandes masses de données taxonomiques en vue d'améliorer notre connaissance de la biodiversité. L'intérêt du jeu est double: •s'initier, s'entrainer ou se perfectionner à la pratique de la botanique tout en s'amusant (avec un principe de montée en compétence) et• participer à un projet de science participative de grande ampleur sur la biodiversité.

AgroPortal et  BioPortal sont des portails d'ontologies agronomiques et biologiques qui permettent de mettre en ligne, parcourir et télécharger des ontologies, ainsi que d'annoter des textes à partir de ces ontologies ou de créer des mappings entre les ontologies.

Yam++ est un outil d'alignement d'ontologies.

Grail comprend un ensemble de démonstrateurs de théorèmes pour les grammaires modernes de type logique. Il inclut un analyseur à spectre large spécialisé sur la langue française, ainsi que des démonstrateurs de théorèmes généralistes pour concevoir des grammaires de langues naturelles.

Responsables

Responsable technique des logiciels en Intelligence Artificielle: Alain GUTIERREZ

Responsable technique des logiciels en Algorithmiques: Cyril BOUVIER

Responsable technique des logiciels en Fouille de Données: Joel MAIZI

Les ordinateurs de la plateforme sont administrés par le service Réseaux du LIRMM.

Last update on 18/06/2018