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.
Logic Programming - Reasoning Tasks
- The typical reasoning task for LP systems is query answering
- Ground queries, i.e. ?- loves(Mary, Joe)
-
Non-ground query, i.e. ?- loves(Mary, x)
- Non-ground queries can be reduced to a series of ground queries
- ?- loves(Mary, x)
-
Replace x by every possible value
- In Logic Programming ground queries are equivalent to entailment of facts
- Answering ?- loves(Mary, Joe) w.r.t. a knowledge base A is equivalent to checking
A ⊧ loves(Mary, Joe)
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.