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

  • θ ­subsumption has a range of relevant properties

 

  • Example: Implication
  • If c 1 θ -subsumes c 2, then c 1 c 2
    • Example: See previous slide

 

  • This property is relevant because typical ILP systems aim at deriving a hypothesis H (a set of clauses) that implies the facts in conjunction with a background theory B, i.e. B ∪ H ⊧ E+
    • Because of the implication property, this is achieved when all the clauses in E+ are θ -subsumed by clauses in B ∪ H

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.