例子,表11-1分析学习问题: SafeTostack(x,y) 已知 实例空间X:每个实例描述一对物理对象,它们由谓词 Color, olume, Owner, Material, Type, Density描述,它们之间的关系用谓词On描述 假设空间H:每个假设是一组Homn子句规则。每个Homn子句的头部为一个包 含目标谓词 Safe ToStack的文字,每个Homn子句为文字的合取,这些文字基于 描述实例的谓词以及谓词 Less than, Equal, Greater Than和函数plus, minus和 time,如下例 SafeTo Stack(xy)< Volume(x,wx)∧ Volume(ywy) Less than(w 目标概念:谓词 Safe ToStack(x y),表示两个物理对象,一个可被安全地叠放 在另一个上 训练样例:下面显示了一个典型的正例 Safe To Stack(obj l,Ob2) On(Obj 1, obj2) Owner(Obj l, fred Type(Obj l, Box Owner(Obj2, Louise) 领域理论B: Safe ToStack(x, y)<- Fragilely Safe ToStack(x, y)<Lighter(x, y) 求解 H中一个与训练样例和领域理论一致的假设 203.12.18机器学习-分析学习作者: Mitchel译者:曾华军等讲者:陶晓鹏2003.12.18 机器学习-分析学习作者：Mitchell 译者：曾华军等讲者：陶晓鹏 7 例子，表11-1分析学习问题：SafeToStack(x,y) • 已知 – 实例空间X：每个实例描述一对物理对象，它们由谓词Color, Volume, Owner, Material, Type, Density描述，它们之间的关系用谓词On描述 – 假设空间H：每个假设是一组Horn子句规则。每个Horn子句的头部为一个包 含目标谓词SafeToStack的文字，每个Horn子句为文字的合取，这些文字基于 描述实例的谓词以及谓词LessThan, Equal, GreaterThan和函数plus, minus和 time，如下例SafeToStack(x,y)Volume(x,vx)Volume(y,vy)LessThan(vx,vy) – 目标概念：谓词SafeToStack(x,y)，表示两个物理对象，一个可被安全地叠放 在另一个上 – 训练样例：下面显示了一个典型的正例SafeToStack(Obj1,Obj2)： On(Obj1,Obj2) Owner(Obj1,Fred) Type(Obj1,Box) Owner(Obj2,Louise) ... – 领域理论B： SafeToStack(x,y)Fragile(y) SafeToStack(x,y)Lighter(x,y) ... • 求解 – H中一个与训练样例和领域理论一致的假设