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.