Packages

class FineDeducerStep[X[_]] extends AnyRef

Monad based step for deducer, to be used, for example, with Monix Task

Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FineDeducerStep
  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 FineDeducerStep(p: FiniteDistribution[Term], ded: FineDeducer = FineDeducer(), param: Param = FineDeducerStep .Param())(implicit samp: TangSamples[X])

    p

    the initial distribution

    ded

    the actual deducer

    param

    the parameters for learning

    samp

    sampler, ie object to efficiently extract samples

Value Members

  1. def derFDX(vec: Vector[(FiniteDistribution[Term], Int)]): X[Vector[(FiniteDistribution[Term], (FiniteDistribution[Term], FiniteDistribution[Typ[Term]]))]]

    tangent samples forward evolved by derivatives as function of samples.

  2. def derivativeFD(tang: FiniteDistribution[Term], n: Int): X[FiniteDistribution[Term]]

    derivative of evolution sampled, as task

  3. lazy val derivativeFDs: X[Vector[(FiniteDistribution[Term], (FiniteDistribution[Term], FiniteDistribution[Typ[Term]]))]]

    tangent samples forward evolved by derivatives (as task).

  4. def derivativePD(tang: FiniteDistribution[Term]): ProbabilityDistribution[Term]

    derivative of evolution as probability distribution

  5. def derivativeTypsFD(tang: FiniteDistribution[Term], n: Int): X[FiniteDistribution[Typ[Term]]]

    derivative of evolution of types sampled, as task

  6. lazy val feedBacks: X[Vector[(FiniteDistribution[Term], Double)]]

    tangents and feedbacks for them

  7. lazy val init: ProbabilityDistribution[Term]

    evolved probability distribution

  8. def newp(np: FiniteDistribution[Term]): FineDeducerStep[[_]X[_]]
  9. def next: X[FineDeducerStep[[_]X[_]]]

    the next FineDeducerStep

  10. lazy val nextFD: X[FiniteDistribution[Term]]

    task for finite distribution on terms after forward evolution and sampling

  11. lazy val nextTypFD: X[FiniteDistribution[Typ[Term]]]

    task for finite distribution on types after forward evolution and sampling

  12. val p: FiniteDistribution[Term]
  13. val param: Param
  14. implicit val samp: TangSamples[X]
  15. lazy val succ: X[FineDeducerStep[[_]X[_]]]

    the next FineDeducerStep

  16. lazy val succFD: X[FiniteDistribution[Term]]

    the initial distribution for the next step

  17. lazy val tangSamples: X[Vector[(FiniteDistribution[Term], Int)]]

    tangent sizes for sampling for backward propagation (as task)

  18. lazy val thmFeedback: X[TheoremFeedback]

    task for TheoremFeedback