Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español es
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-04-30

Inductive logic programming ii

Objetivo

The general aim of ILP is to develop theories, techniques and applications of inductive learning from observations and background knowledge in a first order logical framework. This project aims at continuing the ILP 1 project in which several significant research results have been obtained. To close the gap between conceptual work and applications, the consortium has identified four key areas where ILP technology has great potential. These areas are (1) natural language processing, (2) data mining and discovery, (3) design and configuration, and (4) data-base design. End-users active in these areas have been united in a users club and collaborate in the project by providing relevant test data. Based on an analysis of these four application domains, 14 scientific problems in need of substantial progress have been identified and organized around 4 themes:

- Background knowledge / Techniques are needed that:
-can handle large numbers of background predicates (Relevance),
-can update theories structured in many levels (Revision),
-can carry out predicate invention in deep-structured theories (Invention)

- Complex Hypotheses / Techniques are needed that:
-can learn deep structured theories and optimise the choice of a set of clauses for a single predicate (Multi-Clause),
-can handle long chains of relevant literals, connected by shared variables (Deep),
-can better handle recursive hypotheses (Recursion),
-can search efficiently in the presence of structural concepts expressed in complex clauses (Structure).

- Built-in semantics / Techniques are needed that:
-better handle numbers (Numbers),
-can express probabilistic constraints and definitions (Probabilities),
-can learn and use constraints (Constraints),
-work more efficiently through the use of built-in predicates and algorithms (Built-in).

- Sampling issues / Techniques are needed that:
-can learn from large data sets (Large Data),
-can learn from small data sets (Small Data), and
-offer some reliability guarantees (Reliability).

The main methodology applied will be 1) to study the scientific problem starting from given application domains and data (provided by the end-user club), 2) to generalize away from the application, 3) to develop theory, techniques and implementations to cope with a specific problem, 4) to evaluate the developed framework on the application domains and data, and 5) to use the obtained feedback to re-iterate if necessary.

Inductive logic programming (ILP) is a research area lying at the intersection of inductive machine learning and logic programming.

Ámbito científico (EuroSciVoc)

CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

Datos no disponibles

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

CSC - Cost-sharing contracts

Coordinador

KATHOLIEKE UNIVERSITEIT LEUVEN
Aportación de la UE
Sin datos
Dirección
OUDE MARKT 13
3000 LEUVEN
Bélgica

Ver en el mapa

Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

Sin datos

Participantes (8)

Mi folleto 0 0