Abstract:

Knowledge discovery in databases (KDD) is the process of identifying valid, novel, potentially useful, and ultimately understandable patterns in (often huge) datasets. Data mining is the central step of KDD: the application of computational techniques to find patterns. GUHA is one of the original data mining methods and is based on a special extension of classical logic. In this course we study the mathematical foundations of the GUHA method and LISp-Miner, a computer implementation of GUHA, and look at several real world applications.