Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/26047
Type: Artigo de periódico
Title: Automatic theory formation in graph theory
Author: Pistori, Hemerson
Wainer, Jacques
Abstract: This paper presents SCOT, a system for automatic theory construction in the domain of Graph Theory. Following on the footsteps of the programs ARE [9], HR [1] and Cyrano [6], concept discovery is modeled as search in a concept space. We propose a classification for discovery heuristics, which takes into account the main processes related to theory construction: concept construction, example production, example analysis, conjecture construction, and conjecture analysis.
Subject: Machine learning
theory refinement
constructive induction
unsupervised learning
Editor: Sociedade Brasileira de Computação
Rights: aberto
Identifier DOI: 10.1590/S0104-65001999000300003
Address: http://dx.doi.org/10.1590/S0104-65001999000300003
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65001999000300003
Date Issue: 1-Jan-1999
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.