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

  • In the non­monotonic setting:
    • The background theory is a set of definite clauses

    • The evidence is empty
      • The positive evidence is considered part of the background theory
      • The negative evidence is derived implicitly, by making the closed world assumption (realized by the minimal Herbrand model)

    • The hypotheses are sets of general clauses expressible using the same alphabet as the background theory

Speaker notes:

Content Tools


There are currently no sources for this slide.