Alem disso, a logica classica (LC), a prindpio, trabalha com dois
valores: verdade e falsidade. Desse modo, um predicado pode ser verdadeiro
ou falso, mas nunca Simultaneamente verdadeiro e falso. Na LC nao se esta
preocupado com o fato de uma expressao ser realmente uma verdade ou nao
para a ciencia ou filosofia. Seus procedimentos funcionam independent desta
veracidade. Em outras palavras, o que esta sob o dommio dessa logica sao
procedimentos formais que permitem partir de premissas e alcan9ar um
resultado. A correspondent entre este resultado e algo externo a propria
logica nao e uma questao que a LC se proponha.
A IA normalmente se baseia na LC para gerar um modelo do
funcionamento da mente, e nesse sentido a Maquina de Turing e um modelo
logico abstrato da mente. Mas e possrvel perguntar ate que ponto esse modelo
e realmente adequado. Ou, ainda, quais aspectos da mente humana sao
evidenciados atraves deste modelo. A resposta a essas perguntas envolve nao
somente aspectos filosoficos, mas tambem computacionais e, nesse caso,
logicos.
2. A diferenca entre humanos e maquinas no tratamento de problemas
More intriguing information
1. THE WELFARE EFFECTS OF CONSUMING A CANCER PREVENTION DIET2. Migrant Business Networks and FDI
3. How much do Educational Outcomes Matter in OECD Countries?
4. Conservation Payments, Liquidity Constraints and Off-Farm Labor: Impact of the Grain for Green Program on Rural Households in China
5. The Integration Order of Vector Autoregressive Processes
6. Policy Formulation, Implementation and Feedback in EU Merger Control
7. Midwest prospects and the new economy
8. Transport system as an element of sustainable economic growth in the tourist region
9. Discourse Patterns in First Language Use at Hcme and Second Language Learning at School: an Ethnographic Approach
10. Wirkung einer Feiertagsbereinigung des Länderfinanzausgleichs: eine empirische Analyse des deutschen Finanzausgleichs