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.
Model Theory – Non-monotonic Semantics (3)
- Example for B (definite clauses):
-
male(luc) ←
-
female(lieve) ←
-
human(lieve) ←
-
human(luc) ←
- A possible solution is then H (a set of general clauses):
-
← female(X), male(X)
-
human(X) ← male(X)
-
human(X) ← female(X)
-
female(X), male(X) ← human(X)
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.