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

Sources

There are currently no sources for this slide.