SciELO - Scientific Electronic Library Online

vol.6 número2MIDIZ: content based indexing and retrieving MIDI filesInteractive multistage simulation of goal-driven agents índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados




Links relacionados


Journal of the Brazilian Computer Society

versão impressa ISSN 0104-6500versão On-line ISSN 1678-4804


PISTORI, Hemerson  e  WAINER, Jacques. Automatic theory formation in graph theory. J. Braz. Comp. Soc. [online]. 1999, vol.6, n.2, pp.00-00. ISSN 1678-4804.

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.

Palavras-chave : Machine learning; theory refinement; constructive induction; unsupervised learning.

        · texto em Inglês


Creative Commons License Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons