inductive inference

grammatical inference

inductive relation

A relation R between domains D and E is inductive if for all chains d1 .. dn in D and e1 .. en in E,

 For all i, di R ei  =>  lub(d) R lub(e)

Nearby terms:

inductioninductive inferenceinductive relationIndustrial Programming, Inc.

Try this search on Wikipedia, OneLook, Google