probability-0.2.2: Probabilistic Functional Programming

Numeric.Probability.Example.Alarm

Contents

Numeric.Probability.Example.Alarm network

Synopsis

type Probability = Rational
type Dist a = T Probability a
type PBool = T Probability Bool
flp :: Probability -> PBool
b :: PBool
e :: PBool
a :: Bool -> Bool -> PBool
j :: Bool -> PBool
m :: Bool -> PBool
data Burglary = B {
- burglary :: Bool
- earthquake :: Bool
- alarm :: Bool
- john :: Bool
- mary :: Bool
}
bJoint :: Dist Burglary
pmj :: Probability

Documentation

type Probability = Rational Source

type Dist a = T Probability aSource

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?