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.
More intriguing information
1. What Contribution Can Residential Field Courses Make to the Education of 11-14 Year-olds?2. The Advantage of Cooperatives under Asymmetric Cost Information
3. A COMPARATIVE STUDY OF ALTERNATIVE ECONOMETRIC PACKAGES: AN APPLICATION TO ITALIAN DEPOSIT INTEREST RATES
4. The name is absent
5. Wirtschaftslage und Reformprozesse in Estland, Lettland, und Litauen: Bericht 2001
6. Name Strategy: Its Existence and Implications
7. The Functions of Postpartum Depression
8. The name is absent
9. News Not Noise: Socially Aware Information Filtering
10. Types of Cost in Inductive Concept Learning