public class RelationalBruteForceCReasoner extends java.lang.Object implements QualitativeReasoner<RclBeliefSet,FolFormula>, ModelProvider<RelationalConditional,RclBeliefSet,RelationalRankingFunction>
Modifier and Type | Field and Description |
---|---|
private static org.slf4j.Logger |
log
Logger.
|
private boolean |
simple
indicates whether the computed c-representation is simple.
|
Constructor and Description |
---|
RelationalBruteForceCReasoner(boolean simple)
Creates a new relational c-representation reasoner.
|
Modifier and Type | Method and Description |
---|---|
private RelationalRankingFunction |
constructRankingFunction(java.lang.Integer[] kappa,
java.util.Map<java.lang.Integer,RelationalConditional> indexToConditional,
FolSignature signature)
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
|
RelationalRankingFunction |
getModel(RclBeliefSet bbase)
Returns a single (dedicated) model of the given belief base.
|
RelationalRankingFunction |
getModel(RclBeliefSet bs,
FolSignature signature)
Retrieves the C representation of the given belief set wrt.
|
java.util.Collection<RelationalRankingFunction> |
getModels(RclBeliefSet bbase)
Returns a characterizing model of the given belief base
|
private java.lang.Integer[] |
increment(java.util.List<java.lang.Integer[]> kappa_all,
int numConditionals)
This method increments the given array by one value.
|
private boolean |
incrementStep(java.lang.Integer[] kappaRow)
This method increments the given vector (which composes of exactly
one "1" entry and zeros otherwise), e.g.
|
java.lang.Boolean |
query(RclBeliefSet bs,
FolFormula query)
Queries the given belief base for the given formula.
|
java.lang.Boolean |
query(RclBeliefSet bs,
FolFormula query,
FolSignature signature)
Queries the given belief set wrt.
|
private static org.slf4j.Logger log
private boolean simple
public RelationalBruteForceCReasoner(boolean simple)
simple
- whether the computed c-representation is simple.public java.lang.Boolean query(RclBeliefSet bs, FolFormula query, FolSignature signature)
bs
- some belief setquery
- some querysignature
- some signaturepublic java.lang.Boolean query(RclBeliefSet bs, FolFormula query)
Reasoner
query
in interface QualitativeReasoner<RclBeliefSet,FolFormula>
query
in interface Reasoner<java.lang.Boolean,RclBeliefSet,FolFormula>
bs
- a belief basequery
- a formulaprivate RelationalRankingFunction constructRankingFunction(java.lang.Integer[] kappa, java.util.Map<java.lang.Integer,RelationalConditional> indexToConditional, FolSignature signature)
kappa
- private java.lang.Integer[] increment(java.util.List<java.lang.Integer[]> kappa_all, int numConditionals)
kappa_all
- the values of all kappasnumConditionals
- the number of conditionalsprivate boolean incrementStep(java.lang.Integer[] kappaRow)
kappaRow
- a vector of zeros and one "1"public java.util.Collection<RelationalRankingFunction> getModels(RclBeliefSet bbase)
ModelProvider
getModels
in interface ModelProvider<RelationalConditional,RclBeliefSet,RelationalRankingFunction>
bbase
- some belief basepublic RelationalRankingFunction getModel(RclBeliefSet bbase)
ModelProvider
getModel
in interface ModelProvider<RelationalConditional,RclBeliefSet,RelationalRankingFunction>
public RelationalRankingFunction getModel(RclBeliefSet bs, FolSignature signature)
bs
- some belief setsignature
- some signature