Learning Logic Formulas from Data

Supervisor
Klaus Truemper - University of Texas at Dallas
Date and time
Tuesday, June 15, 2004 at 5:00 PM
Place
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Maria Paola Bonacina
External reference
Publication date
April 22, 2004
Department
 

Summary

Among the important tools for the formulation of logic-based intelligent systems are methods that extract logic formulas from data. For example, for systems handling credit rating, medical diagnosis, or natural language processing, such extraction methods are very useful. In this talk we present one such method, called Lsquare, for the extraction task. Lsquare supports the derivation of shortest, longest, and optimized formulas. The method requires that the data contain only True/False values. Often, that condition is not satisfied. For example, some values may be rational numbers or elements of finite, but possibly large, sets. We describe a second method, called Cutpoint, that transforms such values to True/False values to which Lsquare can be applied. Finally, we cover some computational results that prove the two methods to be effective and useful.





© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234