Table 3.The CUP generalization problem after Winston et al. ( 1983) Given Goal Concept: Class of objects, x, such that CUP(x),where CUP(x)+ LIFTABLE(x)A STABLE(x)A OPEN-VESSEL(x) ng Example OWNER(OBJl, EDGAR) PART-OF(OBJ1, CONCAVITY-1) IS(OBJ1, LIGHT) · Domain Theory IS(x, LIGHT)A PART-OF(, y) A ISA(y, HANDLE)+ LIFTABLE(x) PART-OF(x, y)A ISA(y, BOTTOM)A IS(y, FLAT+ STABLE(x) PART-OF(x, y)A ISA(y, CONCAVITY)A IS(y, UPWARD-POINTING+ OPEN-VESSEL(x) Operationality Criterion: Concept definition must be expressed in terms of structural features used in describing examples(e. g, LIGHT, HANDLE, FLAT, etc. ) Determine A generalization of training example that is a sufficient concept definition for the goal concept and that satisfies the operationality criterion