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.



More intriguing information

1. The name is absent
2. IMPLICATIONS OF CHANGING AID PROGRAMS TO U.S. AGRICULTURE
3. THE WELFARE EFFECTS OF CONSUMING A CANCER PREVENTION DIET
4. The Works of the Right Honourable Edmund Burke
5. LIMITS OF PUBLIC POLICY EDUCATION
6. Does Presenting Patients’ BMI Increase Documentation of Obesity?
7. TECHNOLOGY AND REGIONAL DEVELOPMENT: THE CASE OF PATENTS AND FIRM LOCATION IN THE SPANISH MEDICAL INSTRUMENTS INDUSTRY.
8. Three Strikes and You.re Out: Reply to Cooper and Willis
9. The name is absent
10. The name is absent
11. Nurses' retention and hospital characteristics in New South Wales, CHERE Discussion Paper No 52
12. Mergers under endogenous minimum quality standard: a note
13. The name is absent
14. The name is absent
15. Industrial Cores and Peripheries in Brazil
16. The name is absent
17. Fiscal Insurance and Debt Management in OECD Economies
18. Rent-Seeking in Noxious Weed Regulations: Evidence from US States
19. The effect of classroom diversity on tolerance and participation in England, Sweden and Germany
20. Two-Part Tax Controls for Forest Density and Rotation Time