Home
Project JEDI

Title

JEDI - a Joint Environment for Deduction and Induction - and its application over spatial data

Reference

PTDC/EIA/66924/2006

Starting Date

January 2008

Funding Entity

FCT

Funding Value

199.725,00 Euros

Duration

36 months

Goals

The main objective of this project is to obtain a novel logic programming environment that combines deduction with induction, offering a novel and state-of-the-art solution for spatial data handling in all of its aspects, namely: spatial data modeling, spatial query languages and spatial data-mining. The project will also develop and implement real-world applications, such as the study of biodiversity and wildfires, supported by JEDI. We expect our major contributions to be:
  • The proposal of combining LP with ILP in a single programming environment, allowing the ILP paradigm to be explored as compilation technology.
  • The implementation of Relational-ILP based on deductive database methodology, using the common denominator of logic.
  • The proposal of logic programming for the handling of spatial data and the development of such a LP system.
  • A formal extension of the deductive database paradigm to a spatial deductive database paradigm and the development of a novel spatial datalog query language.

Keywords

Implementation of Logic Programming Systems
Inductive Logic Programming
Spatial Databases
Spatial Data Mining