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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.