Re: [obm-l] linguagem logica formal X linguagem coloquial

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxxxxxxxxx>]

On Fri, May 30, 2003 at 01:00:09AM -0300, Carlos César de Araújo wrote:
> ... e terá que ser assim se se quiser realizar o sonho de
> Turing algum dia -- a criação de uma máquina digital "inteligente".

É um pouco off topic, mas não resisto.

Existe uma competição de verdade para ver quem faz o computador
com o melhor desempenho em um teste de Turing. Ela é organizada
por um cara chamado Hugh Loebner. Vale a pena ler sobre o assunto.
Nem que seja só para rir.

A home page do Loebner é:

http://www.loebner.net/

Há um artigo recente sobre o homem e a competição aqui:

http://www.salon.com/tech/feature/2003/02/26/loebner_part_one/
http://www.salon.com/tech/feature/2003/02/27/loebner_part_2/

Se você estiver interessado em ver com os próprios olhos
um programa deste tipo, veja:

http://www.alicebot.org/

[]s, N.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================