Bayes.Evidence

Documentation

data Evidence

Evidence is associated to some node in a network by a string. It carries either an index of the state that we say we have evidence for (hard evidence) or a probability for each state of the node (virtual evidence)

Instances

Eq Evidence

Defined in Bayes.Evidence

Methods

(==) :: Evidence -> Evidence -> Bool

(/=) :: Evidence -> Evidence -> Bool

Ord Evidence

Defined in Bayes.Evidence

Methods

compare :: Evidence -> Evidence -> Ordering

(<) :: Evidence -> Evidence -> Bool

(<=) :: Evidence -> Evidence -> Bool

(>) :: Evidence -> Evidence -> Bool

(>=) :: Evidence -> Evidence -> Bool

max :: Evidence -> Evidence -> Evidence

min :: Evidence -> Evidence -> Evidence

Read Evidence

Defined in Bayes.Evidence

Methods

readsPrec :: Int -> ReadS Evidence

readList :: ReadS [Evidence]

readPrec :: ReadPrec Evidence

readListPrec :: ReadPrec [Evidence]

Show Evidence

Defined in Bayes.Evidence

Methods

showsPrec :: Int -> Evidence -> ShowS

show :: Evidence -> String

showList :: [Evidence] -> ShowS

Semigroup Evidence

Defined in Bayes.Evidence

Methods

(<>) :: Evidence -> Evidence -> Evidence

sconcat :: NonEmpty Evidence -> Evidence

stimes :: Integral b => b -> Evidence -> Evidence

Monoid Evidence

Defined in Bayes.Evidence

Methods

mempty :: Evidence

mappend :: Evidence -> Evidence -> Evidence

mconcat :: [Evidence] -> Evidence

ToXML Evidence

Defined in Bayes.Evidence

Methods

toXML :: Evidence -> XML

listToXML :: [Evidence] -> XML

InXML Evidence

Defined in Bayes.Evidence

Methods

fromXML :: Monad m => XML -> m Evidence

listFromXML :: Monad m => XML -> m [Evidence]

Convertible SqlValue Evidence

Defined in Database.Data

Methods

safeConvert :: SqlValue -> ConvertResult Evidence

Convertible Evidence SqlValue

Defined in Database.Data

Methods

safeConvert :: Evidence -> ConvertResult SqlValue

getIndex :: Node a -> Evidence -> Maybe Int

set :: Node a -> Int -> Evidence -> Evidence

setN :: [Node a] -> [Int] -> Evidence -> Evidence

setId :: String -> Int -> Evidence -> Evidence

clear :: Node a -> Evidence -> Evidence

virtual :: Node a -> [Probability] -> Evidence

addVirtualNodes :: Evidence -> Network () -> Network ()

fromEvidenceTp :: Evidence -> [(String, EvidenceType)]

data EvidenceType

Constructors

Index Int

Virtual [(String, Probability)]

Instances

Eq EvidenceType

Defined in Bayes.Evidence

Methods

(==) :: EvidenceType -> EvidenceType -> Bool

(/=) :: EvidenceType -> EvidenceType -> Bool

Ord EvidenceType

Defined in Bayes.Evidence

Methods

compare :: EvidenceType -> EvidenceType -> Ordering

(<) :: EvidenceType -> EvidenceType -> Bool

(<=) :: EvidenceType -> EvidenceType -> Bool

(>) :: EvidenceType -> EvidenceType -> Bool

(>=) :: EvidenceType -> EvidenceType -> Bool

max :: EvidenceType -> EvidenceType -> EvidenceType

min :: EvidenceType -> EvidenceType -> EvidenceType

Show EvidenceType

Defined in Bayes.Evidence

Methods

showsPrec :: Int -> EvidenceType -> ShowS

show :: EvidenceType -> String

showList :: [EvidenceType] -> ShowS

virtualId :: String -> [(String, Probability)] -> Evidence

filterEvidence :: (String -> Bool) -> Evidence -> Evidence

evidenceMap :: Evidence -> Map String EvidenceType

evStates :: Evidence -> [(String, Double)]

Evidence is recorded as a mapping from node names to probabilities of being in a certain state. This function obtains a pairing of strings of the form "NODE#STATE" to a number from 0 to 1.

hardEvidence :: Evidence -> [(String, Int)]

Obtain the states of the hard evidence.

Evidence

(.==) :: Eq a => Node a -> a -> Evidence

(.=~) :: Eq a => Node a -> [Probability] -> Evidence

Soft evidence counterpart to .==

newEvidence :: String -> Probabilities -> Evidence

Evidence is associated to some node in a network by a string It carries either an index of the state that we say we have evidence of or a probability for each state of the node

evidenceIndex :: String -> Int -> Evidence

fromEvidence :: Evidence -> [(String, Either Int Probabilities)]

allProbabilities :: Evidence -> [(String, String, Rational)]

evidenceOfAbsence :: Eq a => Node a -> a -> Evidence -> Evidence

Set a particular node to a default value if it is absent.

nodeNotSet :: Node a -> Evidence -> Bool

Return true if a node has no state in the given evidence.

nodeIsSet :: Node a -> Evidence -> Bool

nodeSetTo :: Eq a => Node a -> a -> Evidence -> Bool

Query whether a node is in a certain hard state in the evidence.

noVirtuals :: Evidence -> Evidence

isEmpty :: Evidence -> Bool

getNames :: Evidence -> [String]

Probabilities

data Probabilities

Instances

Show Probabilities

Defined in Bayes.Evidence

Methods

showsPrec :: Int -> Probabilities -> ShowS

show :: Probabilities -> String

showList :: [Probabilities] -> ShowS

fromProbabilities :: Probabilities -> [(String, Rational)]

makeProbabilities :: [(String, Rational)] -> Probabilities

findProbability :: Probabilities -> String -> Maybe Rational

probabilitiesFor :: Evidence -> String -> Maybe [(String, Probability)]

Obtain the probabilities for soft evidence at a particular node.

renameEvidence :: (String -> String) -> Evidence -> Evidence