Yrelay.com

Liens : Intelligence Artificielle (IA) et Systèmes Experts

Hamid — 2012-07-02T22:00:00Z

Cet article essaye de regrouper les sites et les groupes relatifs à
l'Intelligence Artificielle (IA) et aux Systèmes Experts.

On y retrouvera entre autre des liens sur :

– les écoles et les associations.
– les methodes et les algorithmes.
– les produits commerciaux, les langages et les progiciels.

Voir : Annuaire des Générateurs de systèmes experts et les Machines dédiées

Sites francophones

Association pour le traitement automatique des langues
– http://www.atala.org/
– Informations, annuaire et publications.

Association française pour l'intelligence artificielle
– http://afia.lri.fr/
– Association pour la promotion et le développement de l'intelligence artificielle en France.

GRACQ
– http://www.irit.fr/GRACQ/
– Communauté française d'acquisition et d'ingénierie des connaissances. Objectifs et activités.

L'universalité ontologique de l'information
– http://www.racai.ro/books/draganescu/
– Livre en ligne. Réflexion sur le thème de l'intelligence artificielle.

Chappelier, Jean-Cédric
– http://liawww.epfl.ch/ chaps/
– Traitement du langage naturel et des données textuelles : notes de cours et thèse sur RST, une architecture connexionniste pour la prise en compte de relations spatiales et temporelles.

Optimisation et algorithmes génétiques
– http://www.eudil.fr/ vmagnin/coursag/
– Introduction aux algorithmes génétiques pour la résolution de problèmes d'optimisation.

Sowana
– http://www.thing.net/ sowana/
– Projet d'apprentissage du dialogue. Conversation sur une applet java avec une machine intelligente.

Calculabilité, physique et cognition
– http://iridia.ulb.ac.be/ marchal/
– Thèse présentée à l'Université des sciences et des technologies de Lille par Bruno Marchal.

Sight'Up
– http://www.sightup.com/
– Conçoit et développe des solutions technologiques d'optimisation des processus, au travers de ses produits d'Intelligence Artificielle pour le "text mining" et de gestion des mails. Présentation de la technologie, des produits et services. France.

In Silico
– http://in.silico.free.fr/
– Intelligence artificielle pour tous. Forums, articles, informations et téléchargements.

Youlweb
– http://perso.wanadoo.fr/intelligence.artificielle/
– Présentation d'un programme de chat avec l'ordinateur. Informations diverses sur l'intelligence artificielle.

Proxem
– http://www.proxem.com/
– Liste de ressources classées par catégories dans le domaine du traitement automatique du langage naturel.

Jenny
– http://ia.jenny.free.fr/Botmaster.htm
– Projet de construction d'un système de reconnaissance et de synthèse vocale. Téléchargement des sources, skins, images, forum.

L'intelligence artificielle
– http://users.skynet.be/ai/
– Introduction et reflexions sur l'intelligence artificielle.

Wiki de Grégory Gossellin De Bénicourt
– http://overstorm.dyndns.org/MonWiki/wakka.php?wiki=IA
– Présentation des projets open source et centres d'intérêt portant sur des sujets tels que les réseaux neuronaux, les algorithmes génétiques ou la logique floue.

Qui suis-je ?
– http://www.quisuis-je.com/
– En posant une vingtaine de questions, le grand mage Devinettor essaye de deviner le personnage auquel on pense.

Champs conditionnels aléatoires
– http://crf-fr.over-blog.com/
– Répertorie des ressources en anglais sur les Champs conditionnels aléatoires (CRF, Conditional Random Fields).

Ackerman, Nathanaël
– http://www.sfp.ulb.ac.be/nackerman/web/phd.html
– La page personnelle de cet assistant de l'Université libre de Bruxelles propose des cours et recherches dans le domaine de l'intelligence artificielle symbolique.

AI Frontline
– http://polacsek.free.fr/frontline.php
– Propose des actualités grand public sur l'Intelligence Artificielle.

Wikipédia
– http://fr.wikipedia.org/wiki/Cat%C3%A9gorie:Intelligence_artificielle
– Encyclopédie librement distribuable que chacun peut améliorer.

Laboratoire d'IA de Paris 8
– http://www.ai.univ-paris8.fr/
– Laboratoire d' Informatique Avancée de Saint-Denis

Revue d'Intelligence Artificielle
– http://ria.revuesonline.com/
– La Revue d'Intelligence Artificielle (RIA) est la revue française de recherche dans le domaine de l'intelligence artificielle.

Groupes de discutions francophones

fr.comp.ia
– http://groups.google.fr/group/fr.comp.ia?lnk=srg
– L'Intelligence Artificielle.

Sites anglophones

BotSpot
– http://www.botspot.com/
– Contient des outils Web, y compris des agents de recherche intelligents, d'exploitation de données, de découverte de la connaissance, d'intelligence artificielle. Un bulletin est disponible deux fois par semaine.

Kurzweil Accelerating Intelligence Network
– http://www.kurzweilai.net/
– KurzweilAI.net explore les tendances des technologies de l'IA. De plus, il essaye de présenter de principales technologies dans l'Inteligence Artificielle.

Bibliographies on Artificial Intelligence
– http://liinwww.ira.uka.de/bibliography/Ai/
– fait partie de la collection de bibliographies de l'informatique ; On peut y réaliser des recherches et y naviger.

SIGART Electronic Information Services
– http://www.acm.org/sigart/
– SIGART est le groupe d'intérêt d'ACM sur l'intelligence artificielle.

Ai on the Web
– http://www.cs.berkeley.edu/ russell/ai.html
– De nombreux liens sur l'IA : agents intelligents, jeu de recherche et de jeu tout court, représentation de logique et de connaissance, planification, raisonnement avec incertitude, étude de machine, langage naturel traitant, perception et robotique, philosophie et le futur, programmation de AI.

The Loebner Prize
– http://www.loebner.net/Prizef/loebner-prize.html
– Il s'agit d'un concours annuel d'essai de Turing. Le test de Turing est une proposition de test d'intelligence artificielle ayant la faculté d'imiter la conversation humaine.

CMU Artificial Intelligence Repository
– http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/0.html
– Logiciel et programmes libres destinés aux chercheurs, aux éducateurs, aux étudiants, et aux praticiens de l'IA.

Generation5.org
– http://www.generation5.org/
– Essais, entrevues et programmes, code et bulletins d'informations originaux.

PC AI
– http://www.pcai.com/
– une énorme quantité de documents et informations concernant l'IA

About AI
– http://www.aboutai.net/
– Ce site examine l'histoire, les utilisations et les conséquences de l'intelligence artificielle. Les débutants peuvent être initiés, tandis que les chercheurs peuvent accéder aux informations plus techniques.

Artificial Intelligence Depot
– http://ai-depot.com/
– Discussions de la Communauté de l'IA, cours d'instruction réguliers, nouvelles quotidiennes, et une base de connaissance téléchargeable.

Context in AI
– http://context.umcs.maine.edu/
– Un point de rencontre pour les chercheurs qui sont intéressés par les nombreux rôles en intelligence artificielle.

List of AI-related FAQs
– http://www.cs.cmu.edu/Groups/AI/html/faqs/top.html
– FAQs (Questions Fréquemment Posées) en ce qui concerne l'IA.

Cognitive Systems
– http://www.cs.iastate.edu/ honavar/hybrid-ai.html
– Documents et informations sur les systèmes intelligents intégrés et hybrides, maintenus à l'université de l'Etat de l'Iowa.

Heuristics and artificial intelligence in finance and investment
– http://www.geocities.com/francorbusetti/
– Informations sur l'heuristique générale, les réseaux neurologiques, les algorithmes génétiques et la recherche de tabu (problème d'ordonnancement) : bases de données, articles, références, journaux, logiciel, liens, conférences et éducation.

AI Topics
– http://www.aaai.org/Pathfinder/pathfinder.html
– "AI Topics" est un site Web conçu pour fournir l'accès en ligne aux documents d'introduction au sujet de l'intelligence artificielle et de ses nombreuses dimensions.

Open AI
– http://openai.sourceforge.net/
– Le site OpenAI est dédié à un projet et une communauté ouverte sur le code source libre traitant de l'intelligence artificielle. Le terme "source libre" signifie que le code source pour le projet est disponible et libre et peut être employé par d'autres gratuitement.

Premise.org
– AI Links
– http://www.premise.org/
– Premise.org est un site de liens sur l'intelligence artificielle avec des exemples.

AI Links
– http://www.compapp.dcu.ie/ humphrys/ai.links.html
– Documents et informations dans le comportement adaptatif, le renfort apprenant, l'évolution informatique, l'évolution normale, la IA en général et les conférences. Maintenu par Mark Humphreys, université de ville de Dublin.

Artilect
– http://Artilect.org/
– Articles sur la recherche en matière d'intelligence artificielle, de physique et de neurologie.

Allrobots.com
– http://allrobots.com/blog.php3
– Site traitant du sujet des robots, de la robotique, de l'intelligence artificielle et de la recherche.

Neuron AI Directory : Artificial Intelligence resources
– http://www.neuron.co.uk/
– Annuaire général de IA.

Adaptive Automation Resources
– http://www.geocities.com/siliconvalley/lakes/6007/
– Ce site organise l'information d'un grand nombre de personnes ; Il permet une large assistance ; Vous trouverez une information utile : des FAQs, des newsgroup, des logiciels, des livres, des journaux électroniques, et des listes privilégiées.

Processor Performance
– http://www.intelligentfirm.com/
– Exécution et évaluation des processeurs, et shareware.

AI from TAU
– http://www.tau.ac.il/humanities/philos/ai/links.html
– Liens et index sur l'intelligence artificielle de l'université de Tel-Aviv , Israel. Créé et maintenu par Yossi Mamroud, service de la philosophie de TAU.

CompInfo
– http://www.compinfo-center.com/tpai-t.htm
– Une base de connaissance complète, des nouvelles souvent renouvelées, des événements, des publications, des liens de fabricant, et des liens de soutien.

Artificial Brains
– http://artificialbrains.com/
– Les articles sur lintelligent artificielle, donnent des vues d'ensemble.

AAAI (American Association for Artificial Intelligence)
– http://www.aaai.org/
– Association américaine pour l'intelligence artificielle.

MIT Artificial Intelligence Laboratory Home Page
– http://www.ai.mit.edu/
– Portail du laboratoire d'Intelligence Artificielle

Artificial Life Online
– http://alife.santafe.edu/
– La Vie Artificielle En ligne.

Artificial intelligence directory
– http://www.ai-directory.com/
– Répertoire de sites web sur la thématique de l'intelligence artificielle (IA). L'annuaire regroupe autant des sites internet de vulgarisation que des ressources spécialisées plus pointus pour les experts du domaine.

Groupes de discutions anglophones

comp.ai.alife
– http://groups.google.fr/group/comp.ai.alife?lnk=srg
– Recherche au sujet de la vie artificielle.

comp.ai.edu
– http://groups.google.fr/group/comp.ai.edu?lnk=srg
– Applications de l'intelligence artificielle à l'éducation.

comp.ai.fuzzy
– http://groups.google.fr/group/comp.ai.fuzzy?lnk=srg
– Théorie des ensembles floue, logique floue.

comp.ai.games
– http://groups.google.fr/group/comp.ai.games?lnk=srg
– Intelligence artificielle dans les jeux.

comp.ai.genetic
– http://groups.google.fr/group/comp.ai.genetic?lnk=srg
– Algorithmes génétiques.

comp.ai.jair.announce
– http://groups.google.fr/group/comp.ai.jair.announce?lnk=srg
– Annonces et résumés du journal de la recherche de l'IA. (modéré)

comp.ai.jair.papers
– http://groups.google.fr/group/comp.ai.jair.papers?lnk=srg
– Articles édités par le journal de la recherche en IA. (modéré)

comp.ai.nat-lang
– http://groups.google.fr/group/comp.ai.nat-lang?lnk=srg
– Langage naturel traité par des ordinateurs.

comp.ai.neural-nets
– http://groups.google.fr/group/comp.ai.neural-nets?lnk=srg
– Tous les aspects des réseaux neuronaux.

comp.ai.nlang-know-rep
– http://groups.google.fr/group/comp.ai.nlang-know-rep?lnk=srg
– Représentation du langage naturel et de connaissance. (modéré)

comp.ai.philosophy
– http://groups.google.fr/group/comp.ai.philosophy?lnk=srg
– Aspects philosophiques de l'intelligence artificielle.

comp.ai.shells
– http://groups.google.fr/group/comp.ai.shells?lnk=srg
– Systèmes experts et autres déclinaison de l'intelligence artificielle.

comp.ai.vision
– http://groups.google.fr/group/comp.ai.vision?lnk=srg
– Recherche en Vision a l'aide de l'Intelligence Artificielle. (modéré)

comp.ai.doc-analysis.ocr
– http://groups.google.fr/group/comp.ai.doc-analysis.ocr?lnk=srg
– Recherche, algorithmes et logiciel de OCR.

comp.ai.doc-analysis.misc
– http://groups.google.fr/group/comp.ai.doc-analysis.misc?lnk=srg
– Technologies de compréhension de document général.

Présentation d'Yexpert

Hamid — 2010-10-07T19:38:00Z

Un système expert est un système informatique capable de reproduire les raisonnements d'un expert dans un domaine bien défini. Un système expert est alimenté par des faits ou données explicites, il les traite et en tire d'autres faits qui aboutiront après des étapes successives à une conclusion :
– Un médecin écoute et examine son patient puis fait un diagnostic ;
– Un garagiste vous écoute et examine la voiture puis il en déduit ce qui ne marche pas dans votre voiture.

Ce sont deux experts qui font des diagnostiques. Ces spécialistes proposent des solutions aux problèmes que vous leur avez posés.

Si on analyse la manière dont un spécialiste pratique, on s'aperçoit que partant de faits, ils élaborent des enchainements de raisonnement que l'on peut mettre sous la forme :
– Si la pré-condition est satisfaite alors exécuter une action.

Comme tous les systèmes experts Yexpert se présente comme une coquille vide qu'il va falloir compléter.

Yexpert est un Système Expert libre fonctionnant sous Mumps GT.M et GNU/Linux.

Sommaire
– 1 Présentation
– 1.1 Historique
– 1.2 Utilisateurs
– 2 Fonctionnement
– 2.1 DKBMS - base de données et de connaissances
– 2.2 GDX - gestion documentaire
– 2.3 HEVEA - évaluateur interactif
– 2.4 TOTEM - moteur d'inférence
– 2.5 LINK - configurateur
– 2.6 MOZART - éditeur de gamme
– 2.7 EQX - aide à l'équilibrage de ligne
– 3 Les extensions des fichiers
– 4 Produits associés
– 5 Références
– 6 Voir aussi
– 6.1 Liens internes
– 6.2 Liens externes

1. Présentation

Base de données et de connaissances DKBMS

Evaluateur interactif HEVEA

TOTEM

MOZART

1.1 Historique

Yexpert n'a pas toujours été un projet de développement libre. L'origine de ce logiciel remonte aux années 80, le produit fut commercialisé jusqu'en 1995. L'outil fonctionnait sur des plateformes Unix ou PC sous VMS, VAX ou DTM donc sur des systèmes propriétaires...

Après le décès de son inventeur M... le projet n'a pas pu trouver de repreneur et sans développeurs pour lui faire passer l'an 2000 et l'euro les derniers utilisateurs ont du se résigner à migrer leurs données sur d'autres produits. Il m'a semblé utile de faire renaître ce génial logiciel dans le monde du logiciel libre : Yexpert fonctionne aujourd'hui sur l'environnement de programmation GT.M et le système d'exploitation GNU/Linux.

1.2 Utilisateurs

De grandes entreprises ont utilisé ce système expert. La plupart d'entre eux n'en avaient pas conscience. Elles utilisaient simplement un outil de données techniques.

2 Fonctionnement

Yexpert est un système expert complet. Il est composé des modules suivants :
– DKBMS - base de données et de connaissances
– GDX - gestion documentaire
– HEVEA - évaluateur interactif
– TOTEM - moteur d'inférence
– LINK - configurateur
– MOZART - éditeur de gamme
– EQX - aide à l'équilibrage de ligne

Ces modules sont en relation. Toute modification à quelque niveau que ce soit est répercutée vers tous les modules concernés.

Une partition complète contenant l'ensemble des données et connaissances relatif à un même système constitue une poche de connaissances. Des passerelles existent pour permettre de faciliter les échanges avec d'autres logiciels. Des savoirs-faire orientés métiers (mécanique, économie, ...), mais aussi des utilitaires de captures de données à partir de capteurs ou autres sources de données.

2.1 DKBMS - base de données et de connaissances

Ce module permet la gestionnaire de base de données et de connaissances, il comprend un environnement performant et tous les outils ou applications nécessaires.
On trouvera :

– La consultation associative qui est un véritable assistant pour la consultation de la base de données ; Vous pourrez interroger la base de donnée sans connaitre sa structure les recherches se faisant par le contenu.

– Le vocabulaire est très important pour un système expert, Yexpert gère un lexique valable dans tous les modules pour toute l'application ; Une gestion des synonymes est possible, elle est réalisable aussi bien sur les individus que sur les valeurs.

– Les données sont gérées dans une base relationnelle originale. Un schéma de données permet de définir la structure des données. Les données sont organisées en répertoires contenant des individus décrits par des attributs qui peuvent être multivalués (c'est à dire qui peuvent contenir plusieurs valeurs).

– Les liens et les nomenclatures sont gérés à l'aide de l'éditeur GDL. Cette éditeur permet la gestion directe et la visualisation des liens de structure ( de type Nomenclature). Une spécificité d'Yexpert est la gestion de trois types de liens différents. On trouvera des liens relationnels, hiérarchie et involutif c'est à dire qu'ils peuvent interagir avec les individus d'un même répertoire.

– Les listes et les représentations sont aussi possibles. Ces représentations d'individus sont synthétiques et peuvent prendre les formes suivantes : listes, états, graphiques.

– Les requêtes sont incontournables pour extraire des informations de la base de données de DKBMS, le principe est simple : une sélection d'individus est proposée selon les attributs de l'individu ou ceux qui y sont liés.

– La base de connaissances représente le stockage du savoir-faire, un module de Traitements, d'aide à la mise au point et un accès aux évaluateurs permettent une gestion de cet ensemble de règles.

– L'administration et l'exploitation de DKBMS sont assurées par plusieurs fonctions pratiques de vérification, de transformation et transfert de données.

2.2 GDX - gestion documentaire

Un module de Gestion du Savoir-Faire orienté sur la rédaction des documents industriels est aussi intégré à Yexpert. Son principe de fonctionnement est le suivant :

– D'abord, il faut créer les formats de documents qui correspondent à des fonds de pages.

– Ensuite, les informations issues de la base de données pourront être transcrites sur ces formats par l'intermédiaire de modèles de texte.

– L'édition de documents directement vers une imprimante est possible mais nécessite le développement d'une interface pour votre imprimante.

GDX permet aussi de gérer :
– Les termes équivalents - Gestion des termes équivalents.
– Le savoir-dessiner - Accès au Savoir-Dessiner.
– L'accès a DKBMS - Accès a la base de données DKBMS.
– L'impression du calendrier - Impression d'un calendrier semainier.

2.3 HEVEA - évaluateur interactif

La gestion et l'activation des réseaux sémantiques est simple. Le module HEVEA vous permet la création, la modification, la duplication ou la suppression des réseaux sémantiques.

Avant leur utilisation une compréhension est nécessaire. A cette étape on vérifie les erreurs de construction ou de syntaxe. Cette vérification de la validité du réseau permettra la construction d'une version exécutable.

Il suffit alors l'activation d'une étude pour utiliser Yexpert. L'activation d'un réseau HEVEA est équivalent à lancer un programme.

Dans tout les processus empruntés par Yexpert pour résoudre un problème, une étape importante est la phase de récupération des données et de diagnostique. Vous pouvez accéder à des saisies interactives qui sont une manière de communiquer avec le système.

Il est important de comprendre de cheminement du raisonnement qui a abouti à une conclusion. La consultations des historiques d'exécutions vous permettent ce suivi : Cela se traduit par une aide a l'explication des affectations, créations, ... Ceux sont les journaux qui vous donneront les explications.

2.4 TOTEM - moteur d'inférence

Le cœur d'Yexpert est le moteur d'inférence TOTEM. Ce module vous permet le définition des objets et l'écriture des règles du Savoir-Faire. C'est ce que l'on appelle l'apprentissage du savoir-faire.

Pour l'utilisation de ce savoir-faire une compréhension est nécessaire. Les règles sont mise en ordre en vue de leur mise en application ; Chaque fiche est interprétée et la cohérence vérifiée.

Pour mettre en application un objet du savoir-faire préalablement écrit une étude doit être lancée.

Il est possible de suivre le raisonnement suivi en analysant le résultats des études ; Une étude correspond aux explications du raisonnement suivi.

Les résultats des études sont automatiquement archivées. Une option permet de supprimer les études obsolètes.

La validation du savoir-faire va permettre la vérification, la reconstruction et recompréhension des règles du Savoir-Faire.

Un certain nombre d'autres manipulations sont possibles :
– La sauvegarde de savoir-faire TOTEM sous forme de fichier ;
– La restauration de savoir-faire archive sous forme de fichier ;
– La consultation, modification et suppression de méta-règles.

2.5 LINK - configurateur

Ce module est spécifiquement destiné au service des méthodes. LINK permet la génération automatique de nomenclature. Ce configurateur gère de manière très simple les caractéristiques des articles.

Pour le service méthodes, la gestion des nomenclatures articles et des gammes de fabrication permettent de définir les composants de vos articles ainsi que les process liés à l'obtention de votre produit fini.

2.6 MOZART - éditeur de gamme

Ce module est aussi spécifiquement destiné au service des méthodes. MOZART permet la création, la modification et la suppression de gammes de fabrication.

Les autres options possibles sont :
– Le gestion des machines ;
– La gestion des outils ;
– La description du vocabulaire des gammes ;
– La gestion des actions, des manières et des objets.

MOZART contient aussi :
– Un savoir pour aider à la rédaction d'une gamme ;
– Une gestion des visas ;
– Une gestion du lexique ;
– Un outil de transfert de gammes.

2.7 EQX - aide à l'équilibrage de ligne

Comme LINK ou MOZART, ce module est aussi spécifiquement destiné au service des méthodes. EQX permet une aide à l'équilibrage de ligne. On trouve les options suivantes :
– La création, la modification et la suppression d'études ;
– Un accès aux traitements ;
– La gestion des inséparables ;
– La gestion des incompatibles ;
– L'activation des études
– L'impression des études

3 Les extensions des fichiers

Les données comme tous les autres objets d'Yexpert sont archivées dans un fichier au format texte. La structure des informations dans ce fichier est très importante, c'est pour cette raison qu'il contient toujours en entête la version de l'outil de sauvegarde et restauration.

Dans plusieurs cas la structure de sauvegarde sera liée directement à la structure de sauvegarde de la base de données que l'on utilise. Dans notre cas ce sera GT.M !

Malgré que cela ne soit pas obligatoire, on conseille de réserver une extension pour chaque type de données. On retrouve :

– .ARC , pour les traitements, les modèles, les formats et les requêtes ;
– .IND , pour les individus d'un répertoires ;
– .PAS , pour les passerelles ;
– .GBL , pour fiches de TOTEM ;
– etc.

Lors de certaines sauvegardes d'Yexpert des fichiers et format vous seront proposés.

4 Produits associés

Un certain nombre de modules complémentaires peuvent s'interfacer avec Yexpert.

5 Références

Coordonnées de l'éditeur :
Yrelay
Hamid LOUAKED
10, impasse Faraday
78520 LIMAY
e-mail : Hamid

6 Voir aussi

Les générateurs de systèmes experts et les machines sont :

Les pionniers :
– EMYCIN
– KAS
– HEARSY-III
– EXPERT
– AGE
– CADUCEUS
– RLL
– INTERNIST/CADUCEUS
– DENDRAL

Les gros systèmes :
– ART
– KEE
– KES
– KNOWLEDGE CRAFT

Systèmes pou micros et systèmes récents :
– ARGUMENT-DECIDEX
– FIRST-CLASS
– GURU
– INTELLIGENCE SERVICE
– M1
– NEXPERT-OBJECT
– PERSONAL CONSULTANT PLUS
– SMECI
– VP-EXPERT

6.1 Liens internes
– Télécharger Yexpert
– La SOURIS et le FROMAGE
– Documentation utilisateur d'Yexpert
– Liens : Intelligence Artificielle (IA) et Systèmes Experts
– Annuaire des Générateurs de systèmes experts et les Machines dédiées

6.2 Liens externes
– Système expert - Wikipedia
– (en) Système expert JESS (Java Expert System Shell)

Annuaire des Générateurs de systèmes experts et les Machines dédiées

Hamid — 2009-05-26T19:25:00Z

L'informatique a pris beaucoup d'ampleur avec l'arrivée de l'intelligence artificielle. De nombreuses expériences sont recensées dans cette annuaire, mais elles soulèvent beaucoup plus d'interrogations qu'elle n'apporte de réponses...

L'intelligence artificielle est une voie dans le carcan de l'informatique : Mon projet rencontrera-t-il un succès ? Mon système sera-t-il rentable ? Comment des problématiques comme la mienne ont-elles été traitées dans le passé ? Et aujourd'hui, comment appréhenderions-nous ? Je vous propose de trouver un début de réponse en parcourant cet annuaire de générateurs de systèmes experts ou de machines dédiées.

L'idée de cet article est venue de ce lien : Le Bureau de la traduction du gouvernement du Canada

Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Haut de page

A

AA - Authorizor's Assistant (système expert en octroi de crédits bancaires)
– En 1988, American Express a déployé le système expert en octroi de crédits bancaires (AA), un système expert à base de connaissances pour l'autorisation de crédit. L'objectif du projet était de déterminer si l'intelligence artificielle pourrait s'appliquer à American Express. L'expertise pour traiter les demandes d'autorisation de crédit a été élaborée et évaluée. Le résultat a été une bonne analyse de rentabilisation et le go pour la mise en œuvre. Le déploiement de l'application a nécessité un système robuste et stable. Une architecture à tolérance de panne a été conçue pour répondre à ce besoin. Le système a depuis été élargi et a évolué avec la politique de crédit de l'entreprise.

Références :
– (en) http://bizrules.info/page/art_amexaa.htm
– (en) http://www.prenhall.com/divisions/bp/app/alter/student/useful/ch9amex.html

ABEL - Acid-Base and Electrolyte disorders diagnosis (Patil 1982)
– La médecine est un domaine où, d'une part, la distinction entre procédure et pratique, et, d'autre part, la notion de contexte sont très importantes. Une pratique est considérée comme une sorte d'explication causale dans la résolution d'un problème.
Ceci est clairement montré dans le système ABEL (Patil, Szolovits et Schwartz, 1981) où est développé un modèle spécifique d'un patient donné, comme dans l'approche « modèle spécifique d'une situation » proposée par Clancey (1992) dans le cadre du diagnostic.

Dans le système ABEL, une explication causale est représentée comme un graphe en cinq couches contenant les principales découvertes, désordres et leurs relations causales ou de catégorisation qui sont supposés être présent chez le patient particulier qui est diagnostiqué. De tels modèles spécifiques sont des arguments causaux ayant la structure d'une preuve (comme la résolution effective d'un problème dans notre cas).

Toujours en médecine, Bouaud, Séroussi et Antoine (1999) décrivent ce type d'opérationalisation des connaissances lors du passage d'une procédure à une pratique quand un médecin généraliste différencie des choix thérapeutiques pour un diagnostic selon l'instanciation du contexte clinique courant qu'il construit à partir de sa perception du patient. Strauss, Fagerhaugh, Suczek et Wiener (1985) donnent un exemple d'une planification pour un patient atteint d'ostéoarthrite, planification qui stipule la nécessité d'une radiographie.

Toutefois dans le cas du patient ostéo-arthritique M. Jones, qui n'a
jamais eu de problème avec sa hanche, cette partie du plan peut donc être évité. À l'inverse, d'autres examens, comme une analyse du sang, peuvent être ajoutés à la planification de M. Jones.

Ainsi, un protocole médical est une procédure d'opérations standard qui doit être adaptée au contexte de chaque patient.

Références :
– (fr) http://www-poleia.lip6.fr/ brezil/Pages2/Publications/Epique2003.pdf
– (en) http://conferences.codegear.com/article/32093

ABSTRIPS - (générateur de plans Sacerdotti)
– STRIPS (ou STanford Research Institute Problem Solver) est un algorithme de Planification classique conçu par Richard Fikes et Nils Nilsson en 1971. L'algorithme de STRIPS est assez basique, mais il est intéressant comme exemple pédagogique. On nomme aussi par ce nom le langage de représentation des données utilisée par l'algorithme.

Avec le GPS (General Problem Solver) de Newell et Simon de 1961, il fait partie des premiers planificateurs utilisés en intelligence artificielle et été suivi de nombreux dérivés (GraphPlan, IPP, STAN, etc).

Références :
– (fr) http://www-poleia.lip6.fr/ sabouret/cours/a4ma-aes2.pdf
– (fr) http://fr.wikipedia.org/wiki/STRIPS

ACC - Adaptive Control of Constraints
– Régulation par contraintes / Adaptive Control of Constraints (ACC) est l'une des méthodes les plus efficaces pour résoudre les problèmes des machines d'usinage. ACC contrôle les paramètres d'usinage afin de maintenir le maximum de conditions de travail au cours de la phase d'usinage.

Références :
– (en) http://www.springerlink.com/content/ug9g18y8cxjyuql6/
– (en) http://www.me.gatech.edu/mechatronics2000/Abstracts/174.htm

ACL2 - A Computational Logic for Applicative Common Lisp
– ACL2 permet de démonter les théorèmes pour des applications industrielles. C'est à la fois de la logique mathématique et un système d'outils pour construire des preuves dans la logique. ACL2 marche avec GCL (GNU Common Lisp).

Références :
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.cs.utexas.edu/users/moore/acl2/
– http://en.wikipedia.org/wiki/ACL2
– http://www.telent.net/cliki/ACL2/

ACO - Adaptive Control of Optimization
– En productique, pour la régulation d'une ligne d'un processus de fraisage : deux architecture différentes de types de réseaux de neurones peuvent est utilisé. Un réseau de neurones de type « BP » est utilisé pour identifier l'état de fraisage ou déterminer les paramètres de coupe optimales. Le vitesse de coupe est sélectionné en tant que variable optimisée, et la passe de fraisage est estimée par la mesure de la force de coupe. Le pilotage de la machine est géré par un PC ainsi que l'ajustement de la vitesse de coupe qui est transmise à la machine CNC. Le but de cette régulation est de réaliser un système fiable, robuste de contrôleur neural adaptative visant à l'ajustement des paramètre d'alimentation pour éviter une trop grande usure de l'outil, une rupture de l'outil ou de maintenir un haut taux d'enlèvement de copeaux. Le but est également d'obtenir une amélioration de la productivité des processus d'usinage par l'utilisation d'une régulation automatique de la coupe. De nombreuses simulations ont été effectuées pour confirmer l'efficacité de cette architecture.

Références :
– http://hrcak.srce.hr/file/13515
– http://www.springerlink.com/content/5peekwanyr11lp00/

ACSE - Atelier de Conception de Systèmes Experts
– ACSE est un environnement de développement de Systèmes Experts. Il présente une interface graphique très facile à utiliser pour le concepteur et crée automatiquement une interface graphique pour le Système Expert généré.

Références :
– http://www.infres.enst.fr/ danzart/ACSE/

ACT - accumulation time ; actions or abstract nouns ; Adaptive Control of Thought
– Les premiers systèmes d'enseignement qui ont fait preuve d'efficience datent de l'année d'apparition de la théorie ACT* « the Adaptive Control of Thought » d'Anderson (Anderson, 1983). Celle-ci décrit une approche cognitive de l'esprit humain transposable dans divers champs d'applications informatiques, notamment dans les ST/. La théorie d'Anderson a permis la construction de STI relativement performants (LISP Tutor : Anderson, Conrad et Corbett, 1989 ; Geometry Tutor : Anderson, Boyle et Yost, 1985). De nos jours on parle davantage de ACT-R « the Adaptive Control of Thought - Relational » (Anderson, 1993) qui se veut un raffinement du mode opératoire d'ACT*.

Références :
– http://www.archipel.uqam.ca/1415/01/M10419.pdf
– http://alsic.u-strasbg.fr/v09/durel/alsic_v09_07-rec2.htm
– http://edutechwiki.unige.ch/en/Adaptive_control_of_thought_theory
– http://books.google.fr/books?id=ClBds53BBeEC&pg=PA600&lpg=PA600&dq=AI+Adaptive+Control+of+Thought&source=bl&ots=Tlnqdcb4vi&sig=nr2jL92EgV4X_WyAqK2jY0LuKCw&hl=fr&sa=X&oi=book_result&resnum=8&ct=result

ADA - langage robotique portant le prénom de Lady Lovelace - mathématicienne britannique
– Ada est le langage principal utilisé pour contrôler nos robots depuis 2005. Les raisons de ce choix sont multiples :

Ada a été conçu dès l'origine pour développer des systèmes sûrs. Ce n'est pas un hasard si les systèmes de contrôle de vol des avions, des navettes spatiales, des trains et des métros automatiques l'utilisent.
Un compilateur Ada libre (GNAT) est disponible dans la suite GCC (GNU Compiler Collection). Ce compilateur est maintenu et développé par AdaCore, société qui nous apporte un soutien financier et un support technique précieux.
Il est possible de placer des restrictions sur les constructions du langage, restrictions qui seront vérifiées à la compilation ou à l'exécution.

Références :
– http://www.telecom-robotics.org/old/node/339
– http://deepblue.lib.umich.edu/handle/2027.42/8136

Aerial - drones qui planifient leurs trajectoires
– Re-planification de missions de longue durée

AGE - attempt to generalize
– L'objectif général du projet AGE est de faciliter l'accès des connaissances de l'ingénieur. Il s'agit d'une tentative de formuler les connaissances que les ingénieurs utilisent, de les transcrire à travers des programmes et les mettre à la disposition des autres sous la forme d'un logiciel de laboratoire.

L'expérience acquise par AGE se retrouve principalement dans la construction de programmes réalisés à l'université de Stanford. Les projets en cours de la dernière décennie ont été ou sont :

DENDRAL,
META-DENDRAL,
MYCIN,
HASP,
AM,
MOLGEN,
CRYSALIS (Feigenbaum),
SACON (Bennett).

Initialement, le programme AGE par les méthodes utilisées dans ces programmes
incarnent à lui seul l'intelligence artificielle. Cependant, l'objectif à terme était d'intégrer les méthodes et les techniques développées dans d'autres laboratoires d'IA. Le produit final est une collection de programmes constitué de blocs combinés avec un « agent intelligent » ce qui aira l'utilisateur dans la construction de programme de connaissance.

Références :
– http://profiles.nlm.nih.gov/BB/G/H/H/X/_/bbghhx.ocr
– http://profiles.nlm.nih.gov/BB/G/H/N/R/_/bbghnr.pdf

AI Kernel (noyau d'IA)
– AI Kernel est un moteur d'intelligence artificielle réutilisable qui utilise le traitement du langage naturel et un modèle Activateur/Contexte afin de permettre le multi-tâche entre les cellules installées.

Références :
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://aikernel.sourceforge.net/
– http://sourceforge.net/projects/aikernel

AI Search II
– En gros, cette bibliothèque offre au programmeur une série d'algorithmes de recherche qui peuvent être utilisés pour résoudre toutes sortes de problèmes différents. L'idée est que lorsqu'il développe un logiciel de résolution de problème, le programmeur devrait pouvoir se concentrer sur la représentation du problème à résoudre, sans avoir à se soucier de l'implémentation du moteur de recherche qui serait précisément utilisé pour mener la recherche. Cette idée a été appliquée grâce à l'implémentation d'une série de classes de recherche qui peuvent être incorporées dans d'autres logiciels à travers des spécifications de dérivation ou d'héritage du C++. Les algorithmes de recherche suivants ont été mis en œuvre :

Recherche en profondeur (deep-first) dans un arbre ou un graphe.
Recherche horizontale (breadth-first) dans un arbre ou un graphe.
Recherche par coûts uniformes dans un arbre ou un graphe.
Recherche du meilleur en priorité (best-first).
Recherche bidirectionnelle en profondeur (bidirectional depth-first) dans un arbre ou un graphe.
Recherche bidirectionnelle horizontale (bidirectional breadth-first) dans un arbre ou un graphe.
Recherche ET/OU en profondeur dans un arbre.
Recherche ET/OU horizontale dans un arbre.

Il existe un livre qui correspond à cette bibliothèque, "Object-Oriented Artificial Instelligence, Using C++".

Références :
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.bell-labs.com/topic/books/ooai-book/

AIM - Artificial Intelligence in Medicine
– AIM est un logiciel d'ingénierie, en exploitation depuis 1983, spécialisée dans la conception, le développement et le soutien des systèmes d'information pour l'industrie de la santé, avec un accent sur la lutte contre le cancer. Les clients incluent le cancer au Canada et aux États-Unis, les hôpitaux, les laboratoires médicaux et des installations de recherche.

AIM a développé un certain nombre de demandes :

ISIS, une gamme de produits informatiques pour le cancer de prévention oncologie, la collecte automatique de données et les registres du cancer ;
Transmed pour l'échange électronique de données ;
AutoCode pour le traitement de texte et le codage automatisé et une base de données intégrée ;
TissueMetrix / système d'application qui vous permet de construire et maintenir de vastes dépôts biospecimen.

Références :
– http://www.aim.on.ca/
– http://www.aimedicine.eu/

AIMDS - système à réseaux sémantiques - Sridharan 1980
– L'étroite collaboration avec les enquêteurs dans le domaine des « systèmes de croyance » a entraîné le développement du système à réseaux sémantiques AIMDS, pour le traitement des problèmes d'interprétation rencontrés.

Le système AIMDS est opérationnel depuis l'été 1976. Une version révisée a été réalisée en 1977.

Le système AIMDS continue d'être une précieuse composante de la recherche dans la construction de la « théorie de la croyance ». La combinaison de la description et la logique des langues prévues par le système et les différents processus majeurs jouent un rôle important dans la manière dont la théorie est explicite.

Références :
– http://profiles.nlm.nih.gov/BB/G/H/M/D/_/bbghmd.ocr
– http://www.aaai.org/ojs/index.php/aimagazine/article/view/499/435

AIMS - Artificial Intelligence Management System
– L'AIMS est un système basé sur Java, système léger et multiagent mis au point pour la gestion de la fiabilité de l'information dans JBI (Joint Battlespace Infosphere) comme le partage de l'information environnements.

Le partage de l'information collaborative des environnements tels que JBI permet d'intégrer largement les décideurs dispersés avec les différentes sources de données dans un système de partage dynamique. Le JBI recueille des données d'une grande variété de sources, les agrégats de cette information, et distribue l'information aux utilisateurs quelques soient leurs niveaux. Un défi dans JBI comme le partage de l'information des environnements de collaboration est que les informations fournies par les différents clients, notamment les opérateurs et les sources de données, sera de qualité variable, alors que de nombreuses applications critiques telles que le champ de bataille et les opérations d'analyse de renseignements fiables et exigent souvent une information de haute qualité. JBI implémentations a été mis au point par l'« Air Force Research Lab » et d'autres organismes offrent une riche collection de fonctionnalités pour les opérateurs, tels que la publication, de recherche, abonnement, mais aucun d'entre eux sont favorables à des mécanismes pour évaluer l'évolution de la qualité des informations émanant de diverses données sources dans des environnements dynamiques.

Références :
– http://www.cs.umbc.edu/ skallu1/pubs/CTS07-aims-final.pdf
– http://www.hindawi.com/journals/cin/aims.html

AIRPLAN - aide au lancement et à la récupération des avions sur porte-avions
– Masui, McDermott, et Sobel (1983) décrivent un système appelé AIRPLAN qui était en cours d'élaboration pour aider les fonctionnaires chargés des opérations aériennes avec le lancement et la récupération d'avion sur un porte-avion. La tâche à laquelle est assignée AIRPLAN a de fortes contraintes de temps. Pour toutes les situations qui peuvent survenir, le temps disponible est toujours insuffisant pour bien examiner les conséquences d'un événement quelconque qui viendrait a se produire. AIRPLAN prévoit quatre niveaux d'assistance aux fonctionnaires chargés des opérations aériennes :

Affichage les données brutes,
identifie les problèmes et caractérise à peu près les solutions possibles,
affine la caractérisation des éventuels problèmes,
identifie les problèmes à venir.

Lorsque AIRPLAN reçoit un rapport, il met à jour son affichage. Il détermine ensuite les conséquences du rapport, s'il découvre un problème, il caractérise les options comme bonnes ou mauvaises. Si il n'y a aucun arriéré de rapports non-analysés, AIRPLAN continue avec son analyse, et le résultat est une série de recommandations. Quand il n'y a pas de rapports à examiner, il génère d'hypothétique futurs événements et les solutions possibles. Quand un nouveau rapport est reçu, AIRPLAN utilise des règles "demon" pour s'interrompre lui-même et enregistre le rapport et sa probable urgence, puis il retourne à la tâche qu'il était auparavant en train d'effectuer. L'approche utilisée dans AIRPLAN est un autre cas particulier de l'approfondissement progressif.

Références :
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

AI/PL - AI Programming Language
– PL/1 a été développé comme un produit IBM dans le milieu des années 1960, et avait à l'origine le nom de NPL (New Programming Language). Le nom a été changé en PL/1 pour éviter la confusion des NPL avec le National Physical Laboratory en Angleterre.

Au moment où ce nouveau langage a été développé, beaucoup ont mis l'accent sur la particularité du domaine d'application, tels que la science, l'intelligence artificielle, ou les affaires. PL/1 n'a pas été conçu pour être utilisé de la même manière. Il a été la première grande tentative de conception d'une langue qui pourrait être utilisé dans une grande variété de domaines d'application.

Références :
– http://www.engin.umd.umich.edu/CIS/course.des/cis400/pl1/pl1.html
– http://fr.wikipedia.org/wiki/PL/1

ALADIN - conception de nouveaux alliages aluminium - 1986
– ALADIN est un système expert qui aide les métallurgistes dans la conception de nouveaux alliages d'aluminium. Le projet a débuté en Janvier 1984, où deux grandes étapes de la conception du système ont été achevés. Le système actuel est un hybride de plusieurs approches des techniques de l'intelligence artificielle.

Les représentations déclaratives sont utilisés pour les données métallurgique ou les concepts.
La base de conception est codé sous forme de règles, avec une grande flexibilité ce qui permet un contrôle par l'utilisateur.

Le système est basé sur des hypothèses et un modèle de test ; Une contrainte de recherche est utilisée pour trouver des modèles alternatifs. Des stratégies sont incluses pour régler les interactions et les compromis entre les propriétés des objectifs.

Les rapports de métallurgie couvrent un large éventail, on y retrouve aussi bien des informations de types symboliques, que les valeurs numériques de raisonnement, qui sont intégrés dans le système.

Références :
– http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA166278
– https://www.aaai.org/Papers/AAAI/1986/AAAI86-146.pdf

ALCS - Analogue Concept Learning System

Aleph - A Learning Engine for Proposing Hypotheses
– Il s'agit d'un moteur d'apprentissage pour proposer des hypothèses. Aleph est un système de programmation par logique inductive (Inductive Logic Programming, ILP). La fonction d'Aleph est celle d'un prototype pour explorer des idées. Aleph est un algorithme ILP mis en œuvre en Prolog par le Dr Ashwin Srinivasav au laboratoire informatique de l'université d'Oxford, et a été écrit spécifiquement pour la compilation avec le compilateur Prolog YAP.

Références :
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/

ALGOL - (langage IA de type abstrait)

ALICE - langage pour résolution de problèmes combinatoires J.L. Laurière - 1976

ALU - arithmetic and logic unit

AL/X Apple II Pascal U. of Edinburgh Edinburgh, Scotland

AM - Automated Mathematician

AM - programme d'apprentissage par découverte D. Lenat - 1977

AMALIA - générateur de tuteurs intelligents - M. Vivet 1987

AML - A Manufacturing Language

APL - A Programming Language

APSG - augmented phrase-structure grammar

ARAMIS - système de diagnostic médical - J.F. Fries 1972

ARC - Association pour la Recherche Cognitive

ARGOS-II - (système de maintenance automatique à règles de production - H. Farreny 1981)

ARIES - Alvey Research into Insurance Expert System

ARMA - autoregressive/moving average

ART DEC VAX Lisp Inference Corp LMI Los Angeles, CA, 90045
– Il s'agit d'un gros système. d'un coût de 10 000 $ à 80 000 $ sans le matériel.

ARTEMIS - expert d'aide à la surveillance des malades hypertendus

ASA - Adaptive Simulated Annealing : Recuit simulé adaptatif
– ASA est un puissant algorithme en code C d'optimisation globale particulièrement pratique pour les systèmes non linéaires et/ou stochastiques.

ASA est développé pour trouver statistiquement le meilleur ajustement global d'une fonction coût non linéaire et non convexe sur un espace de dimension D. Cet algorithme permet un schéma de refroidissement du recuit pour une température T exponentiellement décroissante dans le temps recuit k, T=T_0 exp(-c k^1/D). L'introduction du renouvellement de recuit permet également une adaptation aux changements de sensibilités dans un espace paramétrique multi-dimensionnel. Ce schéma de refroidissement de recuit est plus rapide que le recuit de Cauchy rapide, où T = T_0/k, et encore plus rapide que le recuit de Boltzmann, où T = T_0/ln k.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http://www.ingber.com/#ASA-CODE/
– http://ftp.ingber.com/

ASPIC - (systèmes experts pour la conduite de procédés industriels chimiques et pétrochimiques)

ATE - automatic test equipment

AT/I - Advice Taker/Inquirer

AU - argument unit

Haut de page

B

Babylon
– BABYLON est un environnement modulaire, configurable et hybride pour le développement de systèmes experts. Ses caractéristiques comprennent des objets et règles avec un chaînage vers l'avant et vers l'arrière, une logique Prolog et des contraintes. BABYLON est codé et incorporé en Common Lisp.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http://ftp.gmd.de/gmd/ai-research/Software/Babylon/

BACON.3 - système de découverte des lois physiques - P. Langeley 1979

BAOBAB - système de compréhension des langues naturelles - A. Bonnet 1979

BHFFA - bidirectional heuristic front-to-front algorithm

BIOMEC - (système d'apprentissage à vidéodisque interactif - M. Giardina et al. 1988)

BIP - Basic Instructional Program

BIT - built-in test

BOOJUM - système de programmation logique - Dormoy 1987

BORIS - Better Organized Reasoning and Inference System (Lehnert)

bpa - basic probability assignment

bps - bits per second

BRDF - bidirectional reflectance distribution function

BRMS - gestion de règles métier
– Une gestion de règles métier (BRMS) est une suite d'outils que les gestionnaires de la politique ainsi que l'utilisation de logiciels de construire de systèmes qui permettent d'exploiter des affaires politiques de code logiciel. Les politiques peuvent alors être directement l'auteur, de modification et de gestion indépendant du logiciel sous-jacent. Un BRMS couvre l'ensemble du cycle de vie des règles au sein d'une organisation et vise à rationaliser l'administration et l'amélioration de l'organisation des règles dans toute l'entreprise.

Références :
– http://www.ilog.com/

BTN - Basic Transition Network

Haut de page

C

C - CONTACT, a popular programming language

CA - Concept Analyser

CADAM - Computer-Augmented Design and Manufacturing

CAD/CAM - Computer-Aided Design/Computer-Aided Manufacturing

CADUCEUS - (Système de diagnostic en médecine interne)

CAE - Computer-Assisted Engineering

CAI - Computer-Assisted Instruction

CAM - Cellular Automata Machine (Toffoli-1984)

CAMELIA - (logiciel pour raisonner et calculer - M. Vivet 1984)

CAP - control agreement principle

CAPS - Computer Aided Planning System

CAR - contents of the address part of register number

CASNET - Causal Association Network

CATS-1 - (système expert en maintenance industrielle)

CDR - contents of the decrement part or register number

CD-ROM - Compact Disk Read-Only Memory

CDS - Configuration Dependent Sourcing (Digital)

Cfengine - moteur de configuration
– Cfengine, ou "moteur de configuration" est un langage de très haut niveau pour la construction de systèmes experts qui administrent et configurent de grands réseaus informatiques. Cfengine utilise l'idée de classes et une primitive formée d'intelligence pour définir et automatiser la configuration de grands systèmes de façon la plus économique possible. Cfengine est conçu pour être une part des système immunisés informatiques.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http://www.iu.hio.no/cfengine/

CFG - context-free grammar

CFL - context-free language

CF-PSG - context-free phrase-structure grammar

CG - causal graph

CHECKERS - (programme d'apprentissage du jeu des échecs - A.L. Samuels 1963)

CHELEM - (système expert au jeu bridge - R. Popescu 1984)

Chess In Lisp (CIL : les échecs en Lisp)
– La fondation CIL est une implémentation "Common Lisp" de toutes les fonctions principales nécessaires au développement d'applications sur les jeux d'échecs. Le but principal du projet CIL est d'amener les chercheurs en IA intéressés par l'emploi de Lisp à travailler sur le domaine des échecs.

Références :
– http://clocc.sourceforge.net/

CHI - Computer-Human Interfaces

CIAO - Conception Intelligemment Assistée par Ordinateur

CID - Création Interactive de Didacticiels (Schneider 1984)

CIM - Computer-Integrated Manufacturing

CINACC - (système tutoriel de diagnostic conceptuel - Le Ny 1987)

CIRP - Collège International de Recherches pour la Production

CK - control knowledge

CLEARS
– Le système CLEAR est un environnement graphique interactif pour les sémantiques de calcul. L'outil permet l'exploration et la comparaison de différents formalismes sémantiques ainsi que de leur interaction avec la syntaxe. Cela permet à l'utilisateur d'obtenir une idée de l'étendue des possibilités en matière de construction sémantique, ainsi qu'où se trouve la convergence réelle entre les théories.
CLIG

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721

CLIG
– CLIG est un grapheur interactif et renouvelable pour visualiser les structures de données linguistiques comme les arbres, les structures des caractéristiques, les Structures de Représentation de Discours (DRS), formules logiques, etc. Chacun de ces éléments peut être mélangé librement et incorporé aux autres. Le grapher a été conçu à la fois pour marcher tout seul et pour être utilisé comme une extension pour les applications linguistiques qui affichent leur résultat d'une manière graphique.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http://www.ags.uni-sb.de/ konrad/clig.html

CLIPS
– CLIPS est un outil productif de système expert de développement et de livraison qui fournit un environnement complet pour la construction de systèmes experts basés sur des règles et/ou des objets.
CLIPS fournit un outil cohésif pour la gestion d'une grande variété de connaissances compatible avec trois différents paradigmes de programmation : basé règles, orienté objet et procédural. La programmation basée règle permet de représenter les connaissances comme de l'heuristique, ou des "règles empiriques", qui spécifient une série d'actions à entreprendre pour une situation donnée. La programmation orientée objet permet à des systèmes complexes d'être modelés comme composants modulaires (qui peuvent être facilement réutilisés pour modeler d'autres systèmes ou pour créer de nouveaux composants). Les capacités de programmation procédurale fournies par CLIPS sont similaires à celles trouvées dans les langages comme le C, le Pascal, l'Ada et le Lisp.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http://www.ghg.net/clips/CLIPS.html

CLS - Concept Learning System

CM - Connection Machine (Toffoli et Hinton, Thinking Machines)

CML - Cell Management Language

CNET - Centre National d'Études des Télécommunications

CNF - conjunctive normal form

CMPM - computer-Managed Parts Manufacture

COMPASS - Central Office Maintenance Printout Analysis and Suggestions System

CONGEN - (programme d'identification des structures chimiques - Carhart 1979)

CONNIVER - (langage de programmation logique)

CONSENSYS - (système inférentiel d'aide à la décision - A. Barr, 1985)

CONSIGHT - (interprète visuel en robotique industrielle)

CPS - constraint-satisfaction problem

CRIB - Computer Retrieval Incidence Bank

CRYSALIS - (système d'analyse des protéines - Engelmore et Terry 1979)
– CRYSALIS s'intéresse aux nouvelles approches pour l'interprétation des données cristallographiques des rayons X. La cristallographie des rayons X est une autre approche d' élucidation de la structure moléculaire. Un de des intérêts à long terme est d'explorer les moyens par lesquels les structures générées de CONGEN ou GENOA peuvent être utilisées pour guider la recherche de la densité électronique des cartes. Le fait d'avoir réduit les possibilités d'une structure inconnue en utilisant les données physiques et chimiques, les quelques candidats restants peuvent être utilisés pour orienter l'interprétation de ces cartes.

Références :
– http://profiles.nlm.nih.gov/BB/G/H/N/R/_/bbghnr.pdf
– .

CSCSI - Canadian Society for Computational Studies of Intelligence

CSG - context-sensitive grammar ; constructive solid geometry

CSK - CommonSense Knowledge (McCarthy- 1874)

CSL - Concept-Learning Program

CSM - carrier sense - multiple access

CSP - Communicating Synthetic Processes

CTM - computational theory of mind

CWA - closed-world assumption

CWR - contents of the work in register number

CYRUS - Computerized Yale Reasoning and Understanding System (G. Kolodner)

Haut de page

D

DAI - bibliothèque pour le langage de programmation Python
– C'est une bibliothèque pour le langage de programmation Python qui fournit une interface orientée objet à l'outil système expert CLIPS. Il inclut une interface pour COOL (CLIPS Object Oriented Langage : Langage orienté objet CLIPS) qui permet de :

Examininer, étudier les classes COOL
Créer et manipuler des instances COOL
Manipuler les gestionnaires de messages COOL
Manipuler les modules

Références :
– http://starship.python.net/crew/gandalf/DNET/AI/

DAG - directed acyclic graph

DARPA - Defence Advanced Research Projects Agency

DART - Diagnostic Assistant Reference Tool (Bennett 1981)

DEBMS - database-management system

DCF - Système à agents multiples pour le contrôle de l'accélérateur du CERN
– Lorsqu'on doit résoudre un problème pratique à l'aide d'un système expert, la première chose à faire après l'analyse du problème est de sélectionner l'approche et les outils les mieux adaptés à ce problème. Souvent, une approche basée sur le concept de règles peut satisfaire les besoins. Le choix se porte alors généralement sur un système qui peut être coûteux et qui de plus n'est pas disponible en standard dans l'environnement logiciel en place. Très fréquemment, ce système expert offre beaucoup plus de possibilités que nécessaire pour résoudre le problème donné, et une fois acheté il doit encore faire l'objet de maintenance et de mises à jour qui augmentent encore les coûts. Nous préconisons donc d'utiliser plutôt un logiciel de bases de données quelconque déjà disponible, offrant un moteur de recherche généraliste. Les moteurs de recherche des bases de données utilisent en effet des algorithmes très proches de ceux utilisés par les moteurs d'inférence des systèmes experts.
C'est cette dernière approche qui a été utilisée pour développer l'outil de diagnostic correspondant au niveau 1) du processus de synchronisation (programmation des modes opérationnels). Nous avons développé un langage orienté règles semblable au SQL, mais comprenant des expressions spéciales correspondant aux concepts DCF. De cette façon, la syntaxe des règles est facile à apprendre, et de plus elles sont facilement traduisibles en requêtes SQL. Les descriptions DCF, qui sont stockées dans un base Oracle, sont transformées sous forme de tables auxquelles les règles peuvent plus facilement être appliquées. L'utilisateur crée les règles à l'aide de l'Editeur de Règles DCF et l'Editeur les transcrit en expressions SQL. Le Vérificateur DCF applique ces expressions SQL aux DCF. En fait, avec l'aide de l'interprèteur SQL, il joue le même rôle que le moteur d'inférence d'un système expert. Nous avons maintenant un an d'expérience avec cet outil et les opérateurs de l'accélérateur le trouvent hautement utile.

Référence :
– http://ditwww.epfl.ch/SIC/SA/publications/FI96/fi-sp-96/sp-96-page26.html

DCG - definite-clause grammar

dcu - discourse constituent unit

DDL - Data Definition Language

DDM - dynamic discourse model

DEBUGGY - (système modèle d'apprenant - Xerox)

Decidex -

DEDALUS - (système expert en synthèse de programmes - Manna 1975)

DEMO - (tutoriel de modélisation du raisonnement - Belaid 1987)

DENDRAL - (système d'analyse des composés organiques)
– Le projet DENDRAL de l'Université Stanford, est une étape importante pour les projets de la communauté SUMEX-AIM. L'origine de ces recherches remonte au milieu de l'année 1960, ces travaux sont le fruit de la collaboration et de l'interdisciplinarité des chercheurs principaux les professeurs Joshua Lederberg (Genetics), Edward Feigenbaum (Computer Science), et Carl Dj erassi (chimie). DENDRAL est une ressource de recherche liées à des projets de techniques de calcul symbolique pour aider à déterminer les aspects topologiques et stéréochimiques des structures moléculaires organiques sur la base des informations obtenues à partir de méthodes chimiques ou physiques. L'équipe a aussi travaillé énergiquement à la diffusion de ces techniques à une large communauté de biochimistes.

Références :
– http://profiles.nlm.nih.gov/BB/G/H/N/R/_/bbghnr.pdf
– .

DFA - deterministic finite state automaton

DFID - depth-first interactive-deepening

DIAGNEX - générateur de systèmes experts conçus pour le diagnostic d'installations industrielles

DIAL - Draper Industrial Assembly Language

DIGITALIS - système expert en cardiologie - Gorry et al. 1978

DIONYSOS - système d'aide au diagnostic des défauts dans les transformateurs

DIVA - diagnostic de vibrations d'arbres de groupes turbo-alternateurs

DLPA - decoupling, linearization, and poles assignment

DMA - Direct Memory Access

DNF - disjunctive normal form

DOCENT - (planificateur pédagogique pour éducateurs - Canada)

DOF - degree of freedom

DONTEC - système expert en gestion de production - AFCET

DOS/VS - Disk Operatiing System with Virtual Storage

DP - dynamic programming

DPS - Distributed Planning Systems

DRA - Data-Representation Advisor

DRAGON - système de comopréhension de la parole - Bahl et al. 1978

DRAM - Dynamic Random-Access Memory

Drools
– Drools is a business rule management system (BRMS) and an enhanced Rules Engine implementation, ReteOO, based on Charles Forgy's Rete algorithm tailored for the JVM. More importantly, Drools provides for Declarative Programming and is flexible enough to match the semantics of your problem domain with Domain Specific Languages, graphical editing tools, web based tools and developer productivity tools.

Références :
– http://www.jboss.org/drools/

DRS - Discourse Representation Structure

DSS - decision support system

DT - decision tree

DTC - Derivational Theory of Complexity

DWIM - Do What I Mean

Haut de page

E

EDC -

EDD - Expert Database Designer

EL - système expert en électronique - Brown 1974

ELECTRE - générateur de modèle d'apprenant - C. Cauzinille, Marmèche et al. 1988

ELFINI - logiciel de calcul pour éléments finis et structures d'avions

ELI - English-Language Interpreter

ELIZA - système de dialogue intelligent - J. Weizenbaum 1964

E-MOP - Episodic Memory-Organization Packet

EMA-XPS - A Hybrid Graphic Expert System Shell
– EMA-XPS est un interpréteur de commande [shell] de système expert graphique hybride basé sur le shell orienté ASCII Babylon 2.3 du Centre National Allemand de Recherche pour les Sciences Informatiques (GMD). En plus de la puissance IA de Babylon (représentation de données orientées objet, règles de chaînage vers l'avant et vers l'arrière - regroupables en séries, en clauses de Horn, et en réseaux contraints), une interface graphique basée sur le système X11 Window System et la OSF/Motif Widget Library ont été fournies.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http:/www.iai.uni-wuppertal.de/EMA-XPS

EMYCIN - Empty MYCIN ; Essential Mycin
– EMYCIN a été réalisé sous la direction de Van Melle (1979), il est issu d'un système développé par Shortliffe à l'Université de Stanford (Californie) sous le nom de MYCIN (1976). Le module d'acquisition des connaissances de MYCIN a été conçu par Davis (1977), ce module a pour nom TEIRESIAS.

EMYCIN est un prototype, des versions sont mises à la disposition des adaptateurs éventuels par l'Université de Stanford.

MYCYN comme TEIRESIAS furent écrits en INTERLISP (un dialeste LISP) sur machine DEC PDP-10.

ENVISAGE - variante interruptible du système prologien SAGE

EPAM - Elementary Perceiver and Memorizer (simulateur de comportement verbal - E. Feigenbaum - 1963)

EPES - The Emergency Procedures Expert System (Anderson et al. 1984)
– EPES regroupe les applications de l'aérospatiale autour du thème des systèmes à base de connaissances en temps réel.

EPES a été conçu pour être l'un des systèmes experts coopératif, contenant un pilote associé. EPES est utilisé dans le domaine des procédures d'urgence en vol pour détecter une situation d'urgence, avertir le pilote, et lancer les actions correctives. Le système peut être annulé par le pilote, à tout moment. Un prototype de EPES a été mis en œuvre dans ZetaLisp sur une machine Lisp. La base de connaissances pour EPES comprend plusieurs parties, des objectifs et met en œuvre des règles et des procédures d'urgence du manuel d'un F-16 en vol. EPES interfacé avec le pilote au moyen d'un affichage des messages experts, ainsi que d'une simulation de système de contrôle d'avion.

Références :
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

ER - entity-relationship

ESE - Expert System Environment

ES-EC - Expert System for Environmental Compatibility (Univ. de Hambourg)

ESP Advisor IBM PC Prolog Expert Systems King of Prussia, PA, 19406

ESOPE - (système français de compréhension de la parole - J.J. Mariani 1982)

ESPOIRS - Expert System for Performance Optimization in a Relational system (R. Missaoui 1985)

ESSOC - An Expert System for Satellite Orbit Control (Tour et Odublyl 1986)
– ESSOC est un système expert de contrôle d'orbite de satellite. ESSOC a été conçu pour aider un satellite à maintenir sa position stationnaire (delta V) par des manœuvres de traitement en continu des données de télémétrie par satellite et de déterminer les commandes à exécuter pour la manœuvre. ESSOC analyse les données du satellite durant la phase de contrôle, il diagnostique la cause des anomalies, et recommande des actions pour résoudre les anomalies. Le système expert communique en temps réel d'une manière dynamique, la haute performance du satellite fonctionne sur une station VAX 11/785. ESSOC ART a été développé en ART sur une symbolique 3675.

Référence :
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

EST - Expert System Technology

EURISKO - (Système simulant la découverte et la créativité, successeur de AM - Douglas Lenat)

EUROPOLIS - (système intégré de contrôle et de communication pour la circulation urbaiine et routière des années 2000)

EXIMU - The Expert System for Inertial Measurement Unit (Campbell, 1987)
– EXIMU est un système expert travaillant dans le domaine de la surveillance en temps réel des données de télémétrie de la navette spatiale de l'unité de mesure inertielle (UMI inertial measurement unit). EXIMU trie la solution en fonction du modes de fonctionnement de l'IMU et résous les problèmes de stratégie. Actuellement, les modules EXIMU étalonnage le pré-vol et aligne les modes de fonctionnement de l'IMU. La surveillance pricipale utilise l'enchaînement des énoncés de recherche pour évaluaer les règles nominales d'attentes de départ. EXIMU fonctionne sur un micro-ordinateur. Une interface télémétrique en arrière-plan accepte les caractères et les stocke dans des emplacements de mémoire prédéfinie. L'algorithmiques d'un programme récupère les valeurs numériques et le nombre de valeur à traiter. Le moteur d'inférence test alors les règles et effectue les actions indiquées.

référence :
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

EXPERT - (système de diagnostic médical - S. Weiss et al. 1978)

Expert IBM Fortran Rutgers University New Brunswick, NJ, 08903
Il s'agit d'un système moyen d'un coût de 1 000 $ à 10 000 $.

Expert navigateur - surveillance (Pisano et Jones, 1984)
– Les navigateurs experts ont été conçus pour surveiller, gérer et reconfigurer les capteurs de navigation (comme le ferait une aide à la radio, un systèmes de navigation par inertie, ou une aide numérique de terrain) à bord d'un des avions tactiques. Le système expert contrôle les capacités des capteurs de navigation de l'appareil de la mission principale, et suggère des alternatives lorsque la mission est menacée. Le système de la connaissance est représentée dans les règles de fonctionnement dans l'architecture d'un tableau noir. Le système a été mis en œuvre en Lisp symbolique sur un processeur 3600.

Références
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

EXPERT2 -
– EXPERT2 Web est un produit à base de connaissances application conçue à l'appui de techniciens et d'ingénieurs qui instrument installer et dépanner des débitmètres Coriolis.

Références :
– www.expert2.com

Expert/Ease IBM PC Pascal Expert Software DEC Rainbow San Francisco, CA, 94114

EXPRESS - (système de modélisation financière)

EXSYS IBM PC C EXSYS Inc. Albuquerque, NM, 71941

EXTASE - (système de traitement d'alarmes - lab. Marcoussis)

Haut de page

F

FALOSY - Fault Localization System

FCR - feature cooccurrence restriction

FDR - simples et pratiques, isolement des contextes

FEM - Finite Element Method

FFLL - Free Fuzzy Logic Library
– La bibliothèque gratuite de logique floue est une bibliothèque de classe et une API libres de logique floue qui est optimisée pour des applications dont la rapidité est importante, comme les jeux vidéos. FFLL est capable de charger des fichiers conformes au standard IEC 61131-7.

Références :
– http://ffll.sourceforge.net/

FIABEX - (systèmes experts pour l'analyse de la fiabilité des systeèmes industriels)

FIRE - (expert de la sécurité du feu des immeubles d'habitation - Univ. de Lisbonne)

FIS - fault-isolation system

FLAVORS - (langage orienté-objets)

FLES - The Flight Expert System (Ali and Scharnhorst 1985)
– Le prototype FLES est conçu pour aider un pilote d'avion dans le suivi, l'analyse et le diagnostic de défauts dans les systèmes de l'avion. Le système est basé sur le modèle "Hearsay blackboard". Les sources de connaissances sont des entrées qui reçoivent des analyseurs indiquant les défauts des capteurs, pour construire des hypothèses sur les causes des interruptions, et la place des hypothèses sur le tableau noir. Quand une procédure de vérification, confirme un composant est en panne, une procédure de diagnostic permet de déterminer si le composant est à l'origine de la panne ou un effet secondaire d'une autre faute. Le processus de diagnostic est formel que l'absence d'informations sur un suspect est utilisé dans le processus de raisonnement. La tolérance acceptable pour que les données du capteur varie en fonction de la phase de vol. Ainsi, un autre écran avec des tolérances différentes sont utilisés pour le suivi des capteurs dans chaque phase de vol. FLES est implémenté comme un prototype fonctionnant dans un environnement simulé. FLES est codé en FranzLisp et s'exécute sur un ordinateur VAX.

Référence :
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

FLEX - (langage mixte cadres-objets)

FLPL - Fortran list-processing language

FLUX EXPERT - (système expert en calcul scientifique)

FOCUS - (langage évolué d'interface homme-machine)

FOL - (langage de formalisation du raisonnement - Weichrauch 1980)

fopc - first-order predicate calculus

FOOL et FOX - Fuzzy Organizer OLdenburg
– FOOL signifie organisateur flou Oldenburg. C'est le résultat d'un projet de l'Université d'Oldenburg. FOOL est une interface utilisateur graphique pour développer les règles de base floues. FOOL va vous aider à inventer et maintenir une base de donnée qui spécifie le comportement d'un contrôleur flou ou semblable.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http:/rhaug.de/fool/
– http:/ftp.informatik.uni-oldenburg.de/pub/fool

FORMENTOR - système expert de traitement de la menace industrielle ou naturelle en temps réel

FORMES - langage orienté-objets (P. Cointe 1983)

FORTH - langage évolué de contrôle en temps réel

franzLISP - dialecte lispien

FRED - Front-End for Databases

FRL - Frame Representation language (Roberts)

FRUMP - Fast Reading, Understanding, and Memory Program (De Jong)

FSA - finite state automaton

FSD - feature specification default

FUF et SURGE
– FUF est une implémentation étendue du formalisme des grammaires d'unification fonctionnelles (FUGs : functional unification grammars) introduit par Martin Kay, spécialisé dans la tâche de génération du langage naturel. Il ajoute les fonctionnalités suivantes au formalisme de base :

Types et héritage.
Installation de contrôle étendu (maintient de l'objectif, recherche inverse intelligente).
Syntaxe modulaire.
Ces extensions permettent le développement de grandes grammaires qui peuvent être traitées efficacement et peuvent être maintenues à jour et comprises plus facilement. SURGE est une grande grammaire syntaxique de réalisations de l'anglais, écrite en FUF. SURGE est développé pour servir de composant de génération syntaxique de boîte noire dans un système de génération plus grande qui encapsule une connaissance riche de la syntaxe anglaise. SURGE peut aussi être utilisé comme plate-forme pour l'exploration de l'écriture de la grammaire dans une perspective de génération.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http://www.cs.bgu.ac.il/research/projects/surge/index.htm
– http://ftp.cs.bgu.ac.il/pub/fuf

FUG - Functional Unification Grammar

FX - Foreign Exchange expert system

Haut de page

G

G2 - (générateur de systèmes experts en temps réel)

GADS - Gate Assignments Display System (Texas Instruments)

GAMETE - Générateur Automatique de systèmes d'apprentissage autonome (Regourd 1984)

GARI - (système-conseil en conception de gammes d'usinage - Descotte 1981)

GASP - (gestion des aléas dans un système de production - 1986)

GDN - goal-dependency network

GIBUS - (système d'aide à la gestion de batteries de satellites (Cognitech/ESD)

GIDE - (tutoriel détecteur d'erreurs en statistique - Sebrechts et al. 1987)

GKS - Graphics Kernel System

GLOBE-TROTTER - (système d'assistance à la planification de vols - Texas Instruments)

GMAO - Gestion de Maintenance Assistée par Ordinateur

GOSSEYN - (système de programmation logique - Fanet 1987)

GPAO - Gestion de Production Assistée par Ordinateur

GPS - General Problem Solver (Simon, Shaw, Newell-1958)

GPSG - generalized phrase-structure grammar

GPSS - general-purpose simulation system

GraphPlan

GRUNDY - heuristically classifies a reader's personality and selects books he might like to read (Rich, 1979)
– GRUNDY classe un lecteur en fonction de sa personnalité et propose les livres qu'il aimerait peut-être lire.

GRUNDY résout deux problèmes de classification heuristique. Il illustre la puissance d'un niveau de connaissances et d'analyse ; On découvre qu'entre les personnes et les livres des classifications ne sont pas distinctes lors de la mise en œuvre. Par exemple, « rythme rapide » est une caractéristique d'un livre, mais dans la mise en oeuvre « aimer les rythmes rapides » est liée à une personne stéréotype. La relation entre une personne et le stéréotype "rythme rapide" est heuristique et doivent être distinguées des abstractions des personnes et des livres. Un objectif du programme est d'apprendre à mieux connaitre les stéréotypes des gens (modèles). La description de la classification pour l'utilisateur pose un problème ; La modélisation GRUNDY montre que l'apprentissage de la caractérisation des livres et de les heuristiques qui en découlent devrait être réalisés de meilleures façons qu'il soit ; Si elles ne sont pas traitées séparément, l'apprentissage en sera entravé. Cet exemple illustre la raison pour laquelle une analyse du niveau de connaissance doit précéder la représentation. Il est intéressant de noter que GRUNDY ne vise pas un modèle parfait de l'utilisateur avant de recommander un livre. Au contraire, l'affinement du stéréotype de la personne se produit lorsque le lecteur du livre rejette la suggestion. Si on compare avec d'autres programmes on se rend compte que le processus multi-pass est commun. Par exemple, le conseiller en forage fait deux passages en général sur les causes de friction, en général il a peu de données au premier tour ; Les programmes médicaux considèrent communément le « vécu et l'état physique » avant les données des échantillons de laboratoire.

Références :
– http://www.aaai.org/Papers/AAAI/1984/AAAI84-031.pdf

GSM Suite
– The GSM Suite (la suite GSM) est une série de programmes pour l'utilisation des machines à état fini à la mode graphique. Cette "suite" consiste en des programmes qui éditent, compilent, et impriment des machines d'état. Cette "suite" comprend un programme d'édition, gsmedit, un compilateur, gsm2cc, qui produit une implémentation C++ d'une machine d'état, un générateur PostScript, gsm2ps, et deux autres programmes mineurs. GSM possède la licence publique GNU et est donc libre pour l'utilisation selon les termes de cette licence.

Références :
– http://asi.insa-rouen.fr/enseignement/sitePlateforme/faq/ar01s02.html#id335721
– http://www.slip.net/ andrewm/gsm/

GUIDON - (tutoriel intelligent pour étudiants en médecine - Clancey 1979)
– Le but du projet GUIDON est de développer un programme de tutorat qui utilise un système à base de connaissances pour le matériel didactique. La recherche au cours des cinq dernières années a montré que la représentation de la connaissance qui est suffisante pour le développement d'un système de consultation avec de bonnes performances mais est insuffisante pour l'enseignement. L'étude de la méningite MYCIN règle de base (1979 - 1980) nous a conduit à développer une nouvelle représentation dans quels types de connaissances importantes pour l'enseignement sont représentés séparément et explicitement. L'utilisation de ce nouveau système, est appelée la NEOMYCIN. En 1981, a été développer un programme de modélisation pour les élèves qui utiliseront ce programme de tutorat pour l'enseignement de la stratégies de diagnostic.

Références :
– http://profiles.nlm.nih.gov/BB/G/H/N/R/_/bbghnr.pdf
– .

Guru -

Haut de page

H

HACKER - (générateur de plans - Sussman 1975)

HAM - Human Associative Memory

HAMEX - (moteur d'inférence - Massotte et al. 1986)

HARPY - (Système de compréhension de la parole - Erman 1980)

HEARSAY - (système de coompréhension du langage - Erman 1981)

HEAT - The Heuristic Error Analyzer for Telemetry (Skapura and Zoch 1986)
– HEAT analyse les données télémétriques de la navette spatiale qui sont collectées et les transmets à chaque seconde à la station au sol. Une fois validées, les données de télémétrie sont ensuite transmis aux contrôleurs de mission de la NASA. HEAT distingue entre les erreurs télémétries causées par une perte de signal lorsque la navette se déplace hors de portée et un problème plus grave nécessitant l'attention humaine. HEAT a été développé dans une version FranzLisp de OPS5 sur un VAX 11/780 sous Unix. Pour tenir compte en temps réel des demandes de l'état des données télémétriques, un programme en C qui a été écrit, il traduit le statut télémétrique des données en un format Lispcompatible qui est ensuite inséré dans un fichier d'attente de l'AI appelé fichier de log. Un programme Lisp intervient pour lancer le code OPS5 pour exécuter un certain nombre de règles et puis il s'arrête et il lit un autre fichier de données supplémentaires. Les messages sont lus les uns après les autres jusqu'au moment ou pour des groupes de 20 ou plus, HEAT est trop en retard dans la transformation. Parce que la navette est saturée 12 minutes à chaque heure, HEAT a également été conçu pour purger les données non utilisées quand il n'y a rien d'autre à faire, minimisant ainsi l'impact sur l'utilisation de la mémoire. Sur la base d'essais avec des données simulées, les promoteurs ont conclu que OPS5 n'est pas la meilleure architecture de système en temps réel de traitement des données. Une des raisons est que l'algorithme RETE utilisé dans OPS5 a été conçu pour des environnements où la base de connaissances change lentement. En temps réel, l'analyse des données des problèmes, de la base de connaissance a des changements trop rapides pour l'algorithme de RETE optimale.

Références :
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

H-Expert -

HERON - (système tutoriel multi-expert - Univ. Montréal 1988)

HIPO - Hierarchy, Input, Process, Output

HORSES - Human Orbital Refueling System - Expert System (Guy Boy)

HPRL - (langage à réseaux sémantiques - Rosenberg)

HTK
– La boîte à outils du modèle de Markov masqué (HTK : Hidden Markov Model ToolKit) est une boîte à outils portable pour créer et manipuler des modèles de Markov masqué. HTK consiste en une série de modules de bibliothèques et d'outils disponibles sous la forme de sources en C. Ces outils founissent des solutions sophistiquées pour l'analyse vocale, la formation HMM, les tests et l'analyse de résultats. L'application supporte les HMM en utilisant à la fois les fonctions gaussiennes sur les mélanges à densité constante et les distributions discrètes et peut être utilisée pour créer des systèmes HMM complexes. Le logiciel HTK contient une grande quantité d'informations et d'exemples.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://htk.eng.cam.ac.uk/

HWIN - (système de compréhension de la parole - J. Wolf 1980)

HWIN - Hear What I Mean

Haut de page

I

IAA - Intelligence Artificielle et Automatique

IA Kernel
L'IA Kernel est un moteur d'intelligence artificielle réutilisable qui utilise le traitement du langage naturel et un modèle Activateur/Contexte afin de permettre le multi-tâche entre les cellules installées.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://aikernel.sourceforge.net/
– http://sourceforge.net/projects/aikernel/

IAO - Ingénierie Assistée par Ordinateur

IA Search II
– En gros, cette bibliothèque offre au programmeur une série d'algorithmes de recherche qui peuvent êtres utilisés pour résoudre toutes sortes de problèmes différents. L'idée est que lorsqu'il développe un logiciel de résolution de problème, le programmeur devrait pouvoir se concentrer sur la représentation du problème à résoudre, sans avoir à se soucier de l'implémentation du moteur de recherche qui serait précisément utilisé pour mener la recherche. Cette idée a été appliquée grâce à l'implémentation d'une série de classes de recherche qui peuvent être incorporées dans d'autres logiciels à travers des spécifications de dérivation ou d'héritage du C++. Les algorithmes de recherche suivants ont été mis en oeuvre :

Recherche dans un arbre ou un graphe prioritairement en profondeur.
Recherche prioritaire horizontale dans un arbre ou un graphe.
Recherche par coûts uniformes dans un arbre ou un graphe.
Recherche du meilleur en priorité.
Recherche bidirectionnelle et en profondeur en priorité dans un arbre ou un graphe.
Recherche bidirectionnelle et horizontale en priorité dans un arbre ou un graphe.
Recherche ET/OU en profondeur dans un arbre.
Recherche ET/OU horizontale dans un arbre.

Il existe un livre qui correspond à cette bibliothèque, "Object-Oriented Artificial Instelligence, Using C++"

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.bell-labs.com/topic/books/ooai-book/ (Soumis par Peter M. Bouthoorn)

IATG - Intelligent Automatic Test Generation

IC - instantaneous configuration

ICAI - Intelligent Computer-Assisted Instruction

ICI - Intelligent Communications Interface

ICON - (langage de programmation listes/chaînes - R. Griswold)

IDA* - iterative-deepening A*

iff - if and only if

IGES - Intermediate Graphics-Exchange Standard

IKBM - Integrated Knowledge-Based Modeling

IKBS - Integrated Knowledge-Based System

Illuminator
– Illuminator est une panoplie d'outils pour développer des applications OCR et de Compréhension d'Image. Illuminator possède deux parties majeures : une bibliothèque pour représenter, stocker et récupérer les information OCR, entrée en vigueur sous le nom "daflibs", et un lecteur X-Windows de fichiers "DAFS", appelé "illum". Illuminator et DAFSlib ont été conçus pour supplanter les formats OCR existants et pour devenir un standard dans l'industrie. Ils sont particulièrement extensibles pour manipuler d'avantage que juste l'anglais.
Caractéristiques de cette version :

5 niveaux d'agrandissements pour les images.
Caractères et mots drapeaux
Support de l'Unicode - Américain, Anglais, Français, Allemand, Grec, Italien, République Tchèque, Norvège, Russie, Espagne, Suède et des claviers.
Lit le DAFS, TIFF et PDA (les images seulement).
Sauvegarde vers le DAFS, ASCII/UTF ou l'Unicode.
Lecteur d'entité - affiche les propriétés, les choix de caractère, le fragment d'image des matrices d'un caractère pour une entité donnée, le type de changement, le contenu d'un changement, le mode hiérarchique.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://documents.cfar.umd.edu/resources/source/illuminator.html

IMIS - integrated maintenance-information system

INCOSS - (système expert en sécurité informatique - Univ. Stuttgart 1986)

INDUCE - (langage robotique - Dietterich, Michalsky 1981)

INRIA - Institut National de Recherches en Informatique et Automatique (France)

Insight IBM PC Pascal Level 5 Research DEC Rainbow Melbourne Beach, FL, 32951

INTELLECT - (première interface commerciale en langage naturel)

INTERLISP - (dialecte lispien)

INTERLOC : Localisation passive de cibles marines

IPP - Integrated Partial Parser (M. Lebowitz)

IRIS - (système à propagation d'inférences)

Isabelle
– Isabelle est un démontreur de théorème générique populaire développé à l'Université de Cambridge et au TU Munich. Les logiques existantes comme Isabelle/HOL fournissent un environnement de démontreur de théorème prêt à être utilisé pour des applications de taille. Isabelle peut également servir comme châssis pour un prototypage rapide de systèmes déductifs. Il est présenté avec une grande bibliothèque comprenant Isabelle/HOL (logique classique d'ordre supérieur), Isabelle/HOLFS (Logique de Scott pour des fonctions calculatoire avec HOL), Isabelle/FOL (logique du premier ordre classique et intuitive), et Isabelle/ZF (ensemble de théories de Zermelo-Fraenkel au dessus de FOL).

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://isabelle.in.tum.de

ISIS - Intelligent Scheduliing and Information System

IU - image understanding

IUS - image-understanding system

IVRAIE - (expert d'aide à la reconnaissance de mauvaises herbes de grandes cultures)

Haut de page

J

JACK
– JACK est une nouvelle bibliothèque fournissant programmation et recherche des contraintes pour Java.
– JACK est comprend trois parties :

JCHR : Java Constraint Handling Rules (Règles de manipulation de contraintes Java). Langage de haut niveau pour écrire des résolveurs de contraintes.
JASE : Java Abstract Search Engine (Moteur de recherche abstrait Java). Moteur de recherche générique pour JCHR afin de résoudre les problèmes de contraintes.
VisualCHR : outil interactif pour visualiser les calculs JCHR.
Les sources et la documentation sont disponibles au lien ci-dessus.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.pms.informatik.uni-muenchen.de/software/jack/

Jess - the Java Expert System Shell
– Jess (le shell système expert Java) est un clone du populaire shell système expert CLIPS écrit entièrement en Java. Avec Jess, vous pouvez à votre convenance donner à vos applets l'habilité à raisonner. Jess est compatible avec toutes les versions de Java, à partir de la version 1.0.2. Jess implémentes les constructeurs suivants de CLIPS : defrules, deffunctions, defglobals, deffacts, et deftemplates.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://herzberg.ca.sandia.gov/jess/

Haut de page

K

KES IBM PC Lisp Software A&E DEC VAX Arlington, VA, 22209 Apollo, Xerox Symbolics
Medium Systems
– Il s'agit d'un système médium d'un coût de 1000 $ à 10 000 $ sans le matériel.

KAS - (langage à règles de production - Reboh)
– KAS (Système d'acquisition de connaissance) est le système mis au point pour Prospector, il intègre les aides à aider les connaissances ingénieur et permet d'utiliser la règle de Prospector interprète sur les problèmes en dehors du domaine géologique. Harmon et King (1985) ont qualifié ce système de systèmes de connaissances polyvalent pouvant convenir à n'importe quel domaine de connaissances.
Les principaux scientifiques qui ont développé PROSPECTOR et KAS, le système expert (outil de construction) provenant de PROSPECTOR, ont quitté SRI pour former une société privée (Syntelligence).

KEAL - (système français de compréhension de la parole - Mercier, Gérard 1981)

KEE - Knowledge Engineering Environment (Kehler 1984)

KEE Xerox, LMI Lisp Intellicorp Symbolics Menlo Park, CA, 94025 TI Explorer DEC, HP-300
– Il s'agit d'un gros système d'un coût de 10 000 $ à 80 000 $ sans le matériel.

KIPS - Knowledge Information Processing System

Knowledge Tool - (environnement de configuration automatique de systèmes - IBM)

Knowledge Craft Symbolics Prolog Carnegie Group Inc Pittsburg, PA, 15210
– Il s'agit d'un gros système d'un coût de 10 000 $ à 80 000 $ sans le matériel.

KL-ONE - (langage orienté-objets - Brahman)

KNOBS - Knowledge-Based System

KOD - Knowledge Oriented Design

KR - Knowledge Representation

KRL - Knowledge Representation Language (Bobrow, Winograd 1977)

KS - knowledge source

KSL - Knowledge Science Laboratory

KSAR - knowledge-source activation record

Haut de page

L

LADDER - (système pour bases de données réparties - Sacerdotti 1977)

LAIL - Logo AI Language (Kahn)

LAS - Language-Acquisition System

Learn
– Learn (apprendre) est programme d'apprentissage vocal avec un modèle de mémoire.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://sunsite.unc.edu/pub/Linux/apps/cai/

LES - The Liquid Oxygen Expert System (Scarl, Jamieson, Delaune et 1984)
– LES est le contrôleurs des traitements des mesures du système de lancement au cours du chargement de l'oxygène liquide dans la navette spatiale. Les mesures proviennent d'un processus de traitement en temps réel et des valeurs telles que température, pression, débit, et la position de la valve. Le contrôleur LES utilise un modèle composé d'environ 1500 directives. Il est l'un des plus grands modèles de systèmes construits à ce jour. LES détermine si le capteur de données indiquent une anomalie, et en informe le personnel de contrôle et lance les procédures de dépannage. Si LES ne peut pas isoler le problème, il fournit une liste des éléments suspects et recommande de nouvelles mesures pour isoler le défaut. LES est mis en œuvre dans ZetaLisp sur un simple ordinateur.

Références
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

LEX - (programme d'apprentissage des intégrales - Mitchell)

LF - logical form

LFG - Lexical-Functional Grammar

LHASA - Logic and Heuristics Applied to Synthetic Analysis

LIFER - (analyseur d'interface en langue naturelle - G. Hendrix 1977)

LIL - Lexical Interaction Language

LISA
– LISA (Lisp-based Intelligent Software Agents : agents logiciels intelligents basé sur Lisp) est un système de règles de production lourdement influencé par JESS (Java Expert System Shell). Il a en son squelette un moteur de raisonnement basé sur l'algorithme de filtrage de Rete. LISA fournit également l'habilité à raisonner sur les objets CLOS ordinaires.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://lisa.sourceforge.net

LISP - List Processing Language (John McCarthy 1958)

LITHO - (système expert en géologie pétrolière - Bonnet 1982)

LK
– LK est une implémentation de l'heuristique de Lin-Kernighan pour le problème du voyageur de commerce et pour le problème de la correspondance parfaite de pondération minimum. Il est spécialement adapté aux figures géométriques en 2D, et a été appliqué dans certains exemples jusqu'à un million de villes. Il comprend aussi des générateurs d'exemples et des scripts Perl pour manipuler les exemples TSPLIB
Cette implémentation introduit la "compensation groupée efficace", une technique algorithmique expérimentale dont le but est de rendre l'heuristique de Lin-Kernighan plus robuste dans le cas de données groupées.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.cs.utoronto.ca/ neto/research/lk/

LOGIBAT - (système expert d'estimation de coûts dans le domaine du bâtiment)

LOGO - (dialecte lispien à tortue - Papert 1980)

LOOPS - (langage orienté-objets - Bobrow, Stefik 1983)

LOOPS Xerox Lisp Xerox Research Palo Alto, CA, 94304
Il s'agit d'un gros système d'un coût de 10 000 $ à 80 000 $ sans le matériel.

LOUPE - Logiciels-Outils pour l'Enseignement (G. Paquette 1988)

LPC - linear productive coding

LR02 - (langage orienté-objets - Roche, Laurent 1986)

LT - Logic Theory

LUNAR - Lunar Sciences Natural Language System (Woods 1972)

L*STAR - The Lockheed Satellite Telemetry Analysis in Real Time (Kao et al. 1987)
– L*STAR est la clé pour l'analyse télémétrique par satellite en temps réel. L*STAR est un système à base de connaissances pour effectuer une surveillance en temps réel et l'analyse des données télémétrique du télescope spatial Hubble (HST) de la NASA. Afin de gérer et d'effectuer l'entrée asynchrone en temps réel, le système se compose de trois ou plus de trois processus distincts qui fonctionnent simultanément et communiquent par le biais d'un message passe-système et peuvent résider sur la même ou des ordinateurs différents. La tâche de gestion de données rassemble, compresse, les échelles de la télémétrie de données avant de les envoyer aux autres tâches. La tâche consiste en une spécialité d'inférence de haute performance réalisée par un moteur d'inférence écrit en C. Il utilise les données de télémétrie pour effectuer une analyse en temps réel de l'état de santé et du TVH. Les moniteurs reçoivent les entrées/sorties (I/O) des données télémétriques de la tâche de gestion des données, les mises à jour de ses affichages graphiques en temps réel, et sert d'interface à la console de l'opérateur. Il a été mis en œuvre sur un ensemble VAX et MicroVAX et il utilise les boîtes aux lettres DECNET pour le mécanisme de transmission de message. Le système à base de connaissances a été connecté à un simulateur en temps réel.

Références :
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/660/578

Haut de page

M

M.1 IBM PC Prolog Teknowledge Palo Alto, CA,94301

MABEL - (système d'aide à la décision pour le Marketing des Biens d'Équipements Lourds)

MACISTE - (système de programmation logique - J. Pitrat 1985)

MacLISP - (dialecte lispien)

MACSYMA - (système expert en mathématiques - J. Moses)

MAINTEX - (outil d'assistance au diagnostic d'incidents, d'anomalies et résultats, et de réparation d'équipements industriels complexes - Framentec)

Malfunction Recovery - Récupération d'dysfonctionnement (Cruz 1986 ; Vidal 1985)
– Ce système se compose d'un contrôleur qui apprend à s'auto-organiser pour piloter uniquement en deux dimensions un modèle d'avion de surveillance et suivre en continu les consignes de position et de vitesse imposées par le modèle de mission de navigation. Lors de la formation, le système peut piloter le modèle entre deux points sans dépasser les positions préétablies et la vitesse limite en activant l'un des huit vérins de direction, même si deux des actionneurs ne fonctionne pas. Ce système montre l'auto-organisation de contrôle, l'apprentissage et la récupération d'un dysfonctionnement.

Référence
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewPDFInterstitial/660/578

MAP - Manufacturing Automation Protocol

MARGIE - Memory, Analysis, Response Generation in English (R. Schank et al.)

MARION-XP - (progiciel expert en sécurité informatique)

MASES - Microcomputer Advice and Selection

MATADOR - Material Advice organizer

MB - measure of belief

MBR - multiple belief reasoner

MCL - Machine Control Language

MD - measure of disbelief

MDRH - (expert en gestion de carrière)

MECHO - (résolveur de problèmes mécaniques - Bundy 1979)

MEDCIN - (système d'aide au diagnostic)

MERING - (langage-acteurs - Ferber 1984)

META-DENDRAL - (générateur de règles DENDRAL)

MGCI - most general common instance

MGU - most general unifier

MIMD - multiple interaction, multiple data

Mimi -

MIPS - million instructions per second

ML - Monotonic Logic

MME - man-machine environment

MMI - man-machine interaction

MMU - memory-management unit

Module de logique floue Python
– C'est un simple module python pour la logique floue. Le fichier est 'fuz.tar.gz' dans ce répertoire. L'auteur ambitionne également d'écrire un algorithme de génétique simple de même qu'une bibliothèque sur les réseaux neuronaux. Regarder le fichier '00_index' dans ce répertoire pour obtenir des informations sur la version.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://ftp://ftp.csh.rit.edu/pub/members/retrev/

MOLGEN - (planification d'expériences en biologie - Martin)
– Le projet de recherche MOLGEN s'est concentré sur les applications de calcul et de déduction dans le domaine de la biologie moléculaire. Cela a pris la forme spécifique des systèmes qui fournissent une assistance à l'expérimentation scientifique dans diverses tâches, dont les plus importantes ont été la conception de plans d'expérience complexe et l'analyse des séquences d'acide nucléique. Il est prévu d'élargir et d'améliorer ces systèmes et en construire de nouveaux pour répondre à la croissance rapide du domaine de la technologie de l'ADN recombinant.

Références :
– http://profiles.nlm.nih.gov/BB/G/H/N/R/_/bbghnr.pdf
– .

MOP - Memory-Organization Packet - Schank)

MPP - message-processing program

MSG - modifier-structure grammar

MSIMD - multiple single instruction, multiple data

MULTIDIAG - (système de diagnostic et réparation d'apareils complexes)

MYCIN - (système de diagnostic de la méningite et des infections sanguines - Shortliffe 1970)
– MYCIN est un système expert qui a été conçu entre 1972 et 1974 afin d'aider des médecins à diagnostiquer et soigner des maladies infectieuses du sang. Cette version de base contenait environ 200 règles. Elle a été complétée entre 1975 et 1978 par 300 règles supplémentaires concernant principalement les méningites. Ce système expert a été abondamment étudié et commenté en raison de l'importance du domaine concerné et surtout, de la grande qualité de ses diagnostics et propositions thérapeutiques.

« Même en se limitant à la version de base existant en 1974, les résultats sont satisfaisants. Ainsi, en 1974, 15 cas représentatifs d'infections bactériennes furent soumis à MYCIN d'une part et à 5 experts d'autre part. Les 5 experts approuvèrent les recommandations thérapeutiques de MYCIN dans 11 cas sur 15 (soit 55 accords pour 75 comparaisons). Dans les autres cas, les 5 experts étaient en désaccord entre eux. »

Ce projet a maintenant cédé la place à trois sous-projets (EMYCIN, GUIDON, et ONCOCIN).

Références :
– http://profiles.nlm.nih.gov/BB/G/H/N/R/_/bbghnr.pdf
– .

MYRTILLE - (reconnaisseur de phrases en météorologie - CRIN, Nancy)

Haut de page

N

NAIADE - (système EIAO pour calcul algébrique - Univ. Paris 6)

NATUREAL EXPERT -

NAVEX - The Navigation Expert System (Marsh 1984 ; Healey 1986) / système de contrôle de la rentrée des navettes spatiales dans l'atmosphère
– NAVEX a été développé pour aider la navigation lors de la rentrée de la navette spatiale. NAVEX prend très rapidement des décisions sur la haute vitesse de la navette ou la trajectoire. Le système a été développé pour être utilisé au cours de la rentrée, mais pourrait facilement être modifié pour aider durant le lancement. NAVEX a été développé en ART et Lisp et fonctionne sur un simple ordinateur. Les données radar et les informations issus du pilote de trajectoire de la grande vitesse sont surveillés par NAVEX, qui avertit l'opérateur du courant ou de l'imminence de problèmes et recommande les actions possibles. Dans des essais avec des données générées par un précédent vol de navette, Marsh et Healey rapportent que NAVEX aurait pris la bonne décision durant 100 pour cent du temps et aurait pris ses décisions plus rapidement que les contrôleurs humains.

Référence
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewPDFInterstitial/660/578

NETL - (système neuromimétique - Fahlman 1977)

NeuroShell -

NEVAI - (système de prévision des risques d'avalanche)

NEXPERT - (générateur de systèmes experts en diagnostic d'équipements spatiaux)

NFA - nondeterministic finite state automaton

NIAM-KES -

NICOLE
– NICOLE (Nearly Intelligent Computer Operated Language Examiner) est une théorie ou une expérimentation qui, si on donne à un ordinateur suffisamment de combinaisons de liaisons entre comment des mots, groupes de mots ou phrases, peut vous répondre. C'est un essai pour simuler une conversation en apprenant comment les mots se rapportent à d'autres mots. Un humain communique avec NICOLE via le clavier et NICOLE répond avec ses propres phrases qui sont automatiquement générées, basées sur ce que NICOLE a stocké dans sa base de données. Chaque nouvelle phrase qui a été écrite et que NICOLE ne connaît pas est ajoutée à la base de donnée de NICOLE, ce qui étend la base de connaissances de NICOLE.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://nicole.sourceforge.net/

NL - natural language

NLI - natural-language interface

NLMenu - natural-language menu

NLP - natural-language processing

NLU - natural-language understanding

NML - nonmonotonic logic

NOAH - Nets of Action Hierarchies (Sacerdotti 1975)

NOÉMIE - (système de diagnostic de pannes - Bull)

Nyquist
– Le projet de musique informatisée (Computer Music Project) au CMU développe la technologie de la musique informatisée, et de la performance interactive pour améliorer l'expérience et la créativité musicale de l'homme. Cet effort interdisciplinaire puise dans la théorie de la musique, dans les sciences cognitives, l'intelligence artificielle, l'apprentissage des machines, l'interaction homme-machine, les systèmes temps réelles, les graphismes et animations informatiques, le multimédia, les langages de programmation, le traitement du signal. Un exemple paradigmatique de ces efforts interdisciplinaires est la création de la performance interactive qui lie l'improvisation musicale de l'homme aux agents informatiques intelligents en temps réel.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.cs.cmu.edu/afs/cs.cmu.edu/project/music/web/music.html

Haut de page

O

OASIS - (générateur de systèmes experts en détection de pannes)

ONCOCIN - (système de diagnostic oncologique - Shortliffe 1981)
– Le système de consultation en oncologie chimiothérapie, nommé ONCOCIN, a réalisé nombre de ses objectifs, puisque les travaux sur le projet a débuté en Juillet 1979. Un système interactif sera utilisé par les professeurs et les chercheurs en oncologie dans le Centre « Debbie Probst Oncology Day Care » de l'Université Médical de Stanford.

Les objectifs de recherche de l'ONCOCIN sont orientés aussi bien vers la science fondamentale que de l'intelligence artificielle en vue du développement de l'oncologie clinique et des outils de consultation.

Références :
– .

OpenCyc
– OpenCyc est la version libre de Cyc, la plus grande et la plus complète des bases de connaissance générale ainsi que le plus grand moteur de raisonnement de sens communs. Cette connaissance des choses est basée sur 6000 concepts en relation avec 6000 affirmations.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.opencyc.org/

OPM - operations per minute

OPS5 - (langage pour systèmes de production - Forgy 1982)

ORBIT - (langage orienté-objets - L. Steels 1983)

ORCHARD - (analyseur des arbres de défaillance pour l'évaluation de la fiabilité)

OSI - Open Systems Interconnection

OTTER : An Automated Deduction System
– Notre système de déduction automatisé courant Otter est conçu pour démontrer les théorèmes statiques de logique du premier ordre avec une égalité. Les règles d'inférence d'Otter sont basées sur la résolution et la paramodulation, et il comprend des procédures pour la réécriture de termes, l'ordonnancement de termes, la complétion Knut-Bendix, le pesage, et les stratégies pour diriger et restreindre les recherches de preuves. Otter peut aussi être utilisé comme un calculateur symbolique et a un système de programmation équationnelle incorporé.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www-unix.mcs.anl.gov/AR/otter/

OWL - (langage orienté-objets - Szolovitz)

Haut de page

P

PA - Programmer's Apprentice

PALLADIO - (aide à la conception et tests de circuits VLSI)

PAM - Plan Applier Mechanism (Wilensky)

PANDORE - (système expert en contrôle stockastique de méthodes de résolution)

PAO - Publication Assistée par Ordinateur

PARADI - (gestionnaire IA des fonctions d'études, de production et logistique)

PATROCLE - (système expert juridique)

PD - problem data domain

PDKB
– La banque de connaissances sur le domaine publique (PDKB : Public Domain Knowledge Bank) est une banque de connaissances sur l'intelligence artificielle des loi et faits de sens commun. Elle est basée sur l'ontologie de niveau supérieur de Cyc (CUO : Cyc Upper Ontology) et le langage MFLD.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://lynx.eaze.net/ pdkb/web/
– http://sourceforge.net/projects/pdkb/

PEACE - (analyseur de circuits électriques - Dincbas)

PECOS - (synthétiseur de programmes - Barstow 1979)

Personal Consultant IBM PC C Texas Instruments TI PC Dallas, TX, 75380

PG - puzzle grammar

PICO.PLANNER - (variante de Planner - Anderson 1972)

PILEFACE - Programme Intelligent pour les Langues Étrangères Favorisnt l'Approche Communicative de l'Enseignement (R. Lelouche, D. Huot 1984)

Pilot's Associate
– Dans ce système, Lockheed a interfacé un processeurs symbolique à un simulateur de vol. Le système se compose d'un VAX-11/780 qui contrôle tout, les six degrés de liberté du simulateur sont reliés par Ethernet à trois machines symbolique Lisp. Sur ces machines Lisp sont installées des systèmes experts effectuant l'évaluation de la situation, des tactiques et la planification d'itinéraire, ainsi que le pilotage intelligent de l'interface du véhicule. Broadwell et Smith (1986) rapportent que le système fonctionne en quasi temps réel.

Référence
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewPDFInterstitial/660/578

PIM - Parallel Inferential Machine (Japon)

PIP - Present Illness Program (diagnosticien de maladies rénales - Pauker)

PLA - programming logic array

PLANE - (système de cosultation en langage naturel)

PLANNER - (langage-acteurs d'interrogation de bases de données - C. Hewitt 1971)

PLASMA - (langage-acteurs)

PLATO - (système de reconnaissance vocale)

PLC - Programmable Logic Controller

PLNLP - Programming Language for Natural-Language Processing

PMPM - parallel-marker-propagation machine

PNAO - système de positionnement et Navigation Assistés par Ordinateur (contrôle d'opérations en mer)

POLITICS - (programme successeur de Margie et précurseur de Boris - Jaime Carbonell)

POP-11 - (langage IA de R. Popplestone)

PREMON - The Predictive Monitoring System (Doyle, Sellers, and Atkinson 1987)
– PREMON utilise la description explicite d'un dispositif pour effectuer une surveillance en temps réel. Le système a été testé sur le modèle partiel du miroir du circuit de refroidissement du réacteur de propulsion du simulateur du laboratoire spacial. PREMON a trois possibilités d'interaction :

simulation de causalité pour générer des prédictions sur le comportement d'un système physique,
planification des mesures afin d'évaluer l'importance d'un dispositif et d'affecter les ressources de façon appropriée en fonction du comportement des capteurs,
vérification des capteurs pour l'interprétation des valeurs réelles attendues en comparaison des lectures des capteurs et émission des alarmes en cas de besoin.

Référence
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewPDFInterstitial/660/578

Prof'Expert -
Prof'Expert est un logiciel conçu pour enseigner, apprendre, apprendre à apprendre.
La version intégrée de Prof'Expert propose de parcourir un ensemble d'informations et d'exercices organisés dans une carte des connaissances :
– Prof'Expert mathématiques
– Prof'Expert français
– Prof'Expert vocabulaire allemand de base
– Une installation standard proposée par la Médiathèque du CPLN

Expert3 est le moteur d'inférence à vocation didactique permettant d'interprèter des bases de connaissances écrites pour VP_EXPERT ou ESIE (Expert System Inference Engine) (programme, descriptif)

– http://www.abord-ch.org/

PROLOG - Programmation en logique (A. Colmerauer 1975)

PROLOG (ce langage de programmation logique peut être considéré comme un générateur de systèmes experts)

PROMETHEUS - (système expert en circulation routière)

PROSPECTOR - (système de prospection géologique - Nilsson, Duda et Hart 1977)

PROTO-TEG - (tutoriel évolutif - P. Dillenbourg 1988)

PROUST - (débogueur automatique de programmes Pascal - Johnson, Soloway 1985)

PRR - problem reduction representation

PSG - phrase-structure grammar

PSI - Personal Sequential Inference (système de spécification de programmes)

PSL - Portable Standard LISP

PSM - Procedural Semantic Network

PUFF - (système expert en maladies respiratoires - Kunz)

PUFF - Pulmonary Function Program

PUGG - Plot Unit Graph Generation

PVS - principal variation search

PVS
– PVS est un système de vérification : c'est à dire un langage de spécification intégré à des outils de support et à un démontreur de théorème. Il est prévu pour capturer la plus sophistiquée des méthodes formelles mécanisées et pour être suffisamment robuste pour pouvoir être utilisé pour des applications significatives. PVS est un prototype de recherche : il évolue et s'améliore puisque nous développons ou appliquons de nouvelles possibilités, et puisque la charge d'une utilisation réelle expose de nouveaux besoins.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://pvs.csl.sri.com/

Haut de page

Q

Q/A - question answering

QUANT1
– Quant/1 signifie QUANTifieur de type 1. Son but est d'être une alternative pour les systèmes semblables à Prolog (ou résolutionnaux). Les principales caractéristiques comprennent la non-nécéssité d'éliminer les quantifieurs, la scolémisation, la facilité de compréhension, les opérations sur des formules de grande échelle, l'acceptation de fomules 'nonHorn', l'approfondissement iterratif. La bibliothèque réelle implémentée dans ce projet est appelée ATPPCF (Automatic Theorem Prover in calculus of Positively Constructed Formulae : preuve automatique du théoreme dans le calcul de formules construites positivement)
ATPPCF deviendra une bibliothèque (moteur inférant) et une extension du langage de calculs de prédiction comme un nouveau langage logique. Cette bibliothèque sera incorporable dans d'autres programmes, comme TCL, Python, Perl. La méthode d'inférance primaire du moteur sera la "recherche d'inférances dans le langage des formules construites positivement (PCF : Positively Constructed Formulas)" (comme un sous-ensemble de calculs de prédicats bien traduits dans les deux sens). Le langage sera utilisé comme langage de script pour le moteur. Mais il y aura la possibilité de le remplacer par des extension de langage du programme principal.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://linux.irk.ru/projects/QUANT/

QO - Quasi-optimizer

QUEST - Qualitative Understanding of Electrical System Troubleshooting

Haut de page

R

RAIL - (langage robotique)

RAINBOW - (langage de définition - Hollander 1979)

RAMUS - (langage évolué d'interface homme-machine)

RAVI - Représentation des Applications audio-visuelles Interactives

REL - Rapidly Extensible Language

RuleMaster IBM PC C Radian DEC, HP-300 Austin, TX, 78766
– Il s'agit d'un système médium d'un coût de 1000 $ à 10 000 $ sans le matériel.

REX - (système expert d'analyse statistique)

RIME - (langage de haut niveau pour actualisation de bases de connaissances)

RISC - Reduced-Instruction-Set Computer

RPL - Robot Programming Language

RPS - robot-programming system

RP3 - (Research Parallel processor Project IBM, 1986)

RS - restriction set

RT - related term

RUFUS - (système expert en diagnostic de pannes de rames RER - Cognitech/RATP)

Haut de page

S

S.1 DEC VAX Lisp Teknowledge Symbolics Palo Alto, CA,94301 Xerox
– Il s'agit d'un système médium d'un coût de 1000 $ à 10 000 $ sans le matériel.

SACON - Structural Analysis Consultant (Bennett 1979)
– La fonction de SACON est de sélectionner des catégories de comportement qui devrait être étudiée plus avant par un programme de simulation d'analyse structurelle.

SACON résout deux problèmes de classification, d'abord, il analyse une structure et ensuite il sélectionne un programme. Il commence par la sélection d'une heuristique simple qui se traduit par un modèle numérique qui va permettre d'analyser la structure (comme une aile d'avion). Le modèle de mise à l'épreuve et de test des estimations sont alors prise en compte dans le programme ; Ils se résument alors en termes de fonctionnalités que décrira hiérarchiquement les différentes configurations du programme de simulation MARC. Le traitement est grossier, car les solutions au premier problème sont une simple série de modèles possibles, et le second problème résume uniquement au point de programme précisant les classes.

Références :
– http://www.aaai.org/Papers/AAAI/1984/AAAI84-031.pdf
– http://profiles.nlm.nih.gov/BB/G/H/N/R/_/bbghnr.pdf
– http://cogprints.org/292/0/126.htm

SAFE - (synthétiseur de programmes - Balzer 1977)

SAGESSE - Système Adaptatif et Génératif d'Enseignement de la Statistique en Sciences de l'Éducation (C. Depover 1988)

SAHARA II - (système de synthèse de la parole pour handicapés -CNET Lannion)

SAINT - Symbolic Automatic Integration

SAM - Script-Applier Mechanism (Schank, 1974)

SAPHIR - (système d'interface intelligente - Erli 1983)

SC - situation calculus

SCARABEE - Système de Conception Assistée de Récits d'Aventure dans le But d'Enseigner l'Écriture - (C. Coulombe et al. 1988)

SCARES - The Spacecraft Control Anomaly Resolution Expert System (Chen 1985)
– Scares a été la première tentative pour automatiser le diagnostic des anomalies dans le système de contrôle d'attitude d'un véhicule spatial ; L'objectif ultime était de parvenir à l'autonomie des engins spatiaux. Soares a trois composantes principales, dont une seule se produit en temps réel. Le Scares moniteur effectue trois contrôles en temps réel sur les données de télémétrie descendante :

la vérification des limites sur les différents points de télémesure,
le contrôle du taux de deux ou plusieurs points de télémesure dans le même canal,
le contrôle de la chaîne de tests de cohérence pour la télémétrie.

En 1986, Soares était au stade de prototype, Hamilton conclut que Soares, montrait « comment la technologie de systèmes experts peuvait être appliquée dans des projets en temps réel, faute de diagnostic des systèmes permettant de détecter, diagnostiquer, récupérer la complexité des anomalies". Scares est mis en œuvre sur une symbolique Lisp 3670.

Référence
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewPDFInterstitial/660/578

SDL - Sense-Discrimination Language

SECS - Simulation and Evaluation and Chemical Synthesis (Wipke 1977)

SECURE
– SECURE est utilisé dans le domaine des avions de transport commercial ; SECURE observe en permanence l'environnement de vol et évalue la situation pour des éventuels défauts qui pourraient menacer la sécurité du vol. Les fautes nécessitant de nouvelles mesures sont détectés en comparant l'état "normal" des avions avec l'état observé des avions. Une procédure de recouvrement est calculé et corrige le vol en cours ; Si les actions de l'équipage ont indiqué que la menace n'a pas été remarqué, l'équipage est informé de la menace et de la procédure de recouvrement. SECURE est une base de connaissances, qui est fondée et organisée selon les contextes de vol de la phase de décollage, phase de vol, et la phase d'atterrissage. Seules les connaissances appropriées à l'actuel contexte de vol est accessible. SECURE a été développé en utilisant un script basé sur l'approche mise en œuvre dans MACLISP sur un ordinateur PDP-10, et fonctionnait bien sur un vol "normal" contenant des situations d'urgence. La première phase de la planification axée sur SECURE a été effectué avec succès sur une similation de course d'un simple DC-10 sur un PDP-10 entre n'importe quelle paire des six aéroports ; SECURE a prévu des actions en recouvrement de plusieurs situations d'urgence. Environ 230 règles décrivent les connaissances du contrôle de la planification.

Référence
– http://www.aaai.org/ojs/index.php/aimagazine/article/viewPDFInterstitial/660/578

SEG - Sequence of Events Generator

SEPV - Systèmes Experts en Pathologie Végétale

Series-PC IBM PC Lisp SRI International Menlo Park, CA, 94025
– Il s'agit d'un petit système d'un coût de 100 $ à 1 000 $ sans le matériel.

SES - (expert en traitement des septicémies - Faculté de médecine de Lille)

SHERLOCK - (système de programmation logique - Cordier 1987)

SHRDLU - (système dialogal pour analyse/synthèse de phrases - Winograd 1972)

SIAM - Système Intelligent pour l'Assistance aux Manipulations (Laboratoire LAFORIA)

SIMD - single-instruction multiple data

SIMULA - Simulation Language

SIR - Semantic Information Retrieval

SITERE-expert - (aide à la réparation des véhicules - Renault)

SL - support list

SKETCHPAD - (système expert en dessin par ordinateur)

SMALLTALK - (langage IA orienté-acteurs - Goldberg et al. 1983)

SM*E - (expert d'aide au diagnostic sérologique de l'hépatite virale aiguë)

SMECI - (un générateur datant du milieu des années 80)

S-MOP - Simple Memory Organization Packet

SMRH - Système de Management des Ressources Humaines

SNA - Systems Network Architecture

SNARK - (Symbolic Normalized Acquisition and Representation of Knowledge - Laurière 1981)

SNePS - Semantic Network Processing System
– Le but à long terme du groupe de recherche SNePS est la conception et la construction d'un langage naturel utilisant un agent cognitif informatisé, et d'effectuer la recherche dans l'intelligence artificielle, les linguistiques calculatoires, et la science cognitive nécessaire pour cette entreprise. Les trois parties sur lesquelles le groupe met l'accent sont la représentation du savoir, le raisonnement, et la compréhension et la génération du langage naturel. Le groupe est largement connu pour son développement du système de représentation/raisonnement du savoir SNePS, et pour Cassie, son agent cognitif informatisé.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.cse.buffalo.edu/sneps/
– http://ftp.cse.buffalo.edu/pub/sneps/

Snobol - String Oriented Symbolic Language

SOAR - (système d'auto-apprentissage - Newell, 1985)
– Soar a été développé pour être une architecture cognitive générale. Nous avons l'ultime intension de permettre à l'architecture Soar de :

Travailler sur l'étendue complète des taches attendues d'un agent intelligent, à partir des hautes routines jusqu'à des problèmes extrêmement difficiles avec possibilité d'extension.
Représenter et d'utiliser les formes appropriées du savoir, comme les formes procédurales, déclaratives, épisodiques et peut-être iconiques.
Employer tout l'éventail des méthodes de résolution de problèmes.
Interagir avec le monde extérieur et
Apprendre tous les aspects des taches et leurs performances sur celles-ci.

En d'autres termes, notre intention est de donner à Soar toutes les compétences requises par un agent intelligent général.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://ai.eecs.umich.edu/soar/

SOCRATE - (système d'aide à l'enseignement du diagnostic de pannes de machines-outils à commande numérque - Renault)

SOPHIE - Sophisticated Instructional Environment (Brown, Burton 1982)
– SOPHIE III indique le composant défectueux du circuit électronique qui est à l'origine d'un mauvais comportement.

SOPHIE choisit des solutions prédéterminées à travers un treillis de valable et de comportements de circuit défectueux. En contraste avec MYCIN, les solutions sont les états et les composants des dispositifs en défauts, et non les stéréotypes des troubles ; Ils sont liés de causalité, et non pas par des caractéristiques. Les données de comportement ne sont pas les seules entrées externes, on trouvera aussi les composants internes propagés par la mesure de l'analyse causale du programme lui même.

Références :
– http://www.aaai.org/Papers/AAAI/1984/AAAI84-031.pdf
– .

SPASS - Démontreur de théorèmes automatisé pour des logiques de 1er ordre avec égalité
– Si vous êtes intéressés par les démonstrations de théorèmes de logique du premier ordre, l'analyse formelle de programmes, systèmes, protocoles, les approches formelles de projets sur l'IA, les procédures de décisions, la démonstration de théorèmes à logique modale, SPASS peut vous offrir de bonnes fonctionnalités.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://spass.mpi-sb.mpg.de/

SPE - small processing element

SPEECHLIS - (système de compréhension du langage - Bolt, Beranek et Newman)

SPHYNX - (système omnilocuteur - Kai-Fu Lee 1988)

PSIRAL - (langage prologien orienté-objets pour supervision de calculs linéaires)

SRL - Schema Representation Language

STAN

STEAMER - (tutoriel intelligent en propulsion mécanique)

Screamer
– Screamer est une extension de Common Lisp qui ajoute un support pour la programmation non déterministe. Screamer comprend deux niveaux. Le niveau non déterministe basique ajoute un support pour la journalisation et les effets de coté irréalisables. En plus de cet aspect non deterministe, Screamer fournit un langage complet de programmation sous contraintes dans lequel on peut formuler et résoudre un mélange de systèmes sous contraintes numériques ou symboliques. Ensembles, ces deux niveaux étendent Common Lisp avec pratiquement toutes les fonctionnalités de Prolog et des languages de programmation logiques sous contraintes comme CHiP ou CLP(R). En outre, Screamer est complètement compatible avec Common Lisp. Les programmes de Screamer peuvent coexister et interopérer avec d'autres extensions de Common Lisp comme CLOS, CLIM et Iterate.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.cis.upenn.edu/ screamer-tools/home.html

STRIPS - System for Theorem Proving in Problem Solving (Sacerdotti)

STUDENT - (système d'apprentissage - Bobrow 1967)

SUPERSAP - (analyseur de contraintes des phénomènes dynamiques et de transfert de chaleur)

SUS - speech-understanding system

Synapse - coordination de drones (ContractNet)

SYNCHEM - (système de synthèse chimique - Gelertner 1977)

SYNCHRO - Gestion décentralisée de missions coordonnées

SYNTHEX - System Synthesis Expert

Haut de page

T

TAG - tree-adjoining grammar

TALE-SPIN - (générateur d'historiettes - R. Schank)

TANGO - (interpréteur de langage - Cordier, Rousset 1983)

TAU - Thematic Abstraction Unit

TEIRESIAS - (système de réécriture de règles de production - Randall Davis)

TCM - Toolkit for Conceptual Modeling : boîte à outil pour la modélisation conceptuelle
– TCM est notre suite d'éditeurs graphiques. TCM contient des éditeurs graphiques pour des diagrammes entité-relation, des diagrammes classe-relation, des diagrammes de flux de données et d'évènements, des diagrammes de transition d'état, des diagrammes de structure de procédé de Jackson et des diagrammes de réseau systèmes, d'arbres de décomposition de fonction et d'éditeurs de tables variés, tels qu'un éditeur de table fonction-entité ou un éditeur de table de décomposition de fonction. TCM est facile d'accès et procède à de nombreuses vérifications de consistance, dont certaines sont effectuées immédiatement, d'autre pendant la requête.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.cs.utwente.nl/ tcm/
– http://ftp.cs.vu.nl/pub/tcm/

TG - transformation grammar

The Grammar Workbench
– The Grammar Workbench (L'atelier de grammaire), ou GWB en abrégé, est un environnement pour le développement aisé de grammaires Affix dans le formalisme AGFL. Ses buts sont :

de permettre à l'utilisateur d'introduire, inspecter et modifier une grammaire.
d'effectuer des vérifications cohérentes sur la grammaire.
de calculer les propriétés de la grammaire.
de générer des phrases d'exemple.
d'aider à effectuer des transformations sur la grammaires.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.cs.kun.nl/agfl/

THINGLAB - (langage de programmation logique)

ThoughtTreasure
– ThoughtTreasure est un projet pour créer une base de données de règles de sens communs à utiliser dans n'importe quelle application. Il consiste en une base de donnnées d'un peu plus de 100 000 règles et d'une API C pour l'intégrer dans vous applications. Les emballeurs Python, Perl, Java et TCL sont déjà disponibles.
Torch

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.signiform.com/tt/htm/tt.htm

TIMM - (générateur inductif de systèmes experts)

TIMM IBM PC, IBM Fortran General Research DEC VAX Santa Barbara, CA, 93160
– Il s'agit d'un système médium d'un coût de 1 000 $ à 10 000 $ sans le matériel.

TLC - Teachable Language Comprehencer

TMS - truth-maintenance system

Torch - bibliothèque d'apprentissage écrit en C++
– Le de Torch but est de fournir la crème des meilleurs algorithmes. Il est, et sera, en développement incessant.
– * Plusieurs méthodes basées sur les gradients, y compris des perceptions de niveau multiple, fonctions sur des bases radiales et un mélange de compétences. Plusieurs petits modules (modules linéaires, modules Tanh, modules SoftMax, ...) peuvent être reliés ensembles.
– * Machine de vecteur de support, pour la classification et la regression.
– * Distributions logicielles, comprenant Kmeans, des modèles de mélanges Gaussiens, des modèles de Markov Masqués, des classificateurs de Baye, et des classes pour la reconnaissance vocale avec entrainement incorporé.
– * Modèles ensemblistes comme Bagging et Adaboost.
– * Modèles non paramétriques comme les k plus proches voisins, la regression de Parzen et l'estimateur de densité de Parzen.

Torch est une bibliothèque libre dont les auteurs encouragent tout le monde à développer de nouveaux logiciels qui seront inclus dans les versions futures du site officiel.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://www.torch.ch/

TOUBIB - (système de diagnostic médical - Fargues 1983)

TPS - test program set

TR - temporal reasoning

TURBO EXPERT -

Haut de page

U

UIMS - User-Interface Management System

ULSI - Ultra-Large-scale Integration (64 millions transistors par puce)

UNITS - (langage orienté-objets - Stefik)

UNIX - (système opératoire - Bell Laboratories)

Haut de page

V

VAL - (langage robotique)

VDU - visual display unit

VLSI - very large-scale integration (2 millions transistors par puce)

VM - (système expert en soins intensifs - Fagan)

VP-EXPERT - Générateur de système-expert VP-EXPERT (Paperback Software International, 1987)
– Editer par la société d'Adam Osborne, 8000 exemplaires vendus en 2 mois, soit l'équivalent des ventes des générateurs sur micro (Guru et M1).

La syntaxe de EXPERT2 est fortement inspirée de celle de VP-EXPERT. En ce sens, EXPERT2 constitue une bonne préparation à VP-EXPERT, système pour PC ayant un des meilleur rapport performance/coût.

VULCAIN-N - (système expert du domaine nucléaire)

Haut de page

W

WAVE - (langage précurseur de VAL)

WAVES - (système expert robotique à auto-observation - Perez)

WEKA
– WEKA (Waikato Environnement for Knowledge Analysis : Environement Waikato pour une analyse de connaissance) est la pointe de la technologie des procédures qui appliquent les techniques d'apprentissage de machines à des problèmes pratiques. C'est un banc d'essai logiciel complet qui permet d'analyser les données du monde réel. Il intègre différents outils d'apprentissage machine avec un squelette identique et une interface utilisateur uniforme. Il a été conçu pour accepter une méthode "simplicité prioritaire" qui permet à l'utilisateur d'expérimenter de façon interactive avec un outil d'apprentissage machine simple avant de se tourner vers des solutions plus complexes.

Références
– http://www.resoo.org/docs/HOWTO_fr/AI-Alife-HOWTO/ar01s02.html
– http://lucy.cs.waikato.ac.nz/ ml/

WEST - (tutoriel intelligent)

wfp - well-formed propositon

WIZARD - (machine d'Alexander, 1984)

WORM - write once, read many times

WTA - Winner Take All

Haut de page

X

XCALIBUR - (système d'interface en langage naturel pour le système expert XSEL)

XCON - (expert en configuration d'ordinateurs - McDermott 1978)

XSEL - Expert Selling Assistant (McDermott 1980)

XSITE - (Expert en entretien d'installations informatiques)

Haut de page

Y

Yexpert - Your expert
– Yexpert est un système expert complet. Il est composé des modules suivants :

DKBMS - base de données et de connaissances
GDX - gestion documentaire
HEVEA - évaluateur interactif
TOTEM - moteur d'inférence
LINK - configurateur
MOZART - éditeur de gamme
EQX - aide à l'équilibrage de ligne

Ces modules sont en relation. Toute modification à quelque niveau que ce soit est répercutée vers tous les modules concernés.

Références
– http://www.yrelay.com/article321.html
– http://yexpert.sourceforge.net/
– http://sourceforge.net/project/showfiles.php?group_id=251109

Haut de page

Z

ZEA - (système multi-expert en culture de maïs)

ZetaLISP - (dialecte lispien)

ZOO - (langage Z orienté-objet - G. Coulombe et al. 1988)

Choisir une distribution Linux

Hamid — 2009-02-08T23:00:00Z

Comment bien choisir une distribution GNU/Linux ou BSD Unix. Cette question : tous les utilisateurs se la sont déjà posés au moins une fois. On peut lire partout que Linux est « gratuit ». Effectivement quand on utilise un logiciel en licence GPL, ce n'est pas la licence d'utilisation que l'on paye, c'est un service. Ainsi, certaines sociétés ont rémunéré des informaticiens pour rassembler, coordonner, faciliter l'installation de logiciels Linux et ont pressé des CD pour présenter le tout avec un manuel adapté. C'est ce travail qui est payé dans une « distribution » Linux, sachant que rien n'empêche de tout télécharger sur Internet et de tout dupliquer ensuite sans être « hors la loi ». Toutefois, dans certaines distributions on trouve des applications commerciales dont l'usage est conditionné classiquement par la possession d'une licence. Il faut donc bien se renseigner avant de les diffuser vous même !

Source : www.linux-france.org

Aujourd'hui, il très facile de se faire son opinion et choisir sa distribution : De nombreux articles sont disponibles, il suffit de taper sur Google : choisir une distribution linux pour s'en rendre compte.

Parmi les distributions les plus répandues en France on trouve :

– Debian : http://www.debian.org
utilise un autre système de paquetage que le « RPM » ; celle-ci est plus complexe et très appréciée des puristes car elle n'inclut que des logiciels libres. Debian est principalement une distribution GNU/Linux non commerciale. L'éditeur canadien a fait une distribution commerciale en intégrant le traitement de texte Wordperfect et cette distribution vise à retrouver les habitudes des utilisateurs du monde Windows.

– Fedora : fedora.redhat.com
– Red Hat : www.fr.redhat.com
Fedora est la version publique en distribution communautaire. Red Hat est un standard, probablement une des distributions la plus utilisée. La société RedHat, qui est cotée en bourse, cherche surtout à s'adresser aux professionnels dans les entreprises. Les programmes installés sont le plus souvent directement utilisables, elle convient donc parfaitement aussi aux débutants qui bénéficient également d'interfaces graphiques pour la configuration et l'administration. Les utilisateurs avertis trouvent également leur compte dans la cohérence, la qualité et le dynamisme de cette distribution. Sa distribution est très complète et stable, donc bien adaptée pour un serveur.

– Mandriva (anciennement Mandrake) : www.mandriva.com
distribution basée à l'origine sur la RedHat. Très simple à installer et à utiliser. C'est la seule distribution qui a été conçue et est maintenue par des français. Elle intègre toutes les avancées de Linux (dont en particulier le windows manager KDE) avec les paquetages les plus récents. L'installation est à présent graphique et de nombreux outils en facilitent l'usage autant sur un serveur que sur une station de travail. La version GPL tient sur trois CD. Les versions commerciales sont plus riches. Elle est à recommander à tous ceux qui veulent utiliser leur machine rapidement sans passer trop de temps à jouer à l'ingénieur système.

– Novell (anciennement SuSE) : www.novell.com
distribution de qualité dont l'origine est allemande. Elle possède des configurateurs "Yast" et "SaX" particulièrement conviviaux et une reconnaissance d'un très grand nombre de matériels qui la rendent très pratique pour les portables et d'une façon générale sur des stations de travail. C'est une des plus complètes. Mise au point en Allemagne par la société « SUSE », achetée par Novell. La SuSE est une distribution de choix pour qui souhaite installer et utiliser rapidement Linux mais ne veut pas s'intéresser de trop près aux détails de son fonctionnement. Distribution commerciale de grande qualité, incluant de nombreuses applications pré-configurées. L'installation et l'administration sont grandement facilitées par les outils fournis. Convient à la fois aux utilisateurs novices qui auront peu de mal à l'installer, et aux utilisateurs expérimentés qui n'ont pas envie de perdre du temps à paramétrer leur système avant de l'utiliser.

– Caldera : www.caldera.com
cette société est implantée en Utah et a le même fondateur que la société Novell, dont elle tire toute l'expérience en matière de réseau. Elle est également basée sur une Red Hat et vise aussi l'utilisation en bureautique ainsi que le serveur orienté vers le eBusiness. L'installation a été une des premières graphiques et la configuration est orientée « réseau ».

– Slackware : www.slackware.com
est une des premières distributions arrivées en France. Pour ses qualités elle est celle des spécialistes mais il ne faut pas craindre la ligne de commande et l'anglais ! Je recommande chaudement la Slackware à ceux qui souhaitent acquérir en douceur une bonne maîtrise d'Unix, qui veulent mettre en place un serveur, et ceux pour qui la facilité de déploiement est particulièrement importante. Elle compte encore de très nombreux adeptes parfois convaincus mais semble en perte de vitesse et les mises à jour se font rares. Elle est donc à réserver aux habitués, qui ne peuvent renoncer aux habitudes contractées.

Il existe de nombreux comparatifs entre les distributions que l'on peut consulter sur les liens suivants :
– www.linux-france.org
– www.google.com
– www.linuxiso.org
– distrowatch.com
– lwn.net
– www.linuxplanet.com
– www.linuxhq.com
– www.linuxjournal.com
Et bien d'autres...

Dans tous les cas, il importe de bien considérer le noyau de Linux utilisé.

Dans un premier temps, pour savoir quel noyau vous utilisez, il suffit de faire uname -sr. Vous devriez voir apparaître quelque chose du genre : Linux 2.6.15 ...

– Le premier chiffre c'est la version 2 du kernel qui est diffusé.
– Le second chiffre indique une version stable s'il est pair et une version réservée aux développeurs s'il est impair.
– Le dernier chiffre (qui change presque chaque semaine) précise la dernière mouture sortie.

Les dernières évolutions :
– La version 2.2 (janvier 1999) qui inclut le support multi-processeurs et le plug-and-play entre autre.
– La version 2.4 (janvier 2001) avec un système de fichiers journalisés et le support du port usb et de nombreux périphériques récents.
– La version 2.6 (décembre 2003) ALSA remplace tous les anciens pilotes pour le son du noyau Linux, le noyau devient préemptible, NFS (Système de fichiers en réseau) permet à un ordinateur d'accéder à des fichiers via un réseau.

Sur un serveur, il est plus que sage d'utiliser une version qui a fait ses preuves du moment qu'elle est adaptée aux besoins.

Pour ceux qui veulent en savoir un peu plus : fr.wikipedia.org

Installer Yexpert 4.0.6 : (your) Système Expert libre sous Mumps GT.M et GNU/Linux.

Hamid — 2008-07-11T12:16:57Z

Votre système expert Yexpert est maintenant sur github.com/Yrelay/. Vous pouvez le tester facilement en suivant les instructions sur github.com/Yrelay/Yexpert-Box.

Autour d'une machine virtuelle VirtualBox, vous trouvez un nouveau jeu d'essai articulé autour de la base de données DKBMS et d'une version améliorée du moteur d'inférence TOTEM.

La version 4.0.6 corrige un problème de connexion à la base de données et intègre EWD.js pour permettre une connexion à travers un explorateur..

Si vous avez suivi les instructions d'installation d'Yexpert-Box, votre système expert est prêt à démarrer !.

Pour vous connecter en tant qu'utilisateur de l'instance d'Yrelay par défaut, tapez ceci :

~$ ssh -p 2222 yrelayprog@localhost # sur VM
ou bien,
~$ ssh -p 22 yrelayprog@localhost # en local

Pour vos premiers pas, je vous propose de commencer avec le module de formation "LA SOURIS ET LE FROMAGE". Depuis le "MENU GENERAL" :
– Taper "+" pour accéder à la page 1/2.
– Choisir "divers" et [Entrée] ou taper 8 pour accéder à ,"divers"
– Choisir "ludiciels de formation" et [Entrée] ou taper 1 pour accéder à ,"ludiciels de formation"
– Choisir "la souris et le fromage" et [Entrée] ou taper 1 pour accéder à ,"la souris et le fromage"

Laissez-vous guider par le menu. Pour plus d'information, la documentation est ici. Ne pas oublier après "l'introduction du savoir-faire" de faire la "compréhension du savoir-faire"

Amusez-vous bien !

FAQ - Erreurs lors de l'utilisation d'Yexpert

Hamid — 2008-03-29T08:34:39Z

Vous trouver dans cet article les principales erreurs lors de l'utilisation d'Yexpert !

Vous pouvez soit parcourir cette Foire Aux Questions (FAQ) ou utiliser le champ recherche présent sur la page d'accueil.

Error accessing database

Message d'erreur :

%GTM-E-REQRUNDOWN, Error accessing database /usr/local/yxp/g/YXP.dat. Must be rundown on cluster node andLinux. At M source location VSTART+11^VSTART

Solution :

# export gtm_dist=/usr/local/gtm
# export gtmgbldir=/usr/local/yxp/g/YXP.gld
# export PATH=$PATH:$gtm_dist # mupip rundown -FILE "/usr/local/yxp/g/YXP.dat"
# mupip rundown -region "*" ; Pour réactiver les database
# mupip integ -region "*" ; Si besoin, pour réparer les erreurs dans votre database
# ; Si les erreurs ne sont pas réparées voir le chapitre DSE dans la documentation admin de GT.M

Message d'erreur :

%GTM-E-REQRUNDOWN, Error accessing database /usr/local/dmo/g/DMO.dat. Must be rundown on cluster node andLinux.
%GTM-I-RTSLOC, At M source location INIT+2^%SYSSEMA

Solution :

# export gtm_dist=/usr/local/gtm
# export gtmgbldir=/usr/local/dmo/g/DMO.gld
# export PATH=$PATH:$gtm_dist # mupip rundown -FILE "/usr/local/dmo/g/DMO.dat"
# mupip rundown -region "*" ; Pour réactiver les database
# mupip integ -region "*" ; Si besoin, pour réparer les erreurs dans votre database
# ; Si les erreurs ne sont pas réparées voir le chapitre DSE dans la documentation admin de GT.M

La SOURIS et le FROMAGE

Hamid — 2008-03-11T18:01:42Z

PRÉSENTATION

"La souris et le fromage" est à la fois un jeu et un outil de démonstration.
Principe de Fonctionnement :
Déterminer un contexte : l'utilisateur choisit un labyrinthe, place la souris et la munie de dents [0...10] (sorte de joker qui lui permettra de traverser les murs du labyrinthe), place également le fromage en l'affectant d'une odeur et d'un coefficient de diffusion.
Transmettre de la connaissance : l'utilisateur a la possibilité de doter la souris de sa connaissance et ainsi l'aider à atteindre au plus vite le fromage.
Parcourir le labyrinthe : la souris doit retrouver le fromage.
Le but est d'illustrer l'influence de la connaissance de l'utilisateur sur le comportement d'un système.
La démarche montre également qu'une procédure "algorithmique" ou "exacte" peut être grandement améliorée par l'introduction de quelques règles de savoir-faire empruntées à l'utilisateur.
Remarque : Les diverses touches de fonctions utilisées au cours des exemples suivants sont représentées en annexe.

LE BUT DU JEU

Transmettre à la souris des règles de "savoir-faire" qui lui permettront d'atteindre très vite le fromage.
Découvrir l'efficacité ou l'inefficacité des règles de conduite attribuées à la souris et l'importance d'une base de règle efficace.
Découvrir plus généralement le principe et l'intérêt des systèmes à base de connaissance.
COMPORTEMENT DE LA SOURIS SANS SAVOIR-FAIRE

Son comportement "instinctif est dicté par les impératifs suivants :
ne pas sortir du labyrinthe
ne pas pénétrer dans les murs, à moins qu'elle ne possède une dent au moins. Elle perdra une dent par mur traversé.
ne repasser sur sa trace qu'en marche arrière, et seulement si tous les parcours possibles sont épuisés.
lorsque la souris a le choix entre plusieurs directions, elle en choisira une de façon aléatoire.
La "stratégie" d'une souris sans savoir-faire est en fait l'exploration totale du labyrinthe, et elle lui garantit d'atteindre le fromage au bout d'un nombre de pas qui restera inférieur à 2 fois le nombre de cases.
C'est l'illustration d'une procédure "algorithmique" ou "exacte".
LA SOURIS DOTÉE DU SAVOIR-FAIRE

Les bases du savoir-faire

Ce savoir-faire est mis en oeuvre chaque fois que la souris doit faire un pas et qu'elle a effectivement un choix à faire (plusieurs possibilités). Si le "SAVOIR-FAIRE" ne peut être mis en oeuvre, la souris reprend son comportement instinctif.
La souris se déplace à l'aide d'un paramètre unique (PROCHAINE.DIRECTION).
L'objectif du savoir-faire est d'évaluer PROCHAINE.DIRECTION en fonction de son environnement et éventuellement de paramètres intermédiaires utiles au raisonnement ; ce 'SAVOIR-FAIRE" est exprimé avec le vocabulaire choisi par l'utilisateur et déposé dans un lexique.
Dans le cas présent le choix des paramètres intermédiaires de référence est le suivant :

Les règles du savoir-faire

Les règles sont exprimées sous la forme

Le savoir-faire est énoncé sous forme de règles pouvant être saisies de façon anarchique, le système étant capable d'ordonner et d'exploiter toutes ces connaissances dans l'ordre qui lui convient (un ordre adapté à son mode d'exploitation).
Toutes les règles s'appliquant à la souris sont saisies dans des fiches du modèle ci-après :

Ceci signifie : La PROCHAINE.DIRECTION de la SOURIS est fixée à NORD si le FLAIR.MAXI n'est pas nul et le FLAIR.MAXI est égal au FLAIR.NORD.
Mise en oeuvre du " savoir-faire"

Affectation d'un savoir-faire

Utilisation du "savoir-faire" EXISTANT
Sélection de l'ensemble de règles désiré accessible par la rubrique CATALOGUE DES SAVOIR-FAIRE EXISTANTS
Analyse et assimilation en exécutant une COMPRÉHENSION des règles considérées.
Saisie du savoir-faire :
Elle peut se faire fiche par fiche.
Description d'une règle déterminante pour le comportement de la souris. L'accès se fait par les rubriques INTRODUCTION DU SAVOIR-FAIRE puis AJOUT D'UNE RÈGLE.
Suite à l'introduction de règles, une COMPRÉHENSION est indispensable.
Visualisation et modification

Possibilité de consulter, modifier ou supprimer une règle.
Pour cela, se déplacer dans la rubrique INTRODUCTION DU SAVOIR-FAIRE puis CONSULTER/MODIFIER/SUPPRIMER UNE RÈGLE.
Exploitation

L'exploitation du SAVOIR-FAIRE se fait en procédant à l'exécution du jeu. (Rubrique LABYRINTHE).
Différentes étapes : Choix du labyrinthe, placement de la souris et du fromage, intensité odoriférante du fromage, perméabilité des murs du labyrinthe et dotation de dents à la souris.
La souris est prête à utiliser ses connaissances !...
Examinons l'influence du savoir-faire sur le comportement de la souris
Considérons le labyrinthe ci-dessous, dont les chiffres représentent l'intensité d'odeur perceptible par la souris.
F est le point où nous avons placé le fromage, et S le point de départ choisi pour la souris.
INFLUENCE DU SAVOIR-FAIRE

La souris sans savoir-faire

La souris se déplace suivant son comportement "instinctif (paragraphe 3).
Remarque : X = points de rebroussement de la souris. À partir de ces points, la souris fait en marche arrière le chemin parcouru jusqu'à la découverte d'un emplacement voisin "libre".

Exemple de savoir-faire composé d'une règle

Prenons la règle suivante :

Cette règle signifie que la souris devra, à chaque fois que cela est possible, conserver sa direction précédente.

Le résultat, sur ce même labyrinthe pourra être, par exemple, celui ci-après.

33 cases parcourues
Exemple d'un savoir-faire de 6 règles :

Hypothèses :
Odeur du fromage = 10
Perméabilité des murs = 6
Dent = 0
Ce savoir-faire peut conduire au parcours suivant :

13 cases parcourues
Les 3 premiers déplacements sont dictés par la sixième règle du savoir-faire (puisque "FLAIR.MAXI = 0" à chacune de ces étapes).
Les déplacements suivants, par contre, sont imposés par les 5 premières règles qui donnent à "PROCHAINE.DIRECTION" la valeur d'une direction d'intensité d'odeur maximale.
CONCLUSION

Comparons différents savoir-faire sur la base des performances de la souris, c'est-à-dire du nombre de cases parcourues avant d'atteindre le fromage.

Comportement instinctif	47 cases Parcourues
1 Règle de Savoir-Faire	33 cases Parcourues
6 Règles de savoir-faire	13 cases Parcourues

Doter la souris d'un savoir-faire de seulement 6 règles a permis à cette dernière d'économiser 72 % de ces déplacements.
L'utilisateur, par transmission de sa connaissance, a non seulement illustré l'influence du savoir-faire sur le comportement d'un système mais a aussi considérablement amélioré le processus de résolution.
La souris et le fromage est un moyen d'appréhender, de comprendre et d'utiliser un système à base de connaissance.
Il permet également d'introduire les étapes essentielles à l'utilisation du produit TOTEM.

DIVERSES FONCTIONS :

Source :
– Gestion des connaissances

Liens : TAL - Traitement Automatique des Langues

Hamid — 2007-10-05T01:57:53Z

Liens : Traitement Automatique des Langues
– Technolangue : le portail des technologies de la langue
– Eurêka : Moteur de recherche sur la langue
– Marges linguistiques : revue des sciences du langage
– Inttranews : site d'actualités linguistiques
– Les outils pour le traitement automatique des langues de l'ATALA
– Outils de traductions répertoriés par l'Union latine et liens sur la traduction assistée par ordinateur avec démonstrations d'outils de traduction.
– Les produits disponibles en traitement du langage recensés par l'APIL
– Guide de recensement des outils de collecte, de traitement et de visualisation de l'information, CIGREF janvier 2006.
– ATALA : association pour le traitement automatique des langues
– APIL : association des professionnels des industries de la langue
– AFCP : association francophone de la communication parlée

Liens : Traductions automatiques
– Fagan Translation Wizard : "meta-traducteur"qui se connecte à plus de 45 outils de traduction en ligne selon la nature de votre demande (langues, traduction d'un mot ou d'une page web). Fonction "reconnaissance de la langue".
– Reverso : Le logiciel de traduction automatique de Softissimo
– Systran : traduction en ligne d'un texte ou d'une URL
– Cyber Trans
– Lingo24 : traduction multilingue français, anglais, espagnol, allemand, italien, russe, portugais, néerlandais, arabe, coréen, chinois.
– Google Traduction : traduction multilingue français, arabe, coréen, japonais, allemand, espagnol, chinois, portugais
– 1-800-Translate : traduction multilingue français, allemand, anglais, arabe, chinois, coréen, espagnol, grec, hébreu, italien, japonais, néerlandais, persan, polonais, portugais, russe, turc, ukrainien (accès gratuit limité)
– e-Translation Server : traduction l'anglais<— >espagnol, portugais, italien, allemand, français
– ePals.com : traduction multilingue anglais, français espagnol, allemand, italien, japonais, choinois
– InterTran : traduction multilingue anglais, croate, tchèque, brésilien, bulgare, danois, néerlandais, espagnol, finois, français, allemand, grec, hongrois, islandais, japonais, italien, norvégien, tagalog, portugais, polonais, russe , serbe, suédois, turc...
– Linguatec : traduction allemand < — > français, anglais...
– Cimos : traduction arabe < — > anglais
– Kataku : traduction anglais < — > indonésien
– Poltran : traduction polonais < — > anglais
– Promt online : traduction multilingue russe, français, anglais, allemand, espagnol, italien
– Internostrum : traduction catalan < — > espagnol
– Fordító : traduction hongrois < — > anglais
– TransType : traduction interactive

Liens sur des outils commerciaux : Traductions
– Trados
– Similis
– DéjàVu
– Wordfast
– Transit
– MetaTexis

Liens pour repérer la langue employée dans un document : Identification automatique des langues
– SILC : (Système d'Identification de la Langue et du Codage) du laboratoire RALI détermine automatiquement la langue dans laquelle un document est écrit, de même que le jeu de caractères employé. L'actuelle version reconnaît près d'une trentaine de langues
– Fuzzums : reconnaissance automatique de la langue.
– Xerox : reconnaissance automatique de la langue

Liens vers des démonstrations en ligne et des produits payants : Résumé de textes automatiques
– Pertinence-Google (fr):démonstration de résumés automatiques des résultats de Google en ligne pour le français
Pour activer le résumé de tous les résultats d'une recherche ; les infos de connexion sont : (email :"google") et (mot de passe : "google"). Utiliser Internet Explorer ou Netscape.
– Pertinence-Google (en) : démonstration de résumés automatiques des résultats de Google en ligne pour l'anglais
Pour activer le résumé de tous les résultats d'une recherche ; les infos de connexion sont : (email :"google") et (mot de passe : "google"). Utiliser Internet Explorer ou Netscape.
– SweSum : résumé automatiques gratuits permettant de traiter le français, l'allemand, le danois, le grec, le persan,le norvegien, le suédois, l'italien, l'espagnol et de définir la taille de texte à laquelle on souhaite arriver par rapport à l'original (en%) ainsi que les concepts clés.
– Pertinence Summarizer : en ligne ou en mode serveur, multiformat, en douze langues, quelques essais gratuits.
– Copernic Summarizer : à télécharger, multiformat, payant
– Sinope Summarizer : à télécharger, multiformat, payant

Liens : Synthèse de la parole
– ACAPELA : démonstration en ligne sur l'anglais, le néerlandais, l'allemand, le français, l'arabe, l'italien, le norvégien, le polonais, l'espagnol et le suédois.
– Cepstral : démonstrations de la synthèse vocale en anglais
– NUANCE : démonstrations courtes en allemand, néerlandais, japonais, polonais, français, basque, italien, chinois, portugais, suédois, espagnol et coréen
– TTS Demo : démonstrations de synthèse vocale en anglais, français, néerlandais, suédois, portugais, espagnol, allemand, grec et catalan

Source :
– http://www.culture.gouv.fr/

Technolangue : Traitement Automatique des Langues (TAL).

Hamid — 2007-09-28T01:14:00Z

Présentation

Ce domaine, également connu sous le nom de "traitement automatique des langues" (TAL) ou "ingénierie linguistique", vise à fournir des technologies utilisées dans de nombreuses applications qui traitent l'information sous forme écrite ou orale, monolingue ou multilingue.

Son objectif principal est de mettre en place de manière pérenne une infrastructure de production et diffusion de ressources linguistiques, d'évaluation des technologies de la langue écrite et orale, de participation aux instances nationales et internationales de normalisation et de standardisation et de veille informationnelle sur le domaine.

Les ministères concernés sont le Ministère chargé de la Recherche et des Nouvelles Technologies, le Ministère délégué à l'Industrie et le Ministère de la Culture et de la Communication.

Définition

L'expression « technologies de la langue » désigne l'ensemble des produits et services qui ont pour objet le Traitement Automatique des Langues (TAL).

Le TAL s'effectue sur des données linguistiques (textes écrits, corpus oraux, lexiques, phrases, etc.) et met en oeuvre des outils et des techniques de traitement qui sont de trois ordres :

– linguistiques (description et explicitation des connaissances de la langue relevant des niveaux de la phonétique/phonologique, de la morphologie, de la syntaxe, de la sémantique),
– formels (expression et représentation de ces connaissances dans un formalisme susceptible d'être implémenté par la machine),
– informatiques (élaboration de techniques et de stratégies informatiques de traitement effectif).

Nous utilisons l'expression « Traitement Automatique des Langues » mais préférons parler des « traitements automatiques des langues » (d'autres parlent également d'industrie des langues, d'ingénierie linguistique, etc). En effet, on ne saurait parler « du » traitement mais « des » traitements automatiques des langues. Il en existe une multitude : extraction, résumé, analyse, traduction, etc.

L'ère de l'information

L'information joue aujourd'hui un rôle de plus en plus important dans toutes les activités du monde contemporain. En effet, de nombreux facteurs, agissant de manière synergique, ont contribué au cours de ces trente dernières années, à accroître son influence dans tous les domaines. Simultanément, l'internationalisation des marchés et le développement des Nouvelles Technologies de l'Information et de la Communication (NTIC) ont favorisé le multilinguisme et l'augmentation du volume d'information.

Dans ce contexte, les aspects d'acquisition, de gestion, d'analyse, d'exploitation, etc. des informations, multilingues ou non, pour la plupart sous formes textuelles ou orales, sont au centre des grands débats du monde de la recherche et de l'économie. La société de l'information donne par ailleurs au support de l'information, la langue elle-même, une importance nouvelle sur le plan de son traitement informatique.

Le domaine des technologies de la langue est ainsi devenu un des domaines-clés qui propose des voies de recherche susceptibles d'apporter des solutions à ces problèmes et répond ainsi aux besoins actuels de ce que les experts dénomment la « société de l'information ».

Sources :
– http://www.technolangue.net/
– http://web.limsi.fr/

LIR : Langues, Information et Représentations

Hamid — 2007-09-28T01:02:00Z

Les systèmes de question-réponse développés dans ce groupe se positionnent très favorablement dans les compétitions nationales et internationales. Ils permettent de valider sur une tâche réelle les modèles issus de recherches originales. Ces systèmes deviennent de plus en plus complexes, ils sont aujourd'hui multilingues. La fusion de données et l'introduction d'un dialogue en vue de donner une réponse élaborée et précise à la question posée sont les thèmes de thèses en cours dans ce groupe.

Un volet important est la part évaluation dans laquelle ce groupe est partie prenante aussi bien en tant qu'évaluateur (analyseurs syntaxiques et systèmes question-réponse) qu'en tant qu'évalué (systèmes de question-réponse). Les recherches se développent ainsi selon trois thèmes complémentaires :
– Acquisition et raisonnement sémantiques pour résoudre les ambiguïtés de la langue et accroître nos connaissances sur les processus de raisonnement et d'émergence du langage ;
– Compréhension et production de textes en vue d'un accès toujours plus performant à l'information ;
– Evaluation de traitements automatiques robustes de la langue écrite pour valider les modèles sous-jacents.

Pour plus de détail vous pouvez consulter les séminaires des années passées, mais aussi à venir.
http://www.limsi.fr/Scientifique/lir/seminaires

Le groupe LIR a organisé l'évaluation DEFT 2007 en fouille de textes

L'intérêt de cette conférence d'évaluation était de permettre de confronter, sur un même corpus, des méthodes et logiciels d'équipes différentes. Depuis deux ans, l'atelier d'évaluation DEFT propose avec succès des thèmes relevant de la fouille de textes en langue française. Les deux éditions précédentes ont été consacrées à l'identification du locuteur d'un discours (DEFT'05) et à la segmentation thématique de textes (DEFT'06).
DEFT'07 s'est tenu début juillet dans le cadre de la plate-forme AFIA 2007 . Le thème de cette nouvelle édition de DEFT était la classification de textes d'opinion :

Un texte d'opinion présente un avis argumenté, positif ou négatif, sur un sujet donné. Les domaines faisant l'objet de textes d'opinions sont nombreux : critiques de films ou de livres, jugements qualitatifs de produits, controverses sur un projet politique ... les exemples ne manquent pas. Est-il possible de classer automatiquement un texte d'opinion suivant le jugement, favorable ou défavorable, qu'il exprime ? C'était l'enjeu du défi proposé.

Sources :
– http://www.limsi.fr/Recherche/CORVAL/easy/
– http://deft07.limsi.fr/