- IA Algo Données

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 is a free graph-based visual tool, developed in Java, for building  Conceptual Graph knowledge bases represented in COGXML format, compatible with Cogitant.

GRAAL is a Java toolkit dedicated to querying knowledge bases within the framework of existential rules, aka Datalog+/-.

AOC poset builder (or pruned concept hierarchy, or Galois Sub-hierarchy) is the sub-order of the concept lattice restricted to Attribute-Concepts (highest concept introducing an attribute) and Object-Concepts (lowest concept introducing an object).

IBEX is a C++ library for constraint processing over real numbers.

QUACQ is a novel active learning tool (QUick ACQuisition) to learn constraint networks by asking the user to classify partial assignments as positive or negative.

DisChoco is a Java library platform for Distributed Constraints Reasoning (DCR).

MaDKit is a multiagent-based development platform written in Java. MaDKit is designed to easily build distributed applications and simulations using the multiagent paradigm and features.

TurtleKit is an open source library for simulating artificial life models based on the Logo programming language.

Logiciels en Algorithmique

LinBox (High performance library for exact linear algebra)

FFLAS-FFPACK (Finite field linear algebra subroutines/package)

Cado-NFS (An implementation of the number field sieve algorithm (NFS) for factoring integers and computing discrete logarithms in finite fields)

SageMath (A free open-source mathematics software)

Mathemagix (A free computer algebra and analysis system)

CGPE (Code Generation for Polynomial Evaluation)

PerPI (Performance et Parallélisation d'Instructions)

Traitement d'images (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.

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.

Dernière mise à jour le 26/04/2018