A C D E F G H I L M N O P R S T U V
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- add(String) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- addFormula(CNFFormula) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- addResolutionStep(ResolutionStep) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- addSubType(Type) - Method in class ai.libs.jaicore.logic.fol.structure.Type
- addSuperType(Type) - Method in class ai.libs.jaicore.logic.fol.structure.Type
- addSuperType(Set<Type>) - Method in class ai.libs.jaicore.logic.fol.structure.Type
- ai.libs.jaicore.logic.fol.algorithms.resolution - package ai.libs.jaicore.logic.fol.algorithms.resolution
- ai.libs.jaicore.logic.fol.structure - package ai.libs.jaicore.logic.fol.structure
- ai.libs.jaicore.logic.fol.theories - package ai.libs.jaicore.logic.fol.theories
- ai.libs.jaicore.logic.fol.theories.set - package ai.libs.jaicore.logic.fol.theories.set
- ai.libs.jaicore.logic.fol.util - package ai.libs.jaicore.logic.fol.util
- areLiteralsUnifiable(Literal, Literal) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- asCNF() - Method in class ai.libs.jaicore.logic.fol.structure.Monom
C
- call() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- canLiteralBeUnifiedWithLiteralFromDatabase(Collection<Literal>, Literal) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- Clause - Class in ai.libs.jaicore.logic.fol.structure
- Clause() - Constructor for class ai.libs.jaicore.logic.fol.structure.Clause
- Clause(Literal) - Constructor for class ai.libs.jaicore.logic.fol.structure.Clause
- Clause(LiteralSet, Map<VariableParam, ? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.Clause
- Clause(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.Clause
- clone() - Method in class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
- clone() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- clone(Map<? extends VariableParam, ? extends LiteralParam>) - Method in class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
-
Creates a copy of this literal on which the given parameter mapping is applied.
- clone(Map<? extends VariableParam, ? extends LiteralParam>) - Method in class ai.libs.jaicore.logic.fol.structure.Literal
-
Creates a copy of this literal on which the given parameter mapping is applied.
- CNFFormula - Class in ai.libs.jaicore.logic.fol.structure
- CNFFormula() - Constructor for class ai.libs.jaicore.logic.fol.structure.CNFFormula
- CNFFormula(Clause) - Constructor for class ai.libs.jaicore.logic.fol.structure.CNFFormula
- CNFFormula(Monom) - Constructor for class ai.libs.jaicore.logic.fol.structure.CNFFormula
- CNFFormula(Collection<Clause>) - Constructor for class ai.libs.jaicore.logic.fol.structure.CNFFormula
- CNFFormula(Set<Clause>, Map<VariableParam, ? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.CNFFormula
- compareTo(Literal) - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- ConstantParam - Class in ai.libs.jaicore.logic.fol.structure
-
The constant parameter of a literal.
- ConstantParam(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.ConstantParam
- ConstantParam(String, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.ConstantParam
- ConstantParam(String, Type) - Constructor for class ai.libs.jaicore.logic.fol.structure.ConstantParam
- containsEmptyClause() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- containsGroundEqualityPredicateThatEvaluatesTo(boolean) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- containsLiteralWithPredicatename(String) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- containsPositiveAndNegativeVersionOfLiteral() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- ContainsPredicate - Class in ai.libs.jaicore.logic.fol.theories.set
- ContainsPredicate() - Constructor for class ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate
- containsResolvent(Clause) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- convertStringToLiteralSetWithConst(String, Set<String>) - Static method in class ai.libs.jaicore.logic.fol.util.LiteralStringParser
- convertStringToLiteralWithConst(String, Set<String>) - Static method in class ai.libs.jaicore.logic.fol.util.LiteralStringParser
D
- defineGodfatherDataTypes(Literal) - Static method in class ai.libs.jaicore.logic.fol.util.TypeUtil
- defineGodfatherDataTypes(List<? extends Literal>) - Static method in class ai.libs.jaicore.logic.fol.util.TypeUtil
- defineGodfatherDataTypes(Set<? extends Literal>) - Static method in class ai.libs.jaicore.logic.fol.util.TypeUtil
- differenceOfLiteralSets(LiteralSet, LiteralSet) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- DNFFormula - Class in ai.libs.jaicore.logic.fol.structure
- DNFFormula() - Constructor for class ai.libs.jaicore.logic.fol.structure.DNFFormula
- DNFFormula(Clause) - Constructor for class ai.libs.jaicore.logic.fol.structure.DNFFormula
- DNFFormula(Monom) - Constructor for class ai.libs.jaicore.logic.fol.structure.DNFFormula
- DNFFormula(Collection<Monom>) - Constructor for class ai.libs.jaicore.logic.fol.structure.DNFFormula
- DNFFormula(Set<Monom>, Map<VariableParam, ? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.DNFFormula
- doesConclusionContainAGroundLiteralThatIsNotInFactBase(Collection<Literal>, Collection<Literal>) - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- doesCWADeductionFail(Collection<Literal>, Collection<Literal>) - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- doesPremiseContainAGroundLiteralThatIsNotInFactBase(Collection<Literal>, Collection<Literal>) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- doesPremiseContainAGroundLiteralThatIsNotInFactBaseCWA(Collection<Literal>, Collection<Literal>) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
E
- entailedBy(Monom) - Method in class ai.libs.jaicore.logic.fol.structure.CNFFormula
- entailedBy(Monom) - Method in class ai.libs.jaicore.logic.fol.structure.DNFFormula
- equals(Object) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- equals(Object) - Method in class ai.libs.jaicore.logic.fol.structure.ConstantParam
- equals(Object) - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- equals(Object) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralParam
-
It is with intention that the equals method does NOT check the type.
- equals(Object) - Method in class ai.libs.jaicore.logic.fol.structure.Type
- equals(Object) - Method in class ai.libs.jaicore.logic.fol.structure.VariableParam
- evalEquality(Literal) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- evalEqualityLiteralsUnderUNA(CNFFormula) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- EvaluablePredicate - Interface in ai.libs.jaicore.logic.fol.theories
- extractClause() - Method in class ai.libs.jaicore.logic.fol.structure.DNFFormula
- extractMonom() - Method in class ai.libs.jaicore.logic.fol.structure.CNFFormula
F
- ForwardChainer - Class in ai.libs.jaicore.logic.fol.util
-
This algorithm answers the question for which groundings G of the variables in $premise, G[$premise] follows from $factbase.
- ForwardChainer(ForwardChainingProblem) - Constructor for class ai.libs.jaicore.logic.fol.util.ForwardChainer
- ForwardChainerRecursionEvent - Class in ai.libs.jaicore.logic.fol.util
- ForwardChainerRecursionEvent(IAlgorithm<?, ?>, Literal, Monom) - Constructor for class ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent
- ForwardChainingFailedCWABindingEvent - Class in ai.libs.jaicore.logic.fol.util
-
This is used if a binding is found that is ok for positive literals, but negative literals of the conclusions are in the factbase.
- ForwardChainingFailedCWABindingEvent(IAlgorithm<?, ?>) - Constructor for class ai.libs.jaicore.logic.fol.util.ForwardChainingFailedCWABindingEvent
- ForwardChainingProblem - Class in ai.libs.jaicore.logic.fol.util
- ForwardChainingProblem(Monom, Monom, boolean) - Constructor for class ai.libs.jaicore.logic.fol.util.ForwardChainingProblem
- fromCNFFormula(CNFFormula) - Static method in class ai.libs.jaicore.logic.fol.structure.Monom
G
- getAdmissiblePairs(List<ResolutionPair>) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getAdmissiblePairs(List<ResolutionPair>) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.UnitResolutionSolver
- getAllClausesUsedToObtainResolvent(Clause) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- getAllStepsUsedToObtainResolvent(Clause) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- getAllSubTypes() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getAllSubTypesIncl() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getAllSuperTypes() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getAllSuperTypesIncl() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getAllTypes() - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- getBaseClauses() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- getByNegatingMonom(Monom) - Static method in class ai.libs.jaicore.logic.fol.structure.Clause
- getC1() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- getC2() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- getClausesWithSamePredicates(CNFFormula, Clause) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getConclusion() - Method in class ai.libs.jaicore.logic.fol.structure.HornRule
- getConclusion() - Method in class ai.libs.jaicore.logic.fol.structure.Rule
- getConclusion() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainingProblem
- getConcretesHierarchyIncludingType() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getConstantParams() - Method in class ai.libs.jaicore.logic.fol.structure.CNFFormula
- getConstantParams() - Method in class ai.libs.jaicore.logic.fol.structure.DNFFormula
- getConstantParams() - Method in class ai.libs.jaicore.logic.fol.structure.HornFormula
- getConstantParams() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- getConstantParams() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- getConstantParams() - Method in class ai.libs.jaicore.logic.fol.structure.Rule
- getConstants() - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- getConstantType(String) - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- getDirectSubTypes() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getDirectSuperTypes() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getFactbase() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainingProblem
- getFormulas() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getGreatestSubType(Type, Type) - Static method in class ai.libs.jaicore.logic.fol.structure.Type
-
Searches in data type DAG for a greatest sub type of the given two types.
- getGrounding() - Method in class ai.libs.jaicore.logic.fol.util.NextBindingFoundEvent
- getGroundingsUnderWhichALiteralAppearsInFactBase(Collection<Literal>, Literal, int) - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- getImplyingMappingThatMapsFromConclusionVarsToPremiseVars(LiteralSet) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- getImplyingMappingThatMapsFromConclusionVarsToPremiseVars(LiteralSet) - Method in class ai.libs.jaicore.logic.fol.structure.Monom
- getInheritanceHierarchyIncludingType() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getInstance() - Static method in class ai.libs.jaicore.logic.fol.algorithms.resolution.SolverFactory
- getInternalRepresentationOfFormulas() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getInterpretedLiterals() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- getL1() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- getL2() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- getListOfAllTypes() - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- getLiteralsWithPropertyName(String) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- getLocal() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent
- getName() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralParam
- getName() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- getNegativeLiterals() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- getNextPair(Set<ResolutionPair>) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getObjectsInSet(Monom, String) - Static method in class ai.libs.jaicore.logic.fol.theories.set.SetTheoryUtil
- getPair() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionStep
- getParameters() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- getParameters() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- getParamsForNegativeEvaluation(Monom, ConstantParam...) - Method in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate
- getParamsForNegativeEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate
- getParamsForNegativeEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate
- getParamsForNegativeEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate
- getParamsForNegativeEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate
- getParamsForPositiveEvaluation(Monom, ConstantParam...) - Method in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate
- getParamsForPositiveEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate
- getParamsForPositiveEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate
- getParamsForPositiveEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate
- getParamsForPositiveEvaluation(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate
- getPositiveLiterals() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- getPossibleResolutionPairs(CNFFormula) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getPossibleResolutionPairs(CNFFormula, Clause) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getPossibleResolutionsPairsOfClauses(Clause, Clause) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getPremise() - Method in class ai.libs.jaicore.logic.fol.structure.HornRule
- getPremise() - Method in class ai.libs.jaicore.logic.fol.structure.Rule
- getProperty() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
-
Returns a String representation of the property stated by this literal.
- getPropertyName() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
-
Returns only the property name of this literal.
- getR() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionStep
- getRemainingConclusion() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent
- getResolventsWithTheirSteps() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- getSolver(CNFFormula) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.SolverFactory
- getSubstitutionsThatEnableForwardChaining(Collection<Literal>, Collection<Literal>) - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- getTree() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- getType() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralParam
- getType() - Method in class ai.libs.jaicore.logic.fol.structure.VariableParam
- getType(String) - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- getUnificator() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionStep
- getUnificatorForLiterals(Literal, Literal) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
-
Performs Robinsons's unification
- getVariableParams() - Method in class ai.libs.jaicore.logic.fol.structure.CNFFormula
- getVariableParams() - Method in class ai.libs.jaicore.logic.fol.structure.DNFFormula
- getVariableParams() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- getVariableParams() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- GODFATHER_TYPE - Static variable in class ai.libs.jaicore.logic.fol.util.TypeUtil
H
- hasConjunctions() - Method in class ai.libs.jaicore.logic.fol.structure.DNFFormula
- hasDisjunctions() - Method in class ai.libs.jaicore.logic.fol.structure.CNFFormula
- hashCode() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- hashCode() - Method in class ai.libs.jaicore.logic.fol.structure.ConstantParam
- hashCode() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- hashCode() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralParam
- hashCode() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- hashCode() - Method in class ai.libs.jaicore.logic.fol.structure.VariableParam
- hasVariableParams() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- hasVariables() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- HornFormula - Class in ai.libs.jaicore.logic.fol.structure
- HornFormula() - Constructor for class ai.libs.jaicore.logic.fol.structure.HornFormula
- HornRule - Class in ai.libs.jaicore.logic.fol.structure
- HornRule(Monom, Literal) - Constructor for class ai.libs.jaicore.logic.fol.structure.HornRule
I
- implies(LiteralSet) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- implies(LiteralSet) - Method in class ai.libs.jaicore.logic.fol.structure.Monom
- InterpretedLiteral - Class in ai.libs.jaicore.logic.fol.structure
- InterpretedLiteral(Literal, Map<VariableParam, ? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
-
Copy constructor for an existing literal under giving mapping.
- InterpretedLiteral(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
-
Protected helper constructor.
- InterpretedLiteral(String, LiteralParam) - Constructor for class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
-
Creates a monadic literal (with only one parameter).
- InterpretedLiteral(String, List<LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
-
Creates a literal with a list of parameters.
- InterpretedLiteral(String, List<LiteralParam>, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
- intersectionOfLiteralSets(LiteralSet, LiteralSet) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- isClauseAlreadyContainedInFormula(CNFFormula, Clause) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- isClausePairAdmissible(ResolutionPair) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- isConsistent() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
- isConsistent() - Method in class ai.libs.jaicore.logic.fol.structure.Monom
- isContradictory() - Method in class ai.libs.jaicore.logic.fol.structure.Monom
- isCwa() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainingProblem
- isGround() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- isNegated() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- isNegationOf(Literal) - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- isObviouslyContradictory() - Method in class ai.libs.jaicore.logic.fol.structure.CNFFormula
- isOracable() - Method in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate
- isOracable() - Method in class ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate
- isOracable() - Method in class ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate
- isOracable() - Method in class ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate
- isOracable() - Method in class ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate
- isPositive() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- isRootType() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- isSatisfiable() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- isSatisfiable(CNFFormula) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- isSatisfiable(CNFFormula, CNFFormula) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
-
is f & g satisfiable if resolution must take in each step at least one clause from g (and resolvents produced)?
- isSubTypeOf(Type) - Method in class ai.libs.jaicore.logic.fol.structure.Type
-
Given the parameter typeToCheck, this method checks whether typeToCheck is actually a super type of the current object.
- isSuperTypeOf(Type) - Method in class ai.libs.jaicore.logic.fol.structure.Type
-
Given the parameter typeToCheck, this method checks whether typeToCheck is actually a sub type of the current object.
- isTautological() - Method in class ai.libs.jaicore.logic.fol.structure.Clause
L
- Literal - Class in ai.libs.jaicore.logic.fol.structure
-
A literal defines a property over parameters.
- Literal(Literal, Map<? extends LiteralParam, ? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.Literal
- Literal(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.Literal
-
Protected helper constructor.
- Literal(String, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.Literal
- Literal(String, LiteralParam) - Constructor for class ai.libs.jaicore.logic.fol.structure.Literal
-
Creates a monadic literal (with only one parameter).
- Literal(String, List<? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.Literal
-
Creates a literal with a list of parameters.
- Literal(String, List<? extends LiteralParam>, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.Literal
- LiteralParam - Class in ai.libs.jaicore.logic.fol.structure
-
The parameter of a literal.
- LiteralParam(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralParam
- LiteralParam(String, Type) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralParam
- LiteralSet - Class in ai.libs.jaicore.logic.fol.structure
-
A set of literals.
- LiteralSet() - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet
-
Creates an empty literal set.
- LiteralSet(Literal) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet
-
Creates a literal set that only contains the given literal.
- LiteralSet(String, String) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet
- LiteralSet(Collection<Literal>) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet
- LiteralSet(Collection<Literal>, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet
-
Creates a copy of the given collection.
- LiteralSet(Collection<Literal>, Map<? extends LiteralParam, ? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet
-
Creates a copy of the given collection under the given parameter mapping.
- LiteralStringParser - Class in ai.libs.jaicore.logic.fol.util
- LogicUtil - Class in ai.libs.jaicore.logic.fol.util
-
Utility class for the logic package.
M
- merge(TypeModule) - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- Monom - Class in ai.libs.jaicore.logic.fol.structure
- Monom() - Constructor for class ai.libs.jaicore.logic.fol.structure.Monom
- Monom(Literal) - Constructor for class ai.libs.jaicore.logic.fol.structure.Monom
- Monom(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.Monom
- Monom(Collection<Literal>) - Constructor for class ai.libs.jaicore.logic.fol.structure.Monom
- Monom(Collection<Literal>, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.Monom
- Monom(Collection<Literal>, Map<? extends LiteralParam, ? extends LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.structure.Monom
N
- nextBinding() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- NextBindingFoundEvent - Class in ai.libs.jaicore.logic.fol.util
- NextBindingFoundEvent(IAlgorithm<?, ?>, Map<VariableParam, LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.util.NextBindingFoundEvent
- nextWithException() - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- NotEmptyPredicate - Class in ai.libs.jaicore.logic.fol.theories.set
- NotEmptyPredicate() - Constructor for class ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate
O
- OneItemPredicate - Class in ai.libs.jaicore.logic.fol.theories.set
- OneItemPredicate() - Constructor for class ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate
P
- parseParamName(String) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
- PartitionPredicate - Class in ai.libs.jaicore.logic.fol.theories.set
- PartitionPredicate() - Constructor for class ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate
- performResolutionStepForPair(ResolutionPair) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- performResolutionUntilEmptyClauseIsFound(CNFFormula, CNFFormula) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
R
- removeFormula(CNFFormula) - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- removeSubType(Type) - Method in class ai.libs.jaicore.logic.fol.structure.Type
- removeSuperType(Type) - Method in class ai.libs.jaicore.logic.fol.structure.Type
- ResolutionPair - Class in ai.libs.jaicore.logic.fol.algorithms.resolution
- ResolutionPair(Clause, Clause, Literal, Literal) - Constructor for class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- ResolutionStep - Class in ai.libs.jaicore.logic.fol.algorithms.resolution
- ResolutionStep(ResolutionPair, Clause, Map<VariableParam, LiteralParam>) - Constructor for class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionStep
- ResolutionTree - Class in ai.libs.jaicore.logic.fol.algorithms.resolution
- ResolutionTree(Set<Clause>) - Constructor for class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree
- Rule - Class in ai.libs.jaicore.logic.fol.structure
- Rule(CNFFormula, CNFFormula) - Constructor for class ai.libs.jaicore.logic.fol.structure.Rule
S
- serialize() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- setConstantType(String, Type) - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- setLocal(Literal) - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent
- setRemainingConclusion(Monom) - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent
- SetTheoryUtil - Class in ai.libs.jaicore.logic.fol.theories.set
- SetTheoryUtil() - Constructor for class ai.libs.jaicore.logic.fol.theories.set.SetTheoryUtil
- setType(Type) - Method in class ai.libs.jaicore.logic.fol.structure.LiteralParam
- setType(Type) - Method in class ai.libs.jaicore.logic.fol.structure.VariableParam
- setTypeModule(TypeModule) - Static method in class ai.libs.jaicore.logic.fol.util.TypeUtil
- size() - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- Solver - Class in ai.libs.jaicore.logic.fol.algorithms.resolution
-
This solver tries to solver PL1 formulas in CNF where all variables are existentially quantified
- Solver() - Constructor for class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver
- SolverFactory - Class in ai.libs.jaicore.logic.fol.algorithms.resolution
T
- test(Monom, ConstantParam...) - Method in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate
- test(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate
- test(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate
- test(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate
- test(Monom, ConstantParam...) - Method in class ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate
- toggleNegation() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- toPropositionalSet() - Method in class ai.libs.jaicore.logic.fol.structure.LiteralSet
-
This method converts the LiteralSet into a PropositionalSet meaning that the resulting set only contains properties of the literals contained in this LiteralSet.
- toString() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.Clause
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.ConstantParam
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.HornRule
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.Monom
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.Rule
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.Type
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule
- toString() - Method in class ai.libs.jaicore.logic.fol.structure.VariableParam
- toString(boolean) - Method in class ai.libs.jaicore.logic.fol.structure.Literal
- type - Variable in class ai.libs.jaicore.logic.fol.structure.LiteralParam
- Type - Class in ai.libs.jaicore.logic.fol.structure
- Type(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.Type
- TypeModule - Class in ai.libs.jaicore.logic.fol.structure
- TypeModule() - Constructor for class ai.libs.jaicore.logic.fol.structure.TypeModule
- TypeModule(Collection<Type>) - Constructor for class ai.libs.jaicore.logic.fol.structure.TypeModule
- TypeUtil - Class in ai.libs.jaicore.logic.fol.util
U
- UnitResolutionSolver - Class in ai.libs.jaicore.logic.fol.algorithms.resolution
- UnitResolutionSolver() - Constructor for class ai.libs.jaicore.logic.fol.algorithms.resolution.UnitResolutionSolver
V
- VariableParam - Class in ai.libs.jaicore.logic.fol.structure
-
A variable parameter of a literal.
- VariableParam(VariableParam) - Constructor for class ai.libs.jaicore.logic.fol.structure.VariableParam
- VariableParam(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.VariableParam
- VariableParam(String, Type) - Constructor for class ai.libs.jaicore.logic.fol.structure.VariableParam
- variablesMayBeUnifiedWithThisConstant() - Method in class ai.libs.jaicore.logic.fol.structure.ConstantParam
- verifyThatGroundingEnablesConclusion(Collection<Literal>, Collection<Literal>, Map<VariableParam, LiteralParam>) - Method in class ai.libs.jaicore.logic.fol.util.ForwardChainer
- verifyThatGroundingEnablesPremise(Collection<Literal>, Collection<Literal>, Map<VariableParam, LiteralParam>) - Static method in class ai.libs.jaicore.logic.fol.util.LogicUtil
All Classes All Packages