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.bool |
Modifier and Type | Field and Description |
---|---|
protected Reasoner |
InferenceApplication.reasoner |
Modifier and Type | Method and Description |
---|---|
Reasoner |
InferenceApplication.getReasoner() |
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 Reasoner |
WeightLearningApplication.reasoner |
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 | Class and Description |
---|---|
class |
ExecutableReasoner
An abstract superclass for reasoners implemented as command-line executables.
|
Modifier and Type | Class and Description |
---|---|
class |
ADMMReasoner
Uses an ADMM optimization method to optimize its GroundRules.
|
Modifier and Type | Class and Description |
---|---|
class |
BooleanMaxWalkSat
Implementation of MaxWalkSat, which searches for a good Boolean assignment
of truth values.
|
class |
BooleanMCSat
Implementation of MC-Sat, which approximates the marginal probability that each
atom has value 1 in a Boolean domain.
|
Copyright © 2018 University of California, Santa Cruz. All rights reserved.