Construção automatica de teoria em grafos

AUTOR(ES)

Hemerson Pistori

DATA DE PUBLICAÇÃO

1998

RESUMO

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 exploration

ASSUNTO(S)

inteligencia artificial aprendizagem pela descoberta

Documentos Relacionados

• Teoria Espectral de Grafos aplicada ao problema de Isomorfismo de Grafos
• Processos de construção automática de tesauro
• Um estudo comparativo de modelos baseados em estatísticas textuais, grafos e aprendizado de máquina para sumarização automática de textos em português
• Teoria Espectral e o Problema de Isomorfismo de Grafos Regulares
• Categoria de grafos parciais com homomorfismos totais teoria e aplicações