Modifier and Type | Field and Description |
---|---|
private Constant |
VarConstNeqRequirement.constant |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.util.Map<Variable,Constant>> |
GroundingTools.getAllSubstitutions(java.util.Set<Variable> variables)
Calculates all possible substitutions in the given set of variables using
all possible constants of the same sort.
|
static java.util.Set<java.util.Map<Variable,Constant>> |
GroundingTools.getAllSubstitutions(java.util.Set<Variable> variables,
java.util.Set<Constant> constants)
Calculates all possible substitutions of variables for a given set of
constants
|
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.util.Map<Variable,Constant>> |
GroundingTools.getAllSubstitutions(java.util.Set<Variable> variables,
java.util.Set<Constant> constants)
Calculates all possible substitutions of variables for a given set of
constants
|
boolean |
GroundingRequirement.isValid(java.util.Map<Variable,Constant> assignment)
This method checks, if an assignment of constants to variables satisfies a
given grounding condition.
|
boolean |
VarConstNeqRequirement.isValid(java.util.Map<Variable,Constant> assignment) |
boolean |
VarsNeqRequirement.isValid(java.util.Map<Variable,Constant> assignment) |
static boolean |
GroundingTools.isValidGroundingApplication(java.util.Map<Variable,Constant> map,
java.util.Set<GroundingRequirement> requirements)
Checks a grounding application for compliance with the grounding
requirements.
|
Constructor and Description |
---|
VarConstNeqRequirement(Variable variable,
Constant constant)
Creates a new grounding requirement expressing, that the variable given may
not be set to the specific constant.
|
Modifier and Type | Method and Description |
---|---|
private Constant |
GroundingRequirementsParser.getConstant(java.lang.String name,
Sort sort)
Returns the constant with the name 'name' of the sort 'sort', if one
exists, null otherwise.
|
Modifier and Type | Method and Description |
---|---|
protected SActionQuery |
SActionQuery.substituteInnerFormulas(java.util.Map<Variable,Constant> map)
Returns a new action query in which all variables are mapped to constants
with regard to the given map.
|
private static PropositionalFormula |
SActionQuery.substitutePropositions(java.util.Map<Variable,Constant> map,
PropositionalFormula formula)
Utility function that walks through all parts of a propositional formula
with query propositions substituting all variables with constants according
to the given map.
|
Modifier and Type | Method and Description |
---|---|
private Constant |
DelpParser.createConstant(java.lang.String image,
DefeasibleLogicProgram delp,
FolSignature signature) |
Modifier and Type | Method and Description |
---|---|
DefeasibleLogicProgram |
DefeasibleLogicProgram.ground(java.util.Set<Constant> constants)
In general, a delp comprises of rule schemes with variables.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Constant> |
Sort.constants
The set of constants of this sort
|
Modifier and Type | Method and Description |
---|---|
Constant |
Constant.clone() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<RelationalFormula> |
RelationalFormula.allGroundInstances(java.util.Set<Constant> constants)
Computes all ground instances of this relational formula wrt.
|
Constructor and Description |
---|
Constant(Constant other)
Copy-Ctor: Creates a deep copy of the given Constant
|
Constructor and Description |
---|
Sort(java.lang.String name,
java.util.Set<Constant> constants)
Ctor: Creates a Sort with the given name and the given constants.
|
Modifier and Type | Method and Description |
---|---|
boolean |
HerbrandInterpretation.isSyntacticallyEquivalent(HerbrandInterpretation other,
java.util.Collection<? extends java.util.Collection<? extends Constant>> equivalenceClasses)
Checks whether this interpretation is syntactically equivalent to the given
interpretation and the given equivalence classes, i.e.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Constant> |
FolSignature.constants |
Modifier and Type | Method and Description |
---|---|
Constant |
FolSignature.getConstant(java.lang.String s) |
Modifier and Type | Method and Description |
---|---|
abstract java.util.Set<Constant> |
LogicStructure.getConstants()
Returns all constants that appear in this structure.
|
java.util.Set<Constant> |
FolSignature.getConstants() |
Modifier and Type | Method and Description |
---|---|
boolean |
ModalHerbrandInterpretation.isSyntacticallyEquivalent(ModalHerbrandInterpretation other,
java.util.Collection<? extends java.util.Collection<? extends Constant>> equivalenceClasses)
Checks whether this interpretation is syntactically equivalent to the given
interpretation and the given equivalence classes, i.e.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Set<Constant> |
RpclCondensedProbabilityDistributionParser.ConstantSet(FolSignature signature) |
Modifier and Type | Field and Description |
---|---|
private java.util.Collection<? extends java.util.Collection<? extends Constant>> |
ReferenceWorld.equivalenceClasses
The equivalence classes this reference world bases on.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Set<InstanceAssignment> |
InstanceAssignment.enumerateInstanceAssignments(Predicate p,
java.util.Set<java.util.Set<Constant>> constants)
Determines the set of all instance assignments for the given predicate and
equivalence classes.
|
static java.util.Set<ReferenceWorld> |
ReferenceWorld.enumerateReferenceWorlds(java.util.Set<Predicate> predicates,
java.util.Set<java.util.Set<Constant>> constants)
Determines the set of all reference worlds wrt.
|
java.lang.Integer |
ReferenceWorld.get(Predicate predicate,
java.util.Collection<? extends Constant> constants)
Retrieves the number of true instances assigned for the
given predicate and the given equivalence class of constants.
|
static ReferenceWorld |
ReferenceWorld.getMapping(HerbrandInterpretation i,
java.util.Set<Predicate> predicates,
java.util.Set<java.util.Set<Constant>> constants)
Determines the reference world of the given interpretation wrt.
|
private java.lang.Integer |
ReferenceWorld.getNumberOfOccurences(FolFormula f,
Predicate p,
java.util.Collection<? extends Constant> constants,
boolean positive)
Determines the number of occurrences of instances of predicate "p" with a constant in "constants".
|
static CondensedProbabilityDistribution |
CondensedProbabilityDistribution.getRandomDistribution(RpclSemantics semantics,
FolSignature signature,
java.util.Set<java.util.Set<Constant>> equivalenceClasses)
Returns a random distribution on the given signature.
|
static CondensedProbabilityDistribution |
CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics,
FolSignature signature,
java.util.Set<java.util.Set<Constant>> equivalenceClasses)
Returns the uniform distribution on the given signature.
|
java.lang.Integer |
InstanceAssignment.put(java.util.Collection<? extends Constant> key,
java.lang.Integer value) |
Constructor and Description |
---|
InstanceAssignment(Predicate predicate,
java.util.Map<? extends java.util.Collection<? extends Constant>,java.lang.Integer> map)
Creates a new instance assignment for the given predicate
with the given map.
|
ReferenceWorld(java.util.Collection<? extends java.util.Collection<? extends Constant>> equivalenceClasses,
java.util.Collection<Predicate> predicates)
Creates a new reference world for the given equivalence classes.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.util.Set<Constant>> |
RpclBeliefSet.getEquivalenceClasses()
Determines the equivalence classes of this belief set, i.e.
|
java.util.Set<java.util.Set<Constant>> |
RpclBeliefSet.getEquivalenceClasses(FolSignature signature)
Determines the equivalence classes of this belief set wrt.
|
Modifier and Type | Method and Description |
---|---|
boolean |
RpclBeliefSet.areEquivalent(Constant a,
Constant b)
Checks whether the two given constants are equivalent wrt.
|