Package | Description |
---|---|
org.linqs.psl.application.inference | |
org.linqs.psl.application.learning.weight | |
org.linqs.psl.reasoner |
Provides interfaces and classes for performing probabilistic inference over
Atoms . |
org.linqs.psl.reasoner.admm | |
org.linqs.psl.reasoner.admm.term | |
org.linqs.psl.reasoner.bool | |
org.linqs.psl.reasoner.term | |
org.linqs.psl.reasoner.term.blocker |
Modifier and Type | Field and Description |
---|---|
protected TermStore |
InferenceApplication.termStore |
Modifier and Type | Method and Description |
---|---|
TermStore |
InferenceApplication.getTermStore() |
Modifier and Type | Method and Description |
---|---|
static void |
LazyMPEInference.inference(List<Rule> rules,
Reasoner reasoner,
GroundRuleStore groundRuleStore,
TermStore termStore,
TermGenerator termGenerator,
LazyAtomManager lazyAtomManager,
int maxRounds)
Do the full MPE inference process.
|
Modifier and Type | Field and Description |
---|---|
protected TermStore |
WeightLearningApplication.latentTermStore |
protected TermStore |
WeightLearningApplication.termStore |
Modifier and Type | Method and Description |
---|---|
void |
WeightLearningApplication.initGroundModel(Reasoner reasoner,
GroundRuleStore groundRuleStore,
TermStore termStore,
TermGenerator termGenerator,
PersistedAtomManager atomManager,
TrainingMap trainingMap)
Pass in all the ground model infrastructure.
|
Modifier and Type | Method and Description |
---|---|
void |
ExecutableReasoner.optimize(TermStore termStore) |
void |
Reasoner.optimize(TermStore termStore)
Minimizes the total weighted incompatibility of the terms in the provided
TermStore.
|
protected abstract void |
ExecutableReasoner.readResults(BufferedReader resultsReader,
TermStore termStore) |
protected abstract void |
ExecutableReasoner.writeModel(BufferedWriter modelWriter,
TermStore termStore) |
Modifier and Type | Method and Description |
---|---|
void |
ADMMReasoner.optimize(TermStore baseTermStore) |
void |
ADMMReasoner.optimize(TermStore baseTermStore,
ADMMReasoner.InitialValue initialConsensus,
ADMMReasoner.InitialValue initialLocal) |
Modifier and Type | Class and Description |
---|---|
class |
ADMMTermStore
A TermStore specifically for ADMM terms.
|
Modifier and Type | Method and Description |
---|---|
int |
ADMMTermGenerator.generateTerms(GroundRuleStore ruleStore,
TermStore<ADMMObjectiveTerm> termStore) |
void |
ADMMTermGenerator.updateWeights(GroundRuleStore ruleStore,
TermStore<ADMMObjectiveTerm> termStore) |
Constructor and Description |
---|
ADMMTermStore(TermStore<ADMMObjectiveTerm> store) |
Modifier and Type | Method and Description |
---|---|
void |
BooleanMaxWalkSat.optimize(TermStore termStore) |
void |
BooleanMCSat.optimize(TermStore termStore) |
Modifier and Type | Class and Description |
---|---|
class |
MemoryTermStore<E extends Term> |
Modifier and Type | Method and Description |
---|---|
int |
TermGenerator.generateTerms(GroundRuleStore ruleStore,
TermStore<E> termStore)
Use the ground rules in |ruleStore| to generate optimization terms and populate |termStore|.
|
void |
TermGenerator.updateWeights(GroundRuleStore ruleStore,
TermStore<E> termStore)
Use the ground rules in |ruleStore| to update the weights in the term store.
|
Modifier and Type | Class and Description |
---|---|
class |
ConstraintBlockerTermStore
A TermStore to hold blocks.
|
Modifier and Type | Method and Description |
---|---|
int |
ConstraintBlockerTermGenerator.generateTerms(GroundRuleStore ruleStore,
TermStore<ConstraintBlockerTerm> termStore) |
void |
ConstraintBlockerTermGenerator.updateWeights(GroundRuleStore ruleStore,
TermStore<ConstraintBlockerTerm> termStore) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.