This paper describes a method for learning logic relationships that correctly classify a given data set. The method derives from given logic data certain minimum cost satisfiability problems, solves these problems, and deduces from the solutions the desired logic relationships. Uses of the method include data mining, learning logic in expert systems, and identification of critical characteristics for recognition systems. Computational tests have proved that the method is fast and effective.

A MINSAT Approach for Learning in Logic Domains

Felici G;
2002

Abstract

This paper describes a method for learning logic relationships that correctly classify a given data set. The method derives from given logic data certain minimum cost satisfiability problems, solves these problems, and deduces from the solutions the desired logic relationships. Uses of the method include data mining, learning logic in expert systems, and identification of critical characteristics for recognition systems. Computational tests have proved that the method is fast and effective.
2002
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
14
20
36
data mining
Inductive Inference
Supervised Learning
Logic Pr
MINSAT
A software code that implements the method described in this paper has been produced and is now integrated in a comprehensive software system freely distributed and used by many researchers in the Data Mining community.
2
info:eu-repo/semantics/article
262
Felici, G; Truemper, K
01 Contributo su Rivista::01.01 Articolo in rivista
none
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/166291
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact