probability-0.2.5: Probabilistic Functional Programming

Safe HaskellSafe-Inferred
LanguageHaskell98

Numeric.Probability.Example.Alarm

Contents

Synopsis

Documentation

type Probability = Rational Source

type Dist a = T Probability a Source

type PBool = T Probability Bool Source

flp :: Probability -> PBool Source

Numeric.Probability.Example.Alarm network

b :: PBool Source

prior burglary 1%

e :: PBool Source

prior earthquake 0.1%

a :: Bool -> Bool -> PBool Source

conditional probability of alarm given burglary and earthquake

j :: Bool -> PBool Source

conditional probability of john calling given alarm

m :: Bool -> PBool Source

conditional probability of mary calling given alarm

data Burglary Source

calculate the full joint distribution

Constructors

B 

Fields

burglary :: Bool
 
earthquake :: Bool
 
alarm :: Bool
 
john :: Bool
 
mary :: Bool
 

Instances

bJoint :: Dist Burglary Source

pmj :: Probability Source

what is the probability that mary calls given that john calls?