Packages

case class Deducer(applnWeight: Double = 0.2, lambdaWeight: Double = 0.2, piWeight: Double = 0.2, varWeight: Double = 0.3, vars: Vector[Weighted[Term]] = Vector(), propDecay: Double = 0.5, cutoff: Double = 0.01, feedbackScale: Double = 0.1, abstractionWeight: Double = 0.3, genMemory: Double = 0.8) extends Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Deducer
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. 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 Deducer(applnWeight: Double = 0.2, lambdaWeight: Double = 0.2, piWeight: Double = 0.2, varWeight: Double = 0.3, vars: Vector[Weighted[Term]] = Vector(), propDecay: Double = 0.5, cutoff: Double = 0.01, feedbackScale: Double = 0.1, abstractionWeight: Double = 0.3, genMemory: Double = 0.8)

Type Members

  1. class BufferedRun extends AnyRef
  2. type Prob = (Term) => Double
  3. class Sampler extends AnyRef

Value Members

  1. def absFD(fd: FiniteDistribution[Term]): FiniteDistribution[Term]
  2. def abstractTyps(typ: Typ[Term]): Typ[Term]
  3. val abstractionWeight: Double
  4. val applnWeight: Double
  5. def backProp(epsilon: Double, invImage: (Term) => Set[(Term, Term)])(fd: Prob): (TruncatedDistribution[Term]) => TruncatedDistribution[Term]
  6. val cutoff: Double
  7. val feedbackScale: Double
  8. def funcUniProp(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob, invImage: (Term) => Set[(Term, Term)])(td: TruncatedDistribution[Term]): TruncatedDistribution[Term]
  9. def funcUniPropTerm(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob, invImage: (Term) => Set[(Term, Term)]): (Term) => TruncatedDistribution[Term]
  10. val genMemory: Double
  11. def getAbstractTheorems: FiniteDistribution[Typ[Term]]
  12. def getAbstractTheoremsByProofs: FiniteDistribution[Typ[Term]]
  13. def getElapsedTime: Long
  14. def getFeedback: FiniteDistribution[Term]
  15. def getLoops: Int
  16. def getProofs(absTyp: Typ[Term]): FiniteDistribution[Term]

    proofs of an abstracted theorem

  17. def getSample(pd: ProbabilityDistribution[Term], n: Int, accum: InvMap = Vector()): TermPopulation
  18. def lambdaFD(fd: Prob)(variable: Term): (Term) => Double

    given a truncated distribution of terms and a type, returns the truncated distribution of values of lambda terms of that type; with variable in the values from the above variable object

  19. def lambdaProb(prob: Prob)(variable: Term): Prob
  20. def lambdaPropValues(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob)(td: TruncatedDistribution[Term]): TruncatedDistribution[Term]
  21. def lambdaPropValuesTerm(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob): (Term) => TruncatedDistribution[Term]
  22. def lambdaPropVar(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob)(td: TruncatedDistribution[Term]): TruncatedDistribution[Term]
  23. def lambdaPropVarTerm(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob): (Term) => TruncatedDistribution[Term]
  24. val lambdaWeight: Double
  25. def learnerNextDistribution(fd: FiniteDistribution[Term], theorems: FiniteDistribution[Typ[Term]], n: Int, memory: Boolean = true, accum: InvMap = Vector(), smooth: (FiniteDistribution[Term]) => FiniteDistribution[Term] = identity): (FiniteDistribution[Term], InvMap)
  26. def nextDistribution(fd: FiniteDistribution[Term], n: Int, memory: Boolean = true, accum: InvMap = Vector(), smooth: (FiniteDistribution[Term]) => FiniteDistribution[Term] = identity): (FiniteDistribution[Term], InvMap)
  27. def piFD(fd: Prob)(variable: Term): Prob
  28. def piPropValues(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob)(td: TruncatedDistribution[Term]): TruncatedDistribution[Term]
  29. def piPropValuesTerm(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob): (Term) => TruncatedDistribution[Term]
  30. def piPropVar(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob)(td: TruncatedDistribution[Term]): TruncatedDistribution[Term]
  31. def piPropVarTerm(backProp: => (Prob) => (TruncatedDistribution[Term]) => TruncatedDistribution[Term])(fd: Prob): (Term) => TruncatedDistribution[Term]
  32. val piWeight: Double
  33. def productElementNames: Iterator[String]
    Definition Classes
    Product
  34. val propDecay: Double
  35. def shiftFD(popln: TermPopulation, cumApplnInv: InvMap = Vector()): FiniteDistribution[Term]
  36. def shifted(fd: FiniteDistribution[Term], td: TruncatedDistribution[Term]): FiniteDistribution[Term]
  37. val varWeight: Double
  38. val vars: Vector[Weighted[Term]]
  39. object absBucket extends WeightedTermBucket
  40. object bucket extends TermBucket