Made available in DSpace on 2014-06-12T15:53:32Z (GMT). No. of bitstreams: 2
arquivo5203_1.pdf: 2427628 bytes, checksum: b7e101175fb8c6dac688a04de83a3303 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2004 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Inspirado por uma sugestão de McCulloch e Pitts em seu trabalho pioneiro,
uma simulação de Máquinas de Turing (MT) por Redes Neurais Artifiais
(RNAs) apresentada. Diferente dos trabalhos anteriores, tal simulação está
de acordo com a interpretação correta da análise de Turing sobre computação;
é compatvel com as abordagens correntes para análise da cognição como um
processo interativo agente-ambiente; e é fisicamente realizável uma vez que
não se usa pesos nas conexãos com precisão ilimitada. Uma descrição completa
de uma implementação de uma MT universal em uma RNA recorrente do
tipo sigmóide é dada. A fita, um recurso infinito, é deixada fora da codificação
como uma caracterstica externa não-intrínsica. A rede resultante é chamada
de Máquina de Turing Neural.
O modelo clássico de computação
Máquina de Turing = Fita + Autômato de Estados Finito (AEF)
é trocado pelo modelo de computação neural
Máquina de Turing Neural (MTN) = Fita + Rede Neural Artifial (RNA)
Argumentos para plausabilidade física e cognitiva desta abordagem são fornecidos
e as consequências matemáticas são investigadas.
E
bastante conhecido na comunidade de neurocomputação teórica, que
um AEF arbitrário não pode ser implementado em uma RNA quando ruído
ou limite de precisão é considerado: sob estas condições, sistemas analógicos
em geral, e RNA em particular, são computacionalmente equivalentes aos
Autômatos Definidos uma classe muita restrita de AEF. Entre as principais
contribuições da abordagem proposta é a definição de um novo modelo de
máquina, Máquina de Turing Definida(MTD), que surge quando ruído é
levado em consideração. Este resultado reflete na segunda equação descrita
acima se tornando
MTN com ruíıdo (MTN) = Fita + RNA com ruído(RNA)
com a equação correspondente
Máquina de Turing Definida = Fita + Autômatos Finitos Definidos (AFD)
A investigação de capacidades computacionais das Máquinas de Turing
Definida é uma outra contribuição importante da Tese. É provado que elas
computam a classe das funções elementares (Brainerd & Landweber, 1974)
da Teoria da Recursão
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/1970 |
| Date | January 2004 |
| Creators | OLIVEIRA JUNIOR, Wilson Rosa de |
| Contributors | SOUTO, Marcilio Carlos Pereira de |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0027 seconds