Please use this identifier to cite or link to this item: http://hdl.handle.net/10216/67163
Author(s): Rui Camacho
Title: IndLog - Induction in logic
Issue Date: 2004
Abstract: 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 ordistributed environments, essential for Multi-relational Data Mining applications.Parallelism may be used in three flavours: splitting of the dataamong the computation nodes; parallelising the search through the hypothesisspace and; using the different computation nodes to do theorylevelsearch.IndLog has been applied successfully to major ILP literature datasetsfrom the Life Sciences, Engineering, Reverse Engineering, Economics,Time-Series modelling to name a few.
Subject: Engenharia do conhecimento, Engenharia electrotécnica, electrónica e informática
URI: http://hdl.handle.net/10216/67163
Source: Proceedings of the 9th European Conference on Logics in Artificial Intelligence
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
64188.pdfIndLog - Induction in Logic104.9 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons