A MINSAT Approach for Learning in Logic Domains

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 in...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	INFORMS journal on computing 2002-12, Vol.14 (1), p.20-36
Hauptverfasser:	Felici, Giovanni, Truemper, Klaus
Format:	Artikel
Sprache:	eng
Schlagworte:	Inductive Inference Learning Logic Programming Methods Minimum-Cost Satisfiability Problem Supervised Learning
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!