Packages

class EvolverEquations[F] extends AnyRef

variables for probabilities and equations for consistency

Linear Supertypes
AnyRef, Any
Known Subclasses
TermLearner
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EvolverEquations
  2. AnyRef
  3. 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 EvolverEquations(supp: EvolverSupport, prob: (EvolverVariables) => F)(implicit field: Field[F], trig: Trig[F])

Value Members

  1. lazy val consistencyCost: F

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

  2. 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.

  3. def contextConsistency(context: Vector[Term]): Vector[(F, F)]

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

  4. implicit val field: Field[F]
  5. 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

  6. lazy val genEntropy: F

    the entropy of the generating distribution

  7. def hasTyp(typ: Typ[Term], context: Vector[Term]): F

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

  8. 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

  9. def initProb(t: Term): F

    probability of t in the initial distribution

  10. def isFuncP(context: Vector[Term]): F

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

  11. 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

  12. def isTypP(context: Vector[Term]): F

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

  13. 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

  14. lazy val kullbackLeibler: F

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

  15. def proofProb(thm: Typ[Term]): F

    total probability of the proof of a theorem

  16. def thmProb(thm: Typ[Term]): F

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

  17. def totFinalProb(terms: Set[Term], context: Vector[Term]): F

    total final probability in context

  18. lazy val totInitProbOne: (F, F)

    the equation saying that the total initial probability is 1.

  19. def totProbOne(context: Vector[Term]): (F, F)

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

  20. lazy val totThmProb: F

    total probability of all theorems