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 (5)

  • Example setting:
    • An acceptable hypothesis H1 would be
          flies(X) ← bird(X)
    • It is acceptable because if fulfills the completeness and consistency criteria of the definite semantics
    • This realizes can inductive leap because flies(oliver) is true in
          M + ( B ∪ H ) = { bird(tweety), bird(oliver), flies(tweety), flies(oliver) }
  • Non-monotonic setting:
    • H1 is not a solution since there exists a substitution {X oliver} which makes the clause false in M +( B’ ) (the validity criteria is violated:
          M + ( B’ ) = { bird(tweety), bird(oliver), flies(tweety) }
          {X ← oliver}: flies(oliver) ← bird(oliver)
          {X ← tweety}: flies(tweety) ← bird(tweety)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.