A C D E F G H I L M N O P R S T U V

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(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() - 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.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

ConstantParam - Class in ai.libs.jaicore.logic.fol.structure

The constant parameter of a literal.

ConstantParam(String, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.ConstantParam

ConstantParam(String) - 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(Set<? extends 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

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(Monom) - Constructor for class ai.libs.jaicore.logic.fol.structure.DNFFormula

DNFFormula(Clause) - 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(String, 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(String) - 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(String) - Method in class ai.libs.jaicore.logic.fol.structure.TypeModule

getType() - Method in class ai.libs.jaicore.logic.fol.structure.VariableParam

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, 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) - Constructor for class ai.libs.jaicore.logic.fol.structure.InterpretedLiteral

Protected helper constructor.

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(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)?

isSatisfiable() - Method in class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver

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, 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) - 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, 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(String, String) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet

LiteralSet(Literal) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet

Creates a literal set that only contains the given literal.

LiteralSet(Collection<Literal>, boolean) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet

Creates a copy of the given collection.

LiteralSet(Collection<Literal>) - Constructor for class ai.libs.jaicore.logic.fol.structure.LiteralSet

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(String, 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

parameters - Variable in class ai.libs.jaicore.logic.fol.structure.Literal

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(boolean) - 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

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

TypeUtil() - Constructor for class ai.libs.jaicore.logic.fol.util.TypeUtil

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(String, Type) - Constructor for class ai.libs.jaicore.logic.fol.structure.VariableParam

VariableParam(String) - Constructor for class ai.libs.jaicore.logic.fol.structure.VariableParam

VariableParam(VariableParam) - 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

A C D E F G H I L M N O P R S T U V