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.

Some properties of θ-subsumption

  • Example: Equivalence
  • There exist different clauses that are equivalent under θ ­subsumption
    • E.g. parent(X,Y) ← mother(X,Y), mother(X,Z) θ ­subsumes parent(X,Y) ← mother(X,Y) and vice versa
    • Two clauses equivalent under θ ­subsumption are also logically equivalent, i.e. by implication
    • This is used for optimization purposes in practical systems

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.