Kulitta.Learning.InsideOutside

Documentation

type RuleIndex = Int

type TStr a = [a]

type TCell a = [TRuleInst a]

type TParse a = [[TCell a]]

data TRuleInst a

Constructors

TRuleInst RuleIndex a (TStr a)

Instances

Eq a => Eq (TRuleInst a)

Defined in Kulitta.Learning.InsideOutside

Methods

(==) :: TRuleInst a -> TRuleInst a -> Bool

(/=) :: TRuleInst a -> TRuleInst a -> Bool

Show a => Show (TRuleInst a)

Defined in Kulitta.Learning.InsideOutside

Methods

showsPrec :: Int -> TRuleInst a -> ShowS

show :: TRuleInst a -> String

showList :: [TRuleInst a] -> ShowS

rule :: TRuleInst a -> RuleIndex

lhs :: TRuleInst a -> a

rhs :: TRuleInst a -> TStr a

data TOracle a

Constructors

TOracle [Double] a [[RuleIndex]] ([a] -> [TRuleInst a])

phis :: TOracle a -> [Double]

startSym :: TOracle a -> a

ruleGroups :: TOracle a -> [[RuleIndex]]

findByRHS :: TOracle a -> [a] -> [TRuleInst a]

makeAlphas :: Eq a => TOracle a -> TStr a -> [Alpha a]

makeBetas :: Eq a => TOracle a -> [Alpha a] -> TStr a -> [Beta a]

learnProbs :: (Eq a, Show a) => TOracle a -> [TStr a] -> Int -> Double -> Double -> IO [[Double]]

qNew :: Eq a => TOracle a -> [(TStr a, [Alpha a], [Beta a])] -> RuleIndex -> Double

uniQs :: [[RuleIndex]] -> [Double]

randQs :: [[RuleIndex]] -> StdGen -> [Double]

printTable :: Show a => TParse a -> IO ()