Source article: SingularityNET’s 2022 Progress Towards AGI | by Matt Iklé | SingularityNET
Translation by: LittleButts
Dework task link: https://app.dework.xyz/singularitynet-ambas/test-38287?taskId=b6eb4758-6185-464d-a78a-d000c9fbebca
Community review: Please leave comments below about translation quality or like this post if it is well translated
Les progrès 2022 de SingularityNET vers l’AGI
OpenCog Hyperon : avancées dans le langage MeTTa, l’espace atomique distribué et les DSL.
Salutations Singularitariens,
Aujourd’hui, nous aimerions partager une mise à jour spéciale, une plongée en profondeur dans les progrès de l’AGI réalisés par SingularityNET en 2022, et un aperçu de ce qui rend OpenCog Hyperon - l’approche de SingularityNET à un cadre AGI - différent des autres systèmes d’IA.
Comme les systèmes d’IA démontrent chaque année une plus grande fonctionnalité pratique, il devient de plus en plus évident que la percée de l’IA étroite à l’Intelligence Générale Artificielle est proche. Cependant, les chercheurs ne s’accordent toujours pas sur la manière dont cette percée se fera. Alors que les réseaux neuronaux profonds ont démontré des capacités impressionnantes pour se faire passer pour de l’intelligence et produire des artefacts d’apparence intelligente, leur manque total de compréhension du bon sens et de symboles du monde réel rend peu probable qu’ils puissent servir de composant central d’un véritable système d’intelligence artificielle générale.
Il est possible que les simulations de neurosciences computationnelles fassent d’énormes progrès, ou que l’AGI émerge spontanément de réseaux auto-organisés comme la plate-forme SingularityNET sans planification coordonnée - mais il semble plus probable qu’une nouvelle innovation dans l’architecture cognitive et/ou les algorithmes d’apprentissage et de raisonnement soit nécessaire en parallèle. OpenCog Hyperon, la dernière itération de la plateforme AGI open-source OpenCog, est un bon candidat pour cette innovation de rupture.
Les progrès d’OpenCog Hyperon en 2022
La SingularityNET Foundation, avec son spin-off incubé TrueAGI et une communauté de volontaires open-source, a - tout au long de l’année 2022 - fait passer OpenCog Hyperon du stade de théorie mathématique et conceptuelle au stade de logiciel fonctionnel ! La version alpha de deux composants clés est prévue pour début 2023 : l’interpréteur de langage AGI MeTTa (Meta Type Talk) et le magasin de connaissances Distributed Atomspace (DAS).
OpenCog Hyperon est un projet visionnaire visant à construire un système d’intelligence artificielle générale complet, évolutif et en libre accès, basé sur les principes de la synergie cognitive. Il s’agit d’une plateforme ouverte où différents modules d’IA - tels que les réseaux neuronaux (NNs/DNNs), les IA génératives, les IA probabilistes, les IA d’apprentissage de programmes, et autres - peuvent collaborer sur la base d’un méta-modèle de connaissances partagé. Cette architecture fournit un espace d’apprentissage et un magasin de connaissances hautement évolutifs aux différents types de systèmes d’IA, ainsi qu’un ensemble d’outils (tels que l’exploration de motifs et l’allocation d’attention), leur permettant de se coordonner pour apprendre et résoudre des problèmes ensemble - un peu comme les humains peuvent coordonner leur intuition, leur expérience, leur perspicacité et leur logique pour résoudre un seul problème.
L’architecture cognitive qui compose le cadre AGI Hyperon d’OpenCog
MeTTa (Meta Type Talk), le langage de programmation d’OpenCog
Les composants d’IA d’Hyperon travaillent ensemble, atteignant des résultats qu’aucun d’entre eux ne pourrait atteindre individuellement. Cette collaboration est possible grâce aux stratégies, méthodes et connaissances partagées qu’ils utilisent pour atteindre les objectifs de l’application et qui sont encodées dans MeTTa (Meta Type Talk) - un langage AGI spécialisé dans la définition des processus et l’encodage des connaissances.
L’idée centrale de MeTTa est la suivante : la programmation conventionnelle (en particulier la programmation fonctionnelle) et le raisonnement peuvent tous deux être représentés comme une chaîne de requêtes à un métagraphe. Ce méta-graphe peut stocker soit des expressions de programme, soit des connaissances ; ainsi, les connaissances et le raisonnement peuvent être naturellement combinés. Une différence essentielle entre MeTTa et de nombreux langages traditionnels est qu’un programme peut réécrire son propre code source, ce qui crée des possibilités avancées d’auto-optimisation.
Une autre différence essentielle est que les moteurs de raisonnement traditionnels supposent un raisonnement purement symbolique dans un monde fermé supposé. Par exemple, si on lui demande de compter les voitures rouges, il utilisera son concept de “voiture rouge” (issu des réseaux neuronaux profonds) et recherchera les régions d’une image qui correspondent à ce concept. En revanche, Hyperon cherchera des régions rouges et des formes ressemblant à des voitures dans l’image, de sorte que le raisonnement sur les concepts eux-mêmes fait partie de la recherche. MeTTa peut accorder une attention considérable au raisonnement fondé sur des données sub-symboliques ou brutes, et à l’intégration neuro-symbolique en particulier. OpenCog Hyperon est conçu pour combiner des concepts, tels que “rouge + voiture” ou “bleu + voiture”, au lieu de nécessiter une formation explicite sur “voiture rouge” et une formation sur “voiture bleue” - nécessitant moins de données de formation tout en augmentant simultanément la compréhension du système des concepts fondamentaux en utilisant le raisonnement de la machine.
MeTTa est conçu pour être un langage de programmation très pratique, avec la plupart des structures que l’on trouve habituellement dans d’autres langages, mais il intègre également de nombreuses méthodes avancées issues de la théorie des langages de programmation. Cela inclut des composants très techniques - typage graduel probabiliste dépendant, sémantique qui incorpore la logique paraconsistante, et théorie des ensembles non fondés. Cela permet à MeTTa d’encoder facilement la logique des composants d’IA pour accéder, manipuler et stocker les connaissances d’une manière facilement compréhensible et réutilisable par d’autres composants. Ce nouveau langage de programmation est la clé de la résolution collaborative de problèmes d’IA dans le cadre d’OpenCog Hyperon.
MeTTa a été formalisé dans un article de recherche publié par l’équipe OpenCog Hyperon en mars, “A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems”, et une version expérimentale d’Hyperon avec des exemples de scripts MeTTa peut être trouvée dans ce dépôt
Distributed Atomspace (DAS), la base de données de représentation des connaissances de l’Hyperon d’OpenCog
Si les modules d’IA sont les centres de traitement de l’Hyperon d’OpenCog, l’espace atomique distribué (DAS) est la mémoire à long terme où ils stockent leurs connaissances. Les informations spécifiques à un domaine (comme la relation entre les protéines et les gènes ou les séries chronologiques financières du marché boursier) sont stockées avec des connaissances plus basiques et de haut niveau, comme les relations sémantiques entre les mots ou les formules et concepts mathématiques.
L’espace atomique distribué stocke ces connaissances d’une manière accessible aux composants d’IA : non pas par des requêtes à une base de données SQL, mais par des connaissances encodées dans le langage MeTTa lui-même. Lorsqu’un agent crée un nouvel élément de connaissance, celui-ci est également stocké dans le DAS et devient accessible aux autres composants. Cela améliore la compréhension du concept par Hyperon, qui peut ensuite être utilisé pour dériver de nouvelles connaissances (en combinant des concepts, comme indiqué ci-dessus), permettant une synergie cognitive - la base de l’AGI dans le système OpenCog Hyperon. Pour plus de détails sur le projet, cliquez ici.
.
,Langages spécifiques au domaine pour OpenCog Hyperon
Différents domaines d’application nécessitent un codage différent des connaissances, et des primitives spécialisées pour définir les processus. C’est en construisant ces différentes applications et en les connectant entre elles que les DSL (Domain Specific Languages) sont utiles.
Dans OpenCog Hyperon, un DSL est un dialecte de MeTTa avec des primitives spécifiques au domaine conçues spécifiquement pour faciliter l’encodage des composants IA et de la base de connaissances d’une application. Par conséquent, nous avons différents DSL pour les marchés financiers, la biotechnologie, le traitement du langage naturel, etc. En ajoutant ces fonctionnalités à MeTTa, OpenCog Hyperon peut travailler avec d’autres projets d’IA dans des domaines d’application spécialisés.
La voie à suivre
Grâce aux avancées significatives que nous avons réalisées au cours de l’année dernière, nous sommes arrivés à un point critique où le développement d’OpenCog Hyperon est suffisamment mature pour produire des résultats dans le monde réel. En collaboration avec l’équipe de Rejuve Biotech, nous avons été en mesure de tirer parti de MeTTa et de DAS dans le domaine de l’analyse génomique. Maintenant, nous utilisons notre IA appliquée aux bio-ontologies pour découvrir des modèles dans les mouches des fruits à longue durée de vie de Genescient. Ce qui est encore plus excitant, c’est que nous pouvons prendre ces modèles et les utiliser pour en apprendre davantage sur la façon dont les humains vivent longtemps.
Si les récentes avancées dans le domaine des réseaux neuronaux profonds ont été impressionnantes, les limites de ces systèmes d’IA étroits sont également apparentes lorsqu’il s’agit de comprendre et de raisonner dans des systèmes du monde réel. OpenCog Hyperon peut tirer parti de ces avancées étonnantes dans les réseaux neuronaux et l’IA générative en intégrant ces types de modules dans son cadre, tout en fournissant un contexte qui permet de surmonter les limites inhérentes à l’IA étroite.
Bien que les progrès réalisés en 2022 aient été impressionnants, OpenCog Hyperon ne fait que commencer. Les initiatives soutenues par SingularityNET serviront de fer de lance technologique pour percer le territoire de l’intelligence artificielle générale (AGI) - un terrain qui ne peut être gagné qu’avec des outils permettant à tous les types d’IA, y compris ces impressionnants réseaux neuronaux, de collaborer. OpenCog Hyperon représente des décennies de recherche, de raffinement et de travail axé sur la mission de construire une AGI décentralisée. L’intelligence artificielle générale nécessite deux choses : un modèle général de pensée et un modèle général de connaissance. Le Meta Type Talk (MeTTA) et le Distributed Atomspace (DAS) sont les deux ailes, et leurs prochaines versions alpha en 2023 permettront à l’AGI de commencer à prendre son envol en 2023.
Restez à jour sur les derniers développements de l’AGI et de l’IA décentralisée avec SingularityNET, suivez-nous sur :
- Discord SingularityNET
- Canal Telegram principal de SingularityNET
- Canal d’annonce de SingularityNET
- Site web de SingularityNET
- Twitter et Facebook de SingularityNET
- Page d’emploi de SingularityNET → Nous embauchons