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 – Semantics
- Semantics of LP vs Semantics of FOL
- Semantics LP defined in terms of minimal Herbrand model
- Only one minimal model
- Semantics FOL defined in terms of First-Order models
- Typically, infinitely many First-Order models
- The minimal Herbrand model is a First-Order model
- Every Herbrand model is a First-Order model
- There exist First-Order models which are not Herbrand models
- Example:
- p(a), p(x) → q(x)
- The Minimal Herbrand model: {p(a), q(a)}
- This is actually the only Herbrand model!
- First-Order models: {p(a), q(a)}, {p(a), q(a), p(b)}, etc.
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.