IndLog - Induction in logic

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2004

Autores

Rui Camacho (Autor) FEUP

Ata de Conferência Internacional

Título: Proceedings of the 9th European Conference on Logics in Artificial Intelligence

Páginas: 718-721

9th European Conference on Logics in Artificial Intelligence

Lisboa

Indexação

ISI Web of Science

Scopus

INSPEC

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia do conhecimento

Outras Informações

DOI: 10.1007/978-3-540-30227-8_65

Abstract (EN): IndLog is a general purpose Prolog-based Inductive Logic Programming (ILP) system. It is theoretically based on the Mode Directed Inverse Entailment and has several distinguishing features that makes it adequate for a wide range of applications. To search efficiently through large hypothesis spaces, IndLog uses original features like lazy evaluation of examples and Language Level Search. IndLog is applicable in numerical domains using the lazy evaluation of literals technique and Model Validation and Model Selection statistical-based techniques. IndLog has a MPI/LAM interface that enables its use in parallel or distributed environments, essential for Multi-relational Data Mining applications. Parallelism may be used in three flavours: splitting of the data among the computation nodes; parallelising the search through the hypothesis space and; using the different computation nodes to do theorylevel search. IndLog has been applied successfully to major ILP literature datasets from the Life Sciences, Engineering, Reverse Engineering, Economics, Time-Series modelling to name a few.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 4