AnytimeMetropolisHastings

Instance Constructors

new AnytimeMetropolisHastings(universe: Universe, scheme: ProposalScheme, burnIn: Int, interval: Int, targets: Element[_]*)

burnIn
The number of iterations to run before samples are collected
interval
The number of iterations to perform between collecting samples

Type Members

case class ComputeDistribution[T](target: Element[T]) extends Service with Product with Serializable

A message instructing the handler to compute the distribution of the target element.
case class ComputeExpectation[T](target: Element[T], function: (T) ⇒ Double) extends Service with Product with Serializable

A message instructing the handler to compute the expectation of the target element under the given function
case class ComputeProbability[T](target: Element[T], predicate: (T) ⇒ Boolean) extends Service with Product with Serializable

A message instructing the handler to compute the probability of the predicate for the target element.
case class Distribution[T](distribution: Stream[(Double, T)]) extends Response with Product with Serializable

A message from the handler containing the distribution of the previously requested element.
case class Expectation(expectation: Double) extends Response with Product with Serializable

A message from the handler containing the expected value of the previously requested element and function.
type LastUpdate[T] = (T, Int)

Attributes
protected
Definition Classes
UnweightedSampler
case class Probability(probability: Double) extends Response with Product with Serializable

A message from the handler containing the probability of the previously requested predicate and element.
class Runner extends Actor

A class representing the actor running the algorithm.
type Sample = Map[Element[_], Any]

A sample is a map from elements to their values.
A sample is a map from elements to their values.

Definition Classes
UnweightedSampler
type TimesSeen[T] = Map[T, Int]

Attributes
protected
Definition Classes
UnweightedSampler

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def acceptRejectRatio: Double

Get the acceptance ratio for the sampler
Get the acceptance ratio for the sampler

Definition Classes
MetropolisHastings
var active: Boolean

Attributes
protected
Definition Classes
Algorithm
var allLastUpdates: Map[Element[_], LastUpdate[_]]

Attributes
protected
Definition Classes
UnweightedSampler
var allTimesSeen: Map[Element[_], TimesSeen[_]]

Attributes
protected
Definition Classes
UnweightedSampler
final def asInstanceOf[T0]: T0

Definition Classes
Any
val blockSize: Int

Number of samples that should be taken in a single step of the algorithm.
Number of samples that should be taken in a single step of the algorithm.

Definition Classes
AnytimeSampler
def cleanUp(): Unit

Clean up the sampler, freeing memory.
Clean up the sampler, freeing memory.

Definition Classes
AnytimeMetropolisHastings → Algorithm
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def computeDistribution[T](target: Element[T]): Stream[(Double, T)]

Return an estimate of the marginal probability distribution over the target that lists each element with its probability.
Return an estimate of the marginal probability distribution over the target that lists each element with its probability.

Definition Classes
UnweightedSampler → ProbQueryAlgorithm
def computeExpectation[T](target: Element[T], function: (T) ⇒ Double): Double

Return an estimate of the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the expectation of the function under the marginal probability distribution of the target.

Definition Classes
UnweightedSampler → ProbQueryAlgorithm
def computeProbability[T](target: Element[T], predicate: (T) ⇒ Boolean): Double

Return an estimate of the probability of the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target.

Definition Classes
ProbQueryAlgorithm
var debug: Boolean

Set this flag to true to obtain debugging information
Set this flag to true to obtain debugging information

Definition Classes
MetropolisHastings
def distribution[T](target: Element[T]): Stream[(Double, T)]

Return an estimate of the marginal probability distribution over the target that lists each element with its probability.
Return an estimate of the marginal probability distribution over the target that lists each element with its probability. The result is a lazy stream. It is up to the algorithm how the stream is ordered. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.

Definition Classes
ProbQueryAlgorithm
def doDistribution[T](target: Element[T]): Stream[(Double, T)]

Attributes
protected
Definition Classes
AnytimeProbQuery → ProbQueryAlgorithm
def doExpectation[T](target: Element[T], function: (T) ⇒ Double): Double

Attributes
protected
Definition Classes
AnytimeProbQuery → ProbQueryAlgorithm
def doInitialize(): Unit

Attributes
protected
Definition Classes
MetropolisHastings
def doKill(): Unit

Attributes
protected
Definition Classes
Anytime → Algorithm
def doProbability[T](target: Element[T], predicate: (T) ⇒ Boolean): Double

Attributes
protected
Definition Classes
AnytimeProbQuery → ProbQueryAlgorithm
def doResume(): Unit

Attributes
protected
Definition Classes
Anytime → Algorithm
final def doSample(): Unit

Attributes
protected
Definition Classes
MetropolisHastings → UnweightedSampler → Sampler
def doStart(): Unit

Attributes
protected
Definition Classes
Anytime → Algorithm
def doStop(): Unit

Attributes
protected
Definition Classes
Anytime → Algorithm
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def expectation[T](target: Element[T], function: (T) ⇒ Double): Double

Return an estimate of the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the expectation of the function under the marginal probability distribution of the target. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.

Definition Classes
ProbQueryAlgorithm
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getSampleCount: Int

Number of samples taken.
Number of samples taken.

Definition Classes
UnweightedSampler
def handle(service: Service): Response

A handler of services provided by the algorithm.
A handler of services provided by the algorithm.

Definition Classes
AnytimeProbQuery → Anytime
def hashCode(): Int

Definition Classes
AnyRef → Any
def initUpdates(): Unit

Attributes
protected
Definition Classes
UnweightedSampler
def initialize(): Unit

Initialize the sampler.
Initialize the sampler.

Definition Classes
AnytimeMetropolisHastings → AnytimeSampler → Algorithm
def isActive: Boolean

Definition Classes
Algorithm
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def kill(): Unit

Kill the algorithm so that it is inactive.
Kill the algorithm so that it is inactive. It will no longer be able to provide answers.Throws AlgorithmInactiveException if the algorithm is not active.

Definition Classes
Algorithm
def mean(target: Element[Double]): Double

Return the mean of the probability density function for the given continuous element
Return the mean of the probability density function for the given continuous element

Definition Classes
ProbQueryAlgorithm
final def mhStep(): State

Attributes
protected
Definition Classes
MetropolisHastings
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newLastUpdate[T](target: Element[T]): (T, Int)

Attributes
protected
Definition Classes
UnweightedSampler
def newTimesSeen[T](target: Element[T]): TimesSeen[T]

Attributes
protected
Definition Classes
UnweightedSampler
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def posteriorElement[T](target: Element[T], universe: Universe = Universe.universe): Element[T]

Return an element representing the posterior probability distribution of the given element
Return an element representing the posterior probability distribution of the given element

Definition Classes
ProbQueryAlgorithm
def probability[T](target: Element[T], value: T): Double

Return an estimate of the probability that the target produces the value.
Return an estimate of the probability that the target produces the value. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.

Definition Classes
ProbQueryAlgorithm
def probability[T](target: Element[T], predicate: (T) ⇒ Boolean): Double

Return an estimate of the probability of the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.

Definition Classes
ProbQueryAlgorithm
lazy val queryTargets: List[Element[_]]

Definition Classes
UnweightedSampler → ProbQueryAlgorithm
def resetCounts(): Unit

Attributes
protected
Definition Classes
UnweightedSampler → Sampler
def resume(): Unit

Resume the computation of the algorithm, if it has been stopped.
Resume the computation of the algorithm, if it has been stopped. Throws AlgorithmInactiveException if the algorithm is not active.

Definition Classes
Algorithm
def runStep(): Unit

Run a single step of the algorithm.
Run a single step of the algorithm. The algorithm must be able to provide answers after each step.

Definition Classes
AnytimeSampler → Anytime
var runner: Runner

The actor running the algorithm.
The actor running the algorithm.

Attributes
protected
Definition Classes
Anytime
final def sample(): (Boolean, Sample)

Produce a single sample.
Produce a single sample.

Definition Classes
MetropolisHastings → UnweightedSampler
var sampleCount: Int

Attributes
protected
Definition Classes
UnweightedSampler
def start(): Unit

Start the algorithm and make it active.
Start the algorithm and make it active. After it returns, the algorithm must be ready to provide answers. Throws AlgorithmActiveException if the algorithm is already active.

Definition Classes
Algorithm
def stop(): Unit

Stop the algorithm from computing.
Stop the algorithm from computing. The algorithm is still ready to provide answers after it returns. Throws AlgorithmInactiveException if the algorithm is not active.

Definition Classes
Algorithm
def stopUpdate(): Unit

Override the stopUpdate function in anytime to call the sampler update function
Override the stopUpdate function in anytime to call the sampler update function

Definition Classes
AnytimeSampler → Anytime
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def test(numSamples: Int, predicates: Seq[Predicate[_]], elementsToTrack: Seq[Element[_]]): (Double, Map[Predicate[_], Double], Map[Element[_], Double])

Test Metropolis-Hastings by repeatedly running a single step from the same initial state.
Test Metropolis-Hastings by repeatedly running a single step from the same initial state. For each of a set of predicates, the fraction of times the predicate is satisfied by the resulting state is returned. By the resulting state, we mean the new state if it is accepted and the original state if not.

Definition Classes
MetropolisHastings
def toString(): String

Definition Classes
AnyRef → Any
def update(): Unit

Attributes
protected
Definition Classes
UnweightedSampler → Sampler
def updateTimesSeenForTarget[T](elem: Element[T], newValue: T): Unit

Attributes
protected
Definition Classes
UnweightedSampler
def updateTimesSeenWithValue[T](value: T, timesSeen: TimesSeen[T], seen: Int): Unit

Attributes
protected
Definition Classes
UnweightedSampler
def variance(target: Element[Double]): Double

Return the variance of the probability density function for the given continuous element
Return the variance of the probability density function for the given continuous element

Definition Classes
ProbQueryAlgorithm
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

class AnytimeMetropolisHastings extends MetropolisHastings with AnytimeProbQuerySampler

Instance Constructors

new AnytimeMetropolisHastings(universe: Universe, scheme: ProposalScheme, burnIn: Int, interval: Int, targets: Element[_]*)

Type Members

case class ComputeDistribution[T](target: Element[T]) extends Service with Product with Serializable

case class ComputeExpectation[T](target: Element[T], function: (T) ⇒ Double) extends Service with Product with Serializable

case class ComputeProbability[T](target: Element[T], predicate: (T) ⇒ Boolean) extends Service with Product with Serializable

case class Distribution[T](distribution: Stream[(Double, T)]) extends Response with Product with Serializable

case class Expectation(expectation: Double) extends Response with Product with Serializable

type LastUpdate[T] = (T, Int)

case class Probability(probability: Double) extends Response with Product with Serializable

class Runner extends Actor

type Sample = Map[Element[_], Any]

type TimesSeen[T] = Map[T, Int]

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def acceptRejectRatio: Double

var active: Boolean

var allLastUpdates: Map[Element[_], LastUpdate[_]]

var allTimesSeen: Map[Element[_], TimesSeen[_]]

final def asInstanceOf[T0]: T0

val blockSize: Int

def cleanUp(): Unit

def clone(): AnyRef

def computeDistribution[T](target: Element[T]): Stream[(Double, T)]

def computeExpectation[T](target: Element[T], function: (T) ⇒ Double): Double

def computeProbability[T](target: Element[T], predicate: (T) ⇒ Boolean): Double

var debug: Boolean

def distribution[T](target: Element[T]): Stream[(Double, T)]

def doDistribution[T](target: Element[T]): Stream[(Double, T)]

def doExpectation[T](target: Element[T], function: (T) ⇒ Double): Double

def doInitialize(): Unit

def doKill(): Unit

def doProbability[T](target: Element[T], predicate: (T) ⇒ Boolean): Double

def doResume(): Unit

final def doSample(): Unit

def doStart(): Unit

def doStop(): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def expectation[T](target: Element[T], function: (T) ⇒ Double): Double

def finalize(): Unit

final def getClass(): Class[_]

def getSampleCount: Int

def handle(service: Service): Response

def hashCode(): Int

def initUpdates(): Unit

def initialize(): Unit

def isActive: Boolean

final def isInstanceOf[T0]: Boolean

def kill(): Unit

def mean(target: Element[Double]): Double

final def mhStep(): State

final def ne(arg0: AnyRef): Boolean

def newLastUpdate[T](target: Element[T]): (T, Int)

def newTimesSeen[T](target: Element[T]): TimesSeen[T]

final def notify(): Unit

final def notifyAll(): Unit

def posteriorElement[T](target: Element[T], universe: Universe = Universe.universe): Element[T]

def probability[T](target: Element[T], value: T): Double

def probability[T](target: Element[T], predicate: (T) ⇒ Boolean): Double

lazy val queryTargets: List[Element[_]]

def resetCounts(): Unit

def resume(): Unit

def runStep(): Unit

var runner: Runner

final def sample(): (Boolean, Sample)

var sampleCount: Int

def start(): Unit

def stop(): Unit

def stopUpdate(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def test(numSamples: Int, predicates: Seq[Predicate[_]], elementsToTrack: Seq[Element[_]]): (Double, Map[Predicate[_], Double], Map[Element[_], Double])

def toString(): String

def update(): Unit