Please use this identifier to cite or link to this item:
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
Citation: Journal of the Brazilian Computer Society. Sociedade Brasileira de Computação, v. 6, n. 2, p. 00-00, 1999.
Rights: aberto
Identifier DOI: 10.1590/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.