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: