Construção automatica de teoria em grafos

Detalhes bibliográficos
Autor(a) principal: Pistori, Hemerson
Data de Publicação: 1998
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1586523
Resumo: Orientador: Jacques Wainer
id UNICAMP-30_75c7bd9f13e87876fc8b71046e0d6d44
oai_identifier_str oai::134380
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Construção automatica de teoria em grafosInteligência artificialAprendizagem pela descobertaOrientador: Jacques WainerDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Este trabalho apresenta SCOT, um sistema de construção automática de teoria inspirado no programa AM de Douglas Lenat. O AM é conhecido por ter "redescoberto" uma série de conceitos e conjecturas famosos em teoria dos números, aritmética e geometria [Len82]. Apesar do grande interesse despertado por este programa, este linha de pesquisa continua sendo muito pouco explorada. Um dos grandes problemas com o AM é a complexidade do seu conjunto de heurísticas, que é representado através de um sistema de produção contendo 243 regras. Com o SCOT, nós buscamos uma melhor estruturação e organização na representação das heurísticas, facilitando assim a análise e a manipulação das mesmas. A construção automática de teoria é também conhecida como aprendizagem por descoberta ou aprendizagem por exploraçãoAbstract: In this work we present SCOT, an automatic theory construction system inspired on Lenat's program AM. AM "rediscovered" some well-known concepts and conjectures from number theory, arithmetic and geometry [Len82]. Despite the great interest surrounding that program, further contributions to this research line are scarce. One of the main problem with AM is the great complexity of the heuristic set, which is represented as a production system with 243 rules. With SCOT we propose a revival of the "AM's research", emphasizing the clarity and "manipulability" of the heuristic set. Automatic theory construction is also known as learning by discovery or learning by explorationMestradoMestre em Ciência da Computação[s.n.]Wainer, Jacques, 1958-Bittencourt, GuilhermeSouza, Heloisa Vieira deUniversidade Estadual de Campinas. Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASPistori, Hemerson1998info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf74f. : il.https://hdl.handle.net/20.500.12733/1586523PISTORI, Hemerson. Construção automatica de teoria em grafos. 1998. 74f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586523. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/134380porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T02:49:54Zoai::134380Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T02:49:54Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Construção automatica de teoria em grafos
title Construção automatica de teoria em grafos
spellingShingle Construção automatica de teoria em grafos
Pistori, Hemerson
Inteligência artificial
Aprendizagem pela descoberta
title_short Construção automatica de teoria em grafos
title_full Construção automatica de teoria em grafos
title_fullStr Construção automatica de teoria em grafos
title_full_unstemmed Construção automatica de teoria em grafos
title_sort Construção automatica de teoria em grafos
author Pistori, Hemerson
author_facet Pistori, Hemerson
author_role author
dc.contributor.none.fl_str_mv Wainer, Jacques, 1958-
Bittencourt, Guilherme
Souza, Heloisa Vieira de
Universidade Estadual de Campinas. Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Pistori, Hemerson
dc.subject.por.fl_str_mv Inteligência artificial
Aprendizagem pela descoberta
topic Inteligência artificial
Aprendizagem pela descoberta
description Orientador: Jacques Wainer
publishDate 1998
dc.date.none.fl_str_mv 1998
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1586523
PISTORI, Hemerson. Construção automatica de teoria em grafos. 1998. 74f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586523. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1586523
identifier_str_mv PISTORI, Hemerson. Construção automatica de teoria em grafos. 1998. 74f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1586523. Acesso em: 14 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/134380
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
74f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138335578390528

Registros relacionados