<\/p>\n\n\n\n
“Um trabalho interessante est\u00e1 sendo feito na programa\u00e7\u00e3o de computadores para resolver problemas que requerem um alto grau de intelig\u00eancia em humanos. No entanto, certos processos elementares de racioc\u00ednio verbal, t\u00e3o simples que podem ser realizados por qualquer ser humano normal, ainda n\u00e3o foram simulados por m\u00e1quinas e programas. Este artigo ir\u00e1 discutir programas para manipular uma linguagem formal adequada na medida (provavelmente uma parte do c\u00e1lculo de predicados) instrumental de afirma\u00e7\u00f5es comuns. O programa b\u00e1sico ir\u00e1 tirar conclus\u00f5es imediatas de uma lista das propostas. Essas conclus\u00f5es ser\u00e3o se senten\u00e7as declarativas ou imperativas. Quando uma frase imperativa \u00e9 deduzida, o programa assume uma a\u00e7\u00f5es de resposta. Essas a\u00e7\u00f5es podem incluir imprimir frases, mover senten\u00e7as em listas e reiniciar o processo b\u00e1sico de dedu\u00e7\u00e3o nessas listas. John McCarthy<\/strong> (criador da Linguagem Lisp).<\/p>\n\n\n\n [ Ler na internet<\/a> ] [ Ler neste site<\/a> ]<\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" “Um trabalho interessante est\u00e1 sendo feito na programa\u00e7\u00e3o de computadores para resolver problemas que requerem um alto grau de intelig\u00eancia em humanos. No entanto, certos processos elementares de racioc\u00ednio verbal,…<\/p>\n
Ser\u00e3o fornecidos meios para comunica\u00e7\u00e3o com humanos no sistema, via interven\u00e7\u00e3o manual e dispositivos de exibi\u00e7\u00e3o conectados ao computador.<\/em>“<\/p>\n\n\n\n