|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object tuffy.mln.Clause
public class Clause
A first-order logic clause, namely a disjunct of literals.
Nested Class Summary | |
---|---|
private class |
Clause.ClauseInstance
Class of an instance of a clause. |
Field Summary | |
---|---|
private java.util.ArrayList<Literal> |
bilits
List of built-in literals in this clause. |
private java.util.ArrayList<Expression> |
constraints
The set of boolean expressions that must all be TRUE; otherwise the corresponding grounding is always true, and is useless for inference -- and will be discarded. |
double |
cost
The cost ascribed to this clause. |
private java.util.ArrayList<java.lang.String> |
existentialVars
List of variables that are existentially quantified. |
private java.lang.String |
exprWeight
|
private int |
id
id of this cluase. |
private java.util.ArrayList<Clause.ClauseInstance> |
instances
List of instances of this clause. |
private boolean |
isTemplate
Indicates whether this clause contains constants. |
private java.util.ArrayList<Literal> |
lits
List of literals in this clause. |
static java.util.HashMap<java.lang.Integer,java.lang.String> |
mappingFromID2Const
Map from Constant ID to Constant Name. |
static java.util.HashMap<java.lang.String,java.lang.String> |
mappingFromID2Desc
Map from clause ID to its description. |
private java.util.ArrayList<Type> |
metaTypes
Types of meta variables. |
private java.util.ArrayList<java.lang.String> |
metaVars
Variables corresponding to constants in this clause. |
private java.lang.String |
name
name of this clause. |
private java.util.HashMap<Predicate,java.util.ArrayList<Literal>> |
predIndex
The index of predicate to set of literals referencing that predicate. |
private java.util.ArrayList<Literal> |
reglits
List of regular literals in this clause. |
private java.lang.String |
relIntanceClauses
The database table storing the clause instances. |
private java.lang.String |
signature
The signature of this clause. |
private java.util.ArrayList<java.lang.String> |
specText
Lines in the MLN rule file specifying this clause. |
java.lang.String |
sqlFromList
The From sub-clause of SQL for grounding. |
java.lang.String |
sqlPivotAttrsList
The list of attributes that are NOT existential variables. |
java.lang.String |
sqlWhereBindings
The Where sub-clause of SQL for grounding. |
private java.util.ArrayList<java.lang.String> |
uNames
user provided names |
private java.lang.String |
varWeight
FO variable that is used as clause weights |
java.util.ArrayList<GClause> |
violatedGClauses
Violated ground clauses. |
double |
violations
The number of violations on this clause. |
private double |
weight
weight of this clause. |
Constructor Summary | |
---|---|
Clause()
Construct an empty clause. |
Method Summary | |
---|---|
void |
absorb(Clause c)
"Absorb" another clause of the same pattern into this clause. |
void |
addConstraint(Expression e)
Add a constraint that must hold. |
boolean |
addExistentialVariable(java.lang.String v)
Existentially quantify a variable. |
void |
addLiteral(Literal lit)
Add a literal to this clause. |
private boolean |
addMetaVariable(java.lang.String v,
Type t)
Add a meta variable into this clause. |
void |
addSpecText(java.lang.String s)
|
void |
addUserProvidedName(java.lang.String nm)
Add user provided names to this clause. |
void |
checkVariableSafety()
Check for unsafe variables in the clause, and mark the corresponding Predicates. |
Clause |
clone()
|
void |
generateSQL()
Generate the SQL command for grounding this clause. |
private java.lang.String |
getConstaintStringAsLits()
|
java.util.ArrayList<Expression> |
getConstraints()
|
int |
getId()
Get clause ID. |
java.util.ArrayList<Literal> |
getLiteralsOfPredicate(Predicate pred)
Return the member literals of a particular predicate. |
java.lang.String |
getName()
Return the assigned name of this clause. |
java.util.Set<Predicate> |
getReferencedPredicates()
Return the set of predicates referenced by this clause. |
java.util.ArrayList<Literal> |
getRegLiterals()
Return the list of non-built-in literals (i.e., regular literals). |
java.lang.String |
getSignature()
Return the "signature" of this clause. |
java.util.ArrayList<java.lang.String> |
getSpecText()
|
private java.lang.String |
getSpecTextFlat()
|
java.lang.String |
getVarWeight()
Get the variable in this clause that is used as clause weights |
double |
getWeight()
Return the weight of this clause. |
java.lang.String |
getWeightExp()
Return the expression of clause weights to be used in SQL. |
boolean |
hasEmbeddedWeight()
Check if the weight of this clause comes from a variable in the clause |
boolean |
hasExistentialQuantifiers()
Check if any variable in this clause is existentially quantified. |
boolean |
isHardClause()
Return whether this clause is a hard rule. |
boolean |
isPositiveClause()
Check if the weight is positive. |
boolean |
isTemplate()
Return true iff this clause contains constant. |
Clause |
normalize()
Return a normalized version of this clause. |
void |
prepareForDB(RDB db)
Initialize database objects for this clause. |
private void |
sealClauseInstances(RDB db)
Flush the instance of this clause into database. |
void |
setHardWeight()
Specify this clause as a hard rule. |
void |
setId(int id)
Set clause ID. |
void |
setName(java.lang.String aname)
Assign a name for this clause. |
void |
setVarWeight(java.lang.String vw)
|
void |
setWeight(double wt)
Set the weight of this clause. |
java.lang.String |
toString()
Return the definition of this clause. |
java.lang.String |
toString(int ni)
Return the definition of clause instance. |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static java.util.HashMap<java.lang.String,java.lang.String> mappingFromID2Desc
Infer.setUp(CommandOptions)
.
public static java.util.HashMap<java.lang.Integer,java.lang.String> mappingFromID2Const
MarkovLogicNetwork.getSymbolID(String, Type)
.
This variable is materialized in Infer.setUp(CommandOptions)
.
private java.util.ArrayList<Expression> constraints
private java.util.ArrayList<Literal> lits
private java.util.ArrayList<Literal> reglits
private java.util.ArrayList<Literal> bilits
private java.util.HashMap<Predicate,java.util.ArrayList<Literal>> predIndex
private java.util.ArrayList<java.lang.String> existentialVars
private java.util.ArrayList<java.lang.String> metaVars
private java.util.ArrayList<Type> metaTypes
private java.util.ArrayList<Clause.ClauseInstance> instances
private double weight
private java.lang.String name
private int id
private java.util.ArrayList<java.lang.String> uNames
private java.util.ArrayList<java.lang.String> specText
private java.lang.String relIntanceClauses
private boolean isTemplate
private java.lang.String signature
normalize()
.
public java.lang.String sqlFromList
public java.lang.String sqlWhereBindings
public java.lang.String sqlPivotAttrsList
public double cost
MRF.auditClauseViolations()
public double violations
MRF.auditClauseViolations()
public java.util.ArrayList<GClause> violatedGClauses
MRF.auditClauseViolations()
private java.lang.String varWeight
private java.lang.String exprWeight
Constructor Detail |
---|
public Clause()
Method Detail |
---|
public Clause clone()
clone
in class java.lang.Object
public void addConstraint(Expression e)
e
- A bool expression that must be TRUE.public java.util.ArrayList<Expression> getConstraints()
private java.lang.String getConstaintStringAsLits()
private java.lang.String getSpecTextFlat()
public void setVarWeight(java.lang.String vw)
public java.lang.String getVarWeight()
public boolean hasEmbeddedWeight()
public double getWeight()
public boolean isTemplate()
public void addUserProvidedName(java.lang.String nm)
nm
- user provided namepublic java.lang.String getName()
public void setName(java.lang.String aname)
public java.lang.String getSignature()
normalize()
public Clause normalize()
MarkovLogicNetwork.registerClause(Clause)
public void absorb(Clause c)
c
- the clause to be absorbednormalize()
private void sealClauseInstances(RDB db)
db
- the database object used to store clause instances.private boolean addMetaVariable(java.lang.String v, Type t)
v
- name this this meta variablet
- type of this meta variable
normalize()
public boolean addExistentialVariable(java.lang.String v)
v
- the variable to be existentially quantifiedpublic void setHardWeight()
Config.hard_weight
public boolean isHardClause()
public void setWeight(double wt)
public java.lang.String getWeightExp()
public boolean isPositiveClause()
public void prepareForDB(RDB db)
public void checkVariableSafety()
public void generateSQL()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(int ni)
ni
- The ID of instance.public java.util.ArrayList<Literal> getLiteralsOfPredicate(Predicate pred)
public java.util.Set<Predicate> getReferencedPredicates()
public java.util.ArrayList<Literal> getRegLiterals()
public boolean hasExistentialQuantifiers()
public void addLiteral(Literal lit)
public void setId(int id)
id
- public int getId()
public void addSpecText(java.lang.String s)
public java.util.ArrayList<java.lang.String> getSpecText()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |