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:
