OpenCog - OpenCog
Autor (es) original (is) | Desenvolvedores OpenCog |
---|---|
Desenvolvedor (s) | Fundação OpenCog |
lançamento inicial | 21 de janeiro de 2008 |
Repositório | |
Escrito em | C ++ , Python , Scheme |
Plataforma | Linux |
Modelo | Inteligência Artificial Geral |
Licença | GNU Affero General Public License |
Local na rede Internet | opencog |
OpenCog é um projeto que visa construir um framework de inteligência artificial de código aberto . OpenCog Prime é uma arquitetura para robô e cognição virtual incorporada que define um conjunto de componentes de interação projetados para dar origem à inteligência artificial geral (AGI) equivalente humana como um fenômeno emergente de todo o sistema. O design do OpenCog Prime é principalmente o trabalho de Ben Goertzel, enquanto a estrutura do OpenCog se destina a ser uma estrutura genérica para pesquisas de AGI de base ampla. A pesquisa utilizando o OpenCog foi publicada em periódicos e apresentada em conferências e workshops, incluindo a Conferência anual sobre Inteligência Geral Artificial . OpenCog é lançado sob os termos da GNU Affero General Public License .
O OpenCog está sendo usado por mais de 50 empresas, incluindo Huawei e Cisco .
Origem
O OpenCog foi originalmente baseado no lançamento em 2008 do código-fonte do "Novamente Cognition Engine" (NCE) proprietário da Novamente LLC. O código NCE original é discutido no livro PLN (ref abaixo). O desenvolvimento contínuo do OpenCog é apoiado pelo Artificial General Intelligence Research Institute (AGIRI), o projeto Google Summer of Code , Hanson Robotics , SingularityNET e outros.
Componentes
OpenCog consiste em:
- Um banco de dados gráfico , denominado AtomSpace , que contém "átomos" (ou seja, termos , fórmulas atômicas , sentenças e relacionamentos ) junto com seus "valores" ( avaliações ou interpretações , que podem ser pensadas como bancos de dados de valores-chave por átomo ) Um exemplo de valor seria um valor verdadeiro . Os átomos são globalmente únicos, imutáveis e indexados (pesquisáveis); os valores são passageiros e mutáveis.
- Uma coleção de átomos predefinidos, denominados Atômicos , usados para representação de conhecimento genérico , como gráficos conceituais e redes semânticas , bem como para representar e armazenar as regras (no sentido de reescrita de termos ) necessárias para manipular tais gráficos.
- Uma coleção de átomos predefinidos que codificam um subsistema de tipo , incluindo construtores de tipo e tipos de função . Eles são usados para especificar os tipos de variáveis, termos e expressões, e são usados para especificar a estrutura de gráficos genéricos contendo variáveis.
- Uma coleção de átomos predefinidos que codificam estilos de programação funcionais e imperativos . Estes incluem a abstracção lambda para a ligação variáveis livres em variáveis ligadas , bem como para a realização de redução beta .
- Uma coleção de átomos predefinidos que codificam um solucionador de teorias de módulo de satisfatibilidade , integrado como parte de um mecanismo de consulta de gráfico genérico, para realizar correspondência de padrão de gráfico e hipergrafo ( descoberta de subgráfico isomórfico ). Isso generaliza a ideia de uma linguagem de consulta estruturada ( SQL ) para o domínio de consultas gráficas genéricas; é uma forma estendida de uma linguagem de consulta de gráfico .
- Um mecanismo de regras genérico , incluindo um encadeador direto e um encadeador retroativo , que é capaz de encadear regras. As regras são exatamente as consultas de gráfico do subsistema de consulta de gráfico e, portanto, o mecanismo de regras lembra vagamente um planejador de consulta . Ele é projetado para permitir que diferentes tipos de mecanismos de inferência e sistemas de raciocínio sejam implementados, como inferência Bayesiana ou lógica fuzzy , ou tarefas práticas, como solucionadores de restrições ou planejadores de movimento .
- Um subsistema de alocação de atenção baseado na teoria econômica, denominado ECAN. Este subsistema é usado para controlar a explosão combinatória de possibilidades de pesquisa que são encontradas durante a inferência e o encadeamento.
- Uma implementação de um mecanismo de raciocínio probabilístico baseado em redes lógicas probabilísticas (PLN). A implementação atual usa o mecanismo de regras para encadear regras específicas de inferência lógica (como modus ponens ), junto com algumas fórmulas matemáticas muito específicas atribuindo uma probabilidade e uma confiança para cada dedução. Esse subsistema pode ser pensado como um certo tipo de assistente de prova que trabalha com uma forma modificada de inferência bayesiana.
- Um programa de evolução genética probabilística denominado Meta-Optimizing Semantic Evolutionary Search, ou MOSES. Isso é usado para descobrir coleções de programas Atomese curtos que realizam tarefas; estes podem ser pensados como realizando uma espécie de aprendizagem de árvore de decisão , resultando em uma espécie de floresta de decisão , ou melhor, uma generalização dela.
- Um sistema de entrada de linguagem natural que consiste em Link Grammar e parcialmente inspirado pela Teoria do Texto de Significado e também pela Gramática de Palavras de Dick Hudson , que codifica relações semânticas e sintáticas em Atômico.
- Um sistema de geração de linguagem natural.
- Uma implementação da Psi-Theory para lidar com estados emocionais , impulsos e impulsos, apelidada de OpenPsi.
- Interfaces para robôs Hanson Robotics , incluindo modelagem de emoções via OpenPsi. Isso inclui o projeto Loving AI , usado para demonstrar técnicas de meditação.
Organização e financiamento
Em 2008, o Machine Intelligence Research Institute (MIRI), anteriormente denominado Singularity Institute for Artificial Intelligence (SIAI), patrocinou diversos pesquisadores e engenheiros. Muitas contribuições da comunidade de código aberto foram feitas desde o envolvimento da OpenCog no Google Summer of Code em 2008 e 2009. Atualmente, o MIRI não oferece mais suporte para OpenCog. A OpenCog recebeu financiamento e apoio de várias fontes, incluindo o governo de Hong Kong , a Universidade Politécnica de Hong Kong , a Fundação Jeffrey Epstein VI e a Hanson Robotics . O projeto OpenCog é atualmente afiliado à SingularityNET e Hanson Robotics.
Formulários
Semelhante a outras arquiteturas cognitivas , o objetivo principal é criar humanos virtuais, que são personagens de avatar tridimensionais . O objetivo é imitar comportamentos como emoções, gestos e aprendizado. Por exemplo, o módulo de emoção do software só foi programado, porque o ser humano tem emoções. A Inteligência Artificial Geral pode ser realizada, se simular a inteligência de humanos.
A autodescrição do projeto OpenCog fornece possíveis aplicações adicionais que vão na direção do processamento da linguagem natural e da simulação de um cão.
Veja também
Origens
- Hart, D; B Goertzel (2008). OpenCog: um framework de software para inteligência geral artificial integrativa (PDF) . Proceedings of the First AGI Conference. Gbooks
- Goertzel, B., Iklé, M., Goertzel, IF, Heljakka, A. Probabilistic Logic Networks, A Comprehensive Framework for Uncertain Inference , Springer, 2009, VIII, 336 p., Hardcover ISBN 978-0-387-76871-7
Referências
links externos
- Website oficial
- OpenCog Wiki
- AGI 2011: OpenCog - GoogleTechTalks no YouTube
- AGI 2011: Arquiteturas - Parte I - GoogleTechTalks no YouTube
- Artificial General Intelligence: Now is the Time - 2007 GoogleTechTalks no YouTube
- CogPrime: uma arquitetura integrativa para inteligência artificial geral incorporada
- OpenCog: uma estrutura de software de código aberto e um design e visão para AGI avançada. Vídeo no YouTube apresentado na Monash University Australia, setembro de 2011. Adam Ford
- Vídeo de introdução ao OpenCog por Ben Goertzel Vídeo no YouTube . Ben fala no OpenCog em Tai Po, Hong Kong, dezembro de 2011. Adam Ford
- Ben Goertzel - o futuro da AGI - Open Cog development in Asia Video on YouTube Adam Ford