A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Inductive Logic Programming: From Logic of Discovery to Machine Learning Programação lógica indutiva: da lógica da descoberta ao aprendizado de máquina

Hiroki ARIMURA, Akihiro YAMAMOTO

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

A Programação Lógica Indutiva (ILP) é um estudo de sistemas de aprendizado de máquina que usam teorias oracionais em lógica de primeira ordem como linguagem de representação. Neste artigo, levantamos os fundamentos teóricos da PLI sob os pontos de vista da Lógica da Descoberta e do Aprendizado de Máquina, e tentamos unificar essas duas visões com o apoio da teoria moderna da Programação em Lógica. Em primeiro lugar, definimos vários métodos de construção de hipóteses em PLI e damos os seus fundamentos teóricos de prova, tratando-os como um procedimento que completa provas incompletas. A seguir, discutimos o projeto de algoritmos de aprendizagem individuais usando esses métodos de construção de hipóteses. Revisamos resultados conhecidos sobre programas lógicos de aprendizagem na teoria de aprendizagem computacional e mostramos que esses algoritmos são exemplos de uma estratégia genérica de aprendizagem com métodos de conclusão de prova.

Publicação
IEICE TRANSACTIONS on Information Vol.E83-D No.1 pp.10-18
Data de publicação
2000/01/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section INVITED PAPER (Special Issue on Surveys on Discovery Science)
Categoria

autores

Palavra-chave