John Eikenberry

jae@zhar.net

Pierre-Yves Aimon Laurent Fallet Laurent Morretton Yvon Benoist Version : 2.3.fr.1.0 21 Ao��t 2006 Version fran��aise du GNU/Linux AI and Alife HOWTO 2.3.fr.1.0 2006-10-01 LF Mise �� jour de la traduction fran��aise 1.9.fr.1.0 2004-01-15 LM, LF, PYM Premi��re traduction fran��aise originale 2006-08-21 JE Version 2.3. Consulter la section "Quoi de neuf" pour les r��visions ant��rieures. Ce guide contient principalement des informations et des liens relatifs �� diverses applications, biblioth��ques, etc. sur l'IA qui fonctionnent sur la plate-forme GNU/Linux. Tout ceci est libre dans le cadre d'un usage personnel (ou davantage). La page la plus �� jour de ce document se trouve �� l'adresse http://zhar.net/gnu-linux/howto/

Le syst��me d'exploitation GNU/Linux a ��volu�� depuis ses origines de syst��me pirate jusqu'�� devenir un syst��me UNIX complet, capable de rivaliser avec n'importe quel UNIX commercial. Il est maintenant une base peu on��reuse pour la construction de bonnes stations de travail. Il s'est lib��r�� de ses probl��mes de compatibilit�� mat��rielle en ayant ��t�� port�� sur des stations DEC Alpha, Sparcs, Power PC et bien d'autres. Son potentiel de croissance rapide ainsi que son support r��seau le rend id��al pour le partage du temps de travail entre plusieurs ordinateurs. En tant que station de travail, il permet toutes sortes de recherches et de d��veloppements, y compris les travaux sur l'intelligence artificielle et la vie artificielle. Le but de ce HOW-TO est de fournir une base permettant de trouver diff��rents logiciels, biblioth��ques de code, et tout ce qui peut aider �� d��marrer (et trouver les ressources) dans le monde de l'intelligence artificielle, de la vie artificielle, etc. Tout cela dans l'optique GNU/Linux.

v2.4 (en d��veloppement) - Nouvelles entr��es : Eprover, Player et Robodeb. J'ai divis�� la section Agents en deux sous-sections, �� savoir Agents Logiciels et Simulateurs et Robotique. Je crains d'��tre all�� un peu vite quand �� la r��partition, mais c'est une am��lioration. MIA trouv��! Cellular, le syst��me d'automate programmable cellulaire. v2.3 - Nouvelles entr��es : Yamp, pygene, Push, ANNEvolve, dgpf, Golly, IBAL, 3APL, OSCAR, and RobocodeNG. Mise �� jour des entr��es Yale, Joone, Drone, Biome, ECLiPSe, Xtoys, GECO, Creatures Docking Station et d'autres. J'ai ��galement renomm�� la section MIA en Manquants et Inactifs qui regroupe maintenant les liens morts ou erron��s pour lesquels je ne trouve de remplacement et les projets qui ne sont plus actifs. v2.2 - Quelques liens cass��s ont ��t�� r��par��s et quelques nouvelles entr��es ont du ��tre d��plac��es dans la section MIA (manquante). J'ai ��galement supprim�� une entr��e dupliqu��e. Nouvelles entr��es : MASON, spyse, AntWars, OpenSteer, Pyro, Robocode, Trend and Open BEAGLE. v2.1 - Nouvelles entr��es : NLTK, NEURObjects, KANREN, Neural Networks at your Fingertips, SimWorld, SimAgent, Fuzzy sets for Ada, maxent, Evo, breve and AJA v2.0 - Un v��rificateur de liens m'a permis de supprimer les liens erron��s ou de les remplacer. Voir la liste des entr��es supprim��es dans la section MIA (me contacter si vous connaissez le nouveau lien). Nouvelles entr��es : Yale, DIET Agents, JASA, Jason, Noble Ape, Maude, ECLiPSe, lush, and pygp v1.9 - Ajout d'une nouvelle entr��e (Bond) et r��paration du lien donn�� plus bas, qui pointe vers la liste dynamique. v1.8 - Nettoyage de liens erron��s, recherche de nouveaux liens lorsque cela ��tait possible et suppression de ceux qui semblent avoir disparus. Quelques nouvelles entr��es ajout��es ��galement : Torch, Aleph, AI Kernel, OpenCyc, HTK, FFLL, JCK, Joone, scnANNlib, GAUL, Cougaar, and RoboTournament v1.7 - 9 autres nouvelles entr��es ajout��es, une s��rie de liens r��par��s, quelques ��l��ments enlev��s qui ont disparus du net. Nouvelles entr��es : SPASS, CNNs, JCASim, Genetic, CAGE, AgentFarms, MATREM, OAA, et UTCS Neural Nets Research Group Software v1.6 - Ajout de 9 nouvelles entr��es, deux liens r��par��s et un ��l��ment redondant enlev��. v1.5 - 26 nouvelles entr��es, ainsi que deux ou trois r��parations de liens. v1.4 - 10 mises �� jour effectu��es et r��paration de liens en rapport avec LISP. v1.3 - Pour rattraper le retard, j'ai ajout�� plus de 30 nouvelles entr��es aujourd'hui et je l'ai soumis au LDP. Pas d'enregistrements sur les versions pr��c��dentes :(

Tous les programmes devraient ��tre disponibles sur Internet (ftp ou http). Les liens vers ces ressources sont fournis dans la description de chaque logiciel. Il y a ��galement une pl��thore de logiciels non trait��s dans ces pages (qui sont g��n��ralement ind��pendants de la plate-forme), situ��s sur une des ressources list��es dans la section lien du site principal (donn�� plus haut).

Si vous trouvez des erreurs, que vous ��tes au courant des mises �� jour de l'un des outils d��crit plus loin, ou que vous rencontrez des probl��mes pour compiler l'une des applications, ��crivez-moi �� jae@zhar.net et je verrai ce que je peux faire. Si vous connaissez des applications sur l'IA/VA, des biblioth��ques de classe, etc, envoyez-moi un email au sujet de celles-ci. Mentionnez votre nom, l'adresse ftp ou http o�� l'on peut trouver ces applications, ainsi qu'un bref r��sum��/commentaire sur le logiciel (ces informations devraient me rendre les choses beaucoup plus faciles... mais ne vous sentez pas oblig��s de le faire ;) ). Je sais que garder cette liste �� jour et l'augmenter demande pas mal de travail. Alors s'il vous plait, soyez patient (j'ai aussi d'autres projets en cours). J'esp��re que vous trouverez ce document utile.

Copyright (c) 1996-2006 John A. Eikenberry LICENCE Ce document peut ��tre reproduit et distribu�� enti��rement ou en partie, sur n'importe quel m��dia, qu'il soit physique ou ��lectronique, �� condition que cette licence apparaisse sur la reproduction. La redistribution commerciale est autoris��e et encourag��e. Un pr��avis de 30 jours, par courriel �� l'auteur, de la redistribution serait appr��ci��e, afin de donner �� l'auteur le temps de fournir des documents �� jour. A. CONDITIONS REQUISES POUR LES MODIFICATIONS Tout document modifi��, y compris les traductions, anthologies, ou documents partiels, doit se conformer aux conditions suivantes : Ces versions doivent ��tre identifi��es comme ��tant des versions modifi��es Le nom de la personne r��alisant ces modifications doit ��tre indiqu��. Il est n��cessaire de mentionner le nom de l'auteur original. L'emplacement du document original non modifi�� doit ��tre indiqu��. Le ou les noms des auteurs ne doivent pas ��tres utilis��s pour revendiquer ou impliquer leur approbation du document qui r��sulte de ces modifications sans l'accord de l'auteur original. De plus, il est recommand�� (mais pas obligatoire) de respecter ces consignes : Les modifications, y compris les suppressions, doivent ��tres signal��es. L'auteur doit ��tre pr��venu de toute modification avant la redistribution par courriel, si une adresse ��lectronique est fournie dans le document. Une exception cependant : les anthologies de documents LDP peuvent n'inclure qu'une copie des termes de cette licence de mani��re visible, �� l'int��rieur du recueil, et peut remplacer les autres copies de cette licence par une r��f��rence �� la seule copie de la licence, sans consid��rer le document comme "modifi��" pour le besoin de cette section. Le simple regroupement de documents LDP avec d'autres documents ou programmes sur le m��me m��dium ne doit pas impliquer que la licence porte ��galement sur ces autres travaux. Toute traduction, document d��riv��, ou document modifi�� qui incorporerait ce document n'est pas soumis �� des termes de licence plus restrictifs que ceux l��, �� l'exception du fait que vous pouvez demander aux distributeurs de mettre �� disposition le document en question sous le format source.

L'IA traditionnelle se fonde sur tout ce qui tourne autour de la logique, des syst��mes de r��gles, de la linguistique, et du concept de rationalit��. Ses racines sont les langages de programmation comme Lisp et Prolog. Les syst��mes experts sont les plus grands exemples de r��ussite de ce paradigme. Un syst��me expert consiste en une base de connaissances d��taill��e et un syst��me complexe de r��gles pour l'utiliser. De tels syst��mes ont ��t�� utilis��s comme support de diagnostiques m��dicaux et syst��mes de v��rification de solvabilit��.

Ce sont des biblioth��ques de classes ou code �� utiliser lorsque vous programmez dans le domaine de l'intelligence artificielle. Elles ne sont pas destin��es �� devenir des applications �� part enti��re, mais plut��t comme des outils afin de cr��er vos propres applications. ACL2 Site web : www.cliki.net/ACL2 ACL2 (A Computational Logic for Applicative Common Lisp) 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). AI Kernel Site Web : aikernel.sourceforge.net Site Web Sourceforge : sourceforge.net/projects/aikernel AI Kernel (noyau d'IA) 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. AI Search II Site Web : www.bell-labs.com/topic/books/ooai-book/ 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 oeuvre : 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++". Aleph Site Web : web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/ Ce document fournit des informations de r��f��rence sur "A Learning Engine for Proposing Hypotheses" (Aleph : un moteur d'apprentissage pour proposer des hypoth��ses). Aleph est syst��me de programmation par logique inductive (Inductive Logic Programming, ILP). La fonction d'Aleph est celle de prototype pour explorer des id��es. Aleph est un algorithme ILP mis en oeuvre 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. Chess In Lisp (CIL : les ��checs en Lisp) Site Web : *fait partie de l'archive CLOCC clocc.sourceforge.net La fondation CIL (les ��checs en Lisp) 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. DAI Site Web : starship.python.net/crew/gandalf/DNET/AI/ 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 : Examiner, ��tudier les classes COOL Cr��er et manipuler des instances COOL Manipuler les gestionnaires de messages COOL Manipuler les modules FFLL Site Web : ffll.sourceforge.net La biblioth��que gratuite de logique floue (FFLL : Free Fuzzy Logic Library) 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. Fuzzy sets for Ada Site Web : www.dmitry-kazakov.de/ada/fuzzy.htm Freshmeat : freshmeat.net/projects/fuzzy/ Les ensembles flous pour Ada (Fuzzy sets for Ada) est une librairie fournissant des impl��mentations de facteurs de confiance pour les op��rateurs NOT, AND, OR, XOR, + et *, les ensembles flous classiques avec les op��rations sur la th��orie des ensembles, les op��rations sur la th��orie des possibles, les op��rations sur les ensembles intuitifs, la logique floue bas��e sur la th��orie des possibles et les ensembles flous intuitifs ; les nombres flous, �� la fois entier et �� virgule flottante avec leurs op��rations arithm��tiques classiques, les variables linguistiques et les ensembles de variables linguistiques avec les op��rations les concernant. Les entr��es/sorties �� base de cha��nes de caract��res sont support��es. HTK Site Web : htk.eng.cam.ac.uk 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. JCK Site Web : www.pms.informatik.uni-muenchen.de/software/jack/ JCK est une nouvelle biblioth��que pour la programmation et la recherche par contraintes pour Java. JCK est constitu�� de trois composants : - 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 �� partir du lien ci-dessus. KANREN Site Web : kanren.sourceforge.net KANREN est un syst��me de programmation par logique d��clarative avec des relations de premier ordre, inclus dans un sous-ensemble fonctionnel pur de Scheme. Le syst��me est constitu�� de s��mantiques de la th��orie des ensembles, de relations vraies, de relations de premier ordre, de variables logiques �� port��e lexicale, de strat��gies en profondeur (deep-first) et it��ratif en profondeur (iterative deepening). Le syst��me atteint de hautes expressivit��s et performances sans ��limination. LK Site Web : www.cs.utoronto.ca/~neto/research/lk/ LK est une impl��mentation de l'heuristique de Lin-Kernighan pour le probl��me du commercial d��marcheur 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. maxent Version Python / C++ : homepages.inf.ed.ac.uk/s0450736/maxent_toolkit.html Version Java : maxent.sourceforge.net La bo��te �� outils entropie maximum fournit un ensemble d'outils et une librairie pour construire des mod��les d'entropie maximum (maxent) en Python ou C++. Il contient des mod��les d'entropie maximum conditionnels, une estimation des param��tres GIS et L-BFGS, un lissage Gaussien, une API C++, un module d'extension Python, un utilitaire en ligne de commande et une bonne documentation. Une version Java est ��galement disponible. Nyquist Site Web : www-2.cs.cmu.edu/~music/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. OpenCyc Site Web : www.opencyc.org Site Web alternatif : sourceforge.net/projects/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. Une ontologie bas��e sur 6000 concepts en relation avec 60000 affirmations. Module de logique floue Python Site FTP : ftp://ftp.csh.rit.edu/pub/members/retrev/ 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. Screamer Site Web : www.cis.upenn.edu/~screamer-tools/home.html La version la plus r��cente fait partie de CLOCC : clocc.sourceforge.net 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. SPASS Site Web : spass.mpi-sb.mpg.de SPASS : D��montreur de th��or��mes automatis�� pour des logiques de premier 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 les bonnes fonctionnalit��s. ThoughtTreasure Site Web : www.signiform.com/tt/htm/tt.htm 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 vos applications. Les emballeurs Python, Perl, Java et TCL sont d��j�� disponibles. Torch Site Web : www.torch.ch Torch est une biblioth��que d'apprentissage ��crit en C++. Son but est de fournir l'��tat de l'art des meilleurs algorithmes. Il est, et sera toujours en d��veloppement. 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 tels que 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 sur le site officiel.

Voici plusieurs applications, kits logiciels, etc. ayant pour but la recherche dans le domaine de l'intelligence artificielle. Leur facilit�� d'utilisation peut varier, dans la mesure o�� ils ont ��t�� con��us pour satisfaire des int��r��ts de recherche particuliers, plus que comme un logiciel commercial sorti de l'��tag��re. ASA - Adaptive Simulated Annealing Site web : www.ingber.com/#ASA-CODE Site FTP : ftp.ingber.com ASA (Adaptive Simulated Annealing : Recuit simul�� adaptatif) 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. Cet 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. Babylon Site FTP : ftp.gmd.de/gmd/ai-research/Software/Babylon/ BABYLON est un environnement modulaire, configurable et hybride pour le d��veloppement de syst��mes experts. Ses caract��ristiques comprennent les objets, les r��gles avec cha��nage avant et arri��re, la logique (Prolog) et les contraintes. BABYLON est cod�� et incorpor�� en Common Lisp. cfengine Site web : www.iu.hio.no/cfengine/ 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��seaux informatiques. Cfengine utilise l'id��e de classes et une forme primitive 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��mes immunis��s informatiques. CLEARS Site web : ????? (Quelqu'un sait-il encore o�� trouver le site ?) Le syst��me CLEARS 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. CLIPS Site web : www.ghg.net/clips/CLIPS.html 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 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 sur les r��gles permet de repr��senter les connaissances comme des heuristiques, ou r��gles empiriques, qui sp��cifient une s��rie d'actions �� entreprendre pour une situation donn��e. La programmation orient��e objet permet �� des syt��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. Eprover Site web : http://www.eprover.org/ Site web : http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html :TODO: FOOL et FOX Site web : rhaug.de/fool/ Site FTP : ftp.informatik.uni-oldenburg.de/pub/fool FOOL signifie organisateur flou Oldenburg [Fuzzy Organizer 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��es qui sp��cifie le comportement d'un contr��leur flou ou quelque chose de similaire. FOX est un petit mais puissant moteur flou qui lit la base de donn��es, lit des valeurs d'entr��e et calcule la nouvelle valeur de contr��le. FUF et SURGE Site web : www.cs.bgu.ac.il/research/projects/surge/index.htm Site FTP : ftp.cs.bgu.ac.il/pub/fuf 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 de 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��e pour servir de composant de g��n��ration syntaxique de bo��te noire dans un syst��me de g��n��ration plus grand 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. The Grammar Workbench Site web : ??? www.cs.kun.nl/agfl Semble ��tre obsol��te ??? N'est plus sur le site, bien que le projet parent se poursuive toujours. 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 de coh��rence sur la grammaire ; de calculer des propri��t��s de la grammaire ; de g��n��rer des phrases d'exemple ; d'aider �� effectuer des transformations sur la grammaire. GSM Suite Site web : www.ibiblio.org/pub/Linux/apps/graphics/draw/ The GSM Suite (la suite GSM) est une s��rie de programmes pour l'utilisation des machines �� ��tat fini en mode graphique. Cette suite consiste en des programmes qui ��ditent, compilent, et impriment des machines d'��tat. La 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 est sous licence publique GNU et est donc libre d'utilisation selon les termes de cette licence. Isabelle Site web : isabelle.in.tum.de 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 d'assez grandes applications. 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/HOLCF (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). Jess, the Java Expert System Shell Site web : herzberg.ca.sandia.gov/jess/ Jess (le shell syst��me expert Java) est un clone du populaire shell de syst��me expert CLIPS, enti��rement ��crit 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��mente les constructeurs suivants de CLIPS : defrules, deffunctions, defglobals, deffacts, et deftemplates. learn Site web : www.ibiblio.org/pub/Linux/apps/cai/ Learn (apprendre) est programme d'apprentissage vocal avec un mod��le de m��moire. LISA Site web : lisa.sourceforge.net LISA (Lisp-based Intelligent Software Agents : agents logiciels intelligents bas��s 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 d'ordinaires objets CLOS. NICOLE Site web : nicole.sourceforge.net NICOLE (Nearly Intelligent Computer Operated Language Examiner) est une th��orie ou une exp��rimentation qui, si on donne �� un ordinateur suffisamment de combinaisons sur la mani��re dont les mots, groupes de mots ou phrases sont li��s les uns aux autres, 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. NLTK Site web : nltk.sourceforge.net NLTK, la bo��te �� outils de langage naturel (the Natural Language Toolkit), est une suite de librairies et de programmes en Python pour le traitement statistique et symbolique du langage naturel. NLTK contient des d��monstrations graphiques et des ��chantillons de donn��es. Il est accompagn�� d'une documentation fournie, y compris des tutoriels explicant les concepts sous-jacents des t��ches de traitement du langage r��alis��es par l'outil. NLTK convient parfaitement aux ��tudiants qui apprennent le traitement du langage naturel, ou qui r��alisent une recherche dans le TLN ou un domaine approchant, tels que la linguistique, les sciences cognitives, l'intelligence artificielle, l'extraction de donn��es, et l'apprentissage par machines. NLTK a ��t�� utilis�� avec succ��s comme outil d'apprentissage, outil d'��tude individuel, et comme une plateforme de prototypage et de construction de syst��mes de recherche. Otter : Syst��me de d��duction automatis�� (An Automated Deduction System) Site web : www-unix.mcs.anl.gov/AR/otter/ Notre syst��me de d��duction automatis�� actuel Otter est con��u pour d��montrer les th��or��mes 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��. PVS Site web :pvs.csl.sri.com 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 au fur et �� mesure que nous d��veloppons ou appliquons de nouvelles capacit��s, et lorsque la charge en utilisation r��elle expose de nouveaux besoins. SNePS Site web : www.cse.buffalo.edu/sneps Site FTP : ftp.cse.buffalo.edu/pub/sneps 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��. Soar Site web : sitemaker.umich.edu/soar Soar a ��t�� d��velopp�� pour ��tre une architecture cognitive g��n��rale. Nous avons l'ultime intention de permettre �� l'architecture Soar de : travailler sur l'ensemble des taches attendues d'un agent intelligent, des routines jusqu'aux probl��mes extr��mement difficiles avec r��ponse ouverte ; repr��senter et utiliser les formes appropri��es du savoir, comme les formes proc��durales, d��claratives, ��pisodiques et possiblement iconiques ; se servir de tout l'��ventail des m��thodes de r��solution de probl��mes ; interagir avec le monde ext��rieur et apprendre tous les aspects des t��ches et leurs performances sur celles-ci. En d'autres termes, notre intention est de donner �� Soar toutes les comp��tences requises d'un agent globalement intelligent. TCM Site web : wwwhome.cs.utwente.nl/~tcm/ Site FTP : ftp.cs.utwente.nl/pub/tcm/ TCM (Toolkit for Conceptual Modeling : bo��te �� outil pour la mod��lisation conceptuelle) 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. Yale Site web : yale.cs.uni-dortmund.de/index.html Yale (Yet Another Learning Environment : Encore un autre environnement d'apprentissage) est un environnement pour les exp��riences d'apprentissage des machines. Les exp��riences peuvent ��tre faites d'un grand nombre d'op��rateurs embo��t��s les uns dans les autres de mani��re arbitraire et leur installation est d��crite par des fichiers XML qui peuvent ��tre ais��ment cr����s �� l'aide de l'interface graphique. Les applications de YALE couvrent �� la fois les t��ches d'apprentissage de recherche et du monde r��el. WEKA Site web : lucy.cs.waikato.ac.nz/~ml WEKA (Waikato Environnement for Knowledge Analysis : Environnement Waikato pour l'analyse de connaissance) est la pointe de la technologie de l'application des 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 selon la m��thode de "plus c'est simple, mieux c'est" 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.

Le connexionnisme est un terme technique pour un groupe de techniques li��es. Ces techniques comprennent des notions comme les R��seaux de Neurones Artificiels, des R��seaux S��mantiques et quelques autres id��es similaires. Dans cette section je me concentre essentiellement sur les r��seaux de neurones (bien que je cherche aussi des ressources sur les autres techniques). Les r��seaux neuronaux sont des programmes con��us pour simuler le fonctionnement du cerveau. Ils consistent en un r��seau de petits noeuds bas��s sur les math��matiques, qui fonctionnent ensemble afin de former des sch��mas d'information. Ils ont un potentiel ��norme et semblent actuellement rencontrer un grand succ��s dans le traitement de l'image et le contr��le de robots.

Ce sont des biblioth��ques de code ou de classes �� utiliser dans la programmation dans le domaine du connexionnisme. Elles ne sont pas destin��s �� ��tre des applications autonomes, mais plus des applications pour construire vos propres applications. Logiciel de mod��lisation Bay��sienne flexible Site web : www.cs.utoronto.ca/~radford/fbm.software.html Ce logiciel impl��mente les mod��les Bay��siens flexibles pour des applications de r��gression et de classification qui sont bas��s sur les r��seaux neuronaux �� perception multi-couche ou sur les transformations Gaussiennes. L'impl��mentation utilise les m��thodes de Monte Carlo de cha��ne de Markov. Les modules logiciels qui sont compatibles avec l'��chantillonnage des cha��nes de Markov sont incluses dans la distribution, et peuvent ��tre utiles �� d'autres applications. BELIEF Site web : www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/probabl/belief/ BELIEF (croyance) est une impl��mentation Common Lisp de la fusion et de l'algorithme de propagation de Dempster et Kong pour des Mod��les de Fonction de Croyances Graphique et l'algorithme de Lauritzen et Spiegelhalter pour des Mod��les Probabilistes Graphiques. Il comprend du code pour manipuler les mod��les de Croyance graphiques comme les r��seaux Bay��siens et les diagrammes de Relevance (un sous-ensemble des diagrammes d'Influence) en utilisant �� la fois les fonctions de croyance et les probabilit��s comme des repr��sentations basiques de l'incertitude. Il utilise la version de Shenoy et de Shafer de cet algorithme, donc l'une de ses caract��ristiques uniques est le fait qu'il supporte �� la fois les distributions de probabilit�� et les fonctions de croyance. Il poss��de aussi un support limit�� des mod��les de second ordre (distributions de probabilit�� sur les param��tres). bpnn.py Site web : arctrix.com/nas/python/bpnn.py Un simple ANN �� propagation arri��re en Python. CNNs Site web : www.isi.ee.ethz.ch/~haenggi/CNNsim.html Un site plus r��cent : www.isi.ee.ethz.ch/~haenggi/CNNsim_adv_manual.html Version Java : www.ce.unipr.it/research/pardis/CNN/cnn.html R��seaux neuronaux cellulaires (CNN : Cellular Neural Networks) est un paradigme d'informatique parall��le massive d��fini dans des espaces discrets de dimension N. CONICAL Site web : strout.net/conical/ CONICAL est une biblioth��que de class en C++ pour construire des simulations communes �� la neuroscience informatique. Actuellement, elles se concentrent sur la mod��lisation compartimentale, avec des caract��ristiques proches de GENESIS et NEURON. Un mod��le de NEURON est fait de compartiments, souvent avec une forme cylindrique. Quand ils sont assez petits, ces cylindres �� possibilit�� d'extension peuvent approximer quasiment toutes les g��om��tries. Les classes futures pourront accepter les cin��matiques de r��action-diffusion et bien plus. Une caract��ristique clef de CONICAL est sa compatibilit�� �� travers les plates-formes, il a ��t�� enti��rement cod��velopp�� et test�� sous Unix, DOS et Mac OS. L'architecture neuronale de Jet Site web : www.voltar-confed.org/jneural/ L'architecture neuronale de Jet est un ch��ssis C++ pour faire des projets de r��seau neuronaux. Le but de ce projet ��tait de faire une architecture neuronale rapide et flexible qui n'est pas limit�� �� une sorte de r��seau, et de s'assurer que l'utilisateur final pourra facilement ��crire des applications utiles. De m��me, toute la documentation est facile d'acc��s. Joone Site web : joone.sourceforge.net Joone est un ch��ssis de r��seau neuronal pour cr��er, entra��ner et tester des r��seaux neuronaux. Le but est de cr��er un environnement distribu�� pour des utilisateurs enthousiastes ou professionnels, bas�� �� la fois sur JavaSpaces et sur les derni��res technologies Java. Joone est compos�� d'un moteur central qui est le fulscrum de toute application qui existe d��j�� ou qui va ��tre d��velopp��. Le moteur neuronal est modulaire, de taille r��glable, multi-t��ches et robuste. Tout le monde peut ��crire de nouveaux modules pour impl��menter de nouveaux algorithmes ou de nouvelles architectures �� partir des simples composants distribu��s avec le moteur central. L'id��e principale est de cr��er les bases pour promouvoir un million d'applications sur l'IA qui r��solveront les probl��mes autour du coeur de la structure. Classe Matrice Site FTP : ftp.cs.ucla.edu/pub/ Une classe Matrice C++ simple, rapide et efficace con��ue pour les scientifiques et les ing��nieurs. La classe Matrice est tout �� fait adapt��e �� des applications avec des algorithmes math��matiques complexes. A titre d'exemple de l'utilit�� la classe Matrice, elle a ��t�� utilis�� pour impl��menter l'algorithme de r��tropropagation de l'erreur pour un r��seau neuronal artificiel �� r��action positive multi-couche. Neural Networks at your Fingertips (R��seaux Neuronaux sur le bout des doigts) Site web : http://www.neural-networks-at-your-fingertips.com/ :TODO: NEURObjects Site web : http://www.disi.unige.it/person/ValentiniG/NEURObjects/ :TODO: Pulcinella Site web : iridia.ulb.ac.be/pulcinella/Welcome.html Pulcinella est ��crit en Common Lisp, et semble ��tre une biblioth��que de fonctions Lisp pour la cr��er, modifier et ��valuer des syst��mes valu��s. Alternativement, l'utilisateur peut choisir d'interagir avec Pulcinella via une interface graphique (disponible uniquement dans le CL Allegro). Pulcinella fournit les primitives pour construire et ��valuer des mod��les incertains en accord avec plusieurs calculs incertains, comprenant la th��orie de la probabilit��, la th��orie de la possibilit��, et la th��orie des fonctions de croyance de Dempster-Shafer, et la th��orie de la possibilit�� par Zadeh, Dubois et Prade. Un manuel est disponible sur demande. ScnANNlib Site web : www.sentinelchicken.org/projects/scnANNlib/ SCN Artificial Neural Network Library (Biblioth��que de r��seau neuronal artificiel SCN) fournit un programmateur avec une API simple orient��e objet pour construire des ANNs. Actuellement, la biblioth��que est compatible avec les r��seaux non r��cursifs avec un nombre de couches arbitraires, chacune avec un nombre de noeuds arbitraires. Des installations existent pour s'entra��ner avidement, et il existe des plans pour ��tendre gracieusement les fonctionnalit��s de la biblioth��que dans ses versions futures. Applications du UTCS Neural Nets Research Group Site web : www.cs.utexas.edu/users/nn/pages/software/software.html Cette entr��e, un peu diff��remment des autres, est une r��f��rence �� une collection de logiciels plut��t qu'�� une seule application. Elle a ��t�� d��velopp��e par le UTCS Neural Net Research Group (Groupe de recherche sur les r��seaux neuronaux UTCS). Voici un r��sum�� des logiciels disponibles : Traitement du langage naturel MIR - Prototypage rapide bas�� sur TCL/TK pour le traitement des phrases SPEC - Analyse grammaticale des phrases complexes DISCERN - Traitement d'histoires bas��es sur les scripts, comprenant : PROC - Analyse grammaticale, g��n��ration, r��ponse �� des questions HFM - Organisation de la m��moire ��pisodique DISLEX - Traitement lexical DISCERN - Le mod��le int��gr�� complet FGREPNET - Apprentissage des repr��sentations distribu��es Auto-organisation LISSOM - Carte auto-organisante avec des connections lat��rales. FM - Cartes auto-organisantes g��n��riques Neuro��volution Sous-populations disciplin��es (ESP : Enforced Sub-Populations) pour les taches de d��cision s��quentielle. Equilibrage de p��le double non markoviens. Neuro��volution adaptive et symbiotique (SANE : Symbiotic, Adaptive NeuroEvolution, pr��d��cesseur d'ESP) JavaSANE - Application Java pour appliquer SANE �� de nouvelles t��ches. SANE-C - Version C, pr��d��cesseur de JavaSANE. Equilibrage de p��les - SANE de niveau neuronal sur la t��che d'��quilibrage de p��le. Programme de neuro��volution d'augmentation de topologies (NEAT : NeuroEvolution of Augmenting Topologies) pour l'��volution de r��seau neuronaux utilisant une structure. Divers r��seaux neuronaux (C++) Site web : www.dontveter.com/nnsoft/nnsoft.html Exemples de codes de r��seaux neuronaux tir��s du livre The Pattern Recognition Basics of AI. Ce sont des exemples simples de codes de ces divers r��seaux neuronaux. Ils fonctionnent correctement comme un bon point de d��part pour des exp��rimentations simples et pour apprendre �� quoi ressemble le code derri��re les simulateurs. Les types de r��seaux disponibles sur le site (cod��s en C++) sont : le paquetage Backprop Les algorithmes du plus proche voisin L'algorithme d'activation interactive Les algorithmes des machines de Hopfield et de Boltzman Le classificateur de sch��ma lin��aire ART I La m��moire associative bi-directionnelle Le r��seau �� r��tropropagation et �� r��action positive.

:TODO:

L'informatique ��volutive est en r��alit�� un terme g��n��ral pour un grand nombre de techniques de programmation, y compris des algorithmes g��n��tiques, syst��mes adaptatifs complexes, programmation ��volutive, etc. L'initiative principale de toutes ces techniques est l'id��e d'��volution. L'id��e qu'un programme pouvant ��voluer vers un certain objectif puisse ��tre ��crit. Cet objectif peut ��tre n'importe o�� entre la r��solution d'un probl��me scientifique et la victoire dans un jeu. :TODO:

:TODO:

Aussi connus sous le nom d'agents intelligents ou simplement agents, ce domaine de recherche en IA traite de petites applications destin��es �� aider l'utilisateur(trice) dans son travail. Ils peuvent ��tre mobiles (capables de stopper leur ex��cution sur une machine et de la relancer sur une autre) ou statiques (en demeurant dans une seule machine). Ils sont le plus souvent sp��cifiques �� une t��che (donc relativement simples) et con��us pour aider l'utilisateur �� la mani��re d'un assistant. Jusqu'�� pr��sent, l'utilisation la plus courante (c'est �� dire la plus largement r��pandue) de ce type d'application concerne les robots d'indexation, que beaucoup de moteurs de recherche utilisent (ex.: webcrawler). Agent Site FTP : www.cpan.org/modules/by-category/23_Miscellaneous_Modules/Agent/ Agent est le prototype d'un syst��me "Information Agent". Il est �� la fois multiplateforme et multilangue, car il stocke les informations r��colt��es dans de simples cha��nes de caract��res condens��es. Il peut ��tre condens�� et transport�� �� travers le r��seau dans n'importe quel format, car l'agent peut s'autobloquer dans son ��tat initial. agentTool Site Web : en.afit.af.mil/ai/agentool.htm Site de t��l��chargement : en.afit.af.mil/ai/registration.htm Autre cadre de d��veloppement d'agent con��u en Java. Il est assez unique dans le fait qu'il s'appuie sur l'utilisation d'une interface graphique pour concevoir le syst��me qui va "synth��tiser semi-automatiquement des syst��mes multiagents pour r��pondre �� ces exigences". Il vous faut un navigateur compatible java pour pouvoir t��l��charger le logiciel. :P Aglets Workbench Site Web : www.trl.ibm.com/aglets/index_e.htm Un aglet est un objet Java qui peut se d��placer d'un h��te �� un autre sur Internet. Cela veut dire qu'un aglet s'ex��cutant sur une machine peut brusquement arr��ter son ex��cution, s'exp��dier sur une machine distante, et reprendre son d��roulement sur son nouvel h��te. Quand l'aglet se d��place, il emporte aussi bien son code source que son ��tat (ses donn��es). Un m��canisme de s��curit�� int��gr�� s��curise l'accueil d'aglets d'origine incertaine pour l'h��te. L'API d'Aglet Java (J-AAPI) est un standard propos�� au public pour interfacer les aglets et leur environnement. J-AAPI contient des fonctions pour initialiser les aglets, g��rer les messages et exp��dier, retirer, activer ou d��sactiver, cloner, ou se d��barrasser de l'aglet. J-AAPI est simple, souple, et stable. Les d��veloppeurs d'applications peuvent coder des aglets multiplateformes en consid��rant qu'ils peuvent fonctionner sur n'importe quelle machine supportant J-AAPI. A.L.I.C.E. Site Web : www.alicebot.org Le logiciel ALICE impl��mente l'AIML (Artificial Intelligence Markup Language), un langage �� balise non standard en ��volution, permettant de cr��er des robots de "chat". La caract��ristique de base de sa conception est minimaliste. Compar�� �� d'autres langages de robot de "chat", l'AIML est peut-��tre le plus simple. Le langage de filtrage est tr��s simple, ne permettant par exemple qu'un seul caract��re joker ('*') de comparaison par filtre. L'AIML est un langage XML, ce qui implique qu'il ob��it �� certaines m��ta-r��gles grammaticales. Le choix d'une syntaxe XML rend possible l'int��gration avec d'autres outils tels que des ��diteurs XML. Une autre motivation du choix du XML est son apparence famili��re, particuli��rement pour les personnes exp��riment��e en HTML. Ara Site Web : wwwagss.informatik.uni-kl.de/Projekte/Ara/index_e.html Ara est une plateforme d'ex��cution s��re et portable d'agents mobiles dans les r��seaux h��t��rog��nes. Dans ce contexte, les agents mobiles sont des programmes ayant la capacit�� de changer de machine h��te pendant leur ex��cution tout en pr��servant leur ��tat interne. Cela leur permet de g��rer des op��rations localement, plut��t que de devoir les effectuer �� distance. Par rapport aux plateformes du m��me type, le but pr��cis d'Ara est de fournir des fonctionnalit��s compl��tes d'agent mobile, tout en maintenant autant que possible des mod��les et langages de programmation ��tablis. BattleBots Site Web : www.bluefire.nu/droidbattles/ Jeu de programmation d'IA o�� l'on con��oit un robot en choisissant du mat��riel et en programmant son unit�� centrale, puis en faisant des comp��titions avec d'autres robots. Les comp��titions peuvent engager des ��quipes et des r��gles sp��ciales pour un jeu. Le mat��riel disponible pour concevoir votre robot comprend des armes, un moteur, des scanners, un microprocesseur, etc. Le langage de programmation d��pend du type de votre CPU et est similaire �� un langage d'assemblage. Bee-gent Site Web : www2.toshiba.co.jp/beegent/index.htm Bee-gent est un nouveau type de cadre de d��veloppement car c'est un syst��me d'agent �� 100%. Par opposition �� d'autres syst��mes qui ne font qu'une utilisation partielle des agents, Bee-gent "agentifie" compl��tement la communication qui a lieu entre les applications logicielles. Les applications deviennent des agents, et tous les messages sont transport��s par les agents. Ainsi, Bee-gent permet aux d��veloppeurs de construire des syst��mes ouverts, distribu��s et souples, qui permettent une utilisation optimale des applications existantes. Bond Site Web : bond.cs.ucf.edu/ Encore un autre syst��me d'agent en Java... Bond est un syst��me d'objets distribu��s con��u en Java et un cadre d'agent. Il met en application un logiciel m��dian bas�� sur des messages et des services associ��s tels qu'un annuaire, la persistance, la surveillance et la s��curit��. Bond permet de construire facilement des applications r��parties multiagents. Une autre application future de Bond est le Laboratoire Virtuel supportant l'annotation d'informations et l'informatique r��partie �� grande ��chelle. Cadaver Site Web : www.erikyyy.de/cadaver/ Cadaver simule en temps r��el des cyborgs et la nature. Le champ de bataille est constitu�� de for��ts, de bl��, d'eau, d'herbe, de carcasses (bien s��r) et de plein d'autres choses. Le serveur de jeu contr��le le jeu et les r��gles. Vous d��marrez le serveur et connectez quelques clients. Les clients communiquent avec le serveur en utilisant un protocole tr��s primitif. Ils peuvent donner l'ordre aux cyborgs de moissonner le bl��, d'attaquer des ennemis ou de couper du bois. Le jeu n'est pas destin�� �� ��tre jou�� par des humains! Il y a beaucoup trop de choses �� contr��ler. R��serv�� aux experts : vous pouvez uniquement vous connecter au serveur par telnet et entrer les commandes manuellement. Mais l'id��e est plut��t que vous ��criviez des clients dot��s d'une intelligence artificielle pour battre les autres intelligences artificielles. Vous pouvez s��lectionner un langage (et un syst��me d'exploitation) de votre choix pour effectuer cette t��che. Il n'y a qu'�� ��crire un programme qui communique sur les canaux d'entr��e et de sortie standard. Puis vous pouvez employer des programmes tels que "socket" pour connecter vos clients au serveur. Il n'est PAS n��cessaire d'��crire du code TCP/IP, bien que je l'ai fait :) La bataille ne sera pas ennuyeuse, donc vous disposez du client appel�� "spyboss" qui affiche graphiquement l'action �� l'��cran. Cougaar Site Web : www.cougaar.org/ Cougaar est une architecture Java pour la construction d'applications �� base d'agents distribu��s �� grande ��chelle. C'est le produit de plusieurs ann��es de recherche dans le cadre du projet DARPA sur les syst��mes d'agents �� grande ��chelle, et il inclut non seulement l'architecture du noyau mais aussi un ensemble de composants de d��monstration, de visualisation et d'administration pour simplifier le d��veloppement d'applications complexes et distribu��es. [Encore un autre syst��me d'agents con��u en Java -- ed.] D'Agent (anciennement AGENT TCL) Site Web : agent.cs.dartmouth.edu/software/agent2.0/ Site FTP : agent.cs.dartmouth.edu/pub/agents/ Un agent transportable est un programme qui peut migrer d'une machine �� une autre dans un r��seau h��t��rog��ne. Le programme choisit o�� et quand il va migrer. Il peut suspendre son ex��cution �� un certain point, se d��placer sur une autre machine et reprendre l'ex��cution sur la nouvelle machine. Par exemple, un agent transportant un courrier ��lectronique migre d'abord vers le routeur et ensuite vers la bo��te mail du destinataire. L'agent peut effectuer arbitrairement un traitement complexe sur chaque machine afin de s'assurer que le message atteint le bon destinataire. Dunce Site Web : www.boswa.com/misc/dunce/ Dunce est un simple robot de "chat" (IA conversationnelle) et un langage pour programmer ce type de robots. Il emploie un filtrage d'expressions rationnelles de base et un m��canisme semi-neuronal de lancement de r��gles et de r��ponses (avec des cycles acc��l��ration / ralentissement d'activit��). FIPA-OS Site Web : fipa-os.sourceforge.net/ Site Web secondaire : www.nortelnetworks.com/products/announcements/fipa/ FIPA-OS est l'impl��mentation "open source" des ��l��ments obligatoires contenus dans la sp��cification FIPA n��cessaires �� l'interop��rabilit�� des agents. En plus d'��tre compatible avec le concept d'interop��rabilit�� de FIPA, FIPA-OS fournit ��galement une architecture bas��e sur des composants permettant le d��veloppement d'agents sp��cifiques �� un domaine, pouvant utiliser les services des agents de la plateforme FIPA. Il est impl��ment�� en Java. FishMarket Site Web : www.iiia.csic.es/Projects/fishmarket/newindex.html FM - Le projet FishMarket men�� par l' "Artificial Intelligence Research Institute" (IIIA-CSIC) tente d'apporter sa contribution dans cette direction en d��veloppant FM, une maison de ventes aux ench��res ��lectronique g��r��e par des agents, qui a ��t�� transform��e en banc d'essai pour les march��s d'ench��res ��lectroniques. Le cadre, con��u et mis en application comme extension de FM96.5 (une version Java de la maison de ventes de Fishmarket), permet de d��finir des sc��narii de transactions bas��s sur les ench��res �� la cri��e (ench��res hollandaises). FM fournit un cadre o�� les concepteurs d'agent peuvent r��aliser des exp��riences contr��l��es de telle mani��re qu'une multitude de sc��narii de march��s exp��rimentaux -- que nous consid��rons comme sc��narii de comp��tition du fait de la nature concurrentielle du domaine -- d'un r��alisme et d'une complexit�� plus ou moins forts peuvent ��tre ��tablis, activ��s, et enregistr��s ; et de telle mani��re que les agents h��t��rog��nes (humains et logiciels) d'��change (acheteur et vendeur) peuvent ��tre compar��s, accord��s et ��valu��s. GNU Robots Site Web : www.gnu.org/software/robots/robots.html GNU Robots est un jeu / divertissement o�� il vous faut construire un programme pour un petit robot, puis le regarder explorer un monde. Le monde en question est rempli de m��chants qui peuvent vous blesser, d'objets dans lesquels vous pouvez frapper, et de nourriture que vous pouvez manger. Le but de ce jeu est de collecter autant de prix que possible avant d'��tre tu�� par un ennemi ou d'��tre �� court d'��nergie. Les robots peuvent ��tre ��crits en script "Guile" ou en utilisant une interface graphique. Grasshopper Site Web : www.grasshopper.de/ Autre syst��me d'agent en Java. Poss��de de nombreuses fonctionnalit��s et est activement d��velopp��. Commercial mais libre. Orient�� �� l'origine vers les syst��mes embarqu��s. Hive Site Web : hive.sourceforge.net/ Hive est une plateforme logicielle en Java pour cr��er des applications r��parties. En utilisant Hive, les programmeurs peuvent facilement cr��er des syst��mes qui se connectent et utilisent des donn��es provenant d'internet. Au fond, Hive est un environnement d'��volution pour les agents distribu��s, qui communiquent et se d��placent pour accomplir des t��ches. Nous essayons de rendre Internet vivant. ICM Site Web : www.nar.fujitsulabs.com/ Site sur SourceForge : sourceforge.net/projects/networkagent/ Inter-Agent Communication Model (ICM, Mod��le de Communication Inter-agents) est un m��canisme de communication pouvant ��tre utilis�� pour envoyer des messages entre agents en mode asynchrone. Son domaine d'application pr��vu est le m��canisme de transport pour les langages de communication d'agent (ACLs), comme KQML et ACL de FIPA. Jacomma Site Web : jacomma.sourceforge.net/ Site sur SourceForge : sourceforge.net/projects/jacomma/ Jacomma est une plateforme / un cadre de d��veloppement pour d��velopper des agents d'information distribu��s, mobiles et r��actifs, avec des capacit��s de communication h��t��rog��ne, en Java et Jpython. Jacomma fournit un cadre de d��veloppement et un environnement d'ex��cution, qui repose sur l'infrastructure "Inter-Agent Communication Model". ICM d��finit un protocole de communication, une architecture de stockage et d'exp��dition de messages, et une infrastructure de communication bas niveau pour l'��change de messages. La communication est r��ellement asynchrone, bas��e sur des sockets TCP. Il y a une rubrique sur ICM dans ce guide, vous pouvez ��galement le trouver via un lien �� partir de ce site. Jade Site Web : sharon.cselt.it/projects/jade/ JADE (Java Agent DEvelopment Framework) est un cadre de d��veloppement logiciel compl��tement impl��ment�� en langage Java. Cela simplifie l'impl��mentation de syst��mes multiagents �� travers un logiciel m��dian dont on est assur�� qu'il est conforme aux sp��cifications de la FIPA, et �� travers un ensemble d'outils permettant le d��buggage et la phase de d��ploiement. La plateforme d'agents peut ��tre distribu��e entre diverses machines (qui n'ont m��me pas besoin de partager le m��me syst��me d'exploitation) et sa configuration peut ��tre r��alis��e au moyen d'une interface graphique distante. La configuration peut m��me ��tre chang��e au cours de l'ex��cution, en d��pla��ant les agents d'une machine �� une autre, au fur et �� mesure que cela est n��cessaire. JAM Agent Site Web : www.marcush.net/IRS/irs_downloads.html JAM accepte aussi bien les modes de raisonnement descendant (�� base de buts �� atteindre) que les modes de raisonnement ascendant (�� partir des donn��es). JAM choisit ses objectifs et plans selon la priorit�� maximale si le raisonnement m��taniveau n'est pas utilis��, ou sur les plans de raisonnement m��taniveau d��velopp��s par l'utilisateur si ceux-ci existent. Pour JAM, la conceptualisation des objectifs et l'accomplissement des objectifs est d��finie plus classiquement (UMPRS est plus bas�� sur les performances comportementales que v��ritablement sur les objectifs) et fait la distinction entre les plans pour atteindre un objectif et les plans qui encodent simplement les comportements. Les objectifs-type impl��ment��s incluent la r��alisation (atteindre un ��tat donn�� du syst��me), la maintenance (atteindre de nouveau cet ��tat donn�� du syst��me), et la performance. L'ex��cution simultan��e d'objectifs multiples est possible, avec une capacit�� de suspension et de reprise pour chaque processus d'objectif (c-��-d d'intention). Les plans de JAM ont des propri��t��s explicites de condition �� priori et de fonctionnement qui restreignent leur applicabilit��, une propri��t�� de condition �� posteriori et une section des propri��t��s du plan sont utilis��es pour d��finir des caract��ristiques sp��cifiques �� un plan ou un domaine. Les constructions de plan disponibles incluent : l'ordonnancement, l'it��ration, les objectifs partiels, les segments de plan atomiques (c-��-d non-interruptible), l'ex��cution conditionnelle non d��terministe et d��terministe �� n-branche, l'ex��cution parall��le de segments de plan multiples, la synchronisation bas��e sur l'��tat donn�� du syst��me ou les objectifs, une section de manipulation des d��faillances explicite, et la d��finition de primitives de fonction Java au moyen de sa construction dans JAM aussi bien que l'invocation de membres de classe pr��d��finies (c-��-d propri��taire) via les capacit��s de r��flexion de Java, sans avoir �� le construire dans JAM. JATLite Site Web : java.stanford.edu/ JATLite fournit un ensemble de paquetages Java qui facilite la conception de syst��mes multiagents en Java. JATLite fournit seulement un ensemble petit et l��ger de paquetages, de sorte que les d��veloppeurs puissent se d��brouiller avec tous les paquetages avec un minimum d'efforts. Pour plus de souplesse, JATLite fournit quatre couches diff��rentes, d'une impl��mentation abstraite �� une impl��mentation "Router". Un utilisateur peut acc��der �� n'importe quelle couche fournie. Chaque couche est bas��e sur un ensemble de postulats diff��rents. L'utilisateur peut choisir la couche appropri��e selon les postulats de la couche et de l'application de l'utilisateur. La page d'introduction pr��sente les fonctionnalit��s de JATLite et l'ensemble des postulats de chaque couche. JATLiteBeans Site Web : waitaki.otago.ac.nz/JATLiteBean/ Interface de JATLite am��lior��e et maniabilit�� accrue, comprenant l'envoi, la r��ception et l'analyse lexicale des messages KQML Architecture extensible pour la gestion des messages et l'administration "thread of control" (NdT : unit�� d'ex��cution) des agents Fonctions utiles pour l'analyse lexicale du contenu de messages KQML simples JATLiteBean permet la transmission automatique aux agents animateurs de l'information sur les capacit��s des agents Gestion automatique, facultative de la directive "forward" Analyseur lexical des fichiers g��n��riques de configuration V��rificateur syntaxique de KQML Java(tm) Agent Template Site Web : www-cdr.stanford.edu/ABE/JavaAgent.html Le JAT fournit un mod��le pleinement fonctionnel, ��crit enti��rement en langage Java, qui permet de construire des agents logiciels qui communiquent en poste-��-poste ("peer-to-peer") avec une communaut�� d'autres agents r��partis sur Internet. Bien que des portions du code utilis�� dans chaque agent soient portables, les agents JAT ne sont pas mobiles mais restent statiques sur une seule machine. Ce comportement est en opposition �� beaucoup d'autres technologies "agent". (Cependant, en utilisant le RMI Java, les agents JAT pourraient se d��placer dynamiquement sur une machine ext��rieure par l'interm��diaire d'un agent r��sidant sur cette seconde machine). Actuellement, tous les messages d'agent emploient KQML comme protocole de haut niveau ou comme emballeur de message. Le JAT poss��de une fonctionnalit�� pour ��changer dynamiquement les "Ressources", qui peuvent inclure des classes Java (ex.: nouveaux langages ou interpr��teurs, services distants, etc.), des fichiers de donn��es et des informations int��gr��s dans les messages KQML. Khepera Simulator Site Web : diwww.epfl.ch/lami/team/michel/khep-sim/index.html Khepera Simulator est un paquetage logiciel du domaine public ��crit par Olivier MICHEL pendant la pr��paration de son doctorat, au Laboratoire I3S, URA 1376 du CNRS et de l'Universit�� de Nice-Sophia Antipolis, en France. Il permet d'��crire son propre contr��leur en langage C ou C++ pour le robot mobile Khepera, de le tester dans un environnement simul��, et comporte une belle interface graphique X11 color��e. De plus, si vous poss��dez un robot Khepera, le simulateur peut commander le vrai robot en utilisant le m��me algorithme de contr��le. Il est principalement destin�� aux chercheurs ��tudiant les agents autonomes. Lyntin Site Web : lyntin.sourceforge.net/ Lyntin est un client "Mud" (Multi-User Dialog, dialogue multi-utilisateur) extensible et un cadre de d��veloppement d'agents autonomes, ou de robots, aussi bien que tout ce qui approche le "mudding" en g��n��ral. Lyntin est bas�� sur du Python, langage de programmation amusant, dynamique et orient�� objet, bas�� sur TinTin++, un beau client "mud". Mole Site Web : mole.informatik.uni-stuttgart.de/ Mole est un syst��me d'agent compatible avec les agents mobiles programm��s en Java. Les agents de Mole sont un regroupement d'objets, qui n'ont pas de r��f��rence vers l'ext��rieur, et qui dans l'ensemble travaillent sur des t��ches donn��es par l'utilisateur ou par d'autres agents. Ils ont la capacit�� d'��voluer sur un r��seau d'"emplacements" de fa��on autonome. Ces "emplacements" sont une abstraction de noeuds r��els, qui existent dans le r��seau sous-jacent. Ils peuvent acc��der �� des ressources de nature locale, en communiquant avec les agents d��di��s repr��sentant ces services. Les agents sont capables d'utiliser les services fournis par d'autres agents et de fournir ��galement des services. Narval Site Web : www.logilab.fr/narval.html et www.logilab.org/projects/narval Narval signifie Assistant R��seau pour la Visualisation de Ressources et Langage d'Agent ("Network Assistant for Ressources Visualization and Agent Language"). C'est un assistant personnel en r��seau bas�� sur l'intelligence artificielle et les technologies d'agent. Il ex��cute des recettes (s��quences d'actions) pour effectuer ses t��ches. Il est tr��s facile de d��finir une nouvelle action gr��ce �� du XML et de l'impl��menter en utilisant Python. Les recettes peuvent ��tre cod��es et d��bogu��es au moyen d'une interface graphique. NeL Site Web : www.nevrax.org/ NeL est en fait une biblioth��que de d��veloppement de jeux (pour les jeux multijoueurs massifs), mais je le signale ici car il devrait inclure une biblioth��que d'IA assez consid��rable. Voici une notice tir��e du livre blanc : Le but de cette biblioth��que d'IA est de fournir une approche pragmatique pour cr��er une plateforme d'agents distribu��s. Elle est centr��e sur les agents ; des entit��s individuelles communiquant ind��pendamment de l'endroit, en utilisant un mod��le action-r��action. OAA Site Web : www.ai.sri.com/~oaa/ "Open Agent Architecture" (Architecture Ouverte d'Agents) est un cadre dans lequel une communaut�� d'agents logiciels s'ex��cutant sur des machines distribu��es peuvent travailler ensemble sur des t��ches assign��es par des participants de la communaut��, humains ou non. La coop��ration distribu��e et la communication haut-niveau sont deux id��es centrales �� l'origine d'OAA. Il d��finit un langage de communication inter-agent et est compatible avec de multiples plateformes et langages de programmation. PAI Site Web : utenti.quipo.it/claudioscordino/pai.html PAI ("Programmable Artificial Intelligence", Intelligence Artificielle Programmable) est un programme capable de soutenir une conversation dans sa langue maternelle, l'anglais. Ecrit en C++. Penguin! Site FTP : www.cpan.org/modules/by-category/23_Miscellaneous_Modules/Penguin/FSG/ Penguin est un module Perl version 5. Il vous fournira un ensemble de fonctions qui vous permettront de : envoyer du code Perl crypt��, avec signature num��rique vers une machine distante o�� il sera ex��cut��. recevoir du code et, selon le signataire du message, l'ex��cuter dans un compartiment arbitrairement s��curis�� et limit��. La combinaison de ces fonctions permet le codage direct en Perl d'algorithmes qui permettent un commerce ��lectronique s��r, des agents mobiles de r��cup��ration d'information, des applications d'aide �� la navigation en contenu temps r��el sur Internet ("live content"), le calcul distribu�� �� r��partition de charge, la mise �� jour de logiciel �� distance, l'administration de machines distantes, la propagation d'information bas��e sur le contenu, les applications de donn��es partag��es �� travers Internet, les g��n��rateurs d'applications r��seau, et ainsi de suite. Ps-i Site Web : ps-i.sourceforge.net/ Ps-i est un environnement permettant d'effectuer des simulations bas��es sur des agents. Il est multiplateforme, et un ex��cutable est disponible pour Win32. Ses fonctionnalit��s sont : langage d��claratif pour la sp��cification des mod��les langage de script Tcl/Tk conforme aux normes industrielles avec optimisation int��gr��e des sous-programmes, ��valuation sp��culative, de plus les utilisateurs du compilateur JIT xf86 pourront cr��er des mod��les complexes sans d��gradation de performance interface conviviale sauvegarde et restauration du d��roulement du programme changement des param��tres du mod��le �� la vol��e visualisation des donn��es : affichage d'agent par champs avec de multiples formes et couleurs, fen��tre de statistiques, visionneur d'agents, explorateur de sous-programmes et outil de mise en surbrillance d'agents RealTimeBattle Site Web : www.lysator.liu.se/realtimebattle/ RealTimeBattle (Bataille Temps R��el) est un jeu de programmation dans lequel les robots, contr��l��s par des programmes, se battent les uns contre les autres. L'objectif est de d��truire ses ennemis, �� l'aide du radar pour observer les alentours et du canon pour tirer. Le jeu se d��roule en temps r��el, le programme du robot s'ex��cutant en tant que processus fils de RealTimeBattle. Les robots communiquent avec le programme principal via l'entr��e et la sortie standard. Les robots peuvent ��tre construits dans presque n'importe quel langage de programmation. Autant de robots que voulu peuvent concourir simultan��ment si le syst��me d'exploitation le permet. Un langage de transmission de messages simple est utilis�� pour communiquer, ce qui facilite le d��but de la construction de robots. Les robots se comportent comme des objets physiques r��els. Vous pouvez cr��er vos propres ar��nes. Hautement configurable. Remembrance Agents Site Web : www.remem.org/ Remembrance Agents (les Agents du Souvenir) sont un ensemble d'applications qui veillent sur l'utilisateur et sugg��rent des informations concernant la situation actuelle. Tandis que les moyens mn��moniques bas��s sur des requ��tes aident �� la rem��moration directe, les agents de souvenir sont une m��moire associative ��tendue. Par exemple, la version du traitement de texte de RA met continuellement �� jour une liste de documents en rapport avec ce qui est saisi ou lu dans un tampon d'emacs. Ces documents sugg��r��s peuvent ��tre n'importe quel fichier texte qui pourrait ��tre en rapport avec ce que vous ��tres en train d'��crire ou de lire. Ils pourraient ��tre de vieux courriers ��lectroniques li��s au courrier que vous ��tes en train de lire, ou des r��sum��s de la recherche et des articles de journaux qui traitent du m��me sujet que ce que vous ��crivez. RoboTournament Site Web : robotournament.sourceforge.net/ RoboTournament est un jeu inspir�� de RoboRally o�� les joueurs programment leurs robots pour vaincre leurs adversaires. Les fonctionnalit��s de RoboTournament sont : types de jeu multiples : match �� mort, rallye et capture de drapeau. Multijoueurs via TCP/IP, six armes y compris le BFG, un ��diteur de cartes, et une grande vari��t�� d'��l��ments de tableau de bord. SimRobot Site Web : www.informatik.uni-bremen.de/simrobot/index_e.htm Site FTP : ftp.uni-bremen.de/pub/ZKW/INFORM/simrobot/ SimRobot est un programme de simulation de robots avec capteurs dans un environnement 3D. Ecrit en C++, il fonctionne sous Unix et X11 et requiert la bo��te �� outils graphique Xview. Simulation de la cin��matique du robot D��finition de sc��ne construite hi��rarchiquement par l'interm��diaire d'une langue de d��finition simple Divers capteurs int��gr��s : appareil photo, oeil �� facettes, mesure de distances, capteur de luminosit��, etc. Les objets sont d��finis comme des poly��dres Emetteur d��fini abstraitement : peut ��tre interpr��t�� par exemple comme lumi��re ou bruit Images d'appareil-photo calcul��es selon les algorithmes de raytracing ou de Z-buffer que l'on conna��t par l'infographie Interface logicielle de capteur/moteur sp��cifique pour communiquer avec la simulation Mappage de textures sur les surfaces de l'objet : bitmaps dans divers formats Visualisation compl��te de la sc��ne : rendu en fil de fer sans lignes cach��es, ni valeurs de capteur ou d'acteur Le contr��le des agents et l'op��ration dans l'environnement sont aussi bien interactifs que trait��s par lots D��tection des collisions Capacit�� d'extension gr��ce �� des types d'objet d��finis par l'utilisateur Communication par socket possible vers, par exemple, le logiciel de traitement d'image Khoros Sulawesi Site Web : wearables.essex.ac.uk/sulawesi/ Un cadre de d��veloppement appel�� Sulawesi a ��t�� con��u et impl��ment�� pour aborder ce qui est consid��r�� comme des d��fis importants dans les interfaces utilisateur tout usage [NdT : en anglais le terme wearable est utilis��, pour exprimer la possibilit�� d'un syst��me que l'on peut emporter sur soi, int��gr�� ou non aux v��tements] : la capacit�� d'accepter une entr��e venant de n'importe quel nombre de modalit��s, et d'effectuer au besoin une traduction vers n'importe quel nombre de sorties modales. Cela est fait principalement au moyen d'un ensemble d'agents qui agissent par anticipation sur l'entr��e. TclRobots Site Web : www.nyx.net/~tpoindex/ TclRobots est un jeu de programmation, semblable �� �� Core War ��. Pour jouer �� TclRobots, vous devez ��crire un programme en Tcl qui contr��le un robot. La mission du robot est de survivre �� une bataille contre d'autres robots. Deux, trois ou quatre robots combattent pendant une bataille, chacun utilisant un programme diff��rent (ou ��ventuellement le m��me programme dans diff��rents robots). Chaque robot est ��quip�� avec un radiom��tre �� balayage, un canon, et un m��canisme de d��placement. Un duel ne s'arr��te que lorsqu'il ne reste qu'un seul robot op��rationnel. Les robots peuvent combattre individuellement, ou par ��quipe. Un tournoi peut avoir lieu avec n'importe quel nombre de programmes de robot, chaque robot jouant contre tous les autres dans une poule, en face �� face individuel. Un simulateur de bataille est disponible pour aider �� la mise au point des programmes de robot. Le programme TclRobots fournit un environnement physique, imposant certains param��tres de jeu auxquels tous les robots doivent adh��rer. TclRobots fournit ��galement une vue de la bataille, et une interface de contr��le pour l'utilisateur. Conditions pour utiliser TclRobots : un interpr��teur "wish" con��u pour Tcl 7.4 et Tk 4.0. TKQML Site Web : www.csee.umbc.edu/tkqml/ TKQML est une application / un ajout KQML �� Tcl/Tk, ce qui permet aux syst��mes bas��s sur Tcl de communiquer facilement avec un puissant langage de communication d'agent. The Tocoma Project Site Web : www.tacoma.cs.uit.no/ Un agent est un processus qui peut migrer �� travers un r��seau informatique dans le but de satisfaire des requ��tes ��mises par des clients. Les agents sont une mani��re attrayante de d��crire les calculs distribu��s sur tout le r��seau. Le projet TACOMA se concentre sur le support des syst��mes d'exploitation pour les agents et sur la mani��re dont les agents peuvent ��tre utilis��s pour r��soudre des probl��mes traditionnellement destin��s aux syst��mes d'exploitation. Nous avons impl��ment�� une s��rie de syst��mes prototypes pour accueillir des agents. TACOMA version 1.2 est bas�� sur UNIX et TCP. Le syst��me est compatible avec des agents ��crits en C, Tcl/Tk, Perl, Python, et Scheme (Elk). Il est impl��ment�� en C. Cette version de TACOMA a ��t�� rendue publique en Avril 1996. Nous nous concentrons actuellement sur les probl��mes d'h��t��rog��n��it��, de tol��rance aux anomalies, de s��curit�� et de gestion. En outre, plusieurs applications de TACOMA sont en construction. Nous avons impl��ment�� StormCast 4.0, un vaste syst��me en r��seau de surveillance m��t��orologique sur Internet, en utilisant TACOMA et Java. Nous sommes actuellement en cours d'��valuation de l'application, et nous pr��voyons de construire une nouvelle version de StormCast qui devrait ��tre achev��e en Juin 1997. Ummon Site Web : www.advogato.org/proj/Ummon/ Ummon est un robot conversationnel avanc�� et "open source". Le principe g��n��ral du robot est qu'il ne poss��de aucune connaissance initiale en vocabulaire ou grammaire ; il apprend tout �� la vol��e. De nombreuses techniques d'IA seront explor��es au cours du d��veloppement d'Ummon pour arriver �� une communication "humaine" r��aliste avec le support de diff��rentes personnalit��s param��trables. UMPRS Agent Site Web : www.marcush.net/IRS/ UMPRS supporte le mode de raisonnement descendant, avec objectifs �� atteindre et il choisit ses objectifs et plan selon la priorit�� maximale. L'ex��cution de plusieurs buts simultan��ment est possible, ainsi que la suspension et reprise pour chaque t��che de but (c-��-d d'intention). Les plans d'UMPRS ont un attribut int��gr�� de pr��condition/moteur d'ex��cution qui restreint leur applicabilit��. Les plans de construction disponibles comprennent : l'ordonnancement, l'it��ration, la d��finition de sous-objectifs, les blocs atomiques (c-��-d non-interruptible), l'ex��cution conditionnelle d��terministe �� n-branches, une section de gestion de pannes explicite, et la d��finition de fonction primitive en C++. Virtual Secretary Project (ViSe) (Tcl/Tk) Site Web : www.vise.cs.uit.no/vise/ Ce qui motive le projet Secr��taire Virtuelle est la construction d'agents logiciels intelligents bas��s sur des mod��les utilisateurs, qui pourraient dans la plupart des cas remplacer les hommes pour des t��ches de secr��tariat ; ces agents seraient bas��s sur l'informatique mobile moderne et les r��seaux informatiques. Le projet comporte 2 diff��rentes phases : la premi��re phase (ViSe1) se concentre sur le filtrage des informations et la migration de processus, son but ��tant de cr��er un environnement s��curis�� pour les agents logiciels en utilisant le concept des mod��les utilisateur ; la seconde phase (ViSe2) est ax��e sur la coop��ration efficace et intelligente des agents dans un environnement distribu��, son but ��tant de construire des agents coop��ratifs pour obtenir un niveau d'intelligence ��lev��. (cod�� en Tcl/TclX/Tix/Tk) VWORLD Site Web : zhar.net/projects/vworld/ Vworld est un environnement simul��, ��crit en prolog, pour la recherche avec des agents autonomes. Il est actuellement plus ou moins en version b��ta. Il fonctionne bien avec SWI-prolog, et devrait fonctionner avec Quitnus-prolog, avec seulement quelques modifications. Il est destin�� �� ��tre utilis�� comme outil p��dagogique pour des projets d'��l��ves traitant de prolog et des agents autonomes. Il est livr�� avec trois mondes ou environnements de d��monstration, ainsi qu'avec des exemples d'agents qui leurs sont destin��s. Il y a deux version maintenant. L'une d'elles est ��crite pour SWI-prolog et l'autre pour LPA-prolog. Globalement, la documentation est faite (dans l'optique d'un cadre ��tudiant/professeur), et une interface graphique est pr��vue. WebMate Site Web : www-2.cs.cmu.edu/~softagents/webmate/ WebMate est un agent personnel pour la recherche et la navigation sur le World-Wide Web. Il vous accompagne quand vous surfez sur Internet et vous fournit ce que vous d��sirez. Ses fonctionnalit��s comprennent : Am��lioration des recherches, dont la recherche parall��le, affinage des mots-cl��s de la recherche en utilisant notre technologie d'extraction de mots-cl��s appropri��s, retour d'information pertinente, etc. Assistant �� la navigation, comprenant l'apprentissage de votre centre d'int��r��t actuel, avec recommandation de nouveaux URLs selon votre profil et les ressources s��lectionn��es, gestion de vos signets de Netscape ou IE, envoie de la page actuellement affich��e �� vos amis, etc. Navigation hors ligne, y compris le t��l��chargement des pages suivant la page affich��e pour une navigation hors ligne. Filtrage des en-t��tes HTTP, comprenant l'enregistrement des en-t��tes HTTP et de toutes les transactions effectu��es entre le navigateur et les serveurs WWW, etc. V��rification de la page HTML et d��tection des erreurs et liens morts, etc. Programmation en Java, ind��pendant du syst��me d'exploitation, fonctionnant en multiprocessus Zeus Site Web : more.btexact.com/projects/agents/zeus/ La construction de syst��mes multiagents implique une longue p��riode de d��veloppement et exige des solutions �� quelques difficult��s techniques consid��rables. C'est ce qui a motiv�� le d��veloppement de la bo��te �� outils ZEUS, qui fournit une biblioth��que de composants logiciels et des outils qui facilitent la conception, le d��veloppement et le d��ploiement rapide de syst��mes d'agent.

Bien que n'importe quel langage de programmation puisse ��tre utilis�� pour la recherche sur la vie ou l'intelligence artificielle, les langages de programmation d��crits ci-dessous sont, si ils n'ont pas ��t�� sp��cifiquement cr����s pour cela, utilis��s intensivement pour la programmation d'intelligence artificielle. Allegro CL Site Web : www.franz.com/ Version linux gratuite de l'environnement de d��veloppement Lisp de Franz Inc. Vous pouvez la t��l��charger ou ils vous exp��dieront un CD gratuitement (vous n'avez m��me pas �� payer de frais d'exp��dition). Elle est g��n��ralement consid��r��e comme l'une des meilleures plateformes Lisp. APRIL Site Web : sourceforge.net/projects/networkagent/ et www.nar.fujitsulabs.com/april/index.html APRIL est un langage de programmation symbolique con��u pour le codage de syst��mes bas��s sur des agents, mobiles et distribu��s dans l'environnement Internet. Il a des fonctionnalit��s avanc��es telles qu'un sous-langage de macro, l'envoi et la r��ception asynchrone de messages, la mobilit�� du code, le filtrage, des fonctions d'ordre sup��rieur et la d��claration typ��e de variables. Ce langage est compil�� en pseudo-code binaire qui est ensuite interpr��t�� par le moteur d'ex��cution APRIL. APRIL a maintenant besoin qu'InterAgent Communications Model (ICM) soit install�� avant de pouvoir ��tre install�� �� son tour. [Ed. ICM est disponible sur le m��me site web] Ciao Prolog Site Web : www.clip.dia.fi.upm.es/Software/Ciao/ Ciao est un syst��me complet Prolog englobant ISO-Prolog avec une nouvelle conception modulaire qui permet �� la fois la restriction et l'extension du langage. Parmi les extensions de Ciao, on trouve actuellement les arguments nomm��s (enregistrements), les fonctions d'ordre sup��rieur, les contraintes, les objets, les pr��dicats persistants, une bonne base pour l'ex��cution distribu��e (d'agents) et la concurrence. Les biblioth��ques supportent aussi la programmation WWW, les sockets, et les interfaces externes (C, Java, Tcl/Tk, les bases de donn��es relationnelles, etc.). Un environnement pour Emacs, un compilateur autonome, et un interpr��teur de commandes haut niveau sont ��galement fournis. DHARMI Site Web : megazone.bigpanda.com/~wolf/DHARMI/ DHARMI est un langage spatial de haut niveau facile �� utiliser dont les composants sont administr��s de mani��re transparente par un processus en t��che de fond appel�� "the Habitat". Comme son nom l'indique, ce langage a ��t�� con��u pour faire des prototypes de mod��lisation et la gestion des donn��es actives. Les programmes peuvent ��tre modifi��s pendant leur ex��cution. Cela est rendu possible en estompant la distinction entre le code source, le programme et les donn��es. ECLiPSe Site Web : eclipse.crosscoreop.com/eclipse/ :TODO: ECoLisp Site Web : www.di.unipi.it/~attardi/software.html ECoLisp ("Embeddable Common Lisp", Lisp Commun Embarquable) est une impl��mentation de "Common Lisp" con��ue pour ��tre ins��rable dans des applications ��crites en C. ECL utilise des conventions d'appel C standard pour les fonctions Lisp compil��es, ce qui permet aux programmes C d'appeler facilement des fonctions Lisp et vice versa. Aucune interface de fonctions externes n'est requise : les donn��es peuvent ��tre ��chang��es entre le C et le Lisp sans besoin de conversion. ECL est bas�� sur un "Common Runtime Support (CRS)" (Appui d'Ex��cution Commun) qui fournit des fonctionnalit��s de base pour la gestion de la m��moire, le chargement et le vidage dynamique des images binaires, et le soutien de processus multiple d'ex��cution. Le CRS est int��gr�� �� une biblioth��que qui peut ��tre li��e au code de l'application. L'ECL est modulaire : les modules principaux sont les outils de d��veloppement du programme (niveau sup��rieur, d��bogueur, trace d'une ex��cution, ex��cution pas �� pas), le compilateur, et CLOS. Une version native de CLOS est disponible dans ECL : on peut de configurer ECL avec ou sans CLOS. Une version d'ex��cution d'ECL peut ��tre construite avec les modules requis par l'application seulement. Le compilateur ECL compile du Lisp vers le C, puis fait appel au compilateur GCC pour cr��er les binaires. ESTEREL Site Web : www-sop.inria.fr/esterel.org/ Esterel est �� la fois un langage de programmation, d��di�� �� la programmation de syst��mes r��actifs, et un compilateur qui traduit les programmes Esterel en machine �� ��tats finis. Il est particuli��rement bien adapt�� �� la programmation de syst��mes r��actifs, y compris les syst��mes temps-r��el et les automates de commande. Seul l'ex��cutable est disponible pour le compilateur de langage. :P G��del Site Web : www.cs.bris.ac.uk/~bowers/goedel.html G��del est un langage de programmation d��claratif �� usage global, de la famille des langages de programmation de logique. C'est un langage fortement typ��, le syst��me de typage ��tant bas�� sur de la logique multitri avec du polymorphisme param��trique. Il a un syst��me de module. G��del supporte les entiers �� pr��cision infinie, les nombres rationnels �� pr��cision infinie, et les r��els �� virgule flottante ��galement. Il peut r��soudre les contraintes sur des domaines finis d'entiers et ��galement les contraintes rationnelles lin��aires. Il supporte le traitement des ensembles finis. Il a ��galement une r��gle de calcul flexible et un op��rateur d'��lagage qui g��n��ralise la validation des langages de programmation de logique concourante. Un accent consid��rable est mis sur l'infrastructure m��ta-logique de G��del qui fournit un support significatif pour les m��ta-programmes qui font de l'analyse, de la transformation, de la compilation, de la v��rification, du d��bogage, et ainsi de suite. CLisp (Lisp) Site Web : clisp.sourceforge.net/ Site Web officiel : clisp.cons.org/ CLisp est une impl��mentation de "Common Lisp" r��alis��e par Bruno Haible et Michael Stoll. Il supporte principalement le Lisp d��crit par Common LISP: The Language (2nd edition) et le standard Common Lisp ANSI. CLisp comprend un interpr��teur, un byte-compilateur, un grand sous ensemble de CLOS ("Object-Oriented Lisp", Lisp Orient�� Objet), une interface de langage externe et, pour certaines machines, un ��diteur d'��cran. On choisit la langue d'interface utilisateur (anglais, allemand, fran��ais) au moment de l'ex��cution. Les principaux paquetages qui fonctionnent dans CLisp incluent CLX et Garnet. CLisp ne requiert que 2 Mo de m��moire seulement. CMU Common Lisp Site Web : www.cons.org/cmucl/ Site Web : ww.telent.net/lisp/howto.html CMU Common Lisp est un environnement de programmation Common Lisp de "puissance industrielle" de domaine public. Une grande partie des changements de X3j13 ont ��t�� incorpor��s dans CMU CL. Partout o�� cela ��tait possible, ceci a ��t�� fait afin de permettre de mani��re transparente l'utilisation soit du CLtL1, soit du CL ANSI propos��. Les nouvelles fonctionnalit��s les plus int��ressantes pour les utilisateurs sont probablement les fonctions SETF, LOOP et la macro WITH-COMPILATION-UNIT. GCL (Lisp) Site FTP : ftp.ma.utexas.edu/pub/gcl/ GNU Common Lisp (GCL) poss��de un compilateur et un interpr��teur pour Common Lisp. Il ��tait connu auparavant sous le nom de Kyoto Common Lisp. Il est tr��s portable et extr��mement efficace sur une large gamme d'applications. Il soutient la comparaison au niveau performance avec les Lisps commerciaux sur un grand nombre de d��montreurs de th��or��mes et de syst��mes d'alg��bre symbolique. Il supporte la sp��cification CLtL1 mais ��volue vers la d��finition propos��e de norme ANSI. GCL compile vers du C et utilise ensuite les compilateurs C d'optimisation de code natif (ex.: GCC). Une fonction comportant un nombre fixe d'arguments et une valeur se transforme en une fonction C du m��me nombre d'arguments, renvoyant une valeur, GCL a donc une efficacit�� maximale sur de tels appels. Il a un garbage collector [NdT : ramasse-miettes] classique qui offre une grande libert�� au compilateur C pour mettre les valeurs Lisp dans des registres arbitraires. Il poss��de un d��bogueur Lisp niveau source pour le code interpr��t��, avec affichage du code source dans une fen��tre Emacs. Son outil de profilage (bas�� sur les outils de profilage C) compte les appels de fonction et le temps pass�� dans chaque fonction. GNU Prolog Site Web : pauillac.inria.fr/~diaz/gnu-prolog/ Site Web : www.gnu.org/software/prolog/prolog.html GNU Prolog est un compilateur Prolog gratuit, et r��solveur de contraintes sur les domaines finis, d��velopp�� par Daniel Diaz. GNU Prolog accepte des programmes en Prolog+contraintes et produit des ex��cutables natifs (comme gcc le fait �� partir de code source C). L'ex��cutable obtenu est alors autonome. La taille de cet ex��cutable peut ��tre relativement petite puisque GNU Prolog peut ��viter de lier le code de la plupart des pr��dicats int��gr��s inutilis��s. Les performances de GNU Prolog sont tr��s encourageantes (comparables �� celles des syst��mes commerciaux). En plus de la compilation en code ex��cutable natif, GNU Prolog offre un interpr��teur interactif classique (haut niveau) avec un d��bogueur. La partie Prolog se conforme aux standards ISO pour Prolog avec beaucoup d'extensions tr��s utiles �� l'usage (variables globales, interface syst��me d'exploitation, sockets, ...). GNU Prolog comprend ��galement un efficace r��solveur de contraintes sur Domaines Finis (FD), ce qui ouvre la programmation logique par contraintes �� l'utilisateur, en combinant la puissance de la programmation par contraintes �� la d��clarativit�� de la programmation logique. IBAL Site Web : www.eecs.harvard.edu/~avi/IBAL/ :TODO: lush Site Web : lush.sourceforge.net/ :TODO: Maude Site Web : maude.cs.uiuc.edu/ :TODO: Mercury Site Web : www.cs.mu.oz.au/research/mercury/ Mercury est un nouveau langage de programmation logique, purement d��claratif. Tout comme Prolog et d'autres langages de programmation logique existants, c'est un langage tr��s haut niveau qui permet aux programmeurs de se concentrer sur le probl��me plut��t que sur les d��tails bas niveau tels que la gestion de la m��moire. Contrairement �� Prolog, qui est orient�� vers la programmation exploratoire, Mercury est con��u pour la construction de grands syst��mes logiciels fiables et efficaces par des ��quipes de programmeurs. Par cons��quent, programmer en Mercury apporte une touche diff��rente par rapport �� la programmation en Prolog. Mozart Site Web : www.mozart-oz.org/ Le syst��me Mozart fournit un support de pointe dans 2 domaines : le calcul distribu�� ouvert et l'inf��rence bas��e sur les contraintes. Mozart impl��mente Oz, un langage concourant orient�� objet avec synchronisation des flux de donn��es. Oz combine la programmation distribu��e et concourante avec l'inf��rence logique bas��e sur les contraintes, ce qui en fait un choix excellent pour le d��veloppement des syst��mes multiagents. Mozart est une plateforme id��ale aussi bien pour les applications distribu��es polyvalentes que pour les probl��mes difficiles n��cessitant une optimisation sophistiqu��e et des capacit��s d'inf��rence. Nous avons d��velopp�� des applications de planification et de gestion du temps, de placement et de configuration, de repr��sentation du langage naturel et des connaissances, de syst��mes multiagent et d'outils de collaboration sophistiqu��s. SWI Prolog Site Web : www.swi-prolog.org/ SWI est une version gratuite de Prolog dans la famille Prolog Edinburgh (la rendant de ce fait tr��s similaire �� Quintus et �� beaucoup d'autres versions), qui contient : une grande biblioth��que de pr��dicats int��gr��s, un syst��me de modules, un garbage collector, une interface bidirectionnelle avec le langage C, et beaucoup d'autres dispositifs encore. Il est cens�� ��tre un langage ��ducatif, donc son code compil�� n'est pas le plus rapide. Bien que sa similarit�� avec Quintus permette un portage facile. XPCE est librement et gratuitement disponible en ex��cutable pour la version Linux de SWI-Prolog. XPCE est un paquetage/environnement de d��veloppement d'interface graphique (GUI) X-window orient�� objet. Push Site Web : hampshire.edu/lspector/push.html :TODO: Kali Scheme Site Web : www.neci.nj.nec.com/PLS/Kali.html Kali Scheme est une impl��mentation distribu��e de Scheme qui permet une transmission efficace d'objets d'ordre sup��rieur tels que les fermetures et continuations. L'int��gration d'��quipements de communication distribu��e dans un langage de programmation ��volu�� engendre un certain nombre d'abstractions et de paradigmes nouveaux pour l'informatique distribu��e. Parmi ces derniers nous avons les politiques de migration des processus et l'��quilibrage de charge, personnalis��s par l'utilisateur, les calculs distribu��s li��s incr��mentalement, les agents, et les applications client-serveur param��tr��es. Kali Scheme supporte la simultan��it�� et la communication, gr��ce aux proc��dures et continuations de premi��re classe. Il int��gre les proc��dures et continuations dans un cadre distribu�� bas�� sur des messages qui permet �� n'importe quel objet Scheme (y compris les vecteurs de code) d'��tre envoy�� et re��u dans un message. RScheme Site Web : www.rscheme.org/ Site FTP : ftp.rscheme.org/pub/rscheme/ RScheme est une version orient��e objet ��tendue du dialecte Scheme de Lisp. RScheme est librement redistribuable, et il offre des performances raisonnables en d��pit de son extraordinaire portabilit��. RScheme peut ��tre compil�� en C, et le C peut ensuite ��tre compil�� avec un compilateur C habituel pour g��n��rer du code machine. Cependant, par d��faut, RScheme compile en code objet qui est interpr��t�� par une machine virtuelle (un moteur d'ex��cution). Cela assure une compilation rapide et permet de conserver un code de taille r��duite. En g��n��ral, nous recommandons l'utilisation du syst��me de g��n��ration de code objet (activ�� par d��faut), et de ne compiler en code machine que vos programmes dont le temps d'ex��cution est critique. Cela permet un bon compromis taille m��moire/temps d'ex��cution. (voir le site web pour plus de d��tails) Scheme 48 Site Web : s48.org Scheme 48 est une impl��mentation de Scheme bas��e sur une architecture de machine virtuelle. Scheme 48 est con��u pour ��tre simple, souple, fiable, et rapide. Il devrait ��tre facilement portable vers des machines 32 bits qui ont POSIX et le support du C ANSI. En plus de l'environnement de d��veloppement et des proc��dures usuelles int��gr��es de Scheme, les logiciels de biblioth��ques incluent le support des macros hygi��niques (comme cela est d��crit dans le rapport Scheme Revised^4), du multit��che, des enregistrements, de la gestion des exceptions, des tables de hachage, des tableaux, des pointeurs nuls, et du FORMAT. Scheme 48 impl��mente et exploite un syst��me exp��rimental de modules vaguement d��riv�� de Standard ML et de Scheme Xerox. L'environnement de d��veloppement supporte les changements interactifs de modules et d'interfaces. SCM (Scheme) Site Web : swissnet.ai.mit.edu/~jaffer/SCM.html SCM est conforme �� la r��vision 5 du rapport sur l'Algorithmic Language Scheme (le langage algorithmique Scheme) et �� la sp��cification IEEE P1178. SCM est ��crit en C. Il utilise les utilitaires suivants (tous disponibles sur le site ftp) : SLIB (Standard Scheme Library) est une biblioth��que Scheme portable qui est pr��vue pour fournir des fonctions de compatibilit�� et des utilitaires pour toutes les impl��mentations Scheme standard, y compris SCM, Chez, Elk, Gambit, MacScheme, MITScheme, scheme->C, Scheme 48, T3.1, et VSCM, et est disponible sous le nom de fichier slib2c0.tar.gz. Ecrit par Aubrey Jaffer ; JACAL est un syst��me symbolique de math��matiques ��crit en Scheme, et est disponible sous le nom de fichier jacal1a7.tar.gz ; Des interfaces vers les biblioth��ques standards comprenant un filtrage d'expressions r��guli��res de cha��nes de caract��res REGEX et le paquetage de gestion d'��cran CURSES ; Sont disponibles pour ��tre ajout��s des paquetages parmi lesquels un d��bogueur interactif, une base de donn��es, des composants X-window, des traitements graphiques BGI, Motif, et des paquetages Open-Windows ; Un compilateur (HOBBIT, disponible s��par��ment) et la liaison dynamique des modules compil��s. Shift Site Web : www.path.berkeley.edu/shift/ Shift est un langage de programmation permettant de d��crire les r��seaux dynamiques d'automates hybrides. De tels syst��mes sont constitu��s de composants qui peuvent ��tre cr����s, interconnect��s et d��truits au fur et �� mesure que le syst��me ��volue. Les composants montrent un comportement hybride, constitu�� de phases continues s��par��es par des transitions �� ��v��nements discrets. Les composants peuvent ��voluer ind��pendamment, ou ils peuvent interagir par leurs entr��es, leurs sorties et les ��v��nements export��s. Le r��seau d'interaction lui-m��me peut ��voluer. YAP Prolog Site Web : www.ncc.up.pt/~vsc/Yap/ YAP est un compilateur Prolog �� haute performance d��velopp�� par LIACC/Universidade do Porto. Son moteur Prolog est bas�� sur WAM (Warren Abstract Machine, Machine Abstraite Warren), avec plusieurs optimisations pour de meilleures performances. YAP suit la tradition d'Edinburgh, et est en grande partie compatible avec Prolog DEC-10, Quintus Prolog, et particuli��rement avec le C-Prolog. Le travail sur la version la plus r��cente de YAP tends vers plusieurs objectifs : la portabilit�� : le syst��me tout entier est maintenant ��crit en C. YAP compile sur les machines 32 bits les plus courantes, tels que les Sun et les PC sous Linux, et sur les machines 64 bits, les Alphas sur lesquelles tournent OSF Unix et Linux. la performance : nous avons optimis�� l'��mulateur pour obtenir des performances comparables voire meilleures que celles des syst��mes Prolog les plus connus. En r��alit��, la version actuelle de YAP est plus puissante que l'originale, ��crite en assembleur. la robustesse : nous avons test�� le syst��me avec un grand ��chantillonnage d'applications Prolog. l'extensibilit�� : YAP a d��s l'origine ��t�� con��u structurellement pour encapsuler la manipulation de termes. Ces principes ��taient utilis��s, par exemple, pour impl��menter une interface C simple et puissante. La nouvelle version de YAP ��tend ces principes pour adapter les extensions �� l'algorithme d'unification, qui, selon nous, sera utile pour l'impl��mentation d'extensions telles que la programmation de contraintes. la compl��tude : YAP fournit depuis longtemps la plupart des installations int��gr��es que l'on attend d'une impl��mentation Prolog Edinburgh. Celles-ci comprennent les fonctionnalit��s d'entr��es/sorties, les op��rations de bases de donn��es, et les modules. Le travail sur YAP a maintenant pour objectif d'��tre compatible avec le standard Prolog. l'ouverture : nous voudrions faire en sorte que les nouveaux d��veloppements de YAP soient ouverts �� la communaut�� des utilisateurs. la recherche : YAP est un projet moteur pour la recherche dans et en dehors de notre groupe. Actuellement la recherche continue sur le parall��lisme et la tabulation, et nous avons commenc�� �� travailler sur la prise en compte de la manipulation des contraintes.

Ceci est l'espace pour les entr��es anciennes ou erron��es. Le chapitre MIA est destin��e aux entr��es pour lesquelles je n'ai plus de page d'accueil valide. Si vous avez la moindre information sur l'emplacement actuel de ces logiciels, merci de me le faire savoir. La section Inactifs est destin��e aux projets qui ne semblent plus maintenus. Les d��placer ici me permet de conserver les chapitres principaux propres ; les parties int��ress��es peuvent malgr�� tout me corriger, auquel cas je les d��placerai �� nouveau.

:TODO: IDEAL Site web : yoda.cis.temple.edu:8080/ideal/ IDEAL est un banc d'essai pour le travail sur les diagrammes d'infuence et les r��seaux Bay��siens. Il comprend des algorithmes d'inf��rence vari��s pour les r��seaux de croyance et des algorithmes d'��valuation pour les diagrammes d'inluence. Il contient des installations pour cr��er et ��diter les diagrammes d'influence et les r��seaux de croyance. IDEAL est ��crit purement en Common Lisp et ainsi il tournera en Common Lisp sur n'importe quelle plate-forme. L'accent dans l'��criture d'IDEAL a ��t�� mis sur la clart�� du code et sur la fourniture d'abstractions de programmation de haut niveau. Il est ainsi tout �� fait adapt�� aux impl��mentations exp��rimentales qui n��cessitent ou ��tendent la technologie de r��seau de croyance. Au plus haut niveau, IDEAL peut ��tre utilis�� comme une biblioth��que de sous-routine qui fournit l'��valuation du diagramme d'inf��rence et d'influence du r��seau de croyance dans un paquetage logiciel. Le code est document�� dans un manuel d��taill�� et ainsi il est aussi possible de travailler �� un niveau inf��rieur sur les extensions des m��thodes du r��seau de croyance. IDEAL est fourni avec une interface graphique optionnelle ��crite en CLIM. Si votre Common Lisp poss��de aussi CLIM, vous pouvez lancer l'interface graphique. Symbolic Probabilistic Inference (SPI) Site FTP : ftp.engr.orst.edu/pub/dambrosi/spi/ Paper (ijar-94.ps) : ftp.engr.orst.edu/pub/dambrosi/ Contient des biblioth��ques de fonction Common Lisp pour impl��menter des r��seaux bay��siens de type SPI. La documentation est tr��s limit��e. Caract��ristiques : Probabilit��s, Utilitaires du langage d'expression locale, explications, mod��les dynamiques, et une GUI bas��e sur TCL/TK.

EMA-XPS - A Hybrid Graphic Expert System Shell Site web : www.iai.uni-wuppertal.de/EMA-XPS 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 d'IA de Babylon (repr��sentation de donn��es orient��es objet, r��gles de cha��nage avant et arri��re - regroupables en s��ries, en clauses de Horn, et en r��seaux de contraintes), une interface graphique bas��e sur le syst��me X11 Window System et la OSF/Motif Widget Library ont ��t�� fournies. PDKB Site Web : lynx.eaze.net/~pdkb/web/ Site SourceForge : sourceforge.net/projects/pdkb/ La banque de connaissances sur le domaine publique (PDKB : Public Domain Knowledge Bank) est une banque de connaissances sur l'intelligence artificielle des lois et r��gles de sens commun. Elle est bas��e sur l'ontologie de niveau sup��rieur de Cyc (CUO : Cyc Upper Ontology) et le langage MELD. QUANT1 Site Web : linux.irk.ru/projects/QUANT/ 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 d'inf��rence) 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. TresBel Site FTP : iridia.ulb.ac.be/pub/hongxu/software/ Biblioth��ques comprenant du code Common Lisp (Allegro) pour les fonctions de croyance (c-��-d le raisonnement probant de Dempster-Shafer) comme la repr��sentation de l'incertain. Documentation pauvre. Poss��de une GUI limit��e.