A entrada e saída da IBM. Breve história da Inteligência Artificial 7

A IBM desenvolveu o primeiro programa para provar um teorema geométrico.

Durante décadas, a IBM foi a líder indiscutível da indústria de computação. Ainda hoje, embora não ocupe o papel preponderante que outrora ocupou, a sua obra continua a ser relevante. No entanto, no caso da Inteligência Artificial, a entrada e saída da IBM foi bastante rápida embora muito importante.

Nos anos cinquenta, a pesquisa nesta disciplina foi considerada parte integrante do conhecimento necessário para construir computadores melhores. Assim, a IBM decidiu dar luz verde ao desenvolvimento de um programa que resolvesse teoremas.

A entrada e saída da IBM

tínhamos visto em artigos anteriores que Simon e sua equipe tiveram sucesso com um programa que provava teoremas matemáticos. Para isso, eles tiveram que criar uma nova linguagem de programação.

O desafio enfrentado pela IBM tinha um problema adicional. Para que o computador pudesse provar um teorema geométrico, ele precisava ver a figura. Web câmeras e softwares capazes de processar imagens ainda não haviam sido inventados.

A equipe escolhida para a tarefa Era o IBM 704. Considerado um dos primeiros supercomputadores do mundo fFoi o primeiro a incorporar ponto flutuante de hardware.

As operações de ponto flutuante incluem adição, subtração, divisão, multiplicação e cálculos de raiz quadrada com números muito grandes ou muito pequenos.

Ele também tinha memória de núcleo magnético mais rápida que o sistema de tambor magnético usado nos modelos anteriores e era capaz de executar quarenta mil instruções por segundo expressas em instruções de 36 bits.

O software demorou três anos para ficar pronto como seu gerente, um físico médico chamado Herbert Gellenter, tEle teve que inventar uma nova linguagem de programação que pudesse manipular símbolos como IPL mas que tivesse a facilidade de programar Fortran, um desenvolvimento da própria IBM para a criação de aplicativos de cálculo científico.

O programa recebeu informações sobre a figura geométrica com a qual teve que trabalhar na forma de uma série de coordenadas inseridas na forma de cartões perfurados e ele estava deduzindo resultados intermediários dos dados conhecidos.

O software ficou conhecido como Geometry Theorem Prover (Geometry Problem Prover) e baseado nas propriedades que ele podia verificar no desenho ele conseguiu resolver um teorema de dois passos para vinte e cinco possibilidades diferentes quando, fazendo isso cegamente, teria que analisar um milhão.

O testador de problemas de geometria foi o primeiro a usar uma técnica conhecida como referência de modelo.. A menos que você tenha pousado em um disco voador há 5 minutos, certamente você já ouviu falar de um dos últimos resultados da aplicação desta técnica: ChatGPT.

No campo da inteligência artificial Um modelo é uma representação de um processo complexo a partir do qual inferências podem ser feitas. No caso do testador, o modelo eram as coordenadas da figura geométrica, no caso do ChatGPT um modelo capaz de processar a linguagem humana.

Outros computadores IBM estavam fazendo coisas menos sérias, como aprender jogo de damas ou xadrez. No primeiro caso, o objetivo era verificar se uma máquina era capaz de aprender sobre a forma de jogar de seu oponente. Ele finalmente conseguiu vencê-lo, então parece que sim.

Os primeiros sucessos da IBM também foram a causa de seu abandono desse campo. Computadores dedicados a jogar xadrez e damas fizeram muito sucesso com a imprensa, mas não tanto entre os acionistas da empresa que a consideravam um desperdício de dinheiro.

A isto devemos acrescentar que o departamento de marketing da empresa Ele notou que entre seus potenciais clientes a desconfiança em relação aos computadores estava aumentando. Havia o temor dos responsáveis ​​pela aquisição de que sua compra acabasse por substituí-los.

A pesquisa em Inteligência Artificial foi abandonada e a nova estratégia de marketing foi caracterizar os computadores como processadores de dados que só faziam o que lhes mandavam.

Será que o mesmo acontecerá com as novas ferramentas agora tão em voga? Serão banidos das empresas por medo de acabarem ocupando os cargos mais altos?

Teremos que esperar para ver.


Seja o primeiro a comentar

Deixe um comentário

Seu endereço de email não será publicado. Campos obrigatórios são marcados com *

*

*

  1. Responsável pelos dados: AB Internet Networks 2008 SL
  2. Finalidade dos dados: Controle de SPAM, gerenciamento de comentários.
  3. Legitimação: Seu consentimento
  4. Comunicação de dados: Os dados não serão comunicados a terceiros, exceto por obrigação legal.
  5. Armazenamento de dados: banco de dados hospedado pela Occentus Networks (UE)
  6. Direitos: A qualquer momento você pode limitar, recuperar e excluir suas informações.