Packages

t

provingground.learning

EvolverSupport

trait EvolverSupport extends AnyRef

Support of the final distribution of an evolver, i.e., a generative model for terms

Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EvolverSupport
  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

Abstract Value Members

  1. abstract val genTermSet: Set[Term]

    terms in the initial distribution

  2. abstract val termSet: Set[Term]

    terms in the final distribution

  3. abstract val typSet: Set[Typ[Term]]

    types in the final distribution

Concrete Value Members

  1. lazy val baseContexts: Vector[Vector[Term]]

    a basis for contexts, i.e., enumeration up to equality under change of variables

  2. lazy val contextTermVec: Vector[(Term, Vector[Term])]

    vector of terms in the basis contexts

  3. implicit val dim: JetDim
  4. def inBaseContext(term: Term, context: Vector[Term]): Option[(Term, Vector[Term])]

    project term onto some sontext in the basis.

    project term onto some sontext in the basis.

    returns

    optional pair (term in basis context, basis context)

  5. implicit val jetField: Field[Jet[Double]]
  6. def spireGradShifted(p: Map[EvolverVariables, Double], cost: Jet[Double], epsilon: Double): Map[EvolverVariables, Double]
  7. def spireLearner(p: Map[EvolverVariables, Double], apIn: ApplnInverse): TermLearner[Jet[Double]]

    TermLearner for evolution with spire.

  8. def spireProb(p: Map[EvolverVariables, Double]): Map[EvolverVariables, Jet[Double]]

    exponential multiplicative tangent jet of values of evolver variables

  9. def spireUpdate(p: Map[EvolverVariables, Double], tang: Vector[Double]): Map[EvolverVariables, Double]
  10. def termSetInContext(context: Vector[Term]): Set[Term]
  11. lazy val thmSet: Set[Typ[Term]]

    the set of theorems, i.e., types (in the final distribution) that are inhabited

  12. def typSetInContext(context: Vector[Term]): Set[Typ[Term]]
  13. lazy val variableIndex: Map[EvolverVariables, Int]

    map from formal variable to its index

  14. lazy val variablesVector: Vector[EvolverVariables]

    vector of (formal) variables; assumes standard evolver for simplicity