En nossa entrega Anteriormente, contamos como Simon, um teórico da Ciência Política junto com um físico chamado Newell e um atuário que virou programador chamado Shaw começaram a construção do primeiro programa de inteligência artificial conhecido como Logical Theorist. Isso exigiu a invenção da primeira linguagem de programação específica para Inteligência Artificial
Tínhamos deixado essa história com o trio junto com colaboradores e familiares simulando o comportamento das diversas partes do programa usando pessoas e cartões manuscritos.
Após várias simulações como essas, o programa foi implementado em um computador real. O teste foi bem sucedido como o software conseguiu provar trinta e oito teoremas de um dos capítulos do livro Principia Matemática de Russell e Whitehead. Mesmo em um dos casos (e sem ter instruções específicas para isso) ele encontrou uma forma de testá-lo muito mais "elegante" do que os autores do livro.
A primeira linguagem de programação para Inteligência Artificial
O fato de Simon e sua equipe terem demorado tanto para escrever seu programa é porque eles precisavam de uma linguagem de programação específica que tivesse poder e flexibilidade suficientes para seus propósitos. Essa linguagem foi chamada de IPL (Information Processing Language) e foi a primeira a introduzir a técnica de processamento de listas para programação.
IPL diferia das linguagens de alto nível da época em que não exigia a definição prévia de símbolos e tinha a capacidade de associar e modificar estruturas de símbolos.
A chamada técnica de processamento de lista consiste em armazenar cada pedaço de informação junto com instruções sobre como encontrar pedaços de informação associados a eles. Ao alterar as indicações, novas associações podem ser construídas.
O "Solucionador de Problemas Gerais"
Para criar seu próximo software, Simon e Newell decidiram tentar uma abordagem diferente. Na época, circulava uma investigação psicológica que convidava os participantes a explicar em voz alta a maneira como resolviam problemas lógicos. A dupla descobriu que esses formulários eram completamente diferentes dos usados por seu software, então decidiram fazer sua própria versão da investigação e criar software com base nos métodos descritos pelos participantes. O programa (conhecido como GPS for General Problem Solver) foi codificado com base em uma organização de informações e heurísticas independentes das tarefas que foram solicitadas a realizar.
Essa nova metodologia recebeu o nome de "Análise dos Meios aos Fins" e consiste em compare a situação atual com a ideal e tome ações que reduzam a diferença entre elas e depois reavalie até que a diferença seja reduzida a zero. Esta metodologia permite ao programa reagir a mudanças nas variáveis do problema. O programador indica o problema e uma chamada tabela de diferenças na qual são indicados os possíveis cursos de ação e em que circunstâncias eles se encontram.
O GPS foi capaz de dividir um problema em subproblemas e aplicar a abordagem de retrocesso, ou seja, se um caminho não funcionasse, ele voltaria e seguiria outro.
Durante os 11 anos em que esteve em funcionamento, O GPS resolveu quebra-cabeças, realizou integração simbólica e quebrou códigos secretos.
Enquanto Simon e Newell se divertiam com isso, um aluno chamado Robert K. Lindsay desenvolveu um programa conhecido como SAD SAM. O macio conseguiu extrair informações de sentenças do tipo "Juan é filho de Pepa" e "Juan é irmão de Alberto" e construir uma árvore genealógica dededuzindo que Alberto também é filho de Pepa (não faço ideia de como ele se daria com as famílias adotivas do mundo de hoje.
Claro que a gigante da informática da época, a IBM, não poderia ficar de fora das pesquisas sobre inteligência artificial, área que em plena Guerra Fria já revelava um enorme potencial para aplicações militares e, no próximo artigo falará sobre suas primeiras contribuições na área.