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

Journal

Artigo

Indicadores

Links relacionados

Compartilhar


Journal of the Brazilian Computer Society

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

Resumo

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.  https://doi.org/10.1590/S0104-65001999000300003.

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