Module

Math.Probability.Information.Value

Package
purescript-value-of-information
Repository
colehaus/purescript-value-of-information

#Value Source

data Value

#valueOfInformation Source

valueOfInformation :: forall finding choice result prob n. Ord finding => Ord choice => Ord result => Ord n => Bounded prob => Semigroup prob => Semiring prob => Ring n => (result -> Tagged Value n) -> DecisionRule prob choice result -> ValuationRule prob n -> InvestigationAndDecisionTree prob finding choice result -> Tagged Value n

#forget Source

forget :: forall finding choice result prob. Ord choice => Ord finding => Ord result => Bounded prob => Semigroup prob => Semiring prob => InvestigationAndDecisionTree prob finding choice result -> SimpleDecisionTree prob choice result

#perfect Source

perfect :: forall choice result prob. Ord result => Ord choice => Bounded prob => EuclideanRing prob => Semigroup prob => SimpleDecisionTree prob choice result -> InvestigationAndDecisionTree prob (NonEmpty Map choice result) choice result

#DecisionRule Source

type DecisionRule prob choice result = SimpleDecisionTree prob choice result -> choice

#ValuationRule Source

type ValuationRule prob n = Dist prob (Tagged Value n) -> Tagged Value n

#evMaxDecide Source

evMaxDecide :: forall choice result prob n. Ord choice => Ord n => Semiring n => Semiring prob => (result -> Tagged Value n) -> (prob -> Tagged Value n) -> DecisionRule prob choice result

#evMaxValue Source

evMaxValue :: forall prob n. Ord n => Semiring n => Semiring prob => (prob -> Tagged Value n) -> ValuationRule prob n

#simpleDecisionTreeValue Source

simpleDecisionTreeValue :: forall choice result prob n. Ord choice => (result -> Tagged Value n) -> DecisionRule prob choice result -> ValuationRule prob n -> SimpleDecisionTree prob choice result -> Tagged Value n

#investigationAndDecisionTreeDecide Source

investigationAndDecisionTreeDecide :: forall finding choice result prob. Ord finding => Ord choice => Ord result => Ord prob => Semiring prob => DecisionRule prob choice result -> InvestigationAndDecisionTree prob finding choice result -> NonEmpty Map finding choice

#investigationAndDecisionTreeValue Source

investigationAndDecisionTreeValue :: forall finding choice result prob n. Ord finding => Ord choice => Ord result => Ord n => Bounded prob => Semigroup prob => Semiring prob => (result -> Tagged Value n) -> DecisionRule prob choice result -> ValuationRule prob n -> InvestigationAndDecisionTree prob finding choice result -> Tagged Value n