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
EXPLANATION STRUCTURE CUP (OBJ1 OPEN-VESSEL (OBJ1) STABLE (OBJ1 LIFTABLE (OBJ1 PART-OF (OBJ1, CONCAVITY. 1) IS (OBJ1, LIGHT SA(CONCAVITY.1, CONCAVITY) PART-OF(OBJ1, HANDLE-1) IS(CONCAVITY-1, UPWARD-POINTING ISA(HANDLE-1, HANDLE PART-OF (OBJ1, BOTTOM-1 ISA(BOTTOM-1, BOTTOM) IS (BOTTOM.1, FLAT