The name is absent

Cognitiva, principalmente pelo vies do Computacionalismo classico. Os
modelos propostos pela Inteligencia Artificial, tal como o computador serial
digital desenvolvido por von Neumman, sao Implementacoes da Maquina de
Turing. E esta, por sua vez, e uma funςao logica. Estando o dommio
Computacional da Inteligencia Artificial baseado na logica classica, tal
dommio deve necessariamente apresentar as caracte'∏'sticas tι'picas de um
sistema formal para que possa ser devidamente implementado.
Particularmente, ele deve estar livre de ambiguidades e contradi9oes.

A logica classica possui uma relacao muito proxima com a linguagem
natural. No entanto, algumas caracte'∏'sticas da linguagem natural nao se
adequadam a um procedimento formal. Por exemplo, o fato da linguagem
natural ser permeada de contradicoes. Por essa razao Frege, fundador da
logica moderna, buscou a elaboracao de uma linguagem artificial mais
econ∂mica e exata (sem ambiguidades) (WADLER, 2000). Segundo Feitosa e
Paulovich (2001), um sistema formal deve apresentar:

(1) um conjunto qualquer de smιbolos, ou alfabeto;

(2) um conjunto de expressoes “bem formadas”;

(3) um conjunto de axiomas;

(4) um conjunto finito de regras.

<<   1   2   3   4   5   6   >>

More intriguing information