Por que gastar tanto tempo e dinheiro para criar IAs para jogar jogos?

10

Eu estava lendo sobre John McCarthy e sua visão ortodoxa da Inteligência Artificial. Para mim, parece que ele não era muito a favor de recursos (como tempo e dinheiro) serem usados ​​para fazer as IAs jogarem jogos como o xadrez. Em vez disso, ele queria mais se concentrar em passar no Teste de Turing e nas IAs imitando o comportamento humano.

Também li muitos artigos sobre grandes empresas como IBM, Google, etc. gastando milhões de dólares em criar IAs para jogar jogos como Chess, Go, etc.

Até que ponto isso é justificado?

Suraj Shah
fonte
2
Minha resposta curta é que jogos como Chess e Go têm complexidade semelhante à natureza (com o que quero dizer o universo) e são úteis para estudar, particularmente em seus estados não resolvidos, b / c, como olhar para o universo, você nunca sabe o que você vai encontrar. Modelos combinatórios simples, dos quais os jogos são mais úteis para IA, podem ser infinitamente expansivos. A matemática pura geralmente leva um tempo para encontrar aplicativos, mas tem um histórico muito bom nesse sentido. Mesmo onde esses jogos são resolvidos, as soluções ainda podem ser refinadas.
DukeZhou
2
Para ilustrar meu argumento, consulte Uma abordagem topológica para resolver o jogo da velha . Isso também pode ser interessante: Resolvendo o jogo da velha, parte II: uma maneira melhor . Estes são apenas alguns exemplos básicos do que as pessoas estão fazendo e pensando e como os jogos, neste caso os jogos combinatórios, se relacionam com a IA e a solução de problemas.
DukeZhou

Respostas:

9

Alexander Kronrod disse uma vez: "O xadrez é a drosófila da inteligência artificial". John McCarthy discorda desta afirmação. Eu acho que é principalmente porque ele tem uma visão diferente.
Técnicas e métodos inovadores desenvolvidos para jogar esses jogos foram considerados úteis no amplo espectro da Ciência da Computação (e não apenas na Inteligência Artificial).

O livro Inteligência Artificial: Uma Abordagem Moderna usou o Grand Prix como uma analogia para explicar a questão acima. Jogos como Chess, Go, Othello são para a IA, assim como o Grand Prix é para a indústria automobilística. Os motores potentes e altamente otimizados que incorporam os mais recentes avanços da engenharia não são bons para dirigir em estradas regulares, fazer compras, etc. No entanto, cria emoção e fluxo constante de inovações que foram adotadas pela comunidade em geral.

Os programas de IA criados para jogar jogos como Chess, Othello, Go introduziram conceitos como heurística de movimento nulo, poda de futilidade, teoria combinatória de jogos, sofisticação e compressão, metareasoning e muito mais . Algoritmos altamente avançados de aprendizado de máquina e aprendizado profundo são o resultado deles.

Você pode vê-lo semelhante às missões espaciais da NASA, ISRO, JAXA e outras agências espaciais. Todas essas missões não parecem ter um benefício direto para os cidadãos, mas têm muitos benefícios indiretos. Eles abrem o caminho para inovações tecnológicas (GPS, impressão 3D, tecnologia de acidentes de carro, energia limpa, LED), criação de empregos etc. Tempestades avançadas, detecção de furacões são o resultado da exploração espacial que salvou milhões de vidas em todo o mundo.

A AI Games não apenas ajudou a desenvolver o software, mas também o hardware. Viu-se muitas inovações para produzir hardware altamente otimizado e poderoso.

Ugnes
fonte
5
Além disso, jogos como xadrez são altamente padronizados, tornando mais fácil comparar diferentes soluções e abordagens. No entanto, o teste de Turing não possui nenhuma base formal de comparação que seja consistente em várias execuções (AFAIK), portanto, comparar abordagens diferentes fica muito mais difícil (e possivelmente depende da metodologia de medição).
Hoffmale 5/07
1
"O xadrez é a drosófila da inteligência artificial" "o que ele tentou expressar com isso?
dhein
@dhein Drosophila é uma mosca da fruta e é usada por geneticistas para fazer descobertas que se aplicam à biologia de maneira mais ampla. Mais aqui
Ugnes
Eu até rea essa página da wiki antes de enviar o meu comentário ainda não recebendo a conexão.
Dhein
3
@ Dhein É exatamente o que a resposta disse. Na genética, essa espécie é muito bem compreendida, a maioria de suas mutações é muito bem vista e compreendida. Eles são ideais para estudar genética. Por quê? Eu não sei. Você pode precisar perguntar a um especialista. O mesmo é xadrez para IA. Os conceitos aplicados ao jogar xadrez incluem pensamento racional, olhando para o futuro e outras técnicas. Quando fazemos um programa jogar xadrez, tentamos incorporar essas coisas. Isso ajuda a filosofia da IA ​​em geral. Espero que ajude.
Ugnes
3

Por que a pesquisa e o desenvolvimento de jogos são um foco de alocação de recursos?

Ao examinar a aparente obsessão pelo jogo enquanto os pesquisadores tentam simular partes das habilidades humanas de resolução de problemas, a ortodoxia dos pontos de vista de John McCarthy (1927 - 2011) pode ser enganosa.

O viés editorial da publicação e os temas populares de ficção científica podem obscurecer as forças primárias que levam ao aparecimento de obsessão pelo desenvolvimento de um software vencedor de jogos de tabuleiro. Ao examinar a alocação de fundos e recursos humanos nos muitos campos da pesquisa e desenvolvimento da inteligência, é necessário algum histórico para contornar as distorções típicas das respostas às perguntas dessa rede social.

Contexto histórico

A capacidade de nos colocarmos fora do nosso próprio tempo e na mentalidade de outros períodos é útil ao analisar a história, incluindo a história científica e tecnológica.

Considere que a visão de McCarthy não era ortodoxa na época. Ele rapidamente se tornou ortodoxo por causa de uma série de tendências emergentes no pensamento sobre automação entre cientistas e matemáticos nos tempos imediatamente após a industrialização ocidental. Esse pensamento foi a extensão natural da mecanização das indústrias de impressão, têxtil, agricultura e transporte e da guerra.

Em meados do século XX, algumas dessas tendências se combinaram para conceituar o computador digital. Outros se tornaram ortodoxos na comunidade de pessoas que investigavam aspectos da inteligência por meio de sistemas digitais. O pano de fundo técnico incluía trabalhos teóricos e eletromecânicos, alguns dos quais alcançaram certo grau de fama pública. Mas era geralmente secreto ou abstrato (e, portanto, obscuro) para ser considerado itens de interesse da segurança nacional na época.

  • Teoria da cibernética, amplamente desenvolvida por Norbert Wiener (1894 - 1964)
  • O trabalho realizado para automatizar a aritmética (ampliando a teoria de George Boole e a calculadora de Blaise Pascal, com financiamento primário originário das forças armadas dos EUA, com o objetivo de guiar armas antiaéreas, calculando trajetórias prováveis ​​de inimigos de aeronaves e determinando coordenadas esféricas para criar uma provável interessante trajetória balística
  • Freqüentemente descartou o trabalho de Alonso Church (1903 - 1995) sobre o cálculo lambda, que levou à idéia de programação funcional, um aspecto fundamental para o surgimento do LISP em Cambridge, que McCarthy utilizou para a experimentação precoce da IA
  • O nascimento da teoria da informação, principalmente através do trabalho de Claude Shannon (1916 - 2001), financiado pelo Bell Labs no interesse de automatizar a comutação de comunicações
  • O trabalho inicial de análise de criptografia do estudante de doutorado da Igreja, Alan Turing, financiado inteiramente pelas Forças Aliadas com o objetivo de P&D de derrotar o dispositivo de criptografia Enigma, para que as forças nazistas pudessem ser interrompidas antes da completa aniquilação de Londres e outros aliados aliados.
  • O trabalho de John von Neumann (1903 - 1957) para centralizar a implementação da lógica booleana arbitrária juntamente com a aritmética inteira em uma única unidade (atualmente chamada de CPU) e armazenar o programa que controlava a implementação em flip-flops eletrônicos junto com os dados a ser processado e os resultados (a mesma arquitetura geral implementada por quase todos os dispositivos de computação contemporâneos atualmente)

Todos esses eram conceitos que envolviam a visão de autômatos, a simulação de aspectos funcionais da neurologia de mamíferos. (Um macaco ou elefante pode planejar e executar com sucesso o golpe de uma mosca, mas uma mosca é incapaz de planejar e executar um ataque a um macaco ou elefante.)

Experimentar a inteligência e sua simulação via manipulação simbólica usando uma nova linguagem de programação, LISP, foi o foco principal de John McCarthy e seu papel na criação do Laboratório de Inteligência Artificial do MIT. Mas qualquer que seja a ortodoxia que tenha existido com regras (sistemas de produção), redes neurais e algoritmos genéticos diversificou-se em uma nuvem de idéias que tornam o termo ortodoxia um tanto nebuloso. Alguns exemplos a seguir.

  • Richard Stallman renunciou ao MIT AI Lab e iniciou uma mudança filosófica de muitas das filosofias econômicas que dominavam esse período. O resultado foi o software GNU e o LINUX, seguidos por hardware aberto e bens criativos, conceitos que se opunham amplamente à orientação filosófica daqueles que financiavam as instalações de IA.
  • Muitos sistemas proprietários (e, portanto, confidenciais da empresa) usam métodos bayesianos ou componentes adaptativos que derivam mais do trabalho de Norbert Wiener do que qualquer coisa que foi considerada a principal pesquisa de IA na década de 1970.

O nascimento da teoria dos jogos

O evento principal que responde mais diretamente à pergunta nesse desfile de eventos históricos é outro trabalho de von Neumann. Seu livro Game Theory, co-autor de Oskar Morgenstern, é talvez o fator mais forte dentre as condições históricas que levaram à persistência do Go and Chess como cenários de teste para o software de solução de problemas.

Embora houvesse muitos trabalhos anteriores sobre como vencer no Chess or Go, nunca houve um tratamento matemático e uma apresentação tão convincente quanto a da teoria dos jogos.

Os membros privilegiados da comunidade científica estavam bem cientes do sucesso de von Neumann em elevar a temperatura e a pressão do material físsil à massa crítica e seu trabalho em derivar a termodinâmica clássica da teoria quântica. Os fundamentos da matemática que ele apresentou na Teoria dos Jogos foram rapidamente aceitos (por algumas das mesmas pessoas que financiaram pesquisas no MIT) como uma ferramenta preditiva potencial para a economia. Prever a economia foi o primeiro passo para controlá-la.

Teoria encontra a filosofia geopolítica

A filosofia dominante que conduziu a política ocidental durante esse período foi o Destino Manifesto, essencialmente a visão fatalista de uma Nova Ordem Mundial, cujo chefe estaria nas cadeiras do poder dos EUA. Documentos desclassificados indicam que é altamente provável que os líderes da época vissem o domínio econômico alcançado através da aplicação da teoria dos jogos como consideravelmente menos arriscado e caro do que a conquista militar seguida pela manutenção de bases de operações (guarnições de alta tecnologia) perto de todas as áreas povoadas no exterior .

Os desafios altamente divulgados para desenvolver os autômatos Chess and Go são simplesmente redes de arrasto que as empresas e os governos usam como primeiro corte na aquisição de ativos de pessoal. Os resultados do jogo são como resumos. Um programa de jogo vencedor é uma evidência da existência de habilidades de programação que provavelmente também teriam sucesso no desenvolvimento de jogos mais importantes que movimentam bilhões de dólares ou vencem guerras.

Aqueles que podem escrever códigos vencedores de xadrez ou go são considerados ativos de alto valor. A pesquisa de financiamento de jogos tem sido vista como uma maneira de identificar esses ativos. Mesmo na ausência de retorno imediato do investimento, a identificação desses ativos, porque eles podem ser escondidos em grupos de reflexão para planejar o domínio do mundo, tornou-se uma consideração primordial quando os fundos de pesquisa são alocados.

Caminhos lentos e rápidos para retorno do investimento

Em contraste com esse pensamento geopolítico, buscar prestígio institucional apoiado por algum programador ou equipe astuto é outro fator. Nesse cenário, buscou-se qualquer progresso na simulação de inteligência com potencial de melhorias geométricas em alguma aplicação importante da indústria ou militar.

Por exemplo, programas como o Maxima (um precursor de aplicativos matemáticos para solução de problemas como o Mathematica) foram financiados com a esperança de desenvolver a matemática usando a computação simbólica.

Esse caminho para o sucesso repousa conceitualmente no determinismo como uma filosofia natural abrangente. De fato, era o epítome do determinismo. Foi proposto que, se um computador pudesse não apenas fazer aritmética, mas desenvolver teoremas matemáticos de complexidade super-humana, modelos de empreendimentos humanos poderiam ser reduzidos a equações e resolvidos. A previsibilidade de uma ampla variedade de importantes fenômenos econômicos, militares e políticos poderia então ser usada na tomada de decisões, permitindo ganhos significativos.

Para a surpresa de muitos, o sucesso do Maxima e de outros programas de matemática foi muito limitado em seu impacto positivo na capacidade de prever com segurança eventos econômicos e geopolíticos. O surgimento da Teoria do Caos explicou o porquê.

Derrotar um mestre humano com um programa acabou por estar ao alcance da P&D do século XX. O uso de software para experimentar várias abordagens da ciência da computação para ganhar um jogo era possível e, portanto, mais atraente para as instituições como uma maneira de ganhar prestígio, como um time de basquete vencedor.

Não vamos esquecer a descoberta

Às vezes, as aparências estão em oposição direta à realidade. As várias aplicações acima mencionadas de máquinas pensantes não foram esquecidas, e as despesas de tempo e dinheiro necessárias para simular aspectos das habilidades dos mamíferos não perderão recursos para o desenvolvimento de autômatos de jogos de tabuleiro.

A tecnologia está amplamente ocupada com a solução de problemas de comunicações, militares, geopolíticos, econômicos e financeiros que excedem em muito a complexidade de jogos como Chess e Go. A teoria dos jogos inclui elementos de movimentos aleatórios feitos por não jogadores desde o início. Portanto, a obsessão pelo Chess and Go é apenas uma assinatura do foco real de financiamento e atividade nos diversos campos da simulação de inteligência.

O software que pode jogar Chess or Go não é implantado nos computadores de modelagem global da NSA nem nas máquinas de indexação do Google. Os grandes dólares são gastos para desenvolver o que é implantado em tais locais.

Você nunca verá detalhes ou mesmo uma visão geral da pesquisa e desenvolvimento descrita on-line, exceto no caso de pessoas que, por algum motivo pessoal, violem os acordos confidenciais da empresa ou cometem traição.

Douglas Daseeco
fonte
1
Explicação muito boa ligando o contexto histórico. Você está tão certo sobre como as coisas mudaram na pesquisa de IA com o tempo. Muito bom ponto de se colocar de volta no tempo para entender a perspectiva.
Ugnes
2

Acho a declaração preocupante, pois a primeira inteligência algorítmica confirmada pode ter sido um autômato NIM ; portanto, da minha perspectiva, o desenvolvimento da Inteligência Algorítmica é inseparável dos jogos combinatórios. também parece que McCarthy não acredita que os jogos sejam úteis, o que me leva a suspeitar que ele nunca estudou seriamente a história dos jogos.

A Teoria Combinatória dos Jogos , um campo aplicado em matemática e computação, foi formalizada nas décadas seguintes ao Teorema de Sprague-Grundy, que era uma análise matemática do jogo de NIM. Mais recentemente, o jogo dobrável de proteínas Foldit produziu resultados reais em um campo aplicado.

  • A resposta que geralmente dou é que jogos como o Chess e o Go fornecem complexidade semelhante à natureza, usando parâmetros extremamente simples. (Em essência, jogos e quebra-cabeças combinatórios, como o Sudoku, são mecanismos de complexidade.)

Mas os jogos, diferentemente dos quebra-cabeças, que são empreendimentos individuais, exigem um tipo de tomada de decisão estratégica bastante útil. (A resposta @Ugnes lista muitos deles.)

  • Os jogos combinatórios, em particular, fornecem uma referência útil para a capacidade dos algoritmos de gerenciar problemas intratáveis.

Há também um fator de RP . A tradução algorítmica de idiomas ficou extremamente boa nos últimos anos, mas você nunca ouve a imprensa fazendo muita coisa a respeito. Compare com DeepBlue vs. Kasparov ou AlphaGo vs. Sedol. (Essa pilha explodiu com perguntas de ML após o resultado do AlphaGo.) É semelhante aos pousos na lua nos EUA, que foi um grande feito, se não estritamente necessário, um feito de engenharia que inspirou gerações de cientistas iniciantes.


Pós-escrito: É notável que, até recentemente, o termo "forte" era reservado à Inteligência Geral Artificial, que ainda é altamente teórica. Depois do AlphaGo, estou começando a ver os estudiosos usarem o termo "IA forte e estreita".

O uso de strong em relação à Inteligência Geral Artificial é puramente filosófico. Por outro lado, a maneira como o termo é usado na Teoria Combinatória dos Jogos (vide Jogo Resolvido ) é puramente prática e envolve provas matemáticas.

O xadrez permanece sem solução e, portanto, ainda é útil para o estudo. [Veja o GiraffeChess a seguir.]

Os campos da teoria dos jogos e da teoria combinatória dos jogos incluem nomes como Von Neumann , Nash e Conway e, mais recentemente, Demain no MIT. E se você quiser incluir quebra-cabeças combinatórios como o Sudoku, podemos estender isso de volta para Euler . Por esses motivos, além dos listados acima, tenho dificuldade em ver a análise de jogos como uma busca trivial.


Giraffe Ches s foi um resultado recente de um matemático / programador individual, Matthew Lai, que usou uma abordagem da Rede Neural para criar um algoritmo de xadrez que aprendeu a tocar em um nível internacional de mestre em 72 horas.

Um dos objetivos de Lai era criar um algoritmo que produzisse mais "brincadeiras humanas". (Compare com o jogo "desumano" de algoritmos como o AlphaGo.) Giraffe não é AGI, mas certamente pode ser considerado uma peça do quebra-cabeça.

Jogos de computador são indiscutivelmente o tipo mais profundo de interações compartilhadas por humanos e autômatos, e esse tipo de interação remonta quase ao início da computação moderna.

DukeZhou
fonte
2
Não era como se McCarthy pensasse que os jogos são inúteis. Ele acreditava que deveríamos nos concentrar mais em imitar o comportamento humano por máquinas, coisas como o Teste de Turing. Ele achava que o Teste de Turing poderia ser mais importante que o Xadrez quando se trata de IA. Isso pode ajudar.
Ugnes
Obrigado por esclarecer, mas meu ponto ainda é válido. A aprovação no teste de Turing é uma boa idéia, mas é muito filosófica e inteiramente subjetiva. Também não faz sentido, porque passar no teste de Turing não significa autoconsciência ou vontade. Teoria dos Jogos e Teoria Combinatória dos Jogos são práticas, processuais e matemáticas, e a restrição da IA ​​do jogo para "estreitar" é provavelmente uma reflexão sobre a natureza limitada dos modelos de jogos atuais. Metagames como [M] fornecem uma ponte para os dois campos e podem fornecer um modelo compacto para a AGI fundamental.
DukeZhou
1
@ Ignes Acho que em parte o que estou dizendo é que, aproximando-se da AGI em um nível alto, provavelmente será apenas "fumaça e espelhos". Minha hipótese é que a AGI precisa ser abordada em um nível fundamental, com funções volitivas (econômicas) básicas que se tornam "autonômicas". Depois de ter isso, você pode desenvolver ainda mais, conectando o Processamento de linguagem natural, etc. Sou cético em relação a qualquer abordagem à AGI que não esteja enraizada na teoria dos jogos e suas extensões, que se aplicam a todas as decisões, sejam conscientes ou autônomo (como no caso de organismos simples).
DukeZhou
1
Eu concordo totalmente com você. Eu também não sou muito fã do Teste de Turing. Além disso, a teoria dos jogos é outro tópico muito importante. Eu também fui estudante de economia, assim eu entendo.
Ugnes
1
@Ugnes Se achar interessante que o próprio Turing tenha chamado seu teste de "Jogo de Imitação", que considero uma descrição precisa e exata. (É possível que o rebranding como o "teste de Turing" é enganosa, na medida em que, no entendimento popular, parece ter tomado sobre as implicações mais amplas, como a auto-consciência ...)
DukeZhou
0

O teste de Turing é muito subjetivo e, na minha opinião, é uma perda de tempo. Tenho certeza de que milhões de pessoas responderam a e-mails enviados por bots ou conversaram com chatbots on-line, embora não tenham idéia de que estão apenas respondendo a um programa.

PandaSurge
fonte