Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

θ-subsumption

  • For example, consider:
      c 1 = { father(X,Y) ← parent(X,Y), male(X) }
      c 2 = { father(jef,paul) ← parent(jef,paul), parent(jef,ann), male(jef), female(ann) }

 

      With θ = {X = jef, Y = paul} c 1 θ ­subsumes c2 because

 

      { father(jef,paul) ← parent(jef, paul), male(jef) }
      father(jef,paul) ← parent(jef,paul), parent(jef,ann), male(jef), female(ann) }

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.