Package | Description |
---|---|
org.linqs.psl.application.groundrulestore | |
org.linqs.psl.application.learning.weight | |
org.linqs.psl.database | |
org.linqs.psl.database.atom | |
org.linqs.psl.database.rdbms | |
org.linqs.psl.model.atom | |
org.linqs.psl.model.rule | |
org.linqs.psl.model.rule.arithmetic | |
org.linqs.psl.model.rule.logical | |
org.linqs.psl.model.rule.misc | |
org.linqs.psl.reasoner.function |
Provides interfaces and classes for defining functions that
Reasoners can interpret. |
Modifier and Type | Method and Description |
---|---|
Set<GroundRule> |
AtomRegisterGroundRuleStore.getRegisteredGroundRules(GroundAtom atom) |
Modifier and Type | Method and Description |
---|---|
Iterable<Map.Entry<GroundAtom,GroundAtom>> |
TrainingMap.getFullMap()
Get the full mapping of target to truth atoms (RVAs and observed).
|
Iterable<Map.Entry<GroundAtom,GroundAtom>> |
TrainingMap.getFullMap()
Get the full mapping of target to truth atoms (RVAs and observed).
|
Iterable<GroundAtom> |
TrainingMap.getTargetAtoms() |
Iterable<GroundAtom> |
TrainingMap.getTargetAtoms(boolean includeLatent)
Get all the target atoms (atoms for the RVA PAM) in one iterable.
|
Iterable<GroundAtom> |
TrainingMap.getTruthAtoms()
Get all the truth atoms in one iterable.
|
Modifier and Type | Method and Description |
---|---|
GroundAtom |
ReadableDatabase.getAtom(Predicate predicate,
Constant... arguments)
Returns the GroundAtom for the given Predicate and GroundTerms.
|
abstract GroundAtom |
Database.getAtom(StandardPredicate predicate,
boolean create,
Constant... arguments) |
Modifier and Type | Method and Description |
---|---|
List<GroundAtom> |
Database.getAllGroundAtoms(StandardPredicate predicate) |
List<GroundAtom> |
ReadableDatabase.getAllGroundAtoms(StandardPredicate predicate)
Fetch all the ground atoms for a predicate.
|
abstract List<GroundAtom> |
Database.getAllGroundAtoms(StandardPredicate predicate,
List<Integer> partitions) |
Modifier and Type | Method and Description |
---|---|
boolean |
WritableDatabase.deleteAtom(GroundAtom a)
Removes the GroundAtom from the Database, if it exists.
|
Modifier and Type | Method and Description |
---|---|
GroundAtom |
SimpleAtomManager.getAtom(Predicate predicate,
Constant... arguments) |
GroundAtom |
LazyAtomManager.getAtom(Predicate predicate,
Constant... arguments) |
GroundAtom |
PersistedAtomManager.getAtom(Predicate predicate,
Constant... arguments) |
abstract GroundAtom |
AtomManager.getAtom(Predicate predicate,
Constant... arguments)
Returns the GroundAtom for the given Predicate and GroundTerms.
|
Modifier and Type | Method and Description |
---|---|
GroundAtom |
RDBMSDatabase.getAtom(Predicate predicate,
Constant... arguments) |
GroundAtom |
RDBMSDatabase.getAtom(StandardPredicate predicate,
boolean create,
Constant... arguments) |
Modifier and Type | Method and Description |
---|---|
List<GroundAtom> |
RDBMSDatabase.getAllGroundAtoms(StandardPredicate predicate,
List<Integer> partitions) |
Modifier and Type | Method and Description |
---|---|
boolean |
RDBMSDatabase.deleteAtom(GroundAtom atom) |
Modifier and Type | Class and Description |
---|---|
class |
ObservedAtom
A
GroundAtom with a fixed truth value. |
class |
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Modifier and Type | Field and Description |
---|---|
protected Map<QueryAtom,GroundAtom> |
AtomCache.cache |
Modifier and Type | Method and Description |
---|---|
GroundAtom |
AtomCache.getCachedAtom(QueryAtom atom)
Checks whether a
GroundAtom matching a QueryAtom exists in the
cache and returns it if so. |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
ResultList res,
int resultIndex) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
ResultList res,
int resultIndex,
Constant[] newArgs)
Ground using the passed in buffer.
|
Modifier and Type | Method and Description |
---|---|
Iterable<GroundAtom> |
AtomCache.getCachedAtoms() |
Iterable<GroundAtom> |
AtomCache.getCachedAtoms(Predicate predicate)
Returns all GroundAtoms in this AtomCache with a given Predicate.
|
Modifier and Type | Method and Description |
---|---|
int |
GroundAtom.compareTo(GroundAtom other)
First order by value (descending), the predicate name (natural),
and then the arguments (in order).
|
Modifier and Type | Method and Description |
---|---|
Set<GroundAtom> |
GroundRule.getAtoms() |
Modifier and Type | Method and Description |
---|---|
double |
WeightedGroundRule.getIncompatibility(GroundAtom replacementAtom,
double replacementValue)
Returns the incompatibility of the truth values of this GroundRule's GroundAtoms given
the replacment of a single atom's value with another value.
|
Modifier and Type | Field and Description |
---|---|
protected GroundAtom[] |
AbstractGroundArithmeticRule.atoms |
Modifier and Type | Method and Description |
---|---|
GroundAtom[] |
AbstractGroundArithmeticRule.getOrderedAtoms() |
Modifier and Type | Method and Description |
---|---|
Set<GroundAtom> |
AbstractGroundArithmeticRule.getAtoms() |
Modifier and Type | Method and Description |
---|---|
double |
WeightedGroundArithmeticRule.getIncompatibility(GroundAtom replacementAtom,
double replacementValue) |
protected UnweightedGroundArithmeticRule |
UnweightedArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
Modifier and Type | Method and Description |
---|---|
protected UnweightedGroundArithmeticRule |
UnweightedArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
Constructor and Description |
---|
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double constant) |
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double constant,
boolean copy) |
UnweightedGroundArithmeticRule(UnweightedArithmeticRule rule,
double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double constant) |
WeightedGroundArithmeticRule(WeightedArithmeticRule rule,
double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double constant,
boolean squared) |
Constructor and Description |
---|
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double constant) |
UnweightedGroundArithmeticRule(UnweightedArithmeticRule rule,
List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double constant) |
WeightedGroundArithmeticRule(WeightedArithmeticRule rule,
List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double constant,
boolean squared) |
Modifier and Type | Field and Description |
---|---|
protected List<GroundAtom> |
AbstractGroundLogicalRule.negLiterals |
protected List<GroundAtom> |
AbstractGroundLogicalRule.posLiterals |
Modifier and Type | Method and Description |
---|---|
Set<GroundAtom> |
AbstractGroundLogicalRule.getAtoms() |
List<GroundAtom> |
AbstractGroundLogicalRule.getNegativeAtoms() |
List<GroundAtom> |
AbstractGroundLogicalRule.getPositiveAtoms() |
Modifier and Type | Method and Description |
---|---|
double |
WeightedGroundLogicalRule.getIncompatibility(GroundAtom replacementAtom,
double replacementValue) |
Modifier and Type | Method and Description |
---|---|
protected AbstractGroundLogicalRule |
UnweightedLogicalRule.groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
protected AbstractGroundLogicalRule |
UnweightedLogicalRule.groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
protected abstract AbstractGroundLogicalRule |
AbstractLogicalRule.groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
protected abstract AbstractGroundLogicalRule |
AbstractLogicalRule.groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
protected WeightedGroundLogicalRule |
WeightedLogicalRule.groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
protected WeightedGroundLogicalRule |
WeightedLogicalRule.groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
protected abstract GroundRule |
AbstractGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected abstract GroundRule |
AbstractGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
WeightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
WeightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
UnweightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
protected GroundRule |
UnweightedGroundLogicalRule.instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
Constructor and Description |
---|
AbstractGroundLogicalRule(AbstractLogicalRule rule,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
AbstractGroundLogicalRule(AbstractLogicalRule rule,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
UnweightedGroundLogicalRule(UnweightedLogicalRule r,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
UnweightedGroundLogicalRule(UnweightedLogicalRule r,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
WeightedGroundLogicalRule(WeightedLogicalRule rule,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount,
boolean squared) |
WeightedGroundLogicalRule(WeightedLogicalRule rule,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount,
boolean squared) |
Modifier and Type | Method and Description |
---|---|
Set<GroundAtom> |
GroundValueConstraint.getAtoms() |
Set<GroundAtom> |
GroundLinearConstraint.getAtoms() |
Constructor and Description |
---|
GroundLinearConstraint(GroundAtom[] atoms,
double[] coeffs,
FunctionComparator comp,
double value) |
Modifier and Type | Field and Description |
---|---|
protected GroundAtom |
AtomFunctionVariable.atom |
Modifier and Type | Method and Description |
---|---|
GroundAtom |
AtomFunctionVariable.getAtom() |
Modifier and Type | Method and Description |
---|---|
double |
GeneralFunction.getValue(GroundAtom replacementAtom,
double replacementValue)
Get the value of the sum, but replace the value of a single RVA with the given value.
|
Constructor and Description |
---|
AtomFunctionVariable(GroundAtom atom) |
ConstantAtomFunctionVariable(GroundAtom atom) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.