linguagem de programação de Inteligência Artificial, uma linguagem de computador desenvolvida expressamente para implementar a pesquisa de Inteligência artificial (AI). No curso de seu trabalho no Logic Theorist e GPS, dois primeiros programas de IA, Allen Newell e J. Clifford Shaw da Rand Corporation e Herbert Simon da Carnegie Mellon University desenvolveram sua linguagem de processamento de informação (IPL), uma linguagem de computador adaptada para a programação de IA. No coração da IPL havia uma estrutura de dados altamente flexível que eles chamaram de lista., Uma lista é simplesmente uma sequência ordenada de itens de dados. Alguns ou todos os itens de uma lista podem ser listas. Este esquema leva a estruturas ricamente ramificadas.
Em 1960, John McCarthy, um cientista da computação no Massachusetts Institute of Technology (MIT), combinando elementos do IPL com o cálculo lambda (formal matemático-lógica de sistema) para produzir a linguagem de programação LISP (List Processor), que continua a ser a principal linguagem para AI de trabalho nos Estados Unidos., (O cálculo lambda em si foi inventado em 1936 pela Universidade de Princeton, lógico Alonzo Church, enquanto ele estava investigando o resumo Entscheidungsproblem, ou “problema de decisão”, para cálculo de predicado—o mesmo problema que o Britânico matemático Alan Turing tinha sido atacando quando ele inventou a máquina de Turing universal.)
A linguagem de programação lógica PROLOG (Programmation en Logique) foi concebida por Alain Colmerauer na Universidade de Aix-Marseille, França, onde a linguagem foi implementada pela primeira vez em 1973., PROLOG foi desenvolvido pelo lógico Robert Kowalski, um membro do grupo AI na Universidade de Edimburgo. Esta linguagem faz uso de uma poderosa técnica de prova de teorema conhecida como resolução, inventada em 1963 no Laboratório Nacional Argonne da Comissão de Energia Atômica dos Estados Unidos em Illinois pelo lógico britânico Alan Robinson. PROLOG pode determinar se uma determinada declaração segue logicamente de outras declarações dadas., Por exemplo, dadas as afirmações “todos os lógicos são racionais” e “Robinson é um lógico”, um programa PROLOG responde afirmativamente à pergunta ” Robinson é racional?”PROLOG é amplamente utilizado para o trabalho de IA, especialmente na Europa e no Japão.pesquisadores do Institute for New Generation Computer Technology em Tóquio usaram o PROLOG como base para linguagens de programação lógica sofisticadas. Conhecidas como linguagens de quinta geração, estas são usadas em computadores paralelos nonnuméricos desenvolvidos no Instituto.,
outros trabalhos recentes incluem o desenvolvimento de línguas para o raciocínio sobre dados dependentes do tempo, como “a conta foi paga ontem.”Estas linguagens são baseadas na lógica do tempo, que permite que afirmações sejam localizadas no fluxo do tempo. (Lógica tensa foi inventada em 1953 pelo filósofo Arthur Prior na Universidade de Canterbury, Christchurch, Nova Zelândia.)
Deixe uma resposta