Verisyntax — brugermanual (prototype 0.1)

Boolsk Bayes-inferens

Små boolske modeller kan nu skrives direkte:

rain ~ chance(0.30)
sprinkler ~ chance(0.20)

wet_grass:
  if rain and sprinkler: chance(0.99)
  if rain: chance(0.90)
  if sprinkler: chance(0.80)
  otherwise: chance(0.02)

observe wet_grass = true
ask rain

Cases afprøves i kildens rækkefølge; den første matchende case bruges. Derfor skal den mest specifikke case stå først. Hver conditional variable skal have præcis én afsluttende otherwise. Conditions kan bruge not sprinkler for værdien false. Typekontrollen afviser ukendte dependencies, self-dependency, cycles, dublerede observationer og sandsynligheder uden for [0,1].

Kør modellen med:

<compiler>/verisyntax infer <example-project>

Runtime enumererer alle tilstande eksakt for højst 20 boolske variable. Resultatet viser method: exact_enumeration, exact-status, antal variable og tilstande, evidenssandsynlighed og posterior P(true | evidence)/P(false | evidence). Observationer med samlet sandsynlighed nul afvises. Boolsk posterior er en diskret state distribution og kaldes derfor ikke et kontinuerligt HDI.