<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"
"http://www.oasis-open.org/docbook/xml/4.4/docbookx.dtd">
<article lang="fr">
  <articleinfo>
    <author>
      <firstname>John</firstname>

      <surname>Eikenberry</surname>

      <affiliation>
        <address>
           <email>jae@zhar.net</email>
        </address>
      </affiliation>
    </author>

    <othercredit role="traduction">
      <firstname>Pierre-Yves</firstname>

      <surname>Aimon</surname>
    </othercredit>

    <othercredit role="traduction">
      <firstname>Laurent</firstname>

      <surname>Fallet</surname>
    </othercredit>

    <othercredit role="traduction">
      <firstname>Laurent</firstname>

      <surname>Morretton</surname>
    </othercredit>

    <othercredit role="relecture">
      <firstname>Yvon</firstname>

      <surname>Benoist</surname>
    </othercredit>

    <releaseinfo>Version&nbsp;: 2.3.fr.1.0</releaseinfo>

    <date>21 Août 2006</date>

    <title>Guide pratique sur l'intelligence artificielle et la vie
    artificielle sous GNU/linux</title>

    <subtitle>Version française du <foreignphrase>GNU/Linux AI and Alife
    HOWTO</foreignphrase></subtitle>

    <revhistory>
      <revision>
        <revnumber>2.3.fr.1.0</revnumber>

        <date>2006-10-01</date>

        <authorinitials>LF</authorinitials>

        <revremark>Mise à jour de la traduction française</revremark>
      </revision>

      <revision>
        <revnumber>1.9.fr.1.0</revnumber>

        <date>2004-01-15</date>

        <authorinitials>LM, LF, PYM</authorinitials>

        <revremark>Première traduction française</revremark>
      </revision>

      <revision>
        <revnumber>originale</revnumber>

        <date>2006-08-21</date>

        <authorinitials>JE</authorinitials>

        <revremark>Version 2.3. Consulter la section "Quoi de neuf" pour les
        révisions antérieures.</revremark>
      </revision>
    </revhistory>

    <abstract>
      <para>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 <ulink
      url="http://zhar.net/gnu-linux/howto/">http://zhar.net/gnu-linux/howto/</ulink></para>
    </abstract>
  </articleinfo>

  <section>
    <title>Introduction</title>

    <section>
      <title>But</title>

      <para>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.</para>

      <para>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.</para>
    </section>

    <section>
      <title>Quoi de neuf&nbsp;?</title>

      <para><itemizedlist>
          <listitem><para>
            v2.4 (en développement) &mdash; Nouvelles entrées&nbsp;: 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.
          </para></listitem>

          <listitem><para>
            v2.3 &mdash; Nouvelles entrées&nbsp;: 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.
          </para></listitem>

          <listitem><para>
            v2.2 &mdash; 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&nbsp;: MASON, spyse, AntWars, OpenSteer, Pyro,
            Robocode, Trend and Open BEAGLE.
          </para></listitem>

          <listitem><para>
            v2.1 &mdash; Nouvelles entrées&nbsp;: NLTK, NEURObjects, KANREN, Neural
            Networks at your Fingertips, SimWorld, SimAgent, Fuzzy sets for
            Ada, maxent, Evo, breve and AJA
          </para></listitem>

          <listitem><para>
            v2.0 &mdash; 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&nbsp;: Yale, DIET Agents, JASA, Jason,
            Noble Ape, Maude, ECLiPSe, lush, and pygp
          </para></listitem>

          <listitem><para>
            v1.9 &mdash; Ajout d'une nouvelle entrée (Bond) et réparation du
            lien donné plus bas, qui pointe vers la liste dynamique.
          </para></listitem>

          <listitem><para>
            v1.8 &mdash; 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&nbsp;: Torch, Aleph, AI Kernel, OpenCyc, HTK, FFLL, JCK,
            Joone, scnANNlib, GAUL, Cougaar, and RoboTournament
          </para></listitem>

          <listitem><para>
            v1.7 &mdash; 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&nbsp;: SPASS, CNNs, JCASim, Genetic, CAGE,
            AgentFarms, MATREM, OAA, et UTCS Neural Nets Research Group
            Software
          </para></listitem>

          <listitem><para>
            v1.6 &mdash; Ajout de 9 nouvelles entrées, deux liens réparés et
            un élément redondant enlevé.
          </para></listitem>

          <listitem><para>
            v1.5 &mdash; 26 nouvelles entrées, ainsi que deux ou trois
            réparations de liens.
          </para></listitem>

          <listitem><para>
            v1.4 &mdash; 10 mises à jour effectuées et réparation de liens en
            rapport avec LISP.
          </para></listitem>

          <listitem><para>
            v1.3 &mdash; Pour rattraper le retard, j'ai ajouté plus de 30
            nouvelles entrées aujourd'hui et je l'ai soumis au LDP.
          </para></listitem>

          <listitem><para>
            Pas d'enregistrements sur les versions précédentes&nbsp;:(
          </para></listitem>
        </itemizedlist></para>
    </section>

    <section>
      <title>Où trouver les logiciels&nbsp;?</title>

      <para>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 <ulink
      url="http://zhar.net/mlp/ai/"> section lien </ulink> du site principal
      (donné plus haut).</para>
    </section>

    <section>
      <title>Mises à jour et commentaires</title>

      <para>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 à <ulink
      url="mailto:jae@NOSPAM-zhar.net"> jae@zhar.net </ulink> et je verrai ce
      que je peux faire.</para>

      <para>Si vous connaissez des applications sur l'IA/VA, des bibliothèques
      de classe, etc, envoyez-moi <ulink url="mailto:jae@NOSPAM-zhar.net">un
      email</ulink> 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&nbsp;;) ).</para>

      <para>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.</para>
    </section>

    <section>
      <title>Copyright/Licence</title>

      <para>Copyright (c) 1996-2006 John A. Eikenberry</para>

      <para>LICENCE</para>

      <para>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.</para>

      <para>A. CONDITIONS REQUISES POUR LES MODIFICATIONS</para>

      <para>Tout document modifié, y compris les traductions, anthologies, ou
      documents partiels, doit se conformer aux conditions suivantes&nbsp;:</para>

      <para><itemizedlist>
          <listitem><para>
            Ces versions doivent être identifiées comme étant des
            versions modifiées
          </para></listitem>

          <listitem><para>
            Le nom de la personne réalisant ces modifications doit être
            indiqué.
          </para></listitem>

          <listitem><para>
            Il est nécessaire de mentionner le nom de l'auteur
            original.
          </para></listitem>

          <listitem><para>
            L'emplacement du document original non modifié doit être
            indiqué.
          </para></listitem>

          <listitem><para>
            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.
          </para></listitem>
        </itemizedlist></para>

      <para>De plus, il est recommandé (mais pas obligatoire) de respecter ces
      consignes&nbsp;:</para>

      <para><itemizedlist>
          <listitem><para>
            Les modifications, y compris les suppressions, doivent êtres
            signalées.
          </para></listitem>

          <listitem><para>
            L'auteur doit être prévenu de toute modification avant la
            redistribution par courriel, si une adresse électronique est
            fournie dans le document.
          </para></listitem>
        </itemizedlist></para>

      <para>Une exception cependant&nbsp;: 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.</para>

      <para>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.</para>

      <para>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.</para>
    </section>
  </section>

  <section>
    <title>Intelligence Artificielle traditionnelle</title>

    <para>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é.</para>

    <section>
      <title>Bibliothèques de classes/code d'IA</title>

      <para>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.</para>

      <glosslist>
        <glossentry>
          <glossterm>ACL2</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink url="http://www.cliki.net/ACL2">
                  www.cliki.net/ACL2</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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).</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>AI Kernel</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://aikernel.sourceforge.net">
                  aikernel.sourceforge.net</ulink>
                </para></listitem>

                <listitem><para>
                  Site Web Sourceforge&nbsp;: <ulink
                  url="http://sourceforge.net/projects/aikernel">
                  sourceforge.net/projects/aikernel</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>AI Search II</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://www.bell-labs.com/topic/books/ooai-book/ ">
                  www.bell-labs.com/topic/books/ooai-book/</ulink>
                </para></listitem>
              </itemizedlist></para>

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

            <para><itemizedlist>
                <listitem><para>
                  Recherche en profondeur (deep-first) dans un arbre ou
                  un graphe.
                </para></listitem>

                <listitem><para>
                  Recherche horizontale (breadth-first) dans un arbre ou
                  un graphe.
                </para></listitem>

                <listitem><para>
                  Recherche par coûts uniformes dans un arbre ou un
                  graphe.
                </para></listitem>

                <listitem><para>
                  Recherche du meilleur en priorité (best-first).
                </para></listitem>

                <listitem><para>
                  Recherche bidirectionnelle en profondeur
                  (bidirectional depth-first) dans un arbre ou un
                  graphe.
                </para></listitem>

                <listitem><para>
                  Recherche bidirectionnelle horizontale (bidirectional
                  breadth-first) dans un arbre ou un graphe.
                </para></listitem>

                <listitem><para>
                  Recherche ET/OU en profondeur dans un arbre.
                </para></listitem>

                <listitem><para>
                  Recherche ET/OU horizontale dans un arbre.
                </para></listitem>
              </itemizedlist></para>

            <para>Il existe un livre qui correspond à cette bibliothèque,
            <ulink
            url="http://www.bell-labs.com/topic/books/ooai-book/">"Object-Oriented
            Artificial Instelligence, Using C++"</ulink>.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Aleph</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/">
                  web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Ce document fournit des informations de référence sur "A
            Learning Engine for Proposing Hypotheses" (Aleph&nbsp;: 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 œuvre en
            Prolog par le Dr Ashwin Srinivasav au laboratoire informatique de
            l'université d'Oxford, et a été écrit spécifiquement pour la
            compilation avec le compilateur Prolog YAP.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Chess In Lisp (CIL&nbsp;: les échecs en Lisp)</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: *fait partie de l'archive CLOCC <ulink
                  url="http://clocc.sourceforge.net">
                  clocc.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>DAI</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://starship.python.net/crew/gandalf/DNET/AI/">
                  starship.python.net/crew/gandalf/DNET/AI/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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&nbsp;: Langage orienté objet CLIPS) qui permet de
           &nbsp;:</para>

            <para><itemizedlist>
                <listitem><para>
                  Examiner, étudier les classes COOL
                </para></listitem>

                <listitem><para>
                  Créer et manipuler des instances COOL
                </para></listitem>

                <listitem><para>
                  Manipuler les gestionnaires de messages COOL
                </para></listitem>

                <listitem><para>
                  Manipuler les modules
                </para></listitem>
              </itemizedlist></para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>FFLL</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink url="http://ffll.sourceforge.net">
                  ffll.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>La bibliothèque gratuite de logique floue (FFLL&nbsp;: 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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Fuzzy sets for Ada</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                
                  Site Web&nbsp;: <ulink url="http://www.dmitry-kazakov.de/ada/fuzzy.htm"/>
                  
                  </para>

                  <para>
                  
                  Freshmeat&nbsp;: <ulink url="http://freshmeat.net/projects/fuzzy/"/>
                  
                </para></listitem>
                
              </itemizedlist></para>

            <para>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&nbsp;; 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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>HTK</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink url="http://htk.eng.cam.ac.uk">
                  htk.eng.cam.ac.uk</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>La boîte à outils du modèle de Markov masqué (HTK&nbsp;: 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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>JCK</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://www.pms.informatik.uni-muenchen.de/software/jack/">
                  www.pms.informatik.uni-muenchen.de/software/jack/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>JCK est une nouvelle bibliothèque pour la programmation et
            la recherche par contraintes pour Java.</para>

            <para><itemizedlist>
                <listitem><para>
                  JCK est constitué de trois composants&nbsp;:
                </para></listitem>

                <listitem><para>
                  - JCHR&nbsp;: Java Constraint Handling Rules (règles de
                  manipulation de contraintes Java). Langage de haut niveau
                  pour écrire des résolveurs de contraintes.
                </para></listitem>

                <listitem><para>
                  - JASE&nbsp;: 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.
                </para></listitem>

                <listitem><para>
                  - VisualCHR&nbsp;: outil interactif pour visualiser les
                  calculs JCHR.
                </para></listitem>
              </itemizedlist></para>

            <para>Les sources et la documentation sont disponibles à partir du
            lien ci-dessus.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>KANREN</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink url="http://kanren.sourceforge.net"/>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>LK</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://www.cs.utoronto.ca/~neto/research/lk/">
                  www.cs.utoronto.ca/~neto/research/lk/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>maxent</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Version Python / C++&nbsp;: <ulink
                  url="http://homepages.inf.ed.ac.uk/s0450736/maxent_toolkit.html">
                  homepages.inf.ed.ac.uk/s0450736/maxent_toolkit.html</ulink>
                </para></listitem>

                <listitem><para>
                  Version Java&nbsp;: <ulink
                  url="http://maxent.sourceforge.net">
                  maxent.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Nyquist</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://www-2.cs.cmu.edu/~music/nyquist/">
                  www-2.cs.cmu.edu/~music/nyquist/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>OpenCyc</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink url="http://www.opencyc.org">
                  www.opencyc.org </ulink>
                </para></listitem>

                <listitem><para>
                  Site Web alternatif&nbsp;: <ulink
                  url="http://sourceforge.net/projects/opencyc/">
                  sourceforge.net/projects/opencyc/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Module de logique floue Python</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site FTP&nbsp;: <ulink
                  url="ftp://ftp.csh.rit.edu/pub/members/retrev/">
                  ftp://ftp.csh.rit.edu/pub/members/retrev/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Screamer</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;:<ulink
                  url="http://www.cis.upenn.edu/~screamer-tools/home.html">
                  www.cis.upenn.edu/~screamer-tools/home.html</ulink>
                </para></listitem>

                <listitem><para>
                  La version la plus récente fait partie de CLOCC&nbsp;:
                  <ulink url="http://clocc.sourceforge.net">
                  clocc.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>SPASS</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;:<ulink url="http://spass.mpi-sb.mpg.de">
                  spass.mpi-sb.mpg.de</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>SPASS&nbsp;: Démontreur de théorèmes automatisé pour des logiques
            de premier ordre avec égalité.</para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>ThoughtTreasure</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;:<ulink
                  url="http://www.signiform.com/tt/htm/tt.htm">
                  www.signiform.com/tt/htm/tt.htm</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Torch</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;:<ulink url="http://www.torch.ch">
                  www.torch.ch</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>

            <para><itemizedlist>
                <listitem><para>
                  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.
                </para></listitem>

                <listitem><para>
                  Machine de vecteur de support, pour la classification
                  et la regression.
                </para></listitem>

                <listitem><para>
                  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é.
                </para></listitem>

                <listitem><para>
                  Modèles ensemblistes tels que Bagging et
                  Adaboost.
                </para></listitem>

                <listitem><para>
                  Modèles non paramétriques comme les k plus proches
                  voisins, la regression de Parzen et l'estimateur de densité
                  de Parzen.
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>
      </glosslist>
    </section>

    <section>
      <title>Kits logiciels d'IA, applications, etc.</title>

      <para>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.</para>

      <glosslist>
        <glossentry>
          <glossterm>ASA &mdash; Adaptive Simulated Annealing</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.ingber.com/#ASA-CODE">
                  www.ingber.com/#ASA-CODE</ulink>
                </para></listitem>

                <listitem><para>
                  Site FTP&nbsp;:<ulink url="ftp://ftp.ingber.com">
                  ftp.ingber.com</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>ASA (Adaptive Simulated Annealing&nbsp;: 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.</para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Babylon</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site FTP&nbsp;:<ulink
                  url="ftp://ftp.gmd.de/gmd/ai-research/Software/Babylon/">
                  ftp.gmd.de/gmd/ai-research/Software/Babylon/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>cfengine</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink url="http://www.iu.hio.no/cfengine/">
                  www.iu.hio.no/cfengine/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>CLEARS</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: ????? (Quelqu'un sait-il encore où trouver
                  le site&nbsp;?)
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>CLIPS</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.ghg.net/clips/CLIPS.html">
                  www.ghg.net/clips/CLIPS.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>

            <para>CLIPS fournit un outil cohésif pour la gestion d'une grande
            variété de connaissances compatible avec trois différents
            paradigmes de programmation&nbsp;: 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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Eprover</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://www.eprover.org/">http://www.eprover.org/</ulink>
                </para></listitem>

                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html">http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>:TODO:</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>FOOL et FOX</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink url="http://rhaug.de/fool/">
                  rhaug.de/fool/</ulink>
                </para></listitem>

                <listitem><para>
                  Site FTP&nbsp;:<ulink
                  url="ftp://ftp.informatik.uni-oldenburg.de/pub/fool/">
                  ftp.informatik.uni-oldenburg.de/pub/fool</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>FUF et SURGE</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.cs.bgu.ac.il/research/projects/surge/index.htm">
                  www.cs.bgu.ac.il/research/projects/surge/index.htm</ulink>
                </para></listitem>

                <listitem><para>
                  Site FTP&nbsp;:<ulink
                  url="ftp://ftp.cs.bgu.ac.il/pub/fuf/">
                  ftp.cs.bgu.ac.il/pub/fuf</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>FUF est une implémentation étendue du formalisme des
            grammaires d'unification fonctionnelles (FUGs&nbsp;: 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&nbsp;:</para>

            <para><itemizedlist>
                <listitem><para>
                  Types et héritage.
                </para></listitem>

                <listitem><para>
                  Installation de contrôle étendu (maintient de
                  l'objectif, recherche inverse intelligente).
                </para></listitem>

                <listitem><para>
                  Syntaxe modulaire.
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>The Grammar Workbench</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: ???<ulink url="http://www.cs.kun.nl/agfl/">
                  www.cs.kun.nl/agfl</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Semble être obsolète&nbsp;??? N'est plus sur le site, bien que le
            projet parent se poursuive toujours.</para>

            <para>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&nbsp;:</para>

            <para><itemizedlist>
                <listitem><para>
                  de permettre à l'utilisateur d'introduire, inspecter
                  et modifier une grammaire&nbsp;;
                </para></listitem>

                <listitem><para>
                  d'effectuer des vérifications de cohérence sur la
                  grammaire&nbsp;;
                </para></listitem>

                <listitem><para>
                  de calculer des propriétés de la grammaire&nbsp;;
                </para></listitem>

                <listitem><para>
                  de générer des phrases d'exemple&nbsp;;
                </para></listitem>

                <listitem><para>
                  d'aider à effectuer des transformations sur la
                  grammaire.
                </para></listitem>
              </itemizedlist></para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>GSM Suite</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.ibiblio.org/pub/Linux/apps/graphics/draw/">
                  www.ibiblio.org/pub/Linux/apps/graphics/draw/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Isabelle</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink url="http://isabelle.in.tum.de">
                  isabelle.in.tum.de</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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).</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Jess, the Java Expert System Shell</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://herzberg.ca.sandia.gov/jess/">
                  herzberg.ca.sandia.gov/jess/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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&nbsp;: defrules,
            deffunctions, defglobals, deffacts, et deftemplates.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>learn</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://www.ibiblio.org/pub/Linux/apps/cai/">
                  www.ibiblio.org/pub/Linux/apps/cai/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Learn (apprendre) est programme d'apprentissage vocal avec
            un modèle de mémoire.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>LISA</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink url="http://lisa.sourceforge.net">
                  lisa.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>LISA (Lisp-based Intelligent Software Agents&nbsp;: 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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>NICOLE</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink url="http://nicole.sourceforge.net">
                  nicole.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>NLTK</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://nltk.sourceforge.net">nltk.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Otter&nbsp;: Système de déduction automatisé (An Automated
          Deduction System)</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www-unix.mcs.anl.gov/AR/otter/">
                  www-unix.mcs.anl.gov/AR/otter/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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é.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>PVS</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://pvs.csl.sri.com/">pvs.csl.sri.com</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>PVS est un système de vérification&nbsp;: 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&nbsp;:
            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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>SNePS</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.cse.buffalo.edu/sneps/">
                  www.cse.buffalo.edu/sneps</ulink>
                </para></listitem>

                <listitem><para>
                  Site FTP&nbsp;:<ulink
                  url="ftp://ftp.cse.buffalo.edu/pub/sneps/">
                  ftp.cse.buffalo.edu/pub/sneps</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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é.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Soar</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://sitemaker.umich.edu/soar">
                  sitemaker.umich.edu/soar</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Soar a été développé pour être une architecture cognitive
            générale. Nous avons l'ultime intention de permettre à
            l'architecture Soar de&nbsp;:</para>

            <para><itemizedlist>
                <listitem><para>
                  travailler sur l'ensemble des taches attendues d'un
                  agent intelligent, des routines jusqu'aux problèmes
                  extrêmement difficiles avec réponse ouverte&nbsp;;
                </para></listitem>

                <listitem><para>
                  représenter et utiliser les formes appropriées du
                  savoir, comme les formes procédurales, déclaratives,
                  épisodiques et possiblement iconiques&nbsp;;
                </para></listitem>

                <listitem><para>
                  se servir de tout l'éventail des méthodes de
                  résolution de problèmes&nbsp;;
                </para></listitem>

                <listitem><para>
                  interagir avec le monde extérieur et
                </para></listitem>

                <listitem><para>
                  apprendre tous les aspects des tâches et leurs
                  performances sur celles-ci.
                </para></listitem>
              </itemizedlist></para>

            <para>En d'autres termes, notre intention est de donner à Soar
            toutes les compétences requises d'un agent globalement
            intelligent.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>TCM</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://wwwhome.cs.utwente.nl/~tcm/">
                  wwwhome.cs.utwente.nl/~tcm/</ulink>
                </para></listitem>

                <listitem><para>
                  Site FTP&nbsp;: <ulink
                  url="ftp://ftp.cs.utwente.nl/pub/tcm/">
                  ftp.cs.utwente.nl/pub/tcm/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>TCM (Toolkit for Conceptual Modeling&nbsp;: 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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Yale</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://yale.cs.uni-dortmund.de/index.html">
                  yale.cs.uni-dortmund.de/index.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Yale (Yet Another Learning Environment&nbsp;: 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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>WEKA</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://lucy.cs.waikato.ac.nz/~ml/">
                  lucy.cs.waikato.ac.nz/~ml</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>WEKA (Waikato Environnement for Knowledge Analysis&nbsp;:
            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.</para>
          </glossdef>
        </glossentry>
      </glosslist>
    </section>
  </section>

  <section>
    <title>Connexionnisme</title>

    <para>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 nœuds 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.</para>

    <section>
      <title>Bibliothèques de classe/code sur le connexionnisme</title>

      <para>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.</para>

      <glosslist>
        <glossentry>
          <glossterm>Logiciel de modélisation Bayésienne flexible</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.cs.utoronto.ca/~radford/fbm.software.html">
                  www.cs.utoronto.ca/~radford/fbm.software.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>BELIEF</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/probabl/belief/">
                  www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/probabl/belief/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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).</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>bpnn.py</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://arctrix.com/nas/python/bpnn.py">
                  arctrix.com/nas/python/bpnn.py</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Un simple ANN à propagation arrière en Python.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>CNNs</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.isi.ee.ethz.ch/~haenggi/CNNsim.html">
                  www.isi.ee.ethz.ch/~haenggi/CNNsim.html</ulink>
                </para></listitem>

                <listitem><para>
                  Un site plus récent&nbsp;: <ulink
                  url="http://www.isi.ee.ethz.ch/~haenggi/CNNsim_adv_manual.html">
                  www.isi.ee.ethz.ch/~haenggi/CNNsim_adv_manual.html</ulink>
                </para></listitem>

                <listitem><para>
                  Version Java&nbsp;:<ulink
                  url="http://www.ce.unipr.it/research/pardis/CNN/cnn.html">
                  www.ce.unipr.it/research/pardis/CNN/cnn.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Réseaux neuronaux cellulaires (CNN&nbsp;: Cellular Neural
            Networks) est un paradigme d'informatique parallèle massive défini
            dans des espaces discrets de dimension N.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>CONICAL</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink url="http://strout.net/conical/">
                  strout.net/conical/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>L'architecture neuronale de Jet</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.voltar-confed.org/jneural/">
                  www.voltar-confed.org/jneural/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Joone</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink url="http://joone.sourceforge.net">
                  joone.sourceforge.net</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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 cœur de la structure.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Classe Matrice</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site FTP&nbsp;:<ulink url="http://ftp.cs.ucla.edu/pub/">
                  ftp.cs.ucla.edu/pub/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Neural Networks at your Fingertips (Réseaux Neuronaux sur
          le bout des doigts)</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://www.neural-networks-at-your-fingertips.com/">http://www.neural-networks-at-your-fingertips.com/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>:TODO:</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>NEURObjects</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;: <ulink
                  url="http://www.disi.unige.it/person/ValentiniG/NEURObjects/">http://www.disi.unige.it/person/ValentiniG/NEURObjects/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>:TODO:</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Pulcinella</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://iridia.ulb.ac.be/pulcinella/Welcome.html">
                  iridia.ulb.ac.be/pulcinella/Welcome.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>ScnANNlib</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.sentinelchicken.org/projects/scnANNlib/">
                  www.sentinelchicken.org/projects/scnANNlib/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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 nœuds
            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.</para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Applications du UTCS Neural Nets Research
          Group</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.cs.utexas.edu/users/nn/pages/software/software.html">
                  www.cs.utexas.edu/users/nn/pages/software/software.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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 <ulink
            url="http://www.cs.utexas.edu/users/nn/pages/"> UTCS Neural Net
            Research Group</ulink> (Groupe de recherche sur les réseaux
            neuronaux UTCS). Voici un résumé des logiciels disponibles
           &nbsp;:</para>

            <para><itemizedlist>
                <listitem><para>
                  Traitement du langage naturel <itemizedlist>
                      <listitem><para>
                        MIR &mdash; Prototypage rapide basé sur TCL/TK pour le
                        traitement des phrases
                      </para></listitem>

                      <listitem><para>
                        SPEC &mdash; Analyse grammaticale des phrases
                        complexes
                      </para></listitem>

                      <listitem><para>
                        DISCERN &mdash; Traitement d'histoires basées sur les
                        scripts, comprenant&nbsp;:<itemizedlist>
                            <listitem><para>
                              PROC &mdash; Analyse grammaticale, génération,
                              réponse à des questions
                            </para></listitem>

                            <listitem><para>
                              HFM &mdash; Organisation de la mémoire
                              épisodique
                            </para></listitem>

                            <listitem><para>
                              DISLEX &mdash; Traitement lexical
                            </para></listitem>

                            <listitem><para>
                              DISCERN &mdash; Le modèle intégré complet
                            </para></listitem>
                          </itemizedlist>
                      </para></listitem>

                      <listitem><para>
                        FGREPNET &mdash; Apprentissage des représentations
                        distribuées
                      </para></listitem>
                    </itemizedlist>
                </para></listitem>

                <listitem><para>
                  Auto-organisation <itemizedlist>
                      <listitem><para>
                        LISSOM &mdash; Carte auto-organisante avec des
                        connections latérales.
                      </para></listitem>

                      <listitem><para>
                        FM &mdash; Cartes auto-organisantes génériques
                      </para></listitem>
                    </itemizedlist>
                </para></listitem>

                <listitem><para>
                  Neuroévolution <itemizedlist>
                      <listitem><para>
                        Sous-populations disciplinées (ESP&nbsp;: Enforced
                        Sub-Populations) pour les taches de décision
                        séquentielle.<itemizedlist>
                            <listitem><para>
                              Equilibrage de pôle double non
                              markoviens.
                            </para></listitem>
                          </itemizedlist>
                      </para></listitem>

                      <listitem><para>
                        Neuroévolution adaptive et symbiotique (SANE&nbsp;:
                        Symbiotic, Adaptive NeuroEvolution, prédécesseur
                        d'ESP)<itemizedlist>
                            <listitem><para>
                              JavaSANE &mdash; Application Java pour appliquer
                              SANE à de nouvelles tâches.
                            </para></listitem>

                            <listitem><para>
                              SANE-C &mdash; Version C, prédécesseur de
                              JavaSANE.
                            </para></listitem>

                            <listitem><para>
                              Equilibrage de pôles &mdash; SANE de niveau neuronal
                              sur la tâche d'équilibrage de pôle.
                            </para></listitem>
                          </itemizedlist>
                      </para></listitem>

                      <listitem><para>
                        Programme de neuroévolution d'augmentation de
                        topologies (NEAT&nbsp;: NeuroEvolution of Augmenting
                        Topologies) pour l'évolution de réseau neuronaux
                        utilisant une structure.
                      </para></listitem>
                    </itemizedlist>
                </para></listitem>
              </itemizedlist></para>
          </glossdef>
        </glossentry>

        <glossentry>
          <glossterm>Divers réseaux neuronaux (C++)</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.dontveter.com/nnsoft/nnsoft.html">
                  www.dontveter.com/nnsoft/nnsoft.html</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>Exemples de codes de réseaux neuronaux tirés du livre <ulink
            url="http://www.dontveter.com/basisofai/basisofai.html"> The
            Pattern Recognition Basics of AI</ulink>. 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&nbsp;:</para>

            <para><itemizedlist>
                <listitem><para>
                  le paquetage Backprop
                </para></listitem>

                <listitem><para>
                  Les algorithmes du plus proche voisin
                </para></listitem>

                <listitem><para>
                  L'algorithme d'activation interactive
                </para></listitem>

                <listitem><para>
                  Les algorithmes des machines de Hopfield et de
                  Boltzman
                </para></listitem>

                <listitem><para>
                  Le classificateur de schéma linéaire
                </para></listitem>

                <listitem><para>
                  ART I
                </para></listitem>

                <listitem><para>
                  La mémoire associative bi-directionnelle
                </para></listitem>

                <listitem><para>
                  Le réseau à rétropropagation et à réaction
                  positive.
                </para></listitem>
              </itemizedlist></para>
          </glossdef>
        </glossentry>
      </glosslist>
    </section>

    <section>
      <title>A venir</title>

      <para>:TODO:</para>
    </section>
  </section>

  <section>
    <title>Informatique évolutive</title>

    <para>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.</para>

    <para>:TODO:</para>
  </section>

  <section>
    <title>A venir</title>

    <para>:TODO:</para>
  </section>

  <section>
    <title>Les agents</title>

    <para>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).</para>

    <glosslist>
      <glossentry>
        <glossterm>Agent</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site FTP&nbsp;: <ulink
              url="ftp://www.cpan.org/modules/by-category/23_Miscellaneous_Modules/Agent/">
              www.cpan.org/modules/by-category/23_Miscellaneous_Modules/Agent/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>agentTool</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://en.afit.af.mil/ai/agentool.htm">en.afit.af.mil/ai/agentool.htm</ulink>
            </para></listitem>

            <listitem><para>
              Site de téléchargement&nbsp;: <ulink
              url="http://en.afit.af.mil/ai/registration.htm">en.afit.af.mil/ai/registration.htm</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.&nbsp;:P</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Aglets Workbench</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.trl.ibm.com/aglets/index_e.htm">www.trl.ibm.com/aglets/index_e.htm</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>A.L.I.C.E.</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.alicebot.org">www.alicebot.org</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Ara</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://wwwagss.informatik.uni-kl.de/Projekte/Ara/index_e.html">wwwagss.informatik.uni-kl.de/Projekte/Ara/index_e.html</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>BattleBots</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.bluefire.nu/droidbattles/">www.bluefire.nu/droidbattles/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Bee-gent</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www2.toshiba.co.jp/beegent/index.htm">www2.toshiba.co.jp/beegent/index.htm</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Bond</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://bond.cs.ucf.edu/">bond.cs.ucf.edu/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>Encore un autre système d'agent en Java...</para>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Cadaver</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.erikyyy.de/cadaver/">www.erikyyy.de/cadaver/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;: 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&nbsp;:) La bataille ne sera pas ennuyeuse,
          donc vous disposez du client appelé "spyboss" qui affiche
          graphiquement l'action à l'écran.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Cougaar</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.cougaar.org/">www.cougaar.org/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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 &mdash;
          ed.]</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>D'Agent (anciennement AGENT TCL)</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://agent.cs.dartmouth.edu/software/agent2.0/">agent.cs.dartmouth.edu/software/agent2.0/</ulink>
            </para></listitem>

            <listitem><para>
              Site FTP&nbsp;: <ulink
              url="ftp://agent.cs.dartmouth.edu/pub/agents/">agent.cs.dartmouth.edu/pub/agents/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Dunce</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.boswa.com/misc/dunce/">www.boswa.com/misc/dunce/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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é).</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>FIPA-OS</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://fipa-os.sourceforge.net/">fipa-os.sourceforge.net/</ulink>
            </para></listitem>

            <listitem><para>
              Site Web secondaire&nbsp;: <ulink
              url="http://www.nortelnetworks.com/products/announcements/fipa/">www.nortelnetworks.com/products/announcements/fipa/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>FishMarket</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.iiia.csic.es/Projects/fishmarket/newindex.html">www.iiia.csic.es/Projects/fishmarket/newindex.html</ulink>
            </para></listitem>
          </itemizedlist>

          <para>FM &mdash; 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 &mdash; que nous
          considérons comme scénarii de compétition du fait de la nature
          concurrentielle du domaine &mdash; d'un réalisme et d'une complexité plus
          ou moins forts peuvent être établis, activés, et enregistrés&nbsp;; 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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>GNU Robots</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.gnu.org/software/robots/robots.html">www.gnu.org/software/robots/robots.html</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Grasshopper</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.grasshopper.de/">www.grasshopper.de/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Hive</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://hive.sourceforge.net/">hive.sourceforge.net/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>ICM</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.nar.fujitsulabs.com/">www.nar.fujitsulabs.com/</ulink>
            </para></listitem>

            <listitem><para>
              Site sur SourceForge&nbsp;: <ulink
              url="http://sourceforge.net/projects/networkagent/">sourceforge.net/projects/networkagent/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Jacomma</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://jacomma.sourceforge.net/">jacomma.sourceforge.net/</ulink>
            </para></listitem>

            <listitem><para>
              Site sur SourceForge&nbsp;: <ulink
              url="http://sourceforge.net/projects/jacomma/">sourceforge.net/projects/jacomma/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>

          <para>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.</para>

          <para>Il y a une rubrique sur ICM dans ce guide, vous pouvez
          également le trouver via un lien à partir de ce site.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Jade</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://sharon.cselt.it/projects/jade/">sharon.cselt.it/projects/jade/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>JAM Agent</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://www.marcush.net/IRS/irs_downloads.html">www.marcush.net/IRS/irs_downloads.html</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;:
          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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>JATLite</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
              Site Web&nbsp;: <ulink
              url="http://java.stanford.edu/">java.stanford.edu/</ulink>
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>JATLiteBeans</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://waitaki.otago.ac.nz/JATLiteBean/">waitaki.otago.ac.nz/JATLiteBean/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <itemizedlist>
            <listitem>
              <para>Interface de JATLite améliorée et maniabilité accrue,
              comprenant l'envoi, la réception et l'analyse lexicale des
              messages KQML</para>
            </listitem>

            <listitem><para>
               Architecture extensible pour la gestion des messages et l'administration "thread of control" (NdT&nbsp;: unité d'exécution) des agents 
            </para></listitem>

            <listitem><para>
               Fonctions utiles pour l'analyse lexicale du contenu de messages KQML simples 
            </para></listitem>

            <listitem><para>
              JATLiteBean permet la transmission automatique aux agents
              animateurs de l'information sur les capacités des agents
            </para></listitem>

            <listitem><para>
               Gestion automatique, facultative de la directive "forward" 
            </para></listitem>

            <listitem><para>
               Analyseur lexical des fichiers génériques de configuration 
            </para></listitem>

            <listitem><para>
               Vérificateur syntaxique de KQML 
            </para></listitem>
          </itemizedlist>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Java(tm) Agent Template</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www-cdr.stanford.edu/ABE/JavaAgent.html">www-cdr.stanford.edu/ABE/JavaAgent.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Khepera Simulator</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://diwww.epfl.ch/lami/team/michel/khep-sim/index.html">diwww.epfl.ch/lami/team/michel/khep-sim/index.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>Khepera Simulator est un paquetage logiciel du domaine public
          écrit par <ulink
          url="http://diwww.epfl.ch/lami/team/michel/">Olivier MICHEL</ulink>
          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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Lyntin</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://lyntin.sourceforge.net/">lyntin.sourceforge.net/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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".</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Mole</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://mole.informatik.uni-stuttgart.de/">mole.informatik.uni-stuttgart.de/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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 nœuds 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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Narval</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.logilab.fr/narval.html">www.logilab.fr/narval.html</ulink>

               et 

              <ulink
              url="http://www.logilab.org/projects/narval">www.logilab.org/projects/narval</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>NeL</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink url="http://www.nevrax.org/">www.nevrax.org/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;:</para>

          <para>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&nbsp;; des entités individuelles communiquant
          indépendamment de l'endroit, en utilisant un modèle
          action-réaction.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>OAA</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.ai.sri.com/~oaa/">www.ai.sri.com/~oaa/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>"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.</para>

          <para>Il définit un langage de communication inter-agent et est
          compatible avec de multiples plateformes et langages de
          programmation.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>PAI</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://utenti.quipo.it/claudioscordino/pai.html">utenti.quipo.it/claudioscordino/pai.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>PAI ("Programmable Artificial Intelligence", Intelligence
          Artificielle Programmable) est un programme capable de soutenir une
          conversation dans sa langue maternelle, l'anglais. Ecrit en
          C++.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Penguin!</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site FTP&nbsp;: 

              <ulink
              url="ftp://www.cpan.org/modules/by-category/23_Miscellaneous_Modules/Penguin/FSG/">www.cpan.org/modules/by-category/23_Miscellaneous_Modules/Penguin/FSG/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>Penguin est un module Perl version 5. Il vous fournira un
          ensemble de fonctions qui vous permettront de&nbsp;: <itemizedlist>
              <listitem><para>
                 envoyer du code Perl crypté, avec signature numérique vers une machine distante où il sera exécuté. 
              </para></listitem>

              <listitem><para>
                 recevoir du code et, selon le signataire du message, l'exécuter dans un compartiment arbitrairement sécurisé et limité. 
              </para></listitem>
            </itemizedlist> 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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Ps-i</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://ps-i.sourceforge.net/">ps-i.sourceforge.net/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;:
          <itemizedlist>
              <listitem><para>
                 langage déclaratif pour la spécification des modèles 
              </para></listitem>

              <listitem><para>
                 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 
              </para></listitem>

              <listitem><para>
                 interface conviviale 
              </para></listitem>

              <listitem><para>
                 sauvegarde et restauration du déroulement du programme 
              </para></listitem>

              <listitem><para>
                 changement des paramètres du modèle à la volée 
              </para></listitem>

              <listitem><para>
                 visualisation des données&nbsp;: 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 
              </para></listitem>
            </itemizedlist></para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>RealTimeBattle</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.lysator.liu.se/realtimebattle/">www.lysator.liu.se/realtimebattle/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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. <itemizedlist>
              <listitem><para>
                 Le jeu se déroule en temps réel, le programme du robot s'exécutant en tant que processus fils de RealTimeBattle. 
              </para></listitem>

              <listitem><para>
                 Les robots communiquent avec le programme principal via l'entrée et la sortie standard. 
              </para></listitem>

              <listitem><para>
                 Les robots peuvent être construits dans presque n'importe quel langage de programmation. 
              </para></listitem>

              <listitem><para>
                 Autant de robots que voulu peuvent concourir simultanément si le système d'exploitation le permet. 
              </para></listitem>

              <listitem><para>
                 Un langage de transmission de messages simple est utilisé pour communiquer, ce qui facilite le début de la construction de robots. 
              </para></listitem>

              <listitem><para>
                 Les robots se comportent comme des objets physiques réels. 
              </para></listitem>

              <listitem><para>
                 Vous pouvez créer vos propres arènes. 
              </para></listitem>

              <listitem><para>
                 Hautement configurable. 
              </para></listitem>
            </itemizedlist></para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Remembrance Agents</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink url="http://www.remem.org/">www.remem.org/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>RoboTournament</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://robotournament.sourceforge.net/">robotournament.sourceforge.net/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>RoboTournament est un jeu inspiré de RoboRally où les joueurs
          programment leurs robots pour vaincre leurs adversaires. Les
          fonctionnalités de RoboTournament sont&nbsp;: types de jeu multiples&nbsp;:
          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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>SimRobot</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.informatik.uni-bremen.de/simrobot/index_e.htm">www.informatik.uni-bremen.de/simrobot/index_e.htm</ulink>

               
            </para></listitem>

            <listitem><para>
               Site FTP&nbsp;: 

              <ulink
              url="ftp://ftp.uni-bremen.de/pub/ZKW/INFORM/simrobot/">ftp.uni-bremen.de/pub/ZKW/INFORM/simrobot/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.
          <itemizedlist>
              <listitem><para>
                 Simulation de la cinématique du robot 
              </para></listitem>

              <listitem><para>
                 Définition de scène construite hiérarchiquement par l'intermédiaire d'une langue de définition simple 
              </para></listitem>

              <listitem><para>
                 Divers capteurs intégrés&nbsp;: appareil photo, œil à facettes, mesure de distances, capteur de luminosité, etc. 
              </para></listitem>

              <listitem><para>
                 Les objets sont définis comme des polyèdres 
              </para></listitem>

              <listitem><para>
                 Emetteur défini abstraitement&nbsp;: peut être interprété par exemple comme lumière ou bruit 
              </para></listitem>

              <listitem><para>
                 Images d'appareil-photo calculées selon les algorithmes de raytracing ou de Z-buffer que l'on connaît par l'infographie 
              </para></listitem>

              <listitem><para>
                 Interface logicielle de capteur/moteur spécifique pour communiquer avec la simulation 
              </para></listitem>

              <listitem><para>
                 Mappage de textures sur les surfaces de l'objet&nbsp;: bitmaps dans divers formats 
              </para></listitem>

              <listitem><para>
                 Visualisation complète de la scène&nbsp;: rendu en fil de fer sans lignes cachées, ni valeurs de capteur ou d'acteur 
              </para></listitem>

              <listitem><para>
                 Le contrôle des agents et l'opération dans l'environnement sont aussi bien interactifs que traités par lots 
              </para></listitem>

              <listitem><para>
                 Détection des collisions 
              </para></listitem>

              <listitem><para>
                 Capacité d'extension grâce à des types d'objet définis par l'utilisateur 
              </para></listitem>

              <listitem><para>
                 Communication par socket possible vers, par exemple, le logiciel de traitement d'image Khoros 
              </para></listitem>
            </itemizedlist></para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Sulawesi</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://wearables.essex.ac.uk/sulawesi/">wearables.essex.ac.uk/sulawesi/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;: 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]&nbsp;: 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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>TclRobots</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.nyx.net/~tpoindex/">www.nyx.net/~tpoindex/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>

          <para>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&nbsp;: un interpréteur "wish" conçu pour Tcl 7.4 et Tk
          4.0.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>TKQML</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.csee.umbc.edu/tkqml/">www.csee.umbc.edu/tkqml/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>The Tocoma Project</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.tacoma.cs.uit.no/">www.tacoma.cs.uit.no/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>

          <para>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.</para>

          <para>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.</para>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Ummon</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.advogato.org/proj/Ummon/">www.advogato.org/proj/Ummon/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;; 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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>UMPRS Agent</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.marcush.net/IRS/">www.marcush.net/IRS/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;:
          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++.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Virtual Secretary Project (ViSe)</glossterm>

        <glossdef>
          <para>(Tcl/Tk)</para>

          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.vise.cs.uit.no/vise/">www.vise.cs.uit.no/vise/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;; ces agents seraient basés
          sur l'informatique mobile moderne et les réseaux informatiques. Le
          projet comporte 2 différentes phases&nbsp;: 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&nbsp;;
          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)</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>VWORLD</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://zhar.net/projects/vworld/">zhar.net/projects/vworld/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>WebMate</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www-2.cs.cmu.edu/~softagents/webmate/">www-2.cs.cmu.edu/~softagents/webmate/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;: <itemizedlist>
              <listitem><para>
                 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. 
              </para></listitem>

              <listitem><para>
                 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. 
              </para></listitem>

              <listitem><para>
                 Navigation hors ligne, y compris le téléchargement des pages suivant la page affichée pour une navigation hors ligne. 
              </para></listitem>

              <listitem><para>
                 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. 
              </para></listitem>

              <listitem><para>
                 Vérification de la page HTML et détection des erreurs et liens morts, etc. 
              </para></listitem>

              <listitem><para>
                 Programmation en Java, indépendant du système d'exploitation, fonctionnant en multiprocessus 
              </para></listitem>
            </itemizedlist></para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Zeus</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://more.btexact.com/projects/agents/zeus/">more.btexact.com/projects/agents/zeus/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>
    </glosslist>
  </section>

  <section>
    <title>Les langages de programmation</title>

    <para>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.</para>

    <glosslist>
      <glossentry>
        <glossterm>Allegro CL</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink url="http://www.franz.com/">www.franz.com/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>APRIL</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://sourceforge.net/projects/networkagent/">sourceforge.net/projects/networkagent/</ulink>

               et 

              <ulink
              url="http://www.nar.fujitsulabs.com/april/index.html">www.nar.fujitsulabs.com/april/index.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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]</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Ciao Prolog</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.clip.dia.fi.upm.es/Software/Ciao/">www.clip.dia.fi.upm.es/Software/Ciao/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>DHARMI</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://megazone.bigpanda.com/~wolf/DHARMI/">megazone.bigpanda.com/~wolf/DHARMI/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>ECLiPSe</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://eclipse.crosscoreop.com/eclipse/">eclipse.crosscoreop.com/eclipse/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>:TODO:</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>ECoLisp</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.di.unipi.it/~attardi/software.html">www.di.unipi.it/~attardi/software.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;: 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&nbsp;: 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&nbsp;: 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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>ESTEREL</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www-sop.inria.fr/esterel.org/">www-sop.inria.fr/esterel.org/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>

          <para>Seul l'exécutable est disponible pour le compilateur de
          langage.&nbsp;:P</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Gödel</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.cs.bris.ac.uk/~bowers/goedel.html">www.cs.bris.ac.uk/~bowers/goedel.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>CLisp (Lisp)</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://clisp.sourceforge.net/">clisp.sourceforge.net/</ulink>

               
            </para></listitem>

            <listitem><para>
               Site Web officiel&nbsp;: 

              <ulink url="http://clisp.cons.org/">clisp.cons.org/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>CMU Common Lisp</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.cons.org/cmucl/">www.cons.org/cmucl/</ulink>

               
            </para></listitem>

            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://ww.telent.net/lisp/howto.html">ww.telent.net/lisp/howto.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>GCL (Lisp)</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site FTP&nbsp;: 

              <ulink
              url="ftp://ftp.ma.utexas.edu/pub/gcl/">ftp.ma.utexas.edu/pub/gcl/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;: ramasse-miettes] classique qui offre une grande
          liberté au compilateur C pour mettre les valeurs Lisp dans des
          registres arbitraires.</para>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>GNU Prolog</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://pauillac.inria.fr/~diaz/gnu-prolog/">pauillac.inria.fr/~diaz/gnu-prolog/</ulink>

               
            </para></listitem>

            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.gnu.org/software/prolog/prolog.html">www.gnu.org/software/prolog/prolog.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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).</para>

          <para>En plus de la compilation en code exécutable natif, GNU Prolog
          offre un interpréteur interactif classique (haut niveau) avec un
          débogueur.</para>

          <para>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, ...).</para>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>IBAL</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.eecs.harvard.edu/~avi/IBAL/">www.eecs.harvard.edu/~avi/IBAL/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>:TODO:</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>lush</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://lush.sourceforge.net/">lush.sourceforge.net/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>:TODO:</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Maude</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://maude.cs.uiuc.edu/">maude.cs.uiuc.edu/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>:TODO:</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Mercury</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.cs.mu.oz.au/research/mercury/">www.cs.mu.oz.au/research/mercury/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Mozart</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.mozart-oz.org/">www.mozart-oz.org/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>Le système Mozart fournit un support de pointe dans 2 domaines
         &nbsp;: 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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>SWI Prolog</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.swi-prolog.org/">www.swi-prolog.org/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;: 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.</para>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Push</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://hampshire.edu/lspector/push.html">hampshire.edu/lspector/push.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>:TODO:</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Kali Scheme</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.neci.nj.nec.com/PLS/Kali.html">www.neci.nj.nec.com/PLS/Kali.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>RScheme</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink url="http://www.rscheme.org/">www.rscheme.org/</ulink>

               
            </para></listitem>

            <listitem><para>
               Site FTP&nbsp;: 

              <ulink
              url="ftp://ftp.rscheme.org/pub/rscheme/">ftp.rscheme.org/pub/rscheme/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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)</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Scheme 48</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink url="http://s48.org/">s48.org</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>SCM (Scheme)</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://swissnet.ai.mit.edu/~jaffer/SCM.html">swissnet.ai.mit.edu/~jaffer/SCM.html</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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)&nbsp;:
          <itemizedlist>
              <listitem><para>
                 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-&gt;C, Scheme 48, T3.1, et VSCM, et est disponible sous le nom de fichier slib2c0.tar.gz. Ecrit par Aubrey Jaffer&nbsp;; 
              </para></listitem>

              <listitem><para>
                 JACAL est un système symbolique de mathématiques écrit en Scheme, et est disponible sous le nom de fichier jacal1a7.tar.gz&nbsp;; 
              </para></listitem>

              <listitem><para>
                 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&nbsp;; 
              </para></listitem>

              <listitem><para>
                 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&nbsp;; 
              </para></listitem>

              <listitem><para>
                 Un compilateur (HOBBIT, disponible séparément) et la liaison dynamique des modules compilés. 
              </para></listitem>
            </itemizedlist></para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>Shift</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.path.berkeley.edu/shift/">www.path.berkeley.edu/shift/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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.</para>
        </glossdef>
      </glossentry>

      <glossentry>
        <glossterm>YAP Prolog</glossterm>

        <glossdef>
          <itemizedlist>
            <listitem><para>
               Site Web&nbsp;: 

              <ulink
              url="http://www.ncc.up.pt/~vsc/Yap/">www.ncc.up.pt/~vsc/Yap/</ulink>

               
            </para></listitem>
          </itemizedlist>

          <para>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&nbsp;:
          <itemizedlist>
              <listitem><para>
                 la portabilité&nbsp;: 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. 
              </para></listitem>

              <listitem><para>
                 la performance&nbsp;: 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. 
              </para></listitem>

              <listitem><para>
                 la robustesse&nbsp;: nous avons testé le système avec un grand échantillonnage d'applications Prolog. 
              </para></listitem>

              <listitem><para>
                 l'extensibilité&nbsp;: 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. 
              </para></listitem>

              <listitem><para>
                 la complétude&nbsp;: 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. 
              </para></listitem>

              <listitem><para>
                 l'ouverture&nbsp;: nous voudrions faire en sorte que les nouveaux développements de YAP soient ouverts à la communauté des utilisateurs. 
              </para></listitem>

              <listitem><para>
                 la recherche&nbsp;: 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. 
              </para></listitem>
            </itemizedlist></para>
        </glossdef>
      </glossentry>
    </glosslist>
  </section>

  <section>
    <title>Manquant et Inactif</title>

    <para>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&nbsp;; les parties
    intéressées peuvent malgré tout me corriger, auquel cas je les déplacerai
    à nouveau.</para>

    <section>
      <title>MIA &mdash; Projets ne disposant pas de liens.</title>
      <para>:TODO:</para>
      
      <glosslist>
      
        <glossentry>
          <glossterm>IDEAL</glossterm>
          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://yoda.cis.temple.edu:8080/ideal/">
                  yoda.cis.temple.edu:8080/ideal/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>

            <para>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.</para>

            <para>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.</para>

            <para>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.</para>
          </glossdef>
        </glossentry>
      
        <glossentry>
          <glossterm>Symbolic Probabilistic Inference (SPI)</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site FTP&nbsp;:<ulink
                  url="http://ftp.engr.orst.edu/pub/dambrosi/spi/">
                  ftp.engr.orst.edu/pub/dambrosi/spi/</ulink>
                </para></listitem>

                <listitem><para>
                  Paper (ijar-94.ps)&nbsp;:<ulink
                  url="http://ftp.engr.orst.edu/pub/dambrosi/">
                  ftp.engr.orst.edu/pub/dambrosi/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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&nbsp;:</para>

            <itemizedlist>
              <listitem><para>
                Probabilités, Utilitaires du langage d'expression
                locale, explications, modèles dynamiques, et une GUI basée sur
                TCL/TK.
              </para></listitem>
            </itemizedlist>
          </glossdef>
        </glossentry>
        
        
      </glosslist>
      
    </section>

    <section>
      <title>Projets inactifs.</title>
      
      <glosslist>
        
        <glossentry>
          <glossterm>EMA-XPS &mdash; A Hybrid Graphic Expert System
          Shell</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site web&nbsp;:<ulink
                  url="http://www.iai.uni-wuppertal.de/EMA-XPS/">
                  www.iai.uni-wuppertal.de/EMA-XPS</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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 &mdash; 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.</para>
          </glossdef>
        </glossentry>
        
        <glossentry>
          <glossterm>PDKB</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://lynx.eaze.net/~pdkb/web/">
                  lynx.eaze.net/~pdkb/web/</ulink>
                </para></listitem>

                <listitem><para>
                  Site SourceForge&nbsp;: <ulink
                  url="http://sourceforge.net/projects/pdkb/">
                  sourceforge.net/projects/pdkb/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>La banque de connaissances sur le domaine publique (PDKB&nbsp;:
            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&nbsp;:
            Cyc Upper Ontology) et le langage MELD.</para>
          </glossdef>
        </glossentry>
        
        <glossentry>
          <glossterm>QUANT1</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site Web&nbsp;: <ulink
                  url="http://linux.irk.ru/projects/QUANT/">
                  linux.irk.ru/projects/QUANT/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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&nbsp;: preuve automatique
            du théoreme dans le calcul de formules construites
            positivement)</para>

            <para>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&nbsp;:
            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.</para>
          </glossdef>
        </glossentry>
      
        <glossentry>
          <glossterm>TresBel</glossterm>

          <glossdef>
            <para><itemizedlist>
                <listitem><para>
                  Site FTP&nbsp;:<ulink
                  url="http://iridia.ulb.ac.be/pub/hongxu/software/">
                  iridia.ulb.ac.be/pub/hongxu/software/</ulink>
                </para></listitem>
              </itemizedlist></para>

            <para>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.</para>
          </glossdef>
        </glossentry>
        
      </glosslist>
      
    </section>
  </section>
</article>

Site hébergé sur un Cloud Public IKOULA Ikoula