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

  • The problem of inductive inference:
    • Given is background (prior) knowledge B and evidence E
    • The evidence E = E+ ∪ E- consists of positive evidence E+ and negative evidence E-
    • The aim is then to find a hypothesis H such that the following conditions hold:
        Prior Satisfiability: B ∪ E- ⊭ □
        Posterior Satisfiability: B ∪ H ∪ E- ⊭ □
        Prior Necessity: B ⊭ E+
        Posterior Sufficiency: B ∪ H ⊧ E+
  • The Sufficiency criterion is sometimes named completeness with regard to positive evidence
  • The Posterior Satisfiability criterion is also known as consistency with the negative evidence
  • In this general setting, background-theory, examples, and hypotheses can be any (well-formed) formula

Speaker notes:

Content Tools


There are currently no sources for this slide.