Modifier and Type | Class and Description |
---|---|
static class |
ADMMReasoner.InitialValue
Possible starting values for the consensus values.
|
Modifier and Type | Field and Description |
---|---|
static String |
CONFIG_PREFIX
Prefix of property keys used by this class.
|
static float |
EPSILON_ABS_DEFAULT |
static String |
EPSILON_ABS_KEY
Absolute error component of stopping criteria.
|
static float |
EPSILON_REL_DEFAULT |
static String |
EPSILON_REL_KEY
Relative error component of stopping criteria.
|
static String |
INITIAL_CONSENSUS_VALUE_DEFAULT |
static String |
INITIAL_CONSENSUS_VALUE_KEY
The starting value for consensus variables.
|
static String |
INITIAL_LOCAL_VALUE_DEFAULT |
static String |
INITIAL_LOCAL_VALUE_KEY
The starting value for local variables.
|
static int |
MAX_ITER_DEFAULT |
static String |
MAX_ITER_KEY
The maximum number of iterations of ADMM to perform in a round of inference.
|
static boolean |
OBJECTIVE_BREAK_DEFAULT |
static String |
OBJECTIVE_BREAK_KEY
Stop if the objective has not changed since the last logging period (see LOG_PERIOD).
|
static float |
STEP_SIZE_DEFAULT |
static String |
STEP_SIZE_KEY
Step size.
|
Constructor and Description |
---|
ADMMReasoner() |
Modifier and Type | Method and Description |
---|---|
void |
close()
Releases all resources acquired by this Reasoner.
|
float |
getAugmentedLagrangianPenalty() |
double |
getDualIncompatibility(GroundRule groundRule,
ADMMTermStore termStore,
float[] consensusBuffer)
Computes the incompatibility of the local variable copies corresponding to GroundRule groundRule.
|
float |
getEpsilonAbs() |
float |
getEpsilonRel() |
float |
getLagrangianPenalty() |
int |
getMaxIter() |
void |
optimize(TermStore baseTermStore)
Minimizes the total weighted incompatibility of the terms in the provided
TermStore.
|
void |
optimize(TermStore baseTermStore,
ADMMReasoner.InitialValue initialConsensus,
ADMMReasoner.InitialValue initialLocal) |
void |
setEpsilonAbs(float epsilonAbs) |
void |
setEpsilonRel(float epsilonRel) |
void |
setMaxIter(int maxIter) |
public static final String CONFIG_PREFIX
public static final String MAX_ITER_KEY
public static final int MAX_ITER_DEFAULT
public static final String STEP_SIZE_KEY
public static final float STEP_SIZE_DEFAULT
public static final String EPSILON_ABS_KEY
public static final float EPSILON_ABS_DEFAULT
public static final String EPSILON_REL_KEY
public static final float EPSILON_REL_DEFAULT
public static final String OBJECTIVE_BREAK_KEY
public static final boolean OBJECTIVE_BREAK_DEFAULT
public static final String INITIAL_CONSENSUS_VALUE_KEY
public static final String INITIAL_CONSENSUS_VALUE_DEFAULT
public static final String INITIAL_LOCAL_VALUE_KEY
public static final String INITIAL_LOCAL_VALUE_DEFAULT
public int getMaxIter()
public void setMaxIter(int maxIter)
public float getEpsilonRel()
public void setEpsilonRel(float epsilonRel)
public float getEpsilonAbs()
public void setEpsilonAbs(float epsilonAbs)
public float getLagrangianPenalty()
public float getAugmentedLagrangianPenalty()
public void optimize(TermStore baseTermStore)
Reasoner
public void optimize(TermStore baseTermStore, ADMMReasoner.InitialValue initialConsensus, ADMMReasoner.InitialValue initialLocal)
public void close()
Reasoner
public double getDualIncompatibility(GroundRule groundRule, ADMMTermStore termStore, float[] consensusBuffer)
Copyright © 2018 University of California, Santa Cruz. All rights reserved.