probability-0.2.1: Probabilistic Functional Programming Contents Index

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

type Dist a = T Probability a

type PBool = T Probability Bool

flp :: Probability -> PBool

Numeric.Probability.Example.Alarm network

b :: PBool

prior burglary 1%

e :: PBool

prior earthquake 0.1%

a :: Bool -> Bool -> PBool

conditional probability of alarm given burglary and earthquake

j :: Bool -> PBool

conditional probability of john calling given alarm

m :: Bool -> PBool

conditional probability of mary calling given alarm

data Burglary

calculate the full joint distribution Constructors B burglary :: Bool earthquake :: Bool alarm :: Bool john :: Bool mary :: Bool Instances Eq Burglary Ord Burglary Show Burglary

bJoint :: Dist Burglary

pmj :: Probability

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

Produced by Haddock version 2.1.0