Module

Math.Probability.Information.Value

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

#Value Source

data Value

#valueOfInformation Source

valueOfInformation :: forall n prob result choice finding. 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 prob result choice finding. 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 prob result choice. 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 n prob result choice. Ord choice => Ord n => Semiring n => Semiring prob => (result -> Tagged Value n) -> (prob -> Tagged Value n) -> DecisionRule prob choice result

#evMaxValue Source

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

#simpleDecisionTreeValue Source

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

#investigationAndDecisionTreeDecide Source

investigationAndDecisionTreeDecide :: forall prob result choice finding. 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 n prob result choice finding. 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