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

  • θ -subsumes is the simplest model of deduction for ILP which regards clauses as sets of (positive and negative) literals

  • A clause c 1 θ -subsumes a clause c 2 if and only if there exists a substitution θ such that c 1 θ c 2

    • c 1 is called a generalisation of c 2 (and c 2 a specialisation of c 1 ) under θ ­subsumption

    • θ -subsumes The θ ­subsumption inductive inference rule is:


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.