Modifier and Type | Class and Description |
---|---|
class |
FolActionName
This class represents an action name.
|
class |
FolFluentName
This class represents a fluent name.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ActionSignature.containsPredicate(Predicate predicate)
Returns true iff the given predicate is contained in this signature.
|
Modifier and Type | Field and Description |
---|---|
(package private) static Predicate |
FolFormulaGenerator.RULE_PREDICATE |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Predicate> |
DelpRule.getPredicates() |
Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
LdoArgument.setPredicate(Predicate predicate) |
Modifier and Type | Method and Description |
---|---|
java.lang.Class<? extends Predicate> |
Conditional.getPredicateCls() |
java.util.Set<? extends Predicate> |
Conditional.getPredicates() |
Modifier and Type | Class and Description |
---|---|
class |
Concept
This class models concepts used in description logics
|
class |
Role
This class implements a role used in description logics
Every role is an predicate consisting of two individuals
|
Modifier and Type | Method and Description |
---|---|
Predicate |
Predicate.clone() |
Modifier and Type | Method and Description |
---|---|
java.lang.Class<? extends Predicate> |
RelationalFormula.getPredicateCls() |
java.lang.Class<? extends Predicate> |
AssociativeFormulaSupport.getPredicateCls() |
java.util.Set<? extends Predicate> |
QuantifiedFormulaSupport.getPredicates() |
java.util.Set<? extends Predicate> |
AssociativeFormulaSupport.getPredicates() |
Modifier and Type | Method and Description |
---|---|
Predicate |
Atom.getPredicate() |
Modifier and Type | Method and Description |
---|---|
java.lang.Class<? extends Predicate> |
SimpleLogicalFormula.getPredicateCls() |
java.util.Set<? extends Predicate> |
SimpleLogicalFormula.getPredicates()
Processes the set of all predicates which appear in this
formula
|
Modifier and Type | Method and Description |
---|---|
static Atom.RETURN_SET_PREDICATE |
Atom.AtomImpl.implSetPredicate(Predicate old,
Predicate newer,
java.util.List<Term<?>> arguments) |
Atom.RETURN_SET_PREDICATE |
Atom.setPredicate(Predicate predicate)
Changes the predicate of the atom.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<FOLAtom> |
HerbrandBase.getAllInstantiations(FolSignature sig,
Predicate p,
java.util.List<Term<?>> arguments)
Computes all instantiations of the predicate "p" relative to the signature "sig"
where "arguments" defines the first arguments of the atoms.
|
Modifier and Type | Class and Description |
---|---|
class |
EqualityPredicate
This class models an equality predicate, meaning
a predicate of arity 2 that maps to the identity relation.
|
class |
InequalityPredicate
This class models an inequality predicate, meaning
a predicate of arity 2 that maps to the complement of the identity relation.
|
Modifier and Type | Field and Description |
---|---|
private Predicate |
FOLAtom.predicate
The predicate of this atom
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Predicate> |
FolSignature.predicates |
Modifier and Type | Method and Description |
---|---|
Predicate |
FOLAtom.getPredicate()
Returns the predicate of this atom
|
Predicate |
FolSignature.getPredicate(java.lang.String s) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Predicate> |
SpecialFormula.getPredicates() |
java.util.Set<? extends Predicate> |
AssociativeFOLFormula.getPredicates() |
java.util.Set<? extends Predicate> |
Equivalence.getPredicates() |
java.util.Set<? extends Predicate> |
ForallQuantifiedFormula.getPredicates() |
java.util.Set<? extends Predicate> |
ExistsQuantifiedFormula.getPredicates() |
java.util.Set<Predicate> |
FOLAtom.getPredicates() |
java.util.Set<Predicate> |
FolSignature.getPredicates() |
java.util.Set<? extends Predicate> |
Implication.getPredicates() |
java.util.Set<? extends Predicate> |
Negation.getPredicates() |
Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
FOLAtom.setPredicate(Predicate newer) |
Constructor and Description |
---|
FOLAtom(Predicate predicate)
Creates a new atom with the given predicate and initializes
an empty argument list.
|
FOLAtom(Predicate predicate,
java.util.List<? extends Term<?>> arguments)
Creates a new atom with the given predicate and list of
terms
|
FOLAtom(Predicate predicate,
Term<?>... terms) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<? extends Predicate> |
ModalFormula.getPredicates() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<? extends Predicate> |
MlnFormula.getPredicates() |
Modifier and Type | Class and Description |
---|---|
class |
PropositionalPredicate
A specialized predicate for propositional logic that only allows an identifier
but has no arguments and therefore has an arity of zero.
|
Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
Proposition.setPredicate(Predicate predicate) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Predicate> |
RelationalConditional.getPredicates() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<? extends Predicate> |
DefaultRule.getPredicates() |
Modifier and Type | Field and Description |
---|---|
private Predicate |
InstanceAssignment.predicate
The predicate of this instance assignment.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Predicate,InstanceAssignment> |
ReferenceWorld.assignments
The instance assignments of this reference worlds
|
private java.util.Collection<Predicate> |
ReferenceWorld.predicates
The set of predicates this reference world bases on.
|
Modifier and Type | Method and Description |
---|---|
Predicate |
InstanceAssignment.getPredicate()
Returns the predicate of this assignment.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.util.Map.Entry<Predicate,InstanceAssignment>> |
ReferenceWorld.entrySet() |
java.util.Set<Predicate> |
ReferenceWorld.keySet() |
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.
|
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.
|
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".
|
InstanceAssignment |
ReferenceWorld.put(Predicate key,
InstanceAssignment value) |
Modifier and Type | Method and Description |
---|---|
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.
|
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.
|
void |
ReferenceWorld.putAll(java.util.Map<? extends Predicate,? extends InstanceAssignment> m) |
Constructor and Description |
---|
InstanceAssignment(Predicate predicate)
Creates a new instance assignment for the given predicate with
no assignments.
|
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.
|
Constructor and Description |
---|
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 |
---|---|
<C extends Predicate> |
Translator.translatePredicate(Predicate source,
java.lang.Class<C> predicateCls)
Translates the given source predicate into an instance of the given predicate
class and returns the translation.
|
Modifier and Type | Method and Description |
---|---|
<C extends Predicate> |
Translator.translatePredicate(Predicate source,
java.lang.Class<C> predicateCls)
Translates the given source predicate into an instance of the given predicate
class and returns the translation.
|
Modifier and Type | Class and Description |
---|---|
class |
DLPPredicate
This class models a predicate with its name and arity.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Class<? extends Predicate> |
DLPNot.getPredicateCls() |
java.lang.Class<? extends Predicate> |
DLPElementAdapter.getPredicateCls() |
java.lang.Class<? extends Predicate> |
DLPHead.getPredicateCls() |
Modifier and Type | Method and Description |
---|---|
Atom.RETURN_SET_PREDICATE |
DLPAtom.setPredicate(Predicate predicate) |
Atom.RETURN_SET_PREDICATE |
DLPNeg.setPredicate(Predicate predicate) |
Modifier and Type | Method and Description |
---|---|
java.lang.Class<? extends Predicate> |
NLPRule.getPredicateCls() |
java.util.Set<Predicate> |
NLPRule.getPredicates() |
java.util.Set<? extends Predicate> |
NLPNot.getPredicates() |