Packages

case class TermLearner[F](supp: EvolverSupport, prob: (EvolverVariables) => F, apInv: ApplnInverse)(implicit evidence$3: Field[F], evidence$4: Trig[F]) extends EvolverEquations[F] with Product with Serializable

Adding equations from a simple generative model to EvolverEquations

Linear Supertypes
Serializable, Product, Equals, EvolverEquations[F], AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermLearner
  2. Serializable
  3. Product
  4. Equals
  5. EvolverEquations
  6. AnyRef
  7. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new TermLearner(supp: EvolverSupport, prob: (EvolverVariables) => F, apInv: ApplnInverse)(implicit arg0: Field[F], arg1: Trig[F])

Value Members

  1. val apInv: ApplnInverse
  2. def appl: F
  3. lazy val consistencyCost: F

    a cost associated to a lack of consistency of the probabilities.

    a cost associated to a lack of consistency of the probabilities.

    Definition Classes
    EvolverEquations
  4. lazy val consistencyEquations: Vector[(F, F)]

    all the equations for consistency of final probabilities in all contexts as well as the total initial probability being 1.

    all the equations for consistency of final probabilities in all contexts as well as the total initial probability being 1.

    Definition Classes
    EvolverEquations
  5. def contextConsistency(context: Vector[Term]): Vector[(F, F)]

    all the equations for consistency of the final distribution for a context

    all the equations for consistency of the final distribution for a context

    Definition Classes
    EvolverEquations
  6. def cost(cnstWt: Double, evWt: Double, klWt: Double, hWt: Double): F

    the total cost, including consistency and entropies

  7. lazy val evolutionCost: F

    cost due to mismatch in the recursive generation equations.

  8. lazy val evolutionEquations: Vector[(F, F)]

    equations for final probabilities being as generated

  9. implicit val field: Field[F]
    Definition Classes
    EvolverEquations
  10. def finalProb(t: Term, context: Vector[Term]): F

    probability of t in the final distribution given a context, this gives the image of the variable obtained by normalizing to a basis context

    probability of t in the final distribution given a context, this gives the image of the variable obtained by normalizing to a basis context

    Definition Classes
    EvolverEquations
  11. def fromAppl(t: Term, context: Vector[Term]): F

    recursive probability that a term is generated by function application

  12. def fromIsland(t: Term, context: Vector[Term]): F

    recursive probability that a term is generated from an island, either lambda or pi; the normalization of the context is done in finalProb

  13. def fromUnApp(t: Term, context: Vector[Term]): F

    recursive probability that a term is generated by unified application

  14. lazy val genEntropy: F

    the entropy of the generating distribution

    the entropy of the generating distribution

    Definition Classes
    EvolverEquations
  15. def hasTyp(typ: Typ[Term], context: Vector[Term]): F

    probability that a term has given type in the final distribution of a context

    probability that a term has given type in the final distribution of a context

    Definition Classes
    EvolverEquations
  16. def hasTypProb(typ: Typ[Term], context: Vector[Term]): (F, F)

    equation saying that the sum of the probabilities of terms with a given type is the probability of the event variable for terms having this type in the probability distribution of a context

    equation saying that the sum of the probabilities of terms with a given type is the probability of the event variable for terms having this type in the probability distribution of a context

    Definition Classes
    EvolverEquations
  17. def initContextProb(t: Term, context: Vector[Term]): F

    probability of a term in the initial distribution in a context

  18. def initProb(t: Term): F

    probability of t in the initial distribution

    probability of t in the initial distribution

    Definition Classes
    EvolverEquations
  19. def initWeight: F
  20. def isFuncP(context: Vector[Term]): F

    probability that a term is a function in the final distribution of a context

    probability that a term is a function in the final distribution of a context

    Definition Classes
    EvolverEquations
  21. def isFuncProb(context: Vector[Term]): (F, F)

    equation saying that the sum of the probabilities of terms that are functions is the probability of the event variable for terms being functions in the probability distribution of a context

    equation saying that the sum of the probabilities of terms that are functions is the probability of the event variable for terms being functions in the probability distribution of a context

    Definition Classes
    EvolverEquations
  22. def isTypP(context: Vector[Term]): F

    probability that a term is a type in the final distribution of a context

    probability that a term is a type in the final distribution of a context

    Definition Classes
    EvolverEquations
  23. def isTypProb(context: Vector[Term]): (F, F)

    equation saying that the sum of the probabilities of terms that are types is the probability of the event variable for terms being types in the probability distribution of a context

    equation saying that the sum of the probabilities of terms that are types is the probability of the event variable for terms being types in the probability distribution of a context

    Definition Classes
    EvolverEquations
  24. lazy val kullbackLeibler: F

    the Kullback-Liebler divergence of the proof probabilities from the theorem probabilities

    the Kullback-Liebler divergence of the proof probabilities from the theorem probabilities

    Definition Classes
    EvolverEquations
  25. def lambdaWeight: F
  26. def piWeight: F
  27. val prob: (EvolverVariables) => F
  28. def productElementNames: Iterator[String]
    Definition Classes
    Product
  29. def proofProb(thm: Typ[Term]): F

    total probability of the proof of a theorem

    total probability of the proof of a theorem

    Definition Classes
    EvolverEquations
  30. def recValue(t: Term, context: Vector[Term]): F

    total recursive probability from a simple generative model

  31. val supp: EvolverSupport
  32. def thmProb(thm: Typ[Term]): F

    probability of a theorem as the probability of its type conditioned on the type being inhabited

    probability of a theorem as the probability of its type conditioned on the type being inhabited

    Definition Classes
    EvolverEquations
  33. def totFinalProb(terms: Set[Term], context: Vector[Term]): F

    total final probability in context

    total final probability in context

    Definition Classes
    EvolverEquations
  34. lazy val totInitProbOne: (F, F)

    the equation saying that the total initial probability is 1.

    the equation saying that the total initial probability is 1.

    Definition Classes
    EvolverEquations
  35. def totProbOne(context: Vector[Term]): (F, F)

    the equation saying that the total probability in the final distribution of a context is 1.

    the equation saying that the total probability in the final distribution of a context is 1.

    Definition Classes
    EvolverEquations
  36. lazy val totThmProb: F

    total probability of all theorems

    total probability of all theorems

    Definition Classes
    EvolverEquations
  37. def unApp: F
  38. def varWeight: F