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 – Definite Semantics

  • An additional restriction in addition to those of the definite semantics is to only allow true and false ground facts as examples (evidence)
  • This is called the example setting
    • The example setting is the main setting employed by ILP systems
    • Only allows factual and not causal evidence (which usually captures more knowledge)
  • Example:
    • B: grandfather(X, Y) ← father(X, Z), parent(Z, Y)
          father(henry, jane) ←
          etc.
    • E: grandfather(henry, john) ←
          grandfather(henry, alice) ←
  • Not allowed in example setting:
    • ← grandfather(X, X)     [Not allowed in definite semantics]
      grandfather(henry, john) ← father(henry, jane), mother(jane, john)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.