Flattening and saturation: Two representation changes for generalization. (English) Zbl 0804.68024

Summary: Two representation changes are presented: the first one called flattening, transforms a first-order logic program with function symbols into an equivalent logic program without function symbols; the second one, called saturation, completes an example description with relevant information with respect to both the example and available background knowledge. The properties of these two representation changes are analyzed as well as their influence on a generalization algorithm that takes a single example as input.


68N17 Logic programming
68T05 Learning and adaptive systems in artificial intelligence
Full Text: DOI