Dissertação

Automated Search of Functions and Synthesis of Code EVALUATED

O processo de descoberta científica pode ser explicado como um ciclo que começa com a observação de factos que nos rodeiam, modela essas observações em teorias, faz previsões a partir dessas teorias e depois confronta essas previsões com outras observações, reforçando ou refutando essas teorias. Na maioria das vezes, o elo fraco desta cadeia de eventos é o passo de indução feito a partir de factos concretos para teorias genéricas porque nem sempre é fácil para os cientistas encontrarem estas correlações. Neste trabalho propomos uma solução para esse problema: e se fosse possível automatizar este passo e permitir que os computadores o fizessem? Isto pode ser alcançado se as leis empíricas que os cientistas tentam encontrar forem não só computáveis mas também estruturalmente simples. Exploramos esta afirmação ao relacionar estas leis com o conjunto das funções primitivas recursivas (e posteriormente com um seu subconjunto, as funções elementares), permitindo apresentar cientistas automáticos relativamente simples que seriam uma resposta inicial para este problema e um ponto de partida para uma solução mais completa e séria para a automação do processo de inferência dedutiva.
Descoberta Científica, Leis Empíricas, Cientistas Automáticos, Funções Primitivas Recursivas, Funções Elementares, Geração de Código

Dezembro 13, 2019, 15:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

José Félix Gomes da Costa

Departamento de Matemática (DM)

Professor Associado