org.linqs.psl.application.inference

Class LazyMPEInference

java.lang.Object

org.linqs.psl.application.inference.InferenceApplication

org.linqs.psl.application.inference.LazyMPEInference

All Implemented Interfaces:

ModelApplication

public class LazyMPEInference
extends InferenceApplication

Performs MPE inference (see MPEInference), but does not require all ground atoms to be specified ahead of time. Instead, any target ground atoms that do not exist (lazy atoms) will get temporarily created at the beginning of each inference round and then persisted to the database if its truth value is above some threshold at the end of each inference round. See LazyAtomManager for details on lazy atoms.

Field Summary

Fields

Modifier and Type	Field and Description
static String	CONFIG_PREFIX Prefix of property keys used by this class.
protected LazyAtomManager	lazyAtomManager
static int	MAX_ROUNDS_DEFAULT
static String	MAX_ROUNDS_KEY Key for int property for the maximum number of rounds of inference.
protected int	maxRounds

Fields inherited from class org.linqs.psl.application.inference.InferenceApplication

db, GROUND_RULE_STORE_DEFAULT, GROUND_RULE_STORE_KEY, groundRuleStore, model, reasoner, REASONER_DEFAULT, REASONER_KEY, TERM_GENERATOR_DEFAULT, TERM_GENERATOR_KEY, TERM_STORE_DEFAULT, TERM_STORE_KEY, termGenerator, termStore

Constructor Summary

Constructors

Constructor and Description
LazyMPEInference(Model model, Database db)

Method Summary

Modifier and Type	Method and Description
protected void	completeInitialize() Complete the initialization process.
void	inference() Minimizes the total weighted incompatibility of the GroundAtoms in the Database according to the Model and commits the updated truth values back to the Database.
static void	inference(List<Rule> rules, Reasoner reasoner, GroundRuleStore groundRuleStore, TermStore termStore, TermGenerator termGenerator, LazyAtomManager lazyAtomManager, int maxRounds) Do the full MPE inference process.

Methods inherited from class org.linqs.psl.application.inference.InferenceApplication

close, getGroundRuleStore, getInferenceApplication, getReasoner, getTermStore, initialize

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CONFIG_PREFIX

public static final String CONFIG_PREFIX

Prefix of property keys used by this class.

See Also:

Constant Field Values

MAX_ROUNDS_KEY

public static final String MAX_ROUNDS_KEY

Key for int property for the maximum number of rounds of inference.

See Also:

Constant Field Values

MAX_ROUNDS_DEFAULT

public static final int MAX_ROUNDS_DEFAULT

See Also:

Constant Field Values

maxRounds

protected final int maxRounds

lazyAtomManager

protected LazyAtomManager lazyAtomManager

Constructor Detail

LazyMPEInference

public LazyMPEInference(Model model,
                        Database db)

Method Detail

completeInitialize

protected void completeInitialize()

Description copied from class: InferenceApplication

Complete the initialization process. All infrastructure will have been constructued, but the ground rule store and term store must be populated.

Specified by:

completeInitialize in class InferenceApplication

inference

public void inference()

Description copied from class: InferenceApplication

Minimizes the total weighted incompatibility of the GroundAtoms in the Database according to the Model and commits the updated truth values back to the Database. The RandomVariableAtoms to be inferred are those persisted in the Database when this method is called. All RandomVariableAtoms which the Model might access must be persisted in the Database.

Specified by:

inference in class InferenceApplication

inference

public static void inference(List<Rule> rules,
                             Reasoner reasoner,
                             GroundRuleStore groundRuleStore,
                             TermStore termStore,
                             TermGenerator termGenerator,
                             LazyAtomManager lazyAtomManager,
                             int maxRounds)

Do the full MPE inference process. We move the implementation to a static method so it can be accessed from outsude methods. Unlike MPEInference which just calls the reasoner, this process is more involved.