Logic-based knowledge discovery in databases

We report here the vision of the Pisa KDD Laboratory, a joint effort of University of Pisa and Italian National Research Council - a research group operating in the area of data mining and knowledge discovery in databases. We first advocate the need of a logic-based knowledge discovery support environment, capable of integrating knowledge extraction and knowledge manipulation. It is our conviction that a high degree of flexibility and expressiveness is needed to support the process of knowledge discovery in databases in most challenging data analysis applications. The KDD Laboratory is developing a data mining query language, which deals effectively and uniformly with data preparation, model extraction and model evaluation and analysis, thus providing a powerful formalism where methodologies for classes of challenging applications can be conveniently designed.