“Um trabalho interessante está sendo feito na programação de computadores para resolver problemas que requerem um alto grau de inteligência em humanos. No entanto, certos processos elementares de raciocínio verbal, tão simples que podem ser realizados por qualquer ser humano normal, ainda não foram simulados por máquinas e programas. Este artigo irá discutir programas para manipular uma linguagem formal adequada na medida (provavelmente uma parte do cálculo de predicados) instrumental de afirmações comuns. O programa básico irá tirar conclusões imediatas de uma lista das propostas. Essas conclusões serão se sentenças declarativas ou imperativas. Quando uma frase imperativa é deduzida, o programa assume uma ações de resposta. Essas ações podem incluir imprimir frases, mover sentenças em listas e reiniciar o processo básico de dedução nessas listas.
Serão fornecidos meios para comunicação com humanos no sistema, via intervenção manual e dispositivos de exibição conectados ao computador.“
John McCarthy (criador da Linguagem Lisp).
[ Ler na internet ] [ Ler neste site ]
Sê o primeiro