|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.isi.powerloom.logic.Logic
public class Logic
Constructor Summary | |
---|---|
Logic()
|
Method Summary | |
---|---|
static Stella_Object |
accessBinaryValue(Stella_Object self,
Surrogate relation)
|
static double |
activateCachedNetwork(Cons tree)
|
static void |
addAllClassInstancesToCaseRule(Surrogate kind)
|
static void |
addCase(Symbol inst,
Symbol kind)
|
static void |
addDependentPropositionLink(Stella_Object self,
Proposition proposition)
|
static Cons |
addLoadPath(java.lang.String path)
Append the directories listed in the |-separated path to the end of the PowerLoom load path. |
static Cons |
addLoadPathEvaluatorWrapper(Cons arguments)
|
static void |
addTabooOperators(Symbol s)
|
static void |
addTestingExample(Cons form,
double score)
Add a query and score pair to the master list of testing examples |
static void |
addTestingExampleEvaluatorWrapper(Cons arguments)
|
static void |
addTrainingExample(Cons form,
double score)
Add a query and score pair to the master list of training examples |
static void |
addTrainingExampleEvaluatorWrapper(Cons arguments)
|
static void |
addTrainingExampleInModule(Cons form,
double score,
Symbol module)
|
static void |
addTrainingExampleInModuleEvaluatorWrapper(Cons arguments)
|
static Iterator |
allAncestorCollections(Stella_Object self,
Keyword instanceordescription)
|
static Iterator |
allAncestorsOfParents(Cons supers)
|
static Cons |
allAssertedTypes(Stella_Object self)
Return a set of all of the types that are asserted to be satisfied by 'self'. |
static Cons |
allClassInstances(Surrogate type)
Return a set of instances that belong to the class 'type'. |
static Cons |
allCycles(Module module,
boolean localP)
Return a list of lists of descriptions that are provably co-extensional. |
static Cons |
allDefiningPropositions(Stella_Object outputargument,
Surrogate relation,
boolean specializeP)
|
static Iterator |
allDirectlyLinkedObjects(Stella_Object self,
Surrogate relation,
boolean inverseP)
|
static TruePropositionsIterator |
allDirectlyLinkedSubcollections(Stella_Object self)
|
static Cons |
allDirectTypes(Stella_Object self)
Return a set of most specific types that are satisfied by 'self'. |
static Cons |
allFactsOf(Stella_Object instanceref)
Return a cons list of all definite (TRUE or FALSE) propositions that reference the instance instanceref . |
static List |
allFactsOfInstance(Stella_Object self,
boolean includeunknownfactsP,
boolean elaborateP)
Return a list of all definite (TRUE or FALSE) propositions attached to self . |
static Cons |
allFactsOfN(int n,
Cons instancerefs)
This is a generalization of allFactsOf (which see). |
static Cons |
allFactsOfNEvaluatorWrapper(Cons arguments)
|
static Iterator |
allInstances(Module module,
boolean localP)
Iterate over all instances (or individuals) visible from module . |
static Cons |
allIsaCollections(Stella_Object self)
|
static Iterator |
allNamedDescriptions(Module module,
boolean localP)
Iterate over all named descriptions visible from 'module'. |
static boolean |
allNamedDescriptionsNextP(AllPurposeIterator self)
|
static Iterator |
allNamedInstances(Module module,
boolean localP)
Iterate over all named instances (or individuals) visible from module . |
static Iterator |
allNamedTerms(Module module,
boolean localP)
Iterate over all named terms visible from module . |
static PropositionNeuralNetwork |
allocateNeuralNetwork(int numIn,
int numHidden)
|
static QueryIterator |
allocateQueryIterator()
|
static SupportedClosureIterator |
allocateSupportedClosureIterator(Cons startnode,
java.lang.reflect.Method allocateadjacencyiterator,
java.lang.reflect.Method filterfunction)
Similar to allocateTransitiveClosureIterator (which see),
but return a SUPPORTED-CLOSURE-ITERATOR instead. |
static Iterator |
allocateTransitiveClosureIterator(Stella_Object startnode,
java.lang.reflect.Method allocateadjacencyiterator,
java.lang.reflect.Method filterfunction)
Return an iterator that generates the transitive closure of applying iterators generated by 'allocateAdjacencyIterator' to 'startNode'. |
static Iterator |
allPropositions(Module module,
boolean localP)
Iterate over all conceived propositions visible from module . |
static Cons |
allPropositionsMatchingArguments(Cons arguments,
Surrogate relation,
boolean specializeP)
|
static boolean |
allPropositionsNextP(AllPurposeIterator self)
|
static Cons |
allRelationValues(Surrogate relation,
Cons nminusonearguments)
Return a set of values that satisfy the relation 'relation' (a surrogate) applied to 'nMinusOneArguments' plus that last value. |
static Cons |
allSentencesOf(Stella_Object instanceref)
Return a list of sentences describing facts about 'instanceRef'. |
static Iterator |
allSpecializingDependentPropositions(Stella_Object self,
Surrogate relationref)
|
static boolean |
allSpecializingDependentPropositionsNextP(AllPurposeIterator self)
|
static Iterator |
allTerms(Module module,
boolean localP)
Return a list of all terms visible from module . |
static Iterator |
allTrueDependentIsaPropositions(Stella_Object self)
|
static Iterator |
allTrueDependentPropositions(Stella_Object self,
Surrogate relation,
boolean specializeP)
|
static Cons |
allTypes(Stella_Object self)
Return a set of all of the types that are satisfied by 'self'. |
static Iterator |
allUnnamedTerms(Module module,
boolean localP)
Iterate over all unnamed terms visible from module . |
static boolean |
alternativeBindingsSetP(Stella_Object thing)
|
static Stella_Object |
applyAsk(Cons body)
Execute a yes/no query composed of input-variables inputVariables and body queryBody . |
static boolean |
applyCachedAsk(Cons inputvariables,
Cons querybody,
Cons inputbindings,
Stella_Object options,
Symbol cacheid,
java.lang.Object[] MV_returnarray)
|
static Cons |
applyCachedRetrieve(Cons variables,
Cons querybody,
Cons inputbindings,
Stella_Object options,
Symbol cacheid,
java.lang.Object[] MV_returnarray)
|
static Stella_Object |
applyRetrieve(Cons body)
Execute a query composed of io-variables variables
and body queryBody . |
static boolean |
applySubsumptionTestP(java.lang.reflect.Method subsumptiontest,
LogicObject self,
LogicObject renamed_Super)
|
static double |
approximate(Symbol instName,
Symbol slotName)
|
static FloatWrapper |
approximateEvaluatorWrapper(Cons arguments)
|
static boolean |
argumentBoundP(Stella_Object argument)
|
static Stella_Object |
argumentBoundTo(Stella_Object self)
|
static boolean |
argumentDiscouragesBacklinksP(Stella_Object self)
|
static BooleanVector |
argumentsVectorToBooleanVector(Vector argumentsvector)
|
static TruthValue |
ask(Cons propositionAoptions)
Perform inference to determine whether the proposition specified in propositionAoptions is true. |
static TruthValue |
askEvaluatorWrapper(Cons arguments)
|
static double |
askPartial(Cons propositionAoptions)
Similar to ask (which see), but return the highest partial match score
for the supplied proposition instead of a truth value. |
static FloatWrapper |
askPartialEvaluatorWrapper(Cons arguments)
|
static Proposition |
assertBinaryValue(Surrogate relation,
Stella_Object self,
Stella_Object value)
|
static List |
assertedCollectionMembers(Stella_Object self,
boolean directP)
|
static Cons |
assertFromQuery(Cons query,
Cons options)
Evaluate query , instantiate the query proposition for each generated
solution and assert the resulting propositions. |
static Cons |
assertFromQueryEvaluatorWrapper(Cons arguments)
|
static void |
assertInducedRules()
|
static Proposition |
assertIsaProposition(Stella_Object self,
Surrogate type)
|
static void |
assertKeywordAxiom(Stella_Object self,
Symbol selfname,
Keyword key,
Stella_Object value)
|
static Proposition |
assertMemberOfProposition(Stella_Object self,
Stella_Object collection)
|
static Proposition |
assertRule(Stella_Object rulename)
Set the truth value of the rule named 'ruleName' to TRUE. |
static Proposition |
assertTuple(Surrogate relation,
Cons arguments)
|
static void |
assignNativeSlotValue(Thing self,
StorageSlot slot,
Stella_Object value)
|
static boolean |
automaticInstanceSymbolP(Stella_Object symbol)
|
static Cons |
axioms(Stella_Object self)
|
static Stella_Object |
axiomsSetter(Stella_Object self,
Cons axioms)
|
static Proposition |
beginCreatingFunctionProposition(GeneralizedSymbol surrogate,
Cons inputarguments)
|
static World |
bestInferenceCache(Context context)
|
static boolean |
bindArgumentToValueP(Stella_Object argument,
Stella_Object value,
boolean autocleanupP)
|
static void |
bindLogicObjectToSurrogate(Symbol name,
Stella_Object renamed_Object)
|
static boolean |
bindVectorOfArgumentsToValuesP(Vector arguments,
Cons values)
|
static boolean |
booleanTypeP(Surrogate self)
|
static boolean |
bothNumbersP(Stella_Object t1,
Stella_Object t2)
|
static boolean |
bottomP(Stella_Object self)
Return TRUE if 'self' is the undefined individual BOTTOM. |
static void |
bottomUpRuleInduction(List examples,
boolean simplifyRuleP)
|
static void |
bottomUpRuleInductionEvaluatorWrapper(Cons arguments)
|
static Proposition |
buildAndOrNotProposition(Cons tree)
|
static Proposition |
buildAnnotatedProposition(Cons tree)
|
static Cons |
buildAntecedentFromRuleIndex(Vector props,
List ruleIndex)
|
static void |
buildCaseRule(Surrogate kind)
|
static void |
buildClassificationRule(Symbol kind,
Symbol className)
|
static Proposition |
buildCollectIntoProposition(Cons tree)
|
static Proposition |
buildConjunctionOfEqualityPropositions(Cons remainingterms,
Cons equivalences)
|
static Stella_Object |
buildDecisionTree(List examples,
List features,
Cons featureStack)
|
static Proposition |
buildEquivalenceProposition(Cons tree)
|
static Proposition |
buildExistsProposition(Cons tree)
|
static Proposition |
buildFailProposition(Cons tree)
|
static Proposition |
buildForallProposition(Cons tree)
|
static Proposition |
buildHoldsProposition(Cons tree)
|
static Proposition |
buildImpliesProposition(Cons tree)
|
static Proposition |
buildIsaProposition(Cons tree)
|
static Proposition |
buildMemberOfProposition(Cons tree)
|
static Proposition |
buildPredicateProposition(Cons tree)
|
static Stella_Object |
buildProposition(Stella_Object tree)
|
static Cons |
buildQuantifiedProposition(Cons tree,
boolean converttypestoconstraintsP,
java.lang.Object[] MV_returnarray)
|
static void |
buildSubsumptionTaxonomyGraph()
|
static Proposition |
buildTopLevelProposition(Stella_Object tree,
boolean trueassertionP)
|
static Stella_Object |
buildTopLevelTerm(Stella_Object tree)
|
static List |
buildTypeDefs(List instances)
|
static Cons |
buildVariableConstraints(List instances)
|
static int |
bumpClassificationTimeclock()
|
static void |
bumpInferableTimestamp()
|
static void |
cachedBackpropagateError(Cons tree,
double error)
|
static void |
cachedQuickpropagateError(Cons tree,
double error)
|
static boolean |
cacheQueryResultsP()
|
static double |
calculateCaseMatch(Stella_Object x,
Stella_Object y)
|
static List |
callAllFactsOf(Stella_Object instanceref)
Return a list of all definite (TRUE or FALSE) propositions that reference the instance instanceref . |
static List |
callAllFactsOfN(int n,
Cons seedrefs)
|
static TruthValue |
callAsk(Stella_Object query)
Callable version of ask (which see). |
static double |
callAskPartial(Stella_Object query)
|
static NamedDescription |
callDefconcept(Cons arguments)
Callable version of the defconcept command (which see). |
static NamedDescription |
callDeffunction(Cons arguments)
Callable version of the deffunction command (which see). |
static LogicObject |
callDefobject(Cons arguments)
Callable version of the defobject command (which see). |
static Proposition |
callDefproposition(Cons arguments)
Callable version of the defproposition command (which see). |
static NamedDescription |
callDefrelation(Cons arguments)
Callable version of the defrelation command (which see). |
static Cons |
callGetRules(Stella_Object relationref)
|
static Cons |
callListUndefinedRelations(Module module,
boolean localP)
Callable version of listUndefinedRelations (which see). |
static void |
callPropagateConstraints(Context context)
Trigger constraint propagation over all propositions in the module or world context . |
static QueryIterator |
callRetrieve(Stella_Object query)
Callable version of retrieve (which see). |
static QueryIterator |
callRetrievePartial(Stella_Object query)
Callable version of retrievePartial (which see). |
static void |
callRunForwardRules(Module module,
boolean forceP)
Run forward inference rules in module 'module'. |
static Keyword |
callSetInferenceLevel(Keyword levelkeyword,
Module module)
Set the inference level of module to the level specified
by 'levelKeyword'. |
static Cons |
canonicalizeAnnotation(Cons tree)
|
static Stella_Object |
canonicalizePropositionTree(Stella_Object tree)
|
static void |
changeKifExpressionsToStellaExpressions(Cons expressions,
boolean termsP)
|
static boolean |
checkCoercedTypeP(Stella_Object self,
Surrogate type,
boolean shallowP,
java.lang.Object[] MV_returnarray)
|
static void |
checkMasterNetworkList()
|
static boolean |
checkStrictTypeP(Stella_Object self,
Surrogate type,
boolean shallowP)
|
static boolean |
checkTypeP(Stella_Object self,
Surrogate type,
boolean shallowP)
|
static LogicObject |
chooseBestDownclassifiedParent(Cons parents)
|
static NamedDescription |
classDgetDescription(Stella_Class self)
|
static void |
classifyInstances(Stella_Object module,
boolean localP)
Classify instances visible in module . |
static void |
classifyInstancesEvaluatorWrapper(Cons arguments)
|
static void |
classifyRelations(Stella_Object module,
boolean localP)
Classify named relations visible in module . |
static void |
classifyRelationsEvaluatorWrapper(Cons arguments)
|
static Surrogate |
classLogicalType(Stella_Class self)
|
static boolean |
classNamesNextP(AllPurposeIterator self)
|
static boolean |
classOperatorP(GeneralizedSymbol operator)
|
static boolean |
classP(Stella_Object objectref)
Return TRUE if 'objectRef' denotes a class. |
static void |
cleanupAllDescriptionExtensions()
|
static void |
cleanupStructuredObjectsIndex(Module clearmodule)
|
static void |
cleanupUnfinalizedObjects()
|
static void |
clearAllNeuralNetworks()
|
static void |
clearAllSlopes()
|
static void |
clearCaches()
Clear all query and memoization caches. |
static void |
clearCases()
|
static void |
clearImplicationSubsumptionGraph()
|
static void |
clearInstances(Cons name)
Destroy all instances belonging to module name or any of its children. |
static void |
clearInstancesEvaluatorWrapper(Cons arguments)
|
static void |
clearLogicModuleHook(Module module)
|
static void |
clearNativeSlotValue(Thing renamed_Object,
StorageSlot slot)
|
static void |
clearQueryResultsCache()
|
static void |
clearSlotFromClass(Symbol className,
Symbol slotName)
|
static void |
clearTrainingExamples()
|
static boolean |
clipValueP(Stella_Object term1,
Stella_Object term2)
|
static boolean |
closedByAssertionP(Stella_Object self)
|
static boolean |
closedTermP(Stella_Object self)
|
static Stella_Object |
coerceDate(Stella_Object value,
Surrogate datetyperef)
|
static Stella_Object |
coerceIncompatibleValue(Stella_Object value,
Surrogate type)
|
static Stella_Object |
coerceOptionValue(Stella_Object value,
Surrogate type)
|
static Stella_Object |
coerceQuantity(Stella_Object value,
Surrogate quantitytyperef)
|
static Surrogate |
coerceToBoundOrLocalSurrogate(GeneralizedSymbol self)
|
static Description |
coerceToDescription(Stella_Object self,
Stella_Object original)
|
static LogicObject |
coerceToInstance(Stella_Object self,
Stella_Object original)
Return the logic instance referred to by 'self'. |
static Stella_Object |
coerceToInstanceInModule(Stella_Object self,
Module module,
boolean localP,
Stella_Object original)
|
static Stella_Object |
coerceToInstanceOrLiteral(Stella_Object self,
Stella_Object original)
Return the logic instance referred to by self , or self if it is a
literal (e.g., string or number) that can't be coerced. |
static java.lang.String |
coerceToString(Stella_Object self)
|
static Stella_Object |
coerceToTree(Stella_Object self)
|
static Vector |
coerceToVector(Stella_Object self)
Return a vector containing the elements in self . |
static void |
collapseValueOfChainsForIoVariables(Vector iovariables)
|
static void |
collectClosedGoals(List goals,
List goalsequence)
|
static void |
collectFactsInExamples(List examples)
|
static void |
collectFreeVariables(Stella_Object self,
List collection,
List quantifiedvars,
List beenthere)
|
static boolean |
collectionP(Stella_Object objectref)
Return TRUE if 'objectRef' denotes a relation or a class. |
static LogicObject |
collectionWithFewestChildren(Cons collections)
|
static void |
collectUndeclaredVariables(Stella_Object tree,
Cons declaredvariables,
List undeclaredvariables)
|
static Cons |
combineAxiomLists(Cons oldaxioms,
Stella_Object newaxioms)
|
static Stella_Object |
combineCaseAnswers(Vector closest,
Vector scores,
Vector slots)
|
static boolean |
commandL(MethodSlot command1,
MethodSlot command2)
|
static boolean |
commandOptionEqlP(Stella_Object arg,
java.lang.String option)
|
static void |
computeBackupOpenGoalOrdering(List goalsequence)
|
static double |
computeDelta(double slope,
double prevSlope,
double prevDelta)
|
static double |
computeError(double training,
double output)
|
static Cons |
computeExternalBindings(Vector externalarguments)
|
static void |
computeGreedyOpenGoalOrdering(List optimizervariables,
int numberofopengoals,
List goalsequence,
double priorcost,
double priorfanout)
|
static int |
computeLoomDescriptionArity(Stella_Object tree)
|
static void |
computeOptimalOpenGoalOrdering(List optimizervariables,
int numberofopengoals,
List goalsequence,
double priorcost,
double priorfanout)
|
static double |
computeQpDelta(double slope,
double prevSlope,
double prevDelta)
|
static Stella_Object |
conceive(Stella_Object formula)
Guess whether 'formula' represents a term or a sentence/proposition. |
static Stella_Object |
conceiveFormula(Stella_Object tree)
|
static Stella_Object |
conceiveSentence(Stella_Object tree)
|
static Stella_Object |
conceiveTerm(Stella_Object tree)
tree is a term expression (a string or an s-expression),
or is a class reference (a symbol or surrogate). |
static Proposition |
conjoinPropositions(Cons conjuncts)
|
static Stella_Object |
conjoinSentences(Cons sentences)
|
static Proposition |
consDbuildProposition(Cons tree)
|
static Stella_Object |
consifyArgument(Stella_Object arg)
|
static boolean |
consLessThanP(Cons o1,
Cons o2)
|
static boolean |
constantP(Stella_Object objectref)
Return TRUE if objectref denotes a literal or scalar. |
static Vector |
consToVector(Cons form)
|
static void |
constrainAsSubset(Collection set1,
Collection set2)
|
static boolean |
containsOutputVariableP(Cons clause,
Cons outputVariables)
|
static boolean |
contextDependentSearchModeP()
|
static Stella_Object |
convertToPrefixPropositionTree(Stella_Object tree)
|
static Vector |
copyArgumentsVector(Vector arguments)
|
static Vector |
copyConsListToVariablesVector(Cons conslist)
|
static Vector |
copyListToArgumentsVector(List arguments)
|
static Vector |
copyPatternArguments(Vector arguments,
Description description)
|
static Stella_Object |
copyPropositionArgument(Stella_Object self,
KeyValueList mapping)
|
static void |
copyright()
Print detailed PowerLoom copyright information. |
static java.lang.String |
copyrightYears()
|
static Vector |
copyVariablesVector(Vector self,
KeyValueList mapping)
|
static int |
countBacklinksOnRelation(Stella_Object self,
Keyword kind,
Surrogate relation)
|
static int |
countExampleMatches(List examples,
int index,
IntegerWrapper matchValue)
|
static Stella_Object |
create(GeneralizedSymbol name,
Cons type)
Create a logic object with name 'name' and return it. |
static twoDArray |
create2DArray(int nofRows,
int nofColumns,
Cons values)
Create a two-dimensional array with nofRows rows and
nofColumns columns, and initialize it in row-major-order from values . |
static twoDFloatArray |
create2DFloatArray(int nofRows,
int nofColumns,
Cons values)
Create a two-dimensional array with nofRows rows and
nofColumns columns, and initialize it in row-major-order from values . |
static LogicObject |
createAnonymousInstance(java.lang.String prefix,
boolean skolemP)
|
static QueryIterator |
createAskQuery(Stella_Object query)
|
static BacklinksIndex |
createBacklinksIndex(Stella_Object self)
|
static Cons |
createCachedNetwork(Cons consQuery)
|
static Vector |
createCaseInstanceVector(Surrogate renamed_Class)
|
static Vector |
createCaseValueVector(List instances,
Surrogate slot)
|
static Proposition |
createContainedByArgument(Stella_Object collection,
List bridgeargs)
|
static Description |
createDescription(int arity,
boolean namedP)
|
static NamedDescription |
createDescriptionForStellaRelation(Relation self)
|
static Description |
createDescriptionForStellaRelationAndAncestors(Relation self)
|
static Skolem |
createEnumeratedSet(List set)
|
static Proposition |
createEquivalenceProposition(Stella_Object term1,
Stella_Object term2)
|
static Stella_Object |
createEvaluatorWrapper(Cons arguments)
|
static FloatVector |
createFloatVector(Cons values)
Return a vector containing 'values', in order. |
static Proposition |
createFunctionProposition(GeneralizedSymbol predicate,
Cons inputarguments)
|
static Vector |
createHiddenSignature(Cons consQuery)
|
static LogicObject |
createHypothesizedInstance(java.lang.String prefix)
|
static Proposition |
createImpliesProposition(Stella_Object tail,
Stella_Object head)
|
static World |
createInferenceCache(Context context,
Keyword kind)
|
static Vector |
createInputSignature(Cons consQuery)
|
static Skolem |
createLogicalList(List list)
|
static Stella_Object |
createLogicInstance(Surrogate name,
Surrogate type)
|
static MarkerTable |
createMarkerStorage(boolean supportrecallP)
Return a new marker storage object, used to remember with objects have been 'marked'. |
static NamedDescription |
createPrimitiveDescription(List iovariablenames,
List iovariabletypes,
boolean variablearityP,
boolean classP,
boolean functionP,
Module module)
|
static Proposition |
createProposition(Symbol kind,
int argumentcount)
|
static int |
createPropositionalTrainingExamples(List examples,
OutputFileStream nameFile,
OutputFileStream dataFile)
|
static QueryIterator |
createRetrieveQuery(Stella_Object query)
|
static SequenceIndex |
createSequenceIndex(Stella_Object self,
Cons pattern)
|
static Skolem |
createSkolem(Surrogate type,
Symbol name)
|
static KeyValueList |
createSkolemMappingTable(Vector oldvars,
Vector newvars)
|
static PatternVariable |
createVariable(Surrogate type,
Symbol name,
boolean assertisaP)
|
static Skolem |
createVariableOrSkolem(Surrogate type,
Symbol name)
|
static Vector |
createVector(Cons values)
Return a vector containing 'values', in order. |
static int |
currentClassificationTime()
|
static NormalInferenceLevel |
currentInferenceLevel()
Return the current inference level that is active in the current query, the current module, or, otherwise, globally. |
static Cons |
deconstructForallTree(Cons foralltree,
java.lang.Object[] MV_returnarray)
|
static void |
decreaseIndent(int indent)
|
static TruthValue |
defaultifyTruthValue(boolean trueP,
boolean bydefaultP)
|
static Keyword |
defaultifyUpdateMode(Keyword updatemode)
|
static NamedDescription |
defconcept(Cons args)
Define (or redefine) a concept. |
static NamedDescription |
defconceptEvaluatorWrapper(Cons arguments)
|
static Stella_Object |
defDisplayGlobals(Symbol displayfunctionname,
Cons globalvariablenames)
|
static Cons |
deferredDefaultPropositions(Context self)
|
static void |
deferredDefaultPropositionsSetter(Context self,
Cons newvalue)
|
static NamedDescription |
deffunction(Cons args)
Define (or redefine) a logic function. |
static NamedDescription |
deffunctionEvaluatorWrapper(Cons arguments)
|
static Stella_Object |
defineArithmeticOperationOnWrappers(Symbol name,
Symbol operationName)
Defines name as an arithmetic comparision operation using the
test testName . |
static Stella_Object |
defineArithmeticTestOnWrappers(Symbol name,
Symbol testName)
Defines name as an arithmetic comparision operation using the
test testName . |
static Stella_Object |
defineComputedConstraint(Symbol name,
Cons varList,
Cons constraintTest,
Cons positionComputations)
Defines name to be a constraint computation which uses
constraintTest to determine if a fully bound set of variables
satisfies the constraint. |
static void |
defineExplanationPhrase(Keyword phrasekey,
Keyword audience,
java.lang.String phrase,
Cons modifiers)
|
static PropositionNeuralNetwork |
defineNeuralNetworkFromParseTree(Cons tree)
|
static NamedDescription |
defineRelationFromParseTree(Cons tree)
|
static void |
definitionAxiomsHandler(Stella_Object self,
StorageSlot slot,
Stella_Object theaxioms)
|
static void |
definitionKeywordAxiomsHandler(Stella_Object self,
Symbol selfname,
Keyword key,
Stella_Object value)
|
static LogicObject |
definstance(Cons args)
Define (or redefine) a logic instance ( definstance is an alias
for defobject which see). |
static LogicObject |
definstanceEvaluatorWrapper(Cons arguments)
|
static PropositionNeuralNetwork |
defnetwork(Cons args)
|
static PropositionNeuralNetwork |
defnetworkEvaluatorWrapper(Cons arguments)
|
static LogicObject |
defobject(Cons args)
Define (or redefine) a logic instance. |
static LogicObject |
defobjectEvaluatorWrapper(Cons arguments)
|
static Proposition |
defproposition(Cons args)
Define (or redefine) a named proposition. |
static Proposition |
defpropositionEvaluatorWrapper(Cons arguments)
|
static NamedDescription |
defrelation(Cons args)
Define (or redefine) a logic relation. |
static NamedDescription |
defrelationEvaluatorWrapper(Cons arguments)
|
static Proposition |
defrule(Cons args)
Define (or redefine) a named rule ( defrule is an alias
for defproposition which see). |
static Proposition |
defruleEvaluatorWrapper(Cons arguments)
|
static void |
deleteAllNeuralNetworks()
|
static void |
deleteRuleCachesOnRelation(Relation relation)
|
static void |
deleteRules(Stella_Object relation)
Delete the list of rules associated with relation . |
static void |
demo(Cons fileandpause)
Read logic commands from a file, echo them verbatimly to standard output, and evaluate them just as if they had been typed in interactively. |
static java.lang.String |
demoEntryDescription(Cons demoentry)
|
static java.lang.String |
demoEntryFile(Cons demoentry)
|
static boolean |
demoEntryTestSuiteP(Cons demoentry)
|
static void |
demoEvaluatorWrapper(Cons arguments)
|
static void |
demoExampleDemos()
|
static void |
demoFile(java.lang.String file,
boolean pauseP)
|
static boolean |
demoPauseP(boolean pauseP,
java.lang.Object[] MV_returnarray)
|
static boolean |
demoSkipToCommand(InputStream stream)
|
static Stella_Object |
deny(Stella_Object proposition)
Assert the falsity of proposition . |
static Stella_Object |
deobjectifyTree(Stella_Object self)
Return a copy of self where all logic objects are
replaced by their generated parse-tree version. |
static boolean |
descriptionModeP()
|
static Stella_Object |
destroy(Stella_Object objectspec)
Find an object or proposition as specified by objectspec , and destroy all
propositions and indices that reference it. |
static void |
destroyAllInferenceCaches(Context context,
Keyword kind)
|
static void |
destroyInferenceCache(Context context,
Keyword kind)
|
static void |
destroyInferenceCaches(Context context)
|
static void |
destroyInstance(Stella_Object self)
Destroy all propositions that reference 'self', and mark it as 'deleted?', thereby making it invisible within class extensions. |
static void |
destroyLogicContextHook(Context self)
|
static void |
destroyLogicInstance(Stella_Object self)
|
static void |
destroyObject(Stella_Object self)
Destroy self which can be a term or a proposition. |
static void |
destructivelyUnquoteTopLevel(Cons tree)
|
static void |
detectNoiseInTrainingExamples(List examples)
|
static Iterator |
directSuperrelations(Relation self)
Return direct super classes/slots of 'self'. |
static boolean |
disabledPowerloomFeatureP(Keyword feature)
Return true if the STELLA feature is currently disabled. |
static Proposition |
disjoinPropositions(Cons disjuncts)
|
static java.lang.String |
displaySettings()
|
static void |
doClearInstances(Module module)
Function version of clearInstances that evaluates its argument. |
static void |
doSaveModule(Module module,
Stella_Object store)
Save module to the persistent store store which can
either be an output stream or a persistent OBJECT-STORE. |
static Cons |
dropLoadPath(java.lang.String path)
Remove the directories listed in the |-separated path from the PowerLoom load path. |
static Cons |
dropLoadPathEvaluatorWrapper(Cons arguments)
|
static void |
dropNativeSlotValue(Thing self,
StorageSlot slot,
Stella_Object value)
|
static void |
dynamicallyReoptimizeArguments(Vector arguments,
int cursor)
|
static boolean |
eitherNumbersP(Stella_Object t1,
Stella_Object t2)
|
static void |
elaborateInstance(Stella_Object self)
|
static void |
elaborateMetaInstance(Stella_Object self)
|
static Stella_Object |
eliminateLoomKeywords(Stella_Object tree)
|
static void |
emitThinkingDot(Keyword kindofthinking)
|
static boolean |
emptyTermP(Stella_Object self)
|
static boolean |
enabledPowerloomFeatureP(Keyword feature)
Return true if the STELLA feature is currently enabled. |
static void |
enforceCodeOnly()
|
static Surrogate |
ensureDeferredDescription(Surrogate self)
|
static double |
entropy(int p,
int n)
|
static boolean |
enumeratedListP(Stella_Object self)
|
static boolean |
enumeratedSetP(Stella_Object self)
|
static List |
enumerationsContainingMember(Stella_Object self)
|
static boolean |
equalUpToSkolemIdentityP(Stella_Object inheritedarg,
Stella_Object basearg,
KeyValueList mapping)
|
static void |
equateCollections(Collection col1,
Collection col2)
|
static void |
equateValues(Stella_Object term1,
Stella_Object term2)
|
static boolean |
equivalentEnumerationsP(Collection self,
Collection other)
|
static boolean |
equivalentFormulaeP(Stella_Object self,
Stella_Object other,
KeyValueList mapping)
|
static Stella_Object |
equivalentValueOf(Stella_Object self)
|
static double |
euclideanDistance(Vector vec1,
Vector vec2)
|
static Stella_Object |
evaluateAutomaticInstance(Symbol name)
|
static Stella_Object |
evaluateCreateTerm(Cons term)
|
static Description |
evaluateDescriptionTerm(Cons term,
boolean checkforduplicateP)
|
static Stella_Object |
evaluateFirstArgument(Stella_Object argument,
Symbol relationname)
|
static Stella_Object |
evaluateFunctionTerm(Cons tree)
|
static Stella_Object |
evaluateLiteralWrapperTerm(LiteralWrapper self)
|
static Stella_Object |
evaluateLogicCommand(Stella_Object command,
boolean finalizeP)
|
static LogicObject |
evaluatePredicate(GeneralizedSymbol name,
Stella_Object firstargument)
|
static Surrogate |
evaluateRelationTerm(Stella_Object relationterm,
Proposition proposition)
|
static Vector |
evaluateRuleInduction(Symbol relationName,
Symbol className,
int numTrials,
int curveSplits)
|
static Vector |
evaluateRuleInductionEvaluatorWrapper(Cons arguments)
|
static TruthValue |
evaluateSelectionPattern(Cons pattern)
|
static Stella_Object |
evaluateSurrogateTerm(Surrogate self)
|
static Stella_Object |
evaluateSymbolTerm(Symbol self)
|
static Stella_Object |
evaluateTerm(Stella_Object self)
|
static Stella_Object |
evaluateTypedArgument(Stella_Object argument,
Surrogate type)
|
static boolean |
evaluationSelectionPatternP(Cons pattern)
|
static void |
excludeOriginatedPropositions()
|
static void |
executeConstraintPropagationQueues()
|
static double |
expectedEntropy(int featureIndex,
List examples)
|
static void |
explainWhy(java.lang.String label,
Keyword style,
int maxdepth,
OutputStream stream)
Programmer's interface to WHY function. |
static void |
explainWhynot(java.lang.String label,
Keyword style,
int maxdepth,
boolean summaryP,
OutputStream stream)
Programmer's interface to the WHYNOT function. |
static boolean |
explicitlyQualifiedLogicObjectNameP(GeneralizedSymbol objectname,
Module definitionmodule)
|
static List |
explodeVariablizedString(java.lang.String string)
|
static boolean |
extensionalIndividualP(Stella_Object individual)
|
static Stella_Object |
extractAnnotation(Stella_Object tree,
Keyword option,
java.lang.Object[] MV_returnarray)
|
static void |
extractOpenGoalClusters(List opengoals,
List opengoalclusters)
|
static Cons |
extractVariablesFromDeclarations(Stella_Object declarations)
|
static void |
fillInExampleOutputs(List examples,
Symbol slotName)
|
static void |
filterAntecedent(List antecedent,
java.lang.String ruleName)
|
static List |
filteredAllFactsOfN(int n,
Cons seedrefs,
java.lang.reflect.Method filter)
|
static boolean |
filterOutStrategyP(Keyword strategy,
ControlFrame frame)
|
static Cons |
filterOutUnnamedDescriptions(Cons descriptions)
|
static void |
finalizeCases(Symbol kind)
|
static boolean |
finalizedObjectP(Stella_Object self)
|
static void |
finalizeObject(Stella_Object self)
|
static void |
finalizeObjectAxioms(Stella_Object self)
|
static void |
finalizeObjects()
Finalize all currently unfinalized objects. |
static void |
finalizeSuperrelationLinks(Relation self)
|
static Cons |
findDirectSupersOfInstance(Stella_Object self)
Classify 'self' and return a list of most specific named descriptions among all descriptions that it satisfies. |
static Proposition |
findEquatingProposition(Stella_Object directobject,
LogicObject indirectobject)
|
static java.lang.String |
findFileInLoadPath(java.lang.String file,
Cons extensions)
Try to find file in the current load path and, if found,
return its full name. |
static Stella_Object |
findInstance(Stella_Object instanceref)
Return the nearest instance with name 'instanceRef' visible from the current module. |
static Cons |
findMatchingCaseVars(Cons clause,
List antecedent,
List generatedVariables)
|
static Proposition |
findOrCreateFunctionProposition(GeneralizedSymbol predicate,
Cons inputarguments)
|
static Proposition |
findRule(Stella_Object rulename)
Search for a rule named 'ruleName'. |
static LogicObject |
findSelectionKeyWithEquivalents(Cons pattern)
|
static List |
findUniqueVariableNames(Cons tree,
List names)
|
static boolean |
floatFunctionP(Surrogate relation)
|
static void |
flushClassificationSessions()
|
static void |
flushInlineQueryCaches()
|
static double |
foilGain(int featureIndex,
double utility,
List coveredPos,
List coveredNeg)
|
static double |
foilUtility(int p,
int n)
|
static boolean |
functionalTermP(Stella_Object term)
|
static java.lang.reflect.Method |
functionCodeFromProcedure(Stella_Object p)
|
static boolean |
functionOutputSkolemP(Stella_Object self)
|
static boolean |
functionP(Stella_Object relationref)
Return TRUE if 'relationRef' references a function. |
static Cons |
generalizeInequality(Cons probe,
Cons match,
List bindings)
|
static Cons |
generateArguments(Vector arguments)
|
static void |
generateCaseRuleWoSlot(Vector cases,
Symbol className,
Symbol slotName)
|
static int |
generateCaseTrainingExamples(Vector instances,
Surrogate slot)
|
static void |
generateClassificationRule(Vector instances,
Symbol conceptName,
Symbol className,
boolean buildRuleP)
|
static int |
generateClassificationTrainingExamples(Vector instances,
Surrogate concept,
boolean createSignatureP)
|
static void |
generateRegressionRuleWoSlot(Vector cases,
Symbol slotName,
Symbol className,
boolean reallyBuildRule)
|
static int |
generateRegressionTrainingExamples(Vector instances,
Surrogate slot)
|
static double |
generateSlotApproximation(Symbol instName,
Surrogate slot)
|
static Cons |
generateStellaCollection(Collection self)
|
static Stella_Object |
generateTerm(Stella_Object self)
|
static int |
generateTrainingExamples(Vector instances,
Surrogate concept)
|
static Cons |
generateVariables(Vector vector,
boolean typedP)
|
static boolean |
generatorCollectionP(Stella_Object collection)
|
static Stella_Object |
getArgumentBinding(Stella_Object arg)
|
static List |
getAssertionStructure(Symbol inst,
int depth)
|
static BacklinksIndex |
getBacklinksIndex(Stella_Object self)
|
static LogicObject |
getClass(Stella_Object instanceref)
Return the nearest class with name 'instanceRef' visible from the current module. |
static ClassificationCache |
getClassificationCache(Stella_Object self)
|
static List |
getClassificationRelations(Cons consQuery)
|
static ClassificationSession |
getClassificationSession(Keyword instanceordescription)
|
static World |
getClassificationWorld()
|
static List |
getCoveredExamples(Cons rule,
List uncovered)
|
static NamedDescription |
getDescription(Stella_Object self)
|
static java.lang.String |
getFormattedDateAndTime()
|
static NamedDescription |
getIdenticalRelation(Symbol name,
java.lang.String stringifiedsource)
|
static Context |
getInferableTestContext()
|
static World |
getInferenceCache(Context context,
Keyword kind)
|
static InferenceLevel |
getInferenceLevel(Keyword levelkeyword)
|
static Stella_Object |
getInstance(Stella_Object instanceref)
Return the nearest instance with name 'instanceRef' visible from the current module. |
static Cons |
getLoadPath()
Return the current PowerLoom load path. |
static Module |
getModule(Stella_Object moduleref)
Return a module named 'moduleRef'. |
static int |
getNowTimestamp()
|
static LogicObject |
getNullInstance()
|
static Context |
getPropertyTestContext()
|
static Context |
getQueryContext()
|
static QueryIterator |
getQueryIteratorFromCommand(Cons query)
|
static LogicObject |
getRelation(Stella_Object instanceref)
Return the nearest relation with name 'instanceRef' visible from the current module. |
static Proposition |
getRule(Stella_Object rulename)
|
static Cons |
getRules(Stella_Object relation)
Return the list of rules associated with relation . |
static List |
getRulesFromTree(Cons query,
DecisionTree tree)
|
static LogicObject |
getSelfOrPrototype(Stella_Object instanceref)
Used to convert a computation to reference so-called 'template' slots rather than 'own' slots: If 'instanceRef' denotes a class, return a prototype of that class. |
static Cons |
getSynonyms(Stella_Object term)
|
static Context |
getTopLevelUpdateContext()
|
static List |
getVariablesFromConsPropositions(Cons props)
|
static List |
getVariablesFromPropositionList(List props)
|
static Justification |
getWhyJustification(java.lang.String label)
Returns the current WHY justification. |
static Context |
getWorldState(Context self)
|
static Proposition |
gnp(Symbol name)
|
static Stella_Object |
groundValueOf(Stella_Object self)
|
static Stella_Object |
guess(Symbol instName,
Symbol slotName)
|
static int |
guessLoomDefinitionArity(int arity,
Stella_Object definition,
Cons constraints)
|
static int |
hammingDistance(Vector vec1,
Vector vec2)
|
static void |
handleOutOfDateInferenceCache(Keyword assertorretract,
Proposition proposition)
|
static int |
hashGoalArgument(Stella_Object arg,
int code)
|
static void |
help(Cons commands)
Describe specific commands, or print a list of available commands. |
static Cons |
helpAllTypes(Stella_Object self)
|
static Cons |
helpBuildQuantifiedProposition(Cons tree,
boolean converttypestoconstraintsP,
java.lang.Object[] MV_returnarray)
|
static boolean |
helpClosedTermP(Stella_Object self,
Cons activeterms)
|
static void |
helpCollectFacts(Stella_Object self,
List facts,
List beenthere,
boolean includeunknownP)
|
static Stella_Object |
helpCreateLogicInstance(Surrogate name,
Surrogate type)
|
static Cons |
helpDefineKeywordAxioms(Symbol selfname,
Keyword key,
Stella_Object value)
|
static NamedDescription |
helpDefineRelationFromParseTree(Cons tree,
java.lang.String stringifiedsource)
|
static void |
helpDistributeGoal(Stella_Object argument,
Proposition parentgoal,
boolean generatorP)
|
static void |
helpEvaluatorWrapper(Cons arguments)
|
static Cons |
helpFinalizeObjectAxioms(Cons theaxioms)
|
static List |
helpGetAssertionStructure(Symbol inst,
int depth)
|
static List |
helpGetVariablesFromConsPropositions(Stella_Object ele,
List theList)
|
static Stella_Object |
helpMemoizeAccessBinaryValue(Stella_Object self,
Surrogate relation)
|
static boolean |
helpMemoizeTestIsaP(Stella_Object member,
Surrogate type)
|
static boolean |
helpMemoizeTestPropertyP(Stella_Object self,
Surrogate relation)
|
static void |
helpPrettyPrintRelationDefinitionTree(Cons tree,
OutputStream stream,
int startindent,
int keyindent,
boolean forcefirstkeyonseparatelineP)
|
static List |
helpProjectNthColumn(int n,
List tuplelist)
|
static SequenceIndex |
helpSelectRelationPropositions(Cons pattern)
|
static void |
helpSignalPropositionError(OutputStream stream,
Keyword warningorerror)
|
static Cons |
helpTransformKifFunction(Stella_Object arg1,
Stella_Object arg2)
|
static Cons |
helpTranslateLoomDescriptionToKif(Stella_Object tree,
Cons implicitvariables)
|
static boolean |
helpUnifyAttributesP(Stella_Object value1,
Stella_Object value2)
|
static boolean |
hiddenRelationP(Surrogate relationRef)
|
static boolean |
holdsOperatorP(Stella_Object operator)
|
static ObjectStore |
homeObjectStore(Stella_Object self)
|
static void |
increaseIndent(int indent)
|
static void |
incrementNowTimestamp()
|
static Keyword |
inDialect(Stella_Object dialect)
Change the current logic dialect to dialect . |
static void |
induceDecisionRules(Symbol relationName,
Symbol className)
|
static DecisionTree |
induceDecisionTree(List examples)
|
static void |
induceInferenceRules(Symbol relationName,
Symbol className)
|
static boolean |
inferableDescriptionP(Stella_Object self)
|
static Stella_Object |
inferPredicateFromOperatorAndTypes(Stella_Object operator,
List types)
|
static Cons |
infixToPrefixQuantificationTree(Cons tree)
|
static void |
inheritCachedInferences(World fromworld,
World toworld)
|
static void |
inheritDescription(Vector arguments,
Description description,
boolean defaulttrueP)
|
static Cons |
inheritDescriptionPropositions(Vector arguments,
Description description)
|
static Stella_Object |
inheritPropositionArgument(Stella_Object argument,
Proposition parent,
KeyValueList mapping)
|
static void |
inheritUnnamedDescription(Stella_Object self,
Description description,
boolean defaulttrueP)
|
static void |
initializeConstraintPropagationQueues(World world)
|
static void |
initializeImplicationSubsumptionGraph()
|
static void |
initializeInferenceWorld(World world)
|
static void |
initializeOptimizerGoalRecords(int size)
|
static void |
initializeOptimizerMemory(int stacksize)
|
static Stella_Object |
innermostOf(Stella_Object self)
|
static WhynotProofClass |
insertWhynotProof(List classes,
Justification proof)
|
static boolean |
instanceHasBacklinksP(Stella_Object self)
|
static TruthValue |
instanceSatisfiesDescriptionP(Stella_Object instance,
Description description)
|
static Stella_Object |
instantiateExternalBindings(Stella_Object self)
|
static Symbol |
internalStellaOperatorToKif(Symbol operator)
|
static Surrogate |
internLogicObjectSurrogate(Symbol name)
|
static Symbol |
internLogicSymbol(java.lang.String name)
|
static List |
intersectSignatures(Vector sig1,
Vector sig2)
|
static void |
introduceModule(Module module)
|
static Keyword |
invertUpdateMode(Keyword updatemode)
|
static Stella_Object |
justificationArgumentBoundTo(Stella_Object argument,
Justification justification)
|
static SequenceIndex |
keywordDcreateSequenceIndex(Keyword kind,
Cons pattern)
|
static Cons |
kifBiconditionalToTwoImplies(Cons tree)
|
static Cons |
kifCondToIf(Cons conditions)
|
static Cons |
kifEqualityToStellaEquality(Cons tree)
|
static Cons |
kifExistsToStellaExists(Cons tree)
|
static Stella_Object |
kifExpressionToUntypedStellaExpression(Stella_Object tree)
|
static Cons |
kifForallToStellaForall(Cons tree)
|
static Cons |
kifImpliesToOrNot(Cons tree)
|
static Stella_Object |
kifInvertSentence(Stella_Object tree)
|
static Cons |
kifKappaToStellaKappa(Cons tree)
|
static Cons |
kifLambdaToStellaKappa(Cons tree)
|
static Symbol |
kifOperatorToInternalStella(Symbol operator)
|
static Cons |
kifPredicationToStellaPredication(Cons tree)
|
static boolean |
kifQuantifierSymbolP(Symbol self)
|
static Stella_Object |
kifSentenceToUntypedStellaSentence(Stella_Object tree)
|
static Cons |
kifSetofallToStellaSetofall(Cons tree)
|
static GeneralizedSymbol |
kifSymbolToStellaSymbol(Symbol symbol)
|
static Stella_Object |
kifTermToUntypedStellaTerm(Stella_Object tree)
|
static Cons |
kifTheToStellaTheOnly(Cons tree)
|
static Cons |
kifThreeArgumentForallToStellaForall(Cons tree,
Cons declarations)
|
static Cons |
kifTwoArgumentForallToStellaForall(Cons tree,
Cons declarations)
|
static boolean |
kifVariableDeclarationP(Stella_Object tree)
|
static Cons |
kifVariableDeclarationsToStella(Stella_Object tree,
boolean errorP)
|
static boolean |
kifVariableP(Stella_Object self)
|
static Symbol |
kifVariableToStellaVariable(Stella_Object variable)
|
static Cons |
learnOneRuleBottomUp(List positive,
List negative)
|
static Cons |
learnOneRuleBottomUpFromSignatures(List positive,
List negative,
List covered,
Vector consProps)
|
static Cons |
learnOneRuleTopDown(Vector propositions,
List positive,
List negative)
|
static Cons |
learnOneRuleTopDownFromSignatures(List positive,
List negative,
List covered_pos,
Vector consProps)
|
static Cons |
leastGeneralGeneralization(Cons clause1,
Cons clause2)
|
static void |
linkOriginatedProposition(Stella_Object renamed_Object,
Proposition proposition)
|
static void |
linkStellaRelationAndDescription(Relation self,
NamedDescription description)
|
static List |
linkVariablesInInducedRule(Cons rule,
List examples,
Vector consProps)
|
static List |
listFeatures()
Return a list containing two lists, a list of currently enabled PowerLoom features, and a list of all available PowerLoom features. |
static List |
listLogicCommands()
|
static Cons |
listUnclassifiedInstances(Stella_Object module,
boolean localP)
Collect all instances in module (or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive type assertions. |
static Cons |
listUnclassifiedInstancesEvaluatorWrapper(Cons arguments)
|
static Cons |
listUnclassifiedRelations(Stella_Object module,
boolean localP)
Collect all named description in module (or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive ancestor relations. |
static Cons |
listUnclassifiedRelationsEvaluatorWrapper(Cons arguments)
|
static Cons |
listUndefinedRelations(Stella_Object module,
boolean localP)
Return a list of as yet undefined concepts and relations in module . |
static Cons |
listUndefinedRelationsEvaluatorWrapper(Cons arguments)
|
static boolean |
literalTypeP(Surrogate type)
|
static void |
load(java.lang.String file,
Cons options)
Read logic commands from file and evaluate them. |
static void |
loadEvaluatorWrapper(Cons arguments)
|
static List |
loadNeuralNetworkFile(java.lang.String file)
|
static List |
loadNeuralNetworkFileEvaluatorWrapper(Cons arguments)
|
static void |
loadStream(InputStream stream)
Read logic commands from stream and evaluate them. |
static SequenceIndex |
locallyConceivedInstances(Context self)
|
static void |
locallyConceivedInstancesSetter(Context self,
SequenceIndex value)
|
static SequenceIndex |
locallyConceivedPropositions(Module self)
|
static void |
locallyConceivedPropositionsSetter(Module self,
SequenceIndex value)
|
static boolean |
logicalCollectionP(Stella_Object self)
|
static boolean |
logicalSubtypeOfLiteralP(Surrogate type)
|
static boolean |
logicalSubtypeOfP(Surrogate type1,
Surrogate type2)
|
static Surrogate |
logicalType(Stella_Object self)
|
static boolean |
logicClassP(Stella_Class self)
Return TRUE if the class 'self' or one of its supers supports indices that record extensions referenced by the logic system. |
static boolean |
logicCollectionP(Stella_Object term)
|
static void |
logicCommandLoop(Module module)
|
static boolean |
logicCommandLoopExitP(Stella_Object command,
java.lang.Object[] MV_returnarray)
|
static Keyword |
logicDialect(Stella_Object self)
|
static boolean |
logicFormLessP(Stella_Object o1,
Stella_Object o2)
A sorting predicate for objects o1 and o2 that can appear in logical
forms. |
static boolean |
logicModuleP(Module self)
Return TRUE if 'self' is a logic module, implying that relations defined within it define a knowledge base. |
static Keyword |
logicObjectDefinitionType(Symbol name,
Stella_Object oldobject,
Stella_Object newobject)
|
static Stella_Object |
logicSymbol(Stella_Object obj)
|
static void |
logNewlyConceivedProposition(Module self,
Proposition proposition)
|
static World |
lookupConstraintPropagationWorld(Context self)
|
static Stella_Object |
lookupDeferredQueryOption(Stella_Object queryoroptions,
Keyword key,
Surrogate coercetotype)
|
static java.lang.String |
lookupExplanationPhrase(Keyword phrasekey,
Cons modifiers,
Keyword audience)
|
static GoalCache |
lookupGoalCache(KeyValueList table)
|
static int |
lookupHowManySolutions(Stella_Object queryoroptions)
|
static World |
lookupInferenceCache(Context context,
Keyword kind)
|
static Justification |
lookupJustification(KeyValueList mapping,
java.lang.String label)
|
static Surrogate |
lookupLogicObjectSurrogate(Symbol name,
Module definitionmodule)
|
static Stella_Object |
lookupLogicVariableBinding(Symbol variablename)
|
static java.lang.reflect.Method |
lookupNativeSpecialist(java.lang.String nativeName)
Returns the native funtion code for nativeName if it exists
and the underlying programming languages supports such lookups. |
static Stella_Object |
lookupQueryOption(Stella_Object queryoroptions,
Keyword key)
|
static Surrogate |
lookupSlotrefOnInstance(Stella_Object term,
Symbol slotname)
|
static Stella_Object |
lookupVariableInBindings(Stella_Object obj1,
Stella_Object obj2,
List bindings)
|
static Stella_Object |
loomArgumentDescriptionToKif(Stella_Object tree,
Keyword arity)
|
static boolean |
loomDescriptionOperatorP(Stella_Object self)
|
static Cons |
loomDescriptionToKif(Stella_Object tree,
Cons implicitvariables)
|
static Cons |
loomRelatesToKif(Cons tree,
Cons implicitvariables)
|
static Cons |
loomRestrictionToKif(Cons tree,
Symbol implicitvariable)
|
static Cons |
loomSatisfiesToKif(Cons tree,
Cons implicitvariables)
|
static Stella_Object |
loomSentenceToKif(Stella_Object tree)
|
static Cons |
loomThroughToKif(Cons tree,
Cons implicitvariables)
|
static QueryIterator |
makeCachedQuery(Cons variables,
Cons querybody,
Cons inputbindings,
Stella_Object options,
Symbol cacheid)
|
static Cons |
makeDependentPropositionsPattern(Stella_Object argument)
|
static Cons |
makeIsaPattern(Stella_Object argument)
|
static java.lang.String |
makeNetInputString(Vector input)
|
static QueryIterator |
makeQuery(Stella_Object iovariables,
Stella_Object querytree,
Cons externalbindings,
Stella_Object options)
|
static Cons |
makeRelationExtensionPattern(Surrogate relation)
|
static Cons |
makeRelationPattern(Surrogate relation,
Stella_Object argument)
|
static Cons |
makeRelationPattern1(Surrogate relation,
Stella_Object argument)
|
static Cons |
makeRelationPattern2(Surrogate relation,
Stella_Object argument1,
Stella_Object argument2)
|
static Cons |
makeRelationPattern3(Surrogate relation,
Stella_Object argument1,
Stella_Object argument2,
Stella_Object argument3)
|
static Cons |
makeRelationPattern4(Surrogate relation,
Stella_Object argument1,
Stella_Object argument2,
Stella_Object argument3,
Stella_Object argument4)
|
static Cons |
makeRelationPatternN(Surrogate relation,
Cons arguments)
|
static Cons |
makeRulesPattern(Stella_Object posrelation,
Stella_Object negrelation)
|
static Cons |
makeSelectionPattern(Keyword kind,
Cons options,
Cons arguments)
|
static boolean |
mapAndEnqueueVariableP(Stella_Object variable,
Stella_Object localvalue,
KeyValueList mapping,
List queue)
|
static Stella_Object |
mappedValueOf(Stella_Object self,
KeyValueList mapping,
boolean createskolemP)
|
static java.lang.String |
maybeDowncase(java.lang.String string)
|
static Stella_Object |
maybeSubstituteSurrogateArgument(Stella_Object arg1,
Stella_Object arg2)
|
static boolean |
memberOfCollectionP(Stella_Object member,
Stella_Object collection)
|
static void |
modifyWeights()
|
static void |
modularInduceDecisionRules(Symbol relationName,
Symbol className,
List modules)
|
static void |
modularInduceInferenceRules(Symbol relationName,
Symbol className,
List modules)
|
static SequenceIndex |
moduleDcreateSequenceIndex(Module module,
Cons pattern)
|
static boolean |
moduleNameLessThanP(Context m1,
Context m2)
|
static boolean |
monadicP(Stella_Object self)
|
static Cons |
mostGeneralCollections(Cons descriptions)
|
static Surrogate |
mostGeneralEquivalentSlotref(Surrogate surrogate)
|
static Cons |
mostSpecificCollections(Cons descriptions)
|
static Cons |
mostSpecificNamedCollections(Cons descriptions)
|
static Cons |
mostSpecificNamedDescriptions(Cons descriptions)
|
static List |
mostSpecificTypes(List types)
|
static Stella_Object |
moveDown()
|
static Stella_Object |
moveInPlace()
|
static Stella_Object |
moveUp(Symbol successP,
Symbol keepframeP)
|
static double |
multipleNetworkTrainingRuns(int runs,
int cycles,
int numTraining)
|
static FloatWrapper |
multipleNetworkTrainingRunsEvaluatorWrapper(Cons arguments)
|
static boolean |
namedTermP(Stella_Object term,
AllPurposeIterator iter)
|
static java.lang.String |
nameObjectMetaclass(Stella_Object self)
|
static Stella_Object |
nativeValueOf(Stella_Object self)
|
static boolean |
nativeValueP(Stella_Object self)
|
static boolean |
naturalDeductionModeP()
True if normalization is governed by natural deduction semantics. |
static boolean |
nonRecursiveSingleValuedTermP(Stella_Object self)
|
static Cons |
normalizeDefconceptArguments(Cons arguments)
|
static Cons |
normalizeDeffunctionArguments(Cons arguments)
|
static Cons |
normalizeDefobjectArguments(Cons arguments)
|
static Cons |
normalizeDefpropositionArguments(Cons arguments)
|
static Cons |
normalizeDefrelationArguments(Cons arguments)
|
static void |
normalizeNumbers(Vector vect)
|
static boolean |
nullInstanceP(Stella_Object x)
|
static boolean |
nullInstancePropositionsExistP()
|
static boolean |
nullWrapperP(Stella_Object self)
|
static int |
numberOfRemainingAntecedents(Iterator iterator)
|
static int |
numExamplesCovered(Cons rule,
List examples)
|
static int |
numSignatureIndicesCovered(List indices,
List examples)
|
static Symbol |
objectName(Stella_Object self)
Return the name symbol for the logic object self . |
static java.lang.String |
objectNameString(Stella_Object self)
Return the name string for the logic object self . |
static boolean |
objectsAreFinalizedP()
|
static java.lang.String |
objectSortString(Stella_Object o)
|
static java.lang.String |
objectStringName(Stella_Object self)
|
static Surrogate |
objectSurrogate(Stella_Object self)
Return the surrogate naming the object self , which
may be a Stella class that is used in PowerLoom as well as
a more normal powerloom object. |
static Surrogate |
objectSurrogateSetter(Stella_Object self,
Surrogate name)
Return the name of the logic object self to name . |
static int |
oldGenerateClassificationTrainingExamples(Vector instances,
Surrogate concept)
|
static Cons |
oldRecursiveBuildAntecedent(Symbol inst,
int depth)
|
static Stella_Object |
oneKifVariableDeclarationToStella(Stella_Object tree)
|
static Cons |
optimizeOrderOfApplicableRules(Cons rules,
boolean tailP)
|
static List |
originatedPropositions(Stella_Object self)
|
static List |
originatedPropositionsSetter(Stella_Object self,
List value)
|
static boolean |
parallelStrategyP(Keyword strategy)
|
static boolean |
parametersAlignedP(Cons clause1,
Cons clause2,
List vars)
|
static Cons |
parseDirectoryPath(java.lang.String path)
|
static PropertyList |
parseLogicCommandOptions(Stella_Object options,
Cons legaloptionsAtypes,
boolean coercionerrorP,
boolean allowotherkeysP)
|
static Cons |
parseLogicVariableDeclarations(Stella_Object tree)
|
static void |
parseOneVariableDeclaration(Stella_Object vdec,
List localdeclarations)
|
static Stella_Object |
parseQueryAndOptions(Cons queryAoptions,
java.lang.Object[] MV_returnarray)
|
static List |
parseRelationParametersTree(Cons parameters,
java.lang.Object[] MV_returnarray)
|
static java.lang.String |
parseWhyArguments(Cons args,
java.lang.Object[] MV_returnarray)
|
static boolean |
partialMatchModeP()
|
static Cons |
patternArguments(Cons pattern)
|
static Keyword |
patternKind(Cons pattern)
|
static Cons |
patternOptions(Cons pattern)
|
static void |
pcs()
|
static void |
pgs()
|
static void |
plLog(Keyword loglevel,
Cons message)
|
static boolean |
polymorphicRelationP(Relation self)
|
static java.lang.String |
popLoadPath()
Remove the first element from the PowerLoom load path and return the removed element. |
static StringWrapper |
popLoadPathEvaluatorWrapper(Cons arguments)
|
static void |
popLogicVariableBinding()
|
static void |
popLogicVariableBindings(Cons variables)
|
static void |
postProcessWhynotProofClasses(List classes)
|
static void |
powerloom()
Run the PowerLoom listener. |
static java.lang.String |
powerloomCopyrightHeader()
|
static java.lang.String |
powerloomInformation()
Returns information about the current PowerLoom implementation. |
static StringWrapper |
powerloomInformationEvaluatorWrapper(Cons arguments)
|
static Stella_Object |
presume(Stella_Object proposition)
Presume the default truth of proposition . |
static void |
prettyPrintLogicalForm(Stella_Object form,
OutputStream stream)
Pretty-print the logical form form to stream according
to the current setting of $LOGIC_DIALECT$ . |
static void |
prettyPrintNamedRule(Surrogate rulename,
OutputStream stream)
|
static void |
prettyPrintRelationDefinition(Relation self,
OutputStream stream)
|
static void |
prettyPrintRelationDefinitionTree(Cons tree,
OutputStream stream)
|
static void |
printAsKif(Stella_Object self,
OutputStream stream)
|
static void |
printAsKifInternal(Stella_Object self)
|
static void |
printDemoPrompt()
|
static void |
printEnvironmentStacks()
|
static void |
printExplanationLabel(OutputStream stream,
java.lang.String label,
boolean headP)
|
static void |
printExtensionSizes(Module module,
int sizecutoff)
Print the extension sizes of concepts visible in module . |
static void |
printFacts(Stella_Object instanceref)
|
static void |
printFeatures()
Print the currently enabled and available PowerLoom environment features. |
static void |
printFormula(Stella_Object formula,
int indent)
|
static void |
printFormulaContainingError(Stella_Object self,
OutputStream stream)
|
static void |
printIndent(OutputStream stream,
int indent)
|
static boolean |
printingJustificationP()
|
static void |
printKifArguments(Vector arguments,
boolean separatelinesP,
boolean omitlastargumentP)
|
static void |
printKifOperatorWithArguments(java.lang.String operator,
Vector arguments,
boolean separatelinesP,
boolean omitlastargumentP)
|
static void |
printKifQuantifiedVariables(Vector variables,
boolean includetypesP)
|
static void |
printKifStellaCollection(Collection self)
|
static void |
printKifWrapper(LiteralWrapper self)
|
static void |
printLogicalForm(Stella_Object form,
OutputStream stream)
Print the logical form form to stream according to
the current setting of $LOGIC_DIALECT$ . |
static void |
printLogicalFormInDialect(Stella_Object self,
Keyword dialect,
OutputStream stream)
Produce a stringified version of a logical representation of 'self' and write it to the stream 'stream'. |
static void |
printLogicCommandResult(Stella_Object result)
|
static void |
printLogicPrompt()
|
static void |
printModuleFileHeader(Module module,
OutputStream stream)
|
static void |
printModuleFileTrailer(Module module,
OutputStream stream)
|
static void |
printOneVariableSubstitution(OutputStream stream,
Stella_Object var,
Stella_Object value)
|
static void |
printQueryResultsCache(int limit)
|
static void |
printRules(Stella_Object relation)
Print the list of true rules associated with relation . |
static void |
printTopLevelObject(Stella_Object self,
java.io.PrintStream nativestream)
|
static void |
printUnformattedLogicalForm(Stella_Object form,
OutputStream stream)
Print the logical form form to stream according to
the current setting of $LOGIC_DIALECT$ . |
static void |
printVariableValue(Stella_Object self,
OutputStream stream)
|
static void |
printVerticalBars(int depth)
|
static double |
probabilisticSum(double x,
double y)
|
static double |
probabilisticSumN(Cons form)
|
static void |
processCheckTypesAgenda()
|
static void |
processDefinitions()
Finish processing all definitions and assertions that have been evaluated/loaded since that last call to 'process-definitions'. |
static void |
propagateConstraints(Cons name)
Trigger constraint propagation over all propositions of module name . |
static void |
propagateConstraintsEvaluatorWrapper(Cons arguments)
|
static boolean |
propositionalArgumentP(Stella_Object argument)
|
static TruthValue |
propositionsIteratorTruthValue(Iterator self)
|
static Cons |
pushLoadPath(java.lang.String path)
Add the directories listed in the |-separated path to the front of the PowerLoom load path. |
static Cons |
pushLoadPathEvaluatorWrapper(Cons arguments)
|
static World |
pushMonotonicWorld()
|
static boolean |
quantifiedArgumentBoundP(Stella_Object argument,
List quantifiedvars)
|
static void |
queryAndUpdateCoveredExamples(Cons rule,
List uncovered,
List covered)
|
static double |
queryFoilGain(Cons rule,
double utility,
List coveredPos,
List coveredNeg)
|
static boolean |
questionMarkSymbolP(Stella_Object symbol)
|
static double |
randomFloat(double n)
Generate a random integer in the interval [0..n-1]. |
static double |
randomWeight(double n)
|
static void |
reactToKbUpdate(Context context,
Stella_Object renamed_Object)
|
static boolean |
recordJustificationsP()
Return TRUE if every query records justifications to enable the explanation of concluded results. |
static void |
redefineLogicObject(Symbol name,
Stella_Object oldobject,
Stella_Object newobject)
|
static void |
refreshUpclassificationTimestamp(Stella_Object self)
|
static void |
registerLogicDialectPrintFunction(Keyword dialect,
FunctionCodeWrapper fn)
Register fn as a logic-object print function for dialect . |
static void |
registerSpecialistFunction(java.lang.String name,
java.lang.reflect.Method code)
Creates a registration entry for name as a specialist which
executes code . |
static void |
registerSpecialistFunctionName(java.lang.String stellaName,
java.lang.String nativeName)
registers a specialist function stellaName based on the nativeName
for the particular programming language in question. |
static void |
registerSpecialistFunctionNameEvaluatorWrapper(Cons arguments)
|
static void |
registerUnfinalizedObject(Stella_Object renamed_Object)
|
static boolean |
relationArityOkP(Surrogate relationref,
int arity)
|
static Description |
relationDvalueOf(Relation self)
|
static boolean |
relationP(Stella_Object objectref)
Return TRUE if 'objectRef' denotes a relation or a class. |
static boolean |
relationrefSpecializesRelationrefP(Surrogate relationref1,
Surrogate relationref2)
|
static List |
relationsWithDescriptions()
|
static void |
removeCoveredExamples(Cons rule,
List uncovered)
|
static void |
removeDependentPropositionLink(Stella_Object self,
Proposition proposition)
|
static Cons |
removeEquivalentRelations(Cons relationslist,
NamedDescription relation)
|
static void |
removeExcludedExamples(Cons rule,
List coveredPos,
List coveredNeg)
|
static Vector |
removeNullsInVariablesVector(Vector iovariables)
|
static void |
removeObsoleteGoalCaches(KeyValueList table)
|
static Cons |
removeRedundantClauses(Cons clauses)
|
static List |
removeSignatureCoveredExamples(List indices,
List examples)
|
static Stella_Object |
renamed_Assert(Stella_Object proposition)
Assert the truth of proposition . |
static void |
repropagateConstraints(Cons name)
Force non-incremental constraint propagation over all propositions of module name . |
static void |
repropagateConstraintsEvaluatorWrapper(Cons arguments)
|
static List |
resetFeatures()
Reset the PowerLoom environment features to their default settings. |
static void |
resetMappingForSubexplanation(KeyValueList mapping)
|
static void |
resetPowerloom()
Reset PowerLoom to its initial state. |
static void |
resetQueryCaches()
Zero out all caches managed by the query optimizer, so that it will reoptimize subgoal queries upon next invocation. |
static void |
resolveUnresolvedSlotReferences(Stella_Object formula)
|
static Stella_Object |
retract(Stella_Object proposition)
Retract the truth of proposition . |
static Proposition |
retractBinaryValue(Surrogate relation,
Stella_Object self,
Stella_Object value)
|
static void |
retractFactsOf(Stella_Object instanceref)
Retract all definite (TRUE or FALSE) propositions that reference the instance instanceref . |
static Cons |
retractFromQuery(Cons query,
Cons options)
Evaluate query which has to be a strict or partial retrieval
command, instantiate the query proposition for each generated solution
and retract the resulting propositions. |
static Cons |
retractFromQueryEvaluatorWrapper(Cons arguments)
|
static Proposition |
retractIsaProposition(Stella_Object self,
Surrogate type)
|
static Proposition |
retractRule(Stella_Object rulename)
If it is currently TRUE, set the truth value of the rule named 'ruleName' to UNKNOWN This command may be used alternately with assertRule to
observe the effects of querying with or without a particular (named) rule
being asserted within the current context. |
static QueryIterator |
retrieve(Cons query)
Retrieve elements of a relation (tuples) that satisfy a proposition. |
static QueryIterator |
retrieveBindings(Stella_Object query,
int nofbindings)
|
static QueryIterator |
retrieveEvaluatorWrapper(Cons arguments)
|
static QueryIterator |
retrievePartial(Cons tree)
Partial-match version of retrieve (which see) that generates scored
partial solutions based on the current partial match strategy. |
static QueryIterator |
retrievePartialEvaluatorWrapper(Cons arguments)
|
static Stella_Object |
rewrapArgument(Stella_Object argument)
|
static boolean |
rewrapIthArgumentP(Stella_Object argument,
Proposition proposition,
int i)
|
static boolean |
ruleCoversAnyExampleP(Cons rule,
List examples)
|
static boolean |
ruleCoversExampleP(Cons reverseRule,
TrainingExample example)
|
static void |
runForwardRules(Stella_Object moduleref,
Cons force)
Run forward inference rules in module 'moduleRef'. |
static void |
runForwardRulesEvaluatorWrapper(Cons arguments)
|
static void |
runPowerloomTests()
Run the PowerLoom test suite. |
static Stella_Object |
safeGetNextSExpression(SExpressionIterator iter)
|
static Surrogate |
safeLogicalType(Stella_Object self)
|
static boolean |
safeQuantityGreaterEqualP(Quantity q1,
Stella_Object o2)
|
static boolean |
safeQuantityLessP(Quantity q1,
Stella_Object o2)
|
static boolean |
safeStringLessP(java.lang.String s1,
java.lang.String s2)
|
static boolean |
sameAndUniqueArgumentsP(Vector variables,
Vector arguments)
|
static TruthValue |
satisfiesP(Stella_Object instanceortuple,
Stella_Object relationref)
Try to prove whether instanceortuple satisfies the
definition of the relation relationref and return the result truth value
of the query. |
static void |
saveAllNeuralNetworks(java.lang.String file)
Save all neural networks to file (if file is non-NULL). |
static void |
saveAllNeuralNetworksEvaluatorWrapper(Cons arguments)
|
static void |
saveModule(Stella_Object name,
java.lang.String file)
Save all definitions and assertions of module name to file . |
static void |
saveModuleEvaluatorWrapper(Cons arguments)
|
static void |
saveNeuralNetworkEvaluatorWrapper(Cons arguments)
|
static void |
saveObject(Stella_Object renamed_Object,
Stella_Object store)
|
static void |
saveTrainingExamples()
|
static java.lang.String |
selectExampleDemo(int index)
|
static java.lang.String |
selectExampleDemoFromMenu()
|
static Stella_Object |
selectInstanceWithBacklinks(Cons instances,
Surrogate relation)
|
static SequenceIndex |
selectIsaPropositions(Cons pattern)
|
static Keyword |
selectProofResult(boolean successP,
boolean continuingP,
boolean terminalP)
Helping function for specialists. |
static SequenceIndex |
selectPropositions(Cons pattern)
|
static SequenceIndex |
selectRelationPropositions(Cons pattern)
|
static SequenceIndex |
selectRulePropositions(Cons pattern)
|
static Keyword |
selectTestResult(boolean successP,
boolean terminalP,
ControlFrame frame)
Helping function for specialists testing the validity of a fully bound inference frame. |
static boolean |
sequenceVariableSymbolP(Stella_Object self)
|
static void |
setCandidateClauses(Symbol className)
|
static void |
setCaseSolutionCombination(Keyword k)
|
static void |
setClosedWorldTrainingExamples(boolean b)
|
static void |
setClosedWorldTrainingExamplesEvaluatorWrapper(Cons arguments)
|
static void |
setErrorCutoff(double f)
|
static void |
setErrorCutoffEvaluatorWrapper(Cons arguments)
|
static void |
setErrorPrintCycle(int i)
Set number of cycles between which error rates are saved to the file established by the last call to saveAllNeuralNetworks appended
with extension Derr . |
static void |
setErrorPrintCycleEvaluatorWrapper(Cons arguments)
|
static List |
setFeature(Cons features)
Enable the PowerLoom environment feature(s) named by features . |
static List |
setFeatureEvaluatorWrapper(Cons arguments)
|
static void |
setGreedyNetworkPruning(boolean b)
|
static void |
setGreedyNetworkPruningEvaluatorWrapper(Cons arguments)
|
static Keyword |
setInferenceLevel(Stella_Object level,
Stella_Object module)
Set the inference level of module to the level specified
by 'levelKeyword'. |
static void |
setLearningRate(double rate)
|
static void |
setLearningRateEvaluatorWrapper(Cons arguments)
|
static Cons |
setLoadPath(java.lang.String path)
Set the PowerLoom load path to the |-separated directories listed in path . |
static Cons |
setLoadPathEvaluatorWrapper(Cons arguments)
|
static void |
setMaximumScoreCutoff(double c)
|
static void |
setMaximumScoreCutoffEvaluatorWrapper(Cons arguments)
|
static void |
setMinimumScoreCutoff(double c)
|
static void |
setMinimumScoreCutoffEvaluatorWrapper(Cons arguments)
|
static void |
setMomentumTerm(double m)
|
static void |
setMomentumTermEvaluatorWrapper(Cons arguments)
|
static void |
setNeuralNetworkTrainingMethod(Keyword m)
|
static void |
setNumNeighbors(int d)
Sets the number of nearest neighbors to predict from. |
static void |
setNumNeighborsEvaluatorWrapper(Cons arguments)
|
static void |
setNumTrainingPerCase(int d)
Sets the number of training examples for each case in the training set. |
static void |
setNumTrainingPerCaseEvaluatorWrapper(Cons arguments)
|
static void |
setPartialMatchMode(Keyword k)
|
static void |
setPowerloomFeature(Keyword feature)
Enable the PowerLoom environment feature feature . |
static void |
setPrintCaseDistances(boolean b)
|
static void |
setPrintCaseDistancesEvaluatorWrapper(Cons arguments)
|
static void |
setRecursiveDecisionNodes(boolean b)
|
static void |
setRecursiveDecisionNodesEvaluatorWrapper(Cons arguments)
|
static void |
setRuleCombination(Keyword k)
|
static void |
setRuleInductionStrategy(Keyword k)
|
static void |
setSaveNetworkCycle(int i)
Set number of cycles between which networks are saved to the file established by the last call to saveAllNeuralNetworks . |
static void |
setSaveNetworkCycleEvaluatorWrapper(Cons arguments)
|
static void |
setSignatureRules(boolean b)
|
static void |
setSignatureRulesEvaluatorWrapper(Cons arguments)
|
static void |
setSignatureStrategy(Keyword k)
|
static void |
setStructureDepth(int d)
|
static void |
setStructureDepthEvaluatorWrapper(Cons arguments)
|
static void |
setTraceNeuralNetworkTraining(boolean b)
|
static void |
setTraceNeuralNetworkTrainingEvaluatorWrapper(Cons arguments)
|
static void |
setTrainCachedNeuralNetworks(boolean b)
|
static void |
setTrainCachedNeuralNetworksEvaluatorWrapper(Cons arguments)
|
static void |
setWeightRange(double w)
|
static void |
setWeightRangeEvaluatorWrapper(Cons arguments)
|
static void |
shuffleList(List cards)
|
static void |
shuffleVector(Vector cards)
|
static Stella_Object |
signalParsingError(Cons message)
|
static Stella_Object |
signalPropositionError(Cons message)
|
static Stella_Object |
signalPropositionWarning(Cons message)
|
static void |
signalUndefinedTerm(Stella_Object term)
|
static void |
signalUnificationClash(Stella_Object term1,
Stella_Object term2)
|
static void |
signalUntypedTerm(Stella_Object term)
|
static boolean |
signatureIndicesCoverAnyExampleP(List indices,
List examples)
|
static boolean |
signatureIndicesCoverExampleP(List indices,
TrainingExample example)
|
static Cons |
simplifyAntecedent(Cons antecedent,
Cons outputVariables,
List positive,
List negative)
|
static Keyword |
simplifyTopLevelLoomKeywords(Keyword keyword)
|
static void |
simulateAndOptimizeArgument(Stella_Object formula)
|
static void |
simulateBindVariableToValue(Stella_Object formula)
|
static int |
simulateCreateChoicePoint()
|
static boolean |
singleValuedTermP(Stella_Object self)
|
static boolean |
skolemDefinedByOperatorP(Stella_Object self,
Surrogate operator)
|
static boolean |
skolemP(Stella_Object self)
|
static Cons |
slotColumnTypes(Slot self,
int count)
|
static NamedDescription |
slotDgetDescription(Slot self)
|
static Stella_Object |
smartUpdateProposition(Stella_Object tree,
Keyword updatemode)
|
static Cons |
specializeRule(Cons rule,
Vector propositions,
List positive,
List negative)
|
static TruthValue |
specializesP(Stella_Object subobject,
Stella_Object superobject)
Try to prove if the description associated with subobject
specializes the description for superobject and return the result truth
value of the query. |
static Stella_Object |
standardizeLogicalParseTree(Stella_Object tree)
|
static Stella_Object |
standardizePropositionTree(Stella_Object tree)
|
static Cons |
standardizeQueryTree(Stella_Object iovariables,
Stella_Object querybody,
Cons externalvariables)
|
static java.lang.String |
stellaRelationStringifiedSource(Relation self)
|
static boolean |
stellaVariableDeclarationsP(Stella_Object tree)
|
static boolean |
stringArgumentP(Cons clause)
|
static NamedDescription |
stringDgetDescription(java.lang.String self)
|
static java.lang.String |
stringifiedSource(Stella_Object self)
|
static java.lang.String |
stringifiedSourceSetter(Stella_Object self,
java.lang.String value)
|
static java.lang.String |
stringifiedSurrogate(Surrogate operator)
|
static LogicObject |
stringToLogicObject(java.lang.String string)
|
static void |
structuredNeuralNetworkRegression(Symbol className,
Symbol slotName,
int cycles)
|
static void |
structuredNeuralNetworkRegressionEvaluatorWrapper(Cons arguments)
|
static void |
substituteVariablesInTree(Cons tree,
Cons substitution)
|
static Proposition |
surrogateDbuildProposition(Surrogate self)
|
static NamedDescription |
surrogateDgetDescription(Surrogate self)
|
static Stella_Object |
surrogateDvalueOf(Surrogate self)
|
static NamedDescription |
surrogateToDescription(Surrogate self)
|
static void |
swapInNetworkFile(java.lang.String file)
|
static void |
swapInNetworkFileEvaluatorWrapper(Cons arguments)
|
static void |
swapInNewNetworks(List oldNets,
List newNets)
|
static Stella_Object |
symbolDbuildProposition(Symbol symbol)
|
static boolean |
synonymSurrogateP(Surrogate name)
|
static boolean |
taxonomyImpliesOrIsSubsumedP(Relation premise,
Relation conclusion)
|
static Stella_Object |
termify(Stella_Object self)
Convert 'self' into an equivalent PowerLoom object that can be passed as an argument wherever an instance is expected. |
static boolean |
termKifSpecialFormP(Stella_Object operator)
|
static double |
testCaseBasedReasoner(Symbol className,
Symbol slotName,
int numTrain,
int numTest)
|
static FloatWrapper |
testCaseBasedReasonerEvaluatorWrapper(Cons arguments)
|
static double |
testCaseMatcher(Symbol className,
Symbol slotName)
|
static FloatWrapper |
testCaseMatcherEvaluatorWrapper(Cons arguments)
|
static boolean |
testClosedSlotP(Surrogate relation)
Return TRUE if 'relation' (a surrogate) is asserted to be closed or if the current module closes all relations. |
static boolean |
testCollectionofMemberOfP(Stella_Object member,
Surrogate type)
|
static boolean |
testDisjointTermsP(Stella_Object term1,
Stella_Object term2)
|
static void |
testDomainTheory(Symbol relationName,
Symbol className)
|
static boolean |
testFunctionSlotP(Surrogate relation)
Return TRUE if 'relation' (a surrogate) is a function. |
static boolean |
testIsaP(Stella_Object member,
Surrogate type)
|
static void |
testLogicFile(java.lang.String file)
|
static double |
testNeuralNetwork()
|
static FloatWrapper |
testNeuralNetworkEvaluatorWrapper(Cons arguments)
|
static double |
testOverTrainingExamples()
|
static FloatWrapper |
testOverTrainingExamplesEvaluatorWrapper(Cons arguments)
|
static boolean |
testPropertyP(Stella_Object self,
Surrogate relation)
|
static boolean |
testQueryOptionP(Stella_Object queryoroptions,
Keyword key)
|
static boolean |
testRelationOnArgumentsP(Surrogate relation,
Cons arguments)
Return TRUE if 'relation' (a surrogate) is TRUE when applied to 'arguments'. |
static boolean |
testSpecialMarkerTableP(Stella_Object self)
Return TRUE if the object 'self' is stored (marked) in the table pointed at by the special variable *specialMarkerTable*. |
static boolean |
testSubrelationP(Surrogate subrelation,
Surrogate superrelation)
Return TRUE if 'subrelation' specializes 'superrelation'. |
static double |
testTheoryOverExamples(List examples)
|
static boolean |
testTypeOnInstanceP(Stella_Object self,
Surrogate type)
Return TRUE if 'self' satisfies 'type'. |
static void |
thingifyUntypedInstances()
|
static Context |
tickleContext()
|
static Context |
tickleInstances()
|
static Stella_Object |
timeCommand(Cons command)
Execute command , measure and report its CPU and elapsed time
needed for its execution, and then return its result. |
static java.lang.String |
toggleGoalCaching()
|
static java.lang.String |
toggleInferableDirectSubcollectionsCaching()
|
static java.lang.String |
toggleTraceRules()
|
static java.lang.String |
toggleTraceSubgoals()
|
static void |
topDownRuleInduction(List examples)
|
static boolean |
topLevelQueryContextP(Context self)
|
static void |
traceGoalCache(java.lang.String string,
ControlFrame frame)
|
static void |
traceRules()
|
static void |
traceSubgoals()
|
static double |
trainAndTestCaseMatcher(Symbol className,
Symbol slotName,
int numTrain,
int numTest,
int cycles)
|
static FloatWrapper |
trainAndTestCaseMatcherEvaluatorWrapper(Cons arguments)
|
static double |
trainAndTestNeuralNetwork(int cycles,
int numTraining,
int numTesting)
|
static FloatWrapper |
trainAndTestNeuralNetworkEvaluatorWrapper(Cons arguments)
|
static double |
trainAndTestRuleInduction(List trainSet,
List testSet)
|
static void |
trainCachedNeuralNetworks(int cycles,
int numTraining)
|
static void |
trainCaseMatcher(Symbol className,
Symbol slotName,
int cycles)
|
static void |
trainCaseMatcherEvaluatorWrapper(Cons arguments)
|
static void |
trainNeuralNetwork(int cycles,
int numTraining)
|
static void |
trainNeuralNetworkEvaluatorWrapper(Cons arguments)
|
static void |
trainUncachedNeuralNetworks(int cycles,
int numTraining)
|
static void |
transferLogicInformationFromRelationHook(List relationslist)
|
static void |
transferPropositionsAndBacklinks(Stella_Object from,
Stella_Object to)
|
static void |
transferPropositionsExceptFor(Stella_Object from,
Stella_Object to,
List exceptpropositions)
|
static void |
transferSynonyms(Stella_Object oldobject,
Stella_Object newobject)
|
static Cons |
translateLoomAnnotations(Stella_Object annotations,
Symbol name)
|
static Cons |
translateLoomAsk(Cons tree)
|
static Cons |
translateLoomAssertions(Cons tree,
boolean retractP)
|
static Cons |
translateLoomCharacteristics(Stella_Object characteristics,
Symbol name)
|
static Cons |
translateLoomContextChange(Cons tree,
boolean needsquoteP)
|
static Cons |
translateLoomCreateClause(Cons tree)
|
static Cons |
translateLoomDefaults(Stella_Object defaultTree,
Cons variables)
|
static Cons |
translateLoomDefinition(Cons tree)
|
static Cons |
translateLoomDescriptionToKif(Stella_Object tree)
|
static void |
translateLoomFile(java.lang.String input,
java.lang.String output)
Translate the Loom file input to PowerLoom and write the
translation to the file output . |
static void |
translateLoomFileEvaluatorWrapper(Cons arguments)
|
static Cons |
translateLoomPartitions(Stella_Object partitions,
boolean exhaustiveP,
Symbol parentconcept)
|
static Cons |
translateLoomRetrieve(Cons tree)
|
static Stella_Object |
translateLoomSentenceToKif(Stella_Object tree)
|
static Cons |
translateLoomStatement(Cons tree)
|
static Cons |
translateOneLoomForm(Stella_Object tree)
|
static Keyword |
trySimpleContainedByProof(Stella_Object subcollection,
Stella_Object supercollection,
boolean reversepolarityP)
|
static boolean |
tryToClusterConjunctionsP()
|
static boolean |
typeHasBacklinksP(Surrogate type)
|
static Stella_Object |
unassert(Stella_Object proposition)
Retract the truth, falsity or inconsistency of proposition . |
static boolean |
unboundVariableP(Stella_Object argument)
|
static boolean |
unequateValuesP(Stella_Object term1,
Stella_Object term2)
|
static SequenceIndex |
unfilteredDependentImpliesPropositions(Stella_Object self)
|
static SequenceIndex |
unfilteredDependentIsaPropositions(Stella_Object self)
|
static SequenceIndex |
unfilteredDependentPropositions(Stella_Object self,
Surrogate relation)
|
static void |
unlinkInferenceCache(World self)
|
static List |
unsetFeature(Cons features)
Disable the PowerLoom environment feature(s) named by features . |
static List |
unsetFeatureEvaluatorWrapper(Cons arguments)
|
static void |
unsetPowerloomFeature(Keyword feature)
Disable the PowerLoom environment feature feature . |
static void |
untraceRules()
|
static void |
untraceSubgoals()
|
static Surrogate |
unwrapWrappedType(Surrogate type)
|
static int |
upclassificationTimestamp(Stella_Object self)
|
static boolean |
upclassifiedP(Stella_Object self)
|
static void |
upclassifyAllDescriptions()
Classify all named descriptions. |
static void |
upclassifyAllInstances()
Classify all named instances. |
static void |
upclassifyInstances(Module module,
boolean localP)
Classify instances local to 'module' and inherited by 'module'. |
static void |
upclassifyNamedDescriptions(Module module,
boolean localP)
Classify named descriptions local to 'module' and inherited by 'module'. |
static Proposition |
updateBinaryValue(Surrogate relation,
Stella_Object self,
Stella_Object value,
Keyword updatemode)
|
static void |
updateCoveredExamples(int feature_index,
List covered_pos,
List covered_neg)
|
static void |
updateExampleMatches(List examples,
int index,
IntegerWrapper matchValue)
|
static Proposition |
updateIsaProposition(Stella_Object self,
Surrogate type,
Keyword updatemode)
|
static void |
updateNowTimestamp(Keyword kbaction)
|
static Cons |
updateProposition(Stella_Object tree,
Keyword updatemode)
|
static Cons |
updateTopLevelProposition(Stella_Object tree,
Keyword updatemode)
|
static Proposition |
updateTuple(Surrogate relation,
Cons arguments,
Keyword updatemode)
|
static boolean |
useDynamicQueryOptimizationP()
|
static boolean |
useStaticQueryOptimizationP()
|
static boolean |
usingDefaultKnowledgeP()
|
static Stella_Object |
valueOf(Stella_Object self)
|
static boolean |
variableArgP(Stella_Object arg)
|
static boolean |
variableArityDomainTypesNextP(AllPurposeIterator self)
|
static boolean |
variableP(Stella_Object self)
|
static List |
variablizeConsPropositions(List antecedent)
|
static List |
variablizeInstances(List form,
List instances)
|
static void |
vectorDinheritUnnamedDescription(Vector arguments,
Description description,
boolean defaulttrueP)
|
static TruthValue |
vectorSatisfiesDescriptionP(Vector vector,
Description description)
|
static void |
verifyEvaluableOperator(Stella_Object operator,
Keyword kind)
|
static void |
verifyNumberOfPropositionArguments(Cons tree,
int correctnumber)
|
static void |
verifyOneArgumentType(Stella_Object arg,
Surrogate type,
Proposition proposition,
NamedDescription description)
|
static boolean |
visibleArgumentP(Stella_Object self)
|
static int |
visibleArgumentsCount(Vector arguments)
|
static void |
vpgs()
|
static Stella_Object |
whenCycKludgesEnabled(Cons body)
|
static void |
why(Cons args)
Print an explanation for the result of the most recent query. |
static void |
whyEvaluatorWrapper(Cons arguments)
|
static void |
whynot(Cons args)
|
static void |
whynotEvaluatorWrapper(Cons arguments)
|
static boolean |
whynotPartialMatchModeP()
|
static Stella_Object |
withinClassificationSession(Keyword descriptionorinstance,
Cons body)
Used during classification. |
static Stella_Object |
withinMetaCache(Cons body)
Execute body within the meta cache of the current module. |
static Stella_Object |
withLogicEnvironment(Stella_Object moduleform,
Stella_Object environment,
Cons body)
Execute body within the module resulting from moduleform . |
static boolean |
worldStateP(Context self)
|
static Iterator |
wrapIteratorForVariableArity(Iterator iterator)
|
static Stella_Object |
wrapKifWithForall(Stella_Object tree,
Cons declaredvariables)
|
static OutputStream |
wrapNativeOutputStream(java.io.PrintStream nativestream)
|
static Symbol |
yieldAnonymousSkolemName(boolean variableP)
|
static Cons |
yieldImplicitVariables(int arity)
|
static Symbol |
yieldSystemDefinedParameterName(int index,
Stella_Object referenceobject)
|
static int |
youngestIntroductionTimestamp()
|
static BooleanVector |
zeroOneListToBooleanVector(List zeroonelist)
|
static void |
zeroVector(Vector v)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final StellaSpecialVariable $SUPPRESSNONLOGICOBJECTWARNINGp$
public static Symbol SYM_STELLA_LET
public static Symbol SYM_STELLA_NEW
public static Symbol SYM_STELLA_OUTPUT_STRING_STREAM
public static Symbol SYM_STELLA_SPECIAL
public static Symbol SYM_STELLA_$PRINTREADABLYp$
public static Symbol SYM_STELLA_TRUE
public static Symbol SYM_STELLA_PRINT_STREAM
public static Symbol SYM_STELLA_EOL
public static Symbol SYM_LOGIC_HELP_SIGNAL_PROPOSITION_ERROR
public static Keyword KWD_ERROR
public static Symbol SYM_STELLA_SIGNAL_EXCEPTION
public static Symbol SYM_LOGIC_PARSING_ERROR
public static Keyword KWD_MESSAGE
public static Symbol SYM_STELLA_THE_STRING
public static Symbol SYM_LOGIC_PROPOSITION_ERROR
public static Symbol SYM_STELLA_STANDARD_WARNING
public static Keyword KWD_WARNING
public static Symbol SYM_STELLA_DEFUN
public static Symbol SYM_STELLA_STRING
public static Symbol SYM_STELLA_PRINT
public static Symbol SYM_STELLA_RETURN
public static Symbol SYM_STELLA_PROGN
public static Symbol SYM_STELLA_SETF
public static Symbol SYM_LOGIC_TRUTH_VALUE
public static Symbol SYM_LOGIC_FRAME
public static Symbol SYM_STELLA_NULL
public static Symbol SYM_LOGIC_JUSTIFICATION
public static Symbol SYM_STELLA_WHEN
public static Symbol SYM_STELLA_DEFINEDp
public static Symbol SYM_LOGIC_PARTIAL_MATCH_FRAME
public static Symbol SYM_LOGIC_CLEAR_FRAME_PARTIAL_TRUTH
public static Symbol SYM_STELLA_SETQ
public static Symbol SYM_LOGIC_LASTMOVE
public static Keyword KWD_DOWN
public static Symbol SYM_STELLA_COND
public static Symbol SYM_LOGIC_CHECKFORMOVEOUTp
public static Symbol SYM_STELLA_PARENT
public static Symbol SYM_LOGIC_UP
public static Symbol SYM_LOGIC_STARTTICKS
public static Symbol SYM_LOGIC_STARTING_CLOCK_TICKS
public static Symbol SYM_LOGIC_AVAILABLETICKS
public static Symbol SYM_STELLA__
public static Symbol SYM_LOGIC_ALLOTTED_CLOCK_TICKS
public static Symbol SYM_LOGIC_CLOCKTICKS
public static Symbol SYM_STELLA___
public static Symbol SYM_LOGIC_CURRENT_CLOCK_TICKS
public static Symbol SYM_LOGIC_QUERY
public static Symbol SYM_STELLA_ii
public static Symbol SYM_STELLA_le
public static Symbol SYM_LOGIC_POP_FRAMES_UP_TO
public static Symbol SYM_STELLA_MV_SETQ
public static Symbol SYM_STELLA_DEPTH
public static Symbol SYM_LOGIC_HANDLE_TIMEOUT
public static Keyword KWD_UP_FAIL
public static Symbol SYM_STELLA_1i
public static Symbol SYM_STELLA_OTHERWISE
public static Symbol SYM_LOGIC_UPFRAME
public static Symbol SYM_LOGIC_DOWNFRAME
public static Symbol SYM_LOGIC_DOWN
public static Symbol SYM_STELLA_AND
public static Symbol SYM_STELLA_NULLp
public static Symbol SYM_STELLA_1_
public static Symbol SYM_LOGIC_PROPOSITION
public static Symbol SYM_STELLA_NTH
public static Symbol SYM_STELLA_ARGUMENTS
public static Symbol SYM_LOGIC_ARGUMENT_CURSOR
public static Symbol SYM_LOGIC_CREATE_DOWN_FRAME
public static Symbol SYM_STELLA_g
public static Symbol SYM_LOGIC_CURRENT_DEPTH_CUTOFF
public static Symbol SYM_STELLA_EQLp
public static Symbol SYM_STELLA_STATE
public static Keyword KWD_PATTERN
public static Symbol SYM_LOGIC_HANDLE_DEPTH_VIOLATION
public static Symbol SYM_STELLA_NOT
public static Symbol SYM_LOGIC_FAIL
public static Keyword KWD_UP_TRUE
public static Symbol SYM_STELLA_FALSE
public static Symbol SYM_STELLA_RESULT
public static Symbol SYM_STELLA_IF
public static Symbol SYM_LOGIC_CACHE_QUERY_RESULTSp
public static Symbol SYM_LOGIC_CACHE_GOAL
public static Symbol SYM_LOGIC_UPDATE_GOAL_CACHE
public static Symbol SYM_LOGIC_SUCCESSp
public static Symbol SYM_STELLA_BREAK
public static Symbol SYM_LOGIC_KEEP_FRAME
public static Symbol SYM_LOGIC_POP_DOWN_FRAME
public static Symbol SYM_LOGIC_APPLY_CACHED_RETRIEVE
public static Symbol SYM_STELLA_BQUOTE
public static Symbol SYM_STELLA_CONS_LIST
public static Symbol SYM_STELLA_QUOTE
public static Symbol SYM_LOGIC_APPLY_CACHED_ASK
public static Symbol SYM_STELLA_$CONTEXT$
public static Symbol SYM_LOGIC_GET_INFERENCE_CACHE
public static Symbol SYM_STELLA_$MODULE$
public static Keyword KWD_META
public static Symbol SYM_LOGIC_$CLASSIFICATIONSESSION$
public static Symbol SYM_LOGIC_GET_CLASSIFICATION_SESSION
public static Symbol SYM_LOGIC_CLASSIFICATION_WORLD
public static Symbol SYM_STELLA_OBJECT
public static Symbol SYM_LOGIC_MISSING_ARGUMENT
public static Symbol SYM_STELLA_INTEGER_WRAPPER
public static Symbol SYM_STELLA_CASE
public static Symbol SYM_STELLA_WRAPPER_VALUE
public static Symbol SYM_STELLA_BOOLEAN
public static Symbol SYM_STELLA_X
public static Symbol SYM_STELLA_NUMBER_WRAPPER
public static Symbol SYM_STELLA_Y
public static Keyword KWD_PUBLICp
public static Symbol SYM_STELLA_TYPECASE
public static Symbol SYM_STELLA_FLOAT_WRAPPER
public static Symbol SYM_STELLA_CAST
public static Symbol SYM_STELLA_FLOAT
public static Symbol SYM_LOGIC_FLOATRESULT
public static Symbol SYM_STELLA_WRAP_LITERAL
public static Symbol SYM_STELLA_SAFE_CAST
public static Symbol SYM_STELLA_INTEGER
public static Symbol SYM_STELLA_MODULE
public static Symbol SYM_STELLA_CONTEXT
public static Symbol SYM_STELLA_WITH_PROCESS_LOCK
public static Symbol SYM_LOGIC_$POWERLOOM_LOCK$
public static Symbol SYM_STELLA_IGNORE
public static boolean $CYC_KLUDGES_ENABLEDp$
public static Symbol SYM_LOGIC_$CYC_KLUDGES_ENABLEDp$
public static Symbol SYM_LOGIC_STARTUP_LOGIC_MACROS
public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME
public static Symbol SYM_LOGIC_SELECTION_PATTERN
public static Symbol SYM_LOGIC_THE_SEQUENCE
public static Symbol SYM_LOGIC_THE_SEQUENCE_LENGTH
public static Surrogate SGT_LOGIC_NON_PAGING_INDEX
public static Surrogate SGT_LOGIC_PAGING_INDEX
public static Symbol SYM_LOGIC_STORE
public static NonPagingIndex NIL_NON_PAGING_INDEX
public static PagingIndex NIL_PAGING_INDEX
public static Surrogate SGT_LOGIC_SEQUENCE_INDEX_ITERATOR
public static Symbol SYM_STELLA_LIST_ITERATOR_CURSOR
public static Surrogate SGT_LOGIC_PAGING_INDEX_ITERATOR
public static final StellaSpecialVariable $LOADINGREGENERABLEOBJECTSp$
public static Symbol SYM_LOGIC_OBJECT_STORE
public static Surrogate SGT_STELLA_MODULE
public static Surrogate SGT_LOGIC_OBJECT_STORE
public static Keyword KWD_PAGING
public static Keyword KWD_NON_PAGING
public static Symbol SYM_LOGIC_STARTUP_SEQUENCE_INDICES
public static Symbol SYM_LOGIC_PARSE_TREE
public static char $AUTOMATIC_INSTANCE_CHARACTER$
public static Surrogate SGT_STELLA_CONS
public static Symbol SYM_STELLA_ISA
public static Symbol SYM_STELLA_EXISTS
public static Symbol SYM_STELLA_FORALL
public static Symbol SYM_LOGIC_SETOFALL
public static Symbol SYM_LOGIC_KAPPA
public static Symbol SYM_LOGIC_THE
public static Symbol SYM_LOGIC_THE_ONLY
public static Symbol SYM_STELLA_e
public static Symbol SYM_STELLA_OR
public static Symbol SYM_STELLA_eg
public static Symbol SYM_LOGIC_legg
public static Symbol SYM_LOGIC_lleg
public static Symbol SYM_LOGIC_llegg
public static Symbol SYM_LOGIC_ltg
public static Symbol SYM_LOGIC_ltgg
public static Symbol SYM_LOGIC_lltg
public static Symbol SYM_LOGIC_lltgg
public static Symbol SYM_LOGIC_egg
public static Symbol SYM_LOGIC_lle
public static Symbol SYM_LOGIC_tg
public static Symbol SYM_LOGIC_lt
public static Symbol SYM_LOGIC_tgg
public static Symbol SYM_LOGIC_llt
public static Symbol SYM_LOGIC_ABOUT
public static Symbol SYM_PL_KERNEL_KB_VALUE
public static Cons $ANNOTATION_TRANSLATION_TABLE$
public static Keyword KWD_DIRECTION
public static Keyword KWD_BACKWARD
public static Keyword KWD_FORWARD
public static Keyword KWD_CONFIDENCE_LEVEL
public static Keyword KWD_DEFAULT
public static Keyword KWD_ABOUT
public static Symbol SYM_PL_KERNEL_KB_HOLDS
public static Symbol SYM_LOGIC_leg
public static Cons $KIF_SENTENCE_OPERATORS$
public static Cons $KIF_TERM_OPERATORS$
public static Symbol SYM_LOGIC_LAMBDA
public static Symbol SYM_STELLA_SETOF
public static Symbol SYM_LOGIC_LISTOF
public static Symbol SYM_STELLA_WHERE
public static Symbol SYM_STELLA_ALWAYS
public static final StellaSpecialVariable $LOGIC_DIALECT$
public static Keyword KWD_KIF
public static Keyword KWD_STELLA
public static Keyword KWD_PREFIX_STELLA
public static Keyword KWD_MELD
public static Keyword KWD_LOOM
public static Symbol SYM_LOGIC_STARTUP_KIF_IN
public static Symbol SYM_LOGIC_PROPOSITIONS_INDEX
public static Symbol SYM_LOGIC_INSTANCES_INDEX
public static Surrogate SGT_LOGIC_BACKLINKS_INDEX
public static Symbol SYM_LOGIC_DEPENDENT_PROPOSITIONS_LIST
public static Symbol SYM_LOGIC_DEPENDENT_ISA_PROPOSITIONS_LIST
public static Symbol SYM_LOGIC_PREDICATE_PROPOSITIONS_TABLE
public static Surrogate SGT_LOGIC_LOGIC_OBJECT
public static Symbol SYM_STELLA_BADp
public static Symbol SYM_STELLA_HOME_CONTEXT
public static Symbol SYM_LOGIC_VARIABLE_VALUE_INVERSE
public static Symbol SYM_STELLA_SURROGATE_VALUE_INVERSE
public static Symbol SYM_LOGIC_OBJECT_STRINGIFIED_SOURCE
public static Symbol SYM_LOGIC_OBJECT_ORIGINATED_PROPOSITIONS
public static Surrogate SGT_STELLA_CS_VALUE
public static Symbol SYM_STELLA_DELETED_OBJECTp
public static Surrogate SGT_LOGIC_LOGIC_THING
public static Surrogate SGT_LOGIC_PATTERN_VARIABLE
public static Surrogate SGT_LOGIC_SKOLEM
public static Symbol SYM_LOGIC_SKOLEM_TYPE
public static Symbol SYM_LOGIC_SKOLEM_NAME
public static Symbol SYM_LOGIC_VARIABLE_VALUE
public static Symbol SYM_LOGIC_DEFINING_PROPOSITION
public static Symbol SYM_LOGIC_BOUND_TO_OFFSET
public static Symbol SYM_STELLA_VARIABLE_NAME
public static Symbol SYM_LOGIC_OBJECT_VECTOR
public static Symbol SYM_LOGIC_ARGUMENTS_VECTOR
public static Symbol SYM_LOGIC_VARIABLES_VECTOR
public static Vector ZERO_VARIABLES_VECTOR
public static Surrogate SGT_LOGIC_FORWARD_CHAINING_INDEX
public static Symbol SYM_LOGIC_FORWARD_GOAL
public static Symbol SYM_LOGIC_MASTER_RULE
public static Symbol SYM_LOGIC_IO_VARIABLES
public static Symbol SYM_LOGIC_QUERY_BODY
public static Symbol SYM_LOGIC_INPUT_BINDINGS
public static Symbol SYM_LOGIC_CACHE_ID
public static Symbol SYM_LOGIC_CONSEQUENT
public static Surrogate SGT_LOGIC_DESCRIPTION
public static Symbol SYM_LOGIC_FORWARD_CHAINING_INDICES
public static Symbol SYM_LOGIC_DEFERRED_CONTRAPOSITIVESp
public static Symbol SYM_LOGIC_INTERNAL_VARIABLES
public static Symbol SYM_LOGIC_QUERY_PATTERNS
public static Symbol SYM_LOGIC_RELATIVE_COMPLEMENT
public static Symbol SYM_LOGIC_COMPLEMENT_DESCRIPTION
public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION
public static Symbol SYM_LOGIC_NATIVE_RELATION_BACK_POINTER
public static Symbol SYM_LOGIC_IO_VARIABLE_NAMES
public static Symbol SYM_LOGIC_IO_VARIABLE_TYPES
public static Symbol SYM_STELLA_EXTENSION
public static Symbol SYM_LOGIC_PARTIAL_MATCH_SCORE
public static Symbol SYM_LOGIC_SET_OF_SUPPORT
public static Symbol SYM_LOGIC_TIMESTAMP
public static Keyword KWD_UNKNOWN
public static Surrogate SGT_LOGIC_TRUTH_VALUE
public static Symbol SYM_LOGIC_POLARITY
public static Symbol SYM_LOGIC_STRENGTH
public static Symbol SYM_LOGIC_POSITIVE_SCORE
public static Surrogate SGT_LOGIC_PARTIAL_SUPPORT
public static Symbol SYM_LOGIC_FACT
public static Symbol SYM_LOGIC_AXIOM
public static Symbol SYM_LOGIC_SCORE
public static Symbol SYM_LOGIC_ID
public static Symbol SYM_LOGIC_ARGUMENT_SCORES
public static int $PARTIAL_SUPPORT_COUNTER$
public static Surrogate SGT_LOGIC_PROPOSITION
public static Symbol SYM_LOGIC_VARIABLE_TYPEp
public static Symbol SYM_LOGIC_SATELLITE_PROPOSITIONS
public static Symbol SYM_LOGIC_UNFASTENEDp
public static Symbol SYM_LOGIC_WEIGHT_DELTA
public static Symbol SYM_LOGIC_SUPPORT
public static Symbol SYM_LOGIC_KIND
public static Symbol SYM_STELLA_OPERATOR
public static Symbol SYM_LOGIC_RELATIONREF
public static Symbol SYM_LOGIC_DEPENDENT_PROPOSITIONS
public static Symbol SYM_LOGIC_PROPOSITION_ORIGINATED_PROPOSITIONS
public static Symbol SYM_LOGIC_PROPOSITION_STRINGIFIED_SOURCE
public static Surrogate SGT_LOGIC_QUANTITY_LOGIC_WRAPPER
public static Symbol SYM_LOGIC_FUNCTION_TERM
public static Surrogate SGT_LOGIC_INTEGER_LOGIC_WRAPPER
public static Surrogate SGT_LOGIC_FLOAT_LOGIC_WRAPPER
public static Surrogate SGT_LOGIC_STRING_LOGIC_WRAPPER
public static PropertyList $OPERATOR_NAME_TO_SURROGATE_TABLE$
public static Keyword KWD_AND
public static Surrogate SGT_PL_KERNEL_KB_AND
public static Keyword KWD_OR
public static Surrogate SGT_PL_KERNEL_KB_OR
public static Keyword KWD_NOT
public static Surrogate SGT_PL_KERNEL_KB_NOT
public static Keyword KWD_FORALL
public static Surrogate SGT_PL_KERNEL_KB_FORALL
public static Keyword KWD_EXISTS
public static Surrogate SGT_PL_KERNEL_KB_EXISTS
public static Keyword KWD_EQUIVALENT
public static Surrogate SGT_PL_KERNEL_KB_EQUIVALENT
public static Keyword KWD_FAIL
public static Surrogate SGT_PL_KERNEL_KB_FAIL
public static Keyword KWD_COLLECT_INTO
public static Surrogate SGT_PL_KERNEL_KB_COLLECT_INTO
public static Keyword KWD_IMPLIES
public static Surrogate SGT_PL_KERNEL_KB_SUBSET_OF
public static Symbol SYM_STELLA_FUNCTION
public static Symbol SYM_STELLA_PREDICATE
public static Symbol SYM_LOGIC_DESCRIPTIVEp
public static Symbol SYM_STELLA_CODE_ONLYp
public static Module $LOGIC_MODULE$
public static Module $PL_KERNEL_MODULE$
public static Symbol SYM_LOGIC_LOCALLY_CONCEIVED_PROPOSITIONS_INTERNAL
public static Keyword KWD_CONTEXT_PROPOSITIONS
public static Symbol SYM_LOGIC_LOCALLY_CONCEIVED_INSTANCES_INTERNAL
public static Keyword KWD_CONTEXT_INSTANCES
public static int $NOW_TIMESTAMP$
public static Keyword $LAST_KB_ACTION$
public static Keyword KWD_UPDATE_PROPOSITION
public static Keyword KWD_EXECUTE_QUERY
public static LogicObject BOTTOM
public static Symbol SYM_LOGIC_BOTTOM
public static Surrogate SGT_STELLA_LITERAL
public static Surrogate SGT_LOGIC_F_LOGICAL_SUBTYPE_OF_LITERALp_MEMO_TABLE_000
public static Surrogate SGT_STELLA_CLASS
public static Surrogate SGT_STELLA_LITERAL_WRAPPER
public static Surrogate SGT_STELLA_BOOLEAN
public static Surrogate SGT_STELLA_BOOLEAN_WRAPPER
public static Surrogate SGT_PL_KERNEL_KB_VARIABLE_ARITY
public static Surrogate SGT_STELLA_COLLECTION
public static Surrogate SGT_PL_KERNEL_KB_RELATION_COMPUTATION
public static Surrogate SGT_STELLA_THING
public static final StellaSpecialVariable $EVALUATIONMODE$
public static Keyword KWD_EXTENSIONAL_ASSERTION
public static Keyword KWD_DESCRIPTION
public static final StellaSpecialVariable $CLIPPINGENABLEDp$
public static final StellaSpecialVariable $NATURALDEDUCTIONMODEp$
public static boolean $CONTEXT_DEPENDENT_SEARCH_MODEp$
public static Keyword KWD_DEVELOPMENT
public static Keyword KWD_RETRACT_TRUE
public static Surrogate SGT_PL_KERNEL_KB_UPDATE_PROPOSITION_DEMON
public static Keyword KWD_FUNCTION
public static Keyword KWD_ISA
public static Surrogate SGT_PL_KERNEL_KB_GOES_TRUE_DEMON
public static Keyword KWD_PREDICATE
public static Surrogate SGT_PL_KERNEL_KB_GOES_FALSE_DEMON
public static Surrogate SGT_PL_KERNEL_KB_GOES_UNKNOWN_DEMON
public static Symbol SYM_LOGIC_MASTER_PROPOSITION
public static Keyword KWD_ASSERT_TRUE
public static Keyword KWD_PRESUME_TRUE
public static Keyword KWD_ASSERT_FALSE
public static Keyword KWD_PRESUME_FALSE
public static Keyword KWD_RETRACT_FALSE
public static Keyword KWD_ASSERT
public static Keyword KWD_RETRACT_INCONSISTENT
public static Keyword KWD_RETRACT
public static Keyword KWD_CONCEIVE
public static Surrogate SGT_PL_KERNEL_KB_HIDDEN_RELATION
public static Surrogate SGT_LOGIC_HIDDEN_INSTANCE
public static Keyword KWD_KB_UPDATE
public static Keyword KWD_META_KB_UPDATE
public static Surrogate SGT_STELLA_STORAGE_SLOT
public static Surrogate SGT_STELLA_SURROGATE
public static Surrogate SGT_STELLA_RELATION
public static Symbol SYM_LOGIC_DESCRIPTION
public static Symbol SYM_LOGIC_EQUIVALENT_VALUE
public static final StellaSpecialVariable $COMPUTEDQUERYp$
public static int $SKOLEM_ID_COUNTER$
public static final StellaSpecialVariable $VARIABLEIDCOUNTER$
public static final StellaSpecialVariable $FREESKOLEMS$
public static TruthValue TRUE_TRUTH_VALUE
public static Keyword KWD_TRUE
public static Keyword KWD_STRICT
public static TruthValue FALSE_TRUTH_VALUE
public static Keyword KWD_FALSE
public static TruthValue DEFAULT_TRUE_TRUTH_VALUE
public static TruthValue DEFAULT_FALSE_TRUTH_VALUE
public static TruthValue UNKNOWN_TRUTH_VALUE
public static TruthValue INCONSISTENT_TRUTH_VALUE
public static Keyword KWD_INCONSISTENT
public static Symbol SYM_LOGIC_META_INFERENCE_CACHE
public static Symbol SYM_LOGIC_TRUTH_MAINTAINED_INFERENCE_CACHE
public static Symbol SYM_LOGIC_IOTAp
public static Surrogate SGT_PL_KERNEL_KB_CONCEPT
public static Surrogate SGT_PL_KERNEL_KB_RELATION
public static Surrogate SGT_STELLA_SET
public static Surrogate SGT_PL_KERNEL_KB_SET
public static Surrogate SGT_STELLA_SLOT
public static Surrogate SGT_PL_KERNEL_KB_FUNCTION
public static final StellaSpecialVariable $SUPPRESSUNTYPEDTYPEERRORp$
public static Surrogate SGT_PL_KERNEL_KB_INTERVAL_CACHE
public static Surrogate SGT_PL_KERNEL_KB_ge
public static Symbol SYM_LOGIC_CONFLICTING_DEFAULT_VALUES
public static boolean $EQUIVALENCE_COLLECTIONSp$
public static Proposition TRUE_PROPOSITION
public static Keyword KWD_CONSTANT
public static Surrogate SGT_STELLA_TRUE
public static Proposition FALSE_PROPOSITION
public static Surrogate SGT_STELLA_FALSE
public static Symbol SYM_LOGIC_CREATE
public static Keyword KWD_INTENSIONAL_ASSERTION
public static Symbol ANONYMOUS_VARIABLE_NAME
public static Symbol SYM_STELLA_p
public static KeyValueList $MISSING_KEY_VALUE_LIST$
public static final StellaSpecialVariable $AUTOMATICINSTANCETABLE$
public static Symbol SYM_STELLA_CLASS_EXTENSION
public static Symbol SYM_LOGIC_TRANSFER_LOGIC_INFORMATION_FROM_RELATION_HOOK
public static Symbol SYM_LOGIC_SUBRELATION_LINKp
public static Surrogate SGT_PL_KERNEL_KB_MEMBER_OF
public static final StellaSpecialVariable $DEFAULTCREATIONTYPE$
public static KeyValueMap $STRUCTURED_OBJECTS_INDEX$
public static Keyword KWD_DISABLED
public static final StellaSpecialVariable $DONT_CHECK_FOR_DUPLICATE_PROPOSITIONSp$
public static Symbol SYM_LOGIC_ANNOTATIONS
public static final StellaSpecialVariable $VISITEDUNFASTENEDDEFININGPROPOSITIONS$
public static Surrogate SGT_STELLA_STRING_WRAPPER
public static Symbol SYM_LOGIC_CONSTANT
public static Surrogate SGT_STELLA_SYMBOL
public static Symbol SYM_PL_KERNEL_KB_MEMBER_OF
public static Symbol SYM_LOGIC_IMPLIES
public static Symbol SYM_PL_KERNEL_KB_SUBSET_OF
public static Symbol SYM_STELLA_COLLECT_INTO
public static Surrogate SGT_STELLA_GENERALIZED_SYMBOL
public static Symbol SYM_LOGIC_FORWARD_ONLYp
public static Symbol SYM_LOGIC_BACKWARD_ONLYp
public static Keyword KWD_WEIGHT
public static Symbol SYM_LOGIC_WEIGHT
public static Symbol SYM_LOGIC_EQUIVALENT
public static Surrogate SGT_PL_KERNEL_KB_HOLDS
public static Surrogate SGT_STELLA_TABLE
public static Surrogate SGT_PL_KERNEL_KB_POLYMORPHIC
public static boolean $AUTO_COERCE_PROPOSITIONAL_ARGUMENTSp$
public static Symbol SYM_PL_KERNEL_KB_CUT
public static Surrogate SGT_PL_KERNEL_KB_VALUE
public static Surrogate SGT_PL_KERNEL_KB_QUANTITY
public static Surrogate SGT_PL_KERNEL_KB_DATE
public static Surrogate SGT_STELLA_FLOAT
public static Surrogate SGT_STELLA_INTEGER
public static Keyword $TYPE_CHECK_POLICY$
public static Keyword KWD_AUTOMATICALLY_FIX_TYPE_VIOLATIONS
public static final StellaSpecialVariable $TYPECHECKMODE$
public static Keyword KWD_POST_TYPE_VIOLATIONS
public static Keyword KWD_IGNORE_TYPE_VIOLATIONS
public static Keyword KWD_REPORT_TYPE_VIOLATIONS
public static Keyword KWD_SIGNAL_TYPE_VIOLATIONS
public static Symbol SYM_LOGIC_ASSERTED_BY_TYPE_CHECKERp
public static Surrogate SGT_LOGIC_CHECK_TYPES_RECORD
public static Symbol SYM_LOGIC_PARENT_PROPOSITION
public static Symbol SYM_LOGIC_PARENT_DESCRIPTION
public static KeyValueList $CHECK_TYPES_AGENDA$
public static Keyword KWD_MEDIUM
public static Keyword KWD_REALISTIC
public static Surrogate SGT_PL_KERNEL_KB_SETOF
public static Surrogate SGT_PL_KERNEL_KB_TOTAL
public static Surrogate SGT_PL_KERNEL_KB_LISTOF
public static Surrogate SGT_PL_KERNEL_KB_LIST
public static Symbol SYM_PL_KERNEL_KB_SETOF
public static Symbol SYM_PL_KERNEL_KB_LISTOF
public static Symbol SYM_LOGIC_BAGOF
public static Symbol SYM_STELLA_ASSERT
public static Keyword KWD_CPP
public static Keyword KWD_DELETED
public static Symbol SYM_LOGIC_INTRODUCE_MODULE
public static Symbol SYM_LOGIC_CLEAR_LOGIC_MODULE_HOOK
public static Symbol SYM_LOGIC_MONOTONICp
public static Surrogate SGT_STELLA_WORLD
public static Symbol SYM_LOGIC_DESTROY_LOGIC_CONTEXT_HOOK
public static Symbol SYM_STELLA_CLEARABLEp
public static Symbol SYM_STELLA_PROTECT_SURROGATESp
public static Keyword KWD_PREORDER
public static Surrogate SGT_STELLA_MUTABLE_STRING_WRAPPER
public static Surrogate SGT_STELLA_CONTEXT
public static Surrogate SGT_LOGIC_COMPUTED_PROCEDURE
public static Surrogate SGT_STELLA_NUMBER_WRAPPER
public static Symbol SYM_LOGIC_STARTUP_PROPOSITIONS
public static Keyword KWD_DEPENDENTS
public static Symbol SYM_LOGIC_DEPENDENT_PROPOSITIONS_INDEX
public static int $SPECIALIZED_BACKLINKS_CROSSOVER_POINT$
public static Keyword KWD_RELATION
public static Keyword KWD_DEBUGGING
public static Symbol SYM_LOGIC_HYPOTHESIZED_INSTANCEp
public static Surrogate SGT_STELLA_STRING
public static IntegerHashTable $INTEGER_LOGIC_WRAPPER_TABLE$
public static FloatHashTable $FLOAT_LOGIC_WRAPPER_TABLE$
public static StringHashTable $STRING_LOGIC_WRAPPER_TABLE$
public static boolean $BACKLINK_ALL_PROPOSITION_ARGUMENTSp$
public static Symbol SYM_LOGIC_SUBSUMPTION_LINKp
public static Keyword KWD_RULES
public static Surrogate SGT_LOGIC_F_SELECT_RELATION_PROPOSITIONS_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_SELECT_RELATION_PROPOSITIONS_MEMO_TABLE_001
public static Surrogate SGT_LOGIC_F_SELECT_RELATION_PROPOSITIONS_MEMO_TABLE_002
public static Keyword KWD_EVALUATEp
public static final StellaSpecialVariable $SUPPRESSINSERTIONINTOCLASSEXTENSIONp$
public static Symbol SYM_LOGIC_STARTUP_BACKLINKS
public static final StellaSpecialVariable $FILLINGCONSTRAINTPROPAGATIONQUEUESp$
public static final StellaSpecialVariable $DEFERINGDEFAULTFORWARDINFERENCESp$
public static Symbol SYM_LOGIC_DEFERRED_DEFAULT_PROPOSITIONS_INTERNAL
public static Symbol SYM_LOGIC_EVALUATION_STATE_TABLE
public static Keyword KWD_POSTED
public static Symbol SYM_LOGIC_EVALUATION_QUEUE
public static final StellaSpecialVariable $CURRENTLYEXECUTINGFORWARDCHAININGQUEUE$
public static Surrogate SGT_LOGIC_F_COLLECT_FORWARD_CHAINING_RULES_MEMO_TABLE_000
public static Symbol SYM_LOGIC_FORWARD_CHAINING_QUEUE
public static final StellaSpecialVariable $COLLECTFORWARDPROPOSITIONS$
public static Keyword KWD_PROPAGATE
public static Keyword KWD_GOAL_TREE
public static Keyword KWD_SINGLETONSp
public static Keyword KWD_EVALUATED
public static boolean $JUST_IN_TIME_FORWARD_INFERENCEp$
public static Symbol SYM_LOGIC_ELABORATED_IN_WORLDS
public static Keyword KWD_ELABORATE
public static Surrogate SGT_PL_KERNEL_KB_INEQUALITY
public static Surrogate SGT_PL_KERNEL_KB_PHRASE
public static Symbol SYM_LOGIC_STARTUP_PROPAGATE
public static Symbol SYM_LOGIC_INFERENCE_CACHE_OF
public static Keyword KWD_JUST_IN_TIME
public static Symbol SYM_LOGIC_JUST_IN_TIME_INFERENCE_CACHE
public static Keyword KWD_TMS
public static Symbol SYM_LOGIC_UP_TO_DATE_INFERENCESp
public static final StellaSpecialVariable $INVISIBLEASSERTIONp$
public static Symbol SYM_LOGIC_TRUTH_MAINTAINEDp
public static Keyword KWD_PERFORMANCE_CLUES
public static Keyword KWD_FORCE
public static Symbol SYM_LOGIC_STARTUP_INFERENCE_CACHES
public static Surrogate SGT_STELLA_METHOD_SLOT
public static Symbol SYM_STELLA_ANY_VALUE
public static Vector FAKE_IO_VARIABLES
public static Cons SYSTEM_DEFINED_ARGUMENT_NAMES
public static Symbol SYM_LOGIC_pX1
public static Symbol SYM_LOGIC_pX2
public static Symbol SYM_LOGIC_pX3
public static Symbol SYM_LOGIC_pX4
public static Symbol SYM_LOGIC_pX5
public static Symbol SYM_LOGIC_pX6
public static Symbol SYM_LOGIC_pX7
public static Symbol SYM_LOGIC_pX8
public static Symbol SYM_LOGIC_pX9
public static Symbol SYM_LOGIC_pX10
public static Symbol SYM_LOGIC_pX11
public static Symbol SYM_LOGIC_pX12
public static Symbol SYM_LOGIC_pX13
public static Symbol SYM_LOGIC_pX14
public static Symbol SYM_LOGIC_pX15
public static Symbol SYM_LOGIC_pX16
public static Symbol SYM_LOGIC_pX17
public static Symbol SYM_LOGIC_pX18
public static Symbol SYM_LOGIC_pX19
public static Symbol SYM_LOGIC_pX20
public static Symbol SYM_LOGIC_pX21
public static Symbol SYM_LOGIC_pX22
public static Symbol SYM_LOGIC_pX23
public static Symbol SYM_LOGIC_pX24
public static Symbol SYM_LOGIC_pX25
public static Symbol SYM_LOGIC_pX26
public static Symbol SYM_LOGIC_pX27
public static Symbol SYM_LOGIC_pX28
public static Symbol SYM_LOGIC_pX29
public static Symbol SYM_LOGIC_pX30
public static Symbol SYM_LOGIC_pX31
public static Symbol SYM_LOGIC_pX32
public static Symbol SYM_LOGIC_pX33
public static Symbol SYM_LOGIC_pX34
public static Symbol SYM_LOGIC_pX35
public static Symbol SYM_LOGIC_pX36
public static Symbol SYM_LOGIC_pX37
public static Symbol SYM_LOGIC_pX38
public static Symbol SYM_LOGIC_pX39
public static Symbol SYM_LOGIC_pX40
public static Symbol SYM_LOGIC_pX41
public static Symbol SYM_LOGIC_pX42
public static Symbol SYM_LOGIC_pX43
public static Symbol SYM_LOGIC_pX44
public static Symbol SYM_LOGIC_pX45
public static Symbol SYM_LOGIC_pX46
public static Symbol SYM_LOGIC_pX47
public static Symbol SYM_LOGIC_pX48
public static Symbol SYM_LOGIC_pX49
public static Symbol SYM_LOGIC_pX50
public static Symbol SYM_LOGIC_pX51
public static Symbol SYM_LOGIC_pX52
public static Symbol SYM_LOGIC_pX53
public static Symbol SYM_LOGIC_pX54
public static Symbol SYM_LOGIC_pX55
public static Symbol SYM_LOGIC_pX56
public static Symbol SYM_LOGIC_pX57
public static Symbol SYM_LOGIC_pX58
public static Symbol SYM_LOGIC_pX59
public static Symbol SYM_LOGIC_pX60
public static Symbol SYM_LOGIC_pX61
public static Symbol SYM_LOGIC_pX62
public static Symbol SYM_LOGIC_pX63
public static Symbol SYM_LOGIC_pX64
public static Symbol SYM_LOGIC_pX65
public static Symbol SYM_LOGIC_pX66
public static Symbol SYM_LOGIC_pX67
public static Symbol SYM_LOGIC_pX68
public static Symbol SYM_LOGIC_pX69
public static Symbol SYM_LOGIC_pX70
public static Symbol SYM_LOGIC_pX71
public static Symbol SYM_LOGIC_pX72
public static Symbol SYM_LOGIC_pX73
public static Symbol SYM_LOGIC_pX74
public static Symbol SYM_LOGIC_pX75
public static Symbol SYM_LOGIC_pX76
public static Symbol SYM_LOGIC_pX77
public static Symbol SYM_LOGIC_pX78
public static Symbol SYM_LOGIC_pX79
public static Symbol SYM_LOGIC_pX80
public static Symbol SYM_LOGIC_pX81
public static Symbol SYM_LOGIC_pX82
public static Symbol SYM_LOGIC_pX83
public static Symbol SYM_LOGIC_pX84
public static Symbol SYM_LOGIC_pX85
public static Symbol SYM_LOGIC_pX86
public static Symbol SYM_LOGIC_pX87
public static Symbol SYM_LOGIC_pX88
public static Symbol SYM_LOGIC_pX89
public static Symbol SYM_LOGIC_pX90
public static Symbol SYM_LOGIC_pX91
public static Symbol SYM_LOGIC_pX92
public static Symbol SYM_LOGIC_pX93
public static Symbol SYM_LOGIC_pX94
public static Symbol SYM_LOGIC_pX95
public static Symbol SYM_LOGIC_pX96
public static Symbol SYM_LOGIC_pX97
public static Symbol SYM_LOGIC_pX98
public static Symbol SYM_LOGIC_pX99
public static Symbol SYM_LOGIC_pX100
public static final StellaSpecialVariable $LOGICVARIABLETABLE$
public static final StellaSpecialVariable $VARIABLETYPEPROPOSITIONS$
public static Symbol SYM_LOGIC_ENTITY_MAPPING
public static Surrogate SGT_STELLA_LIST
public static final StellaSpecialVariable $UNIFY_PROPOSITIONSp$
public static Symbol SYM_LOGIC_EXTERNAL_VARIABLES
public static Surrogate SGT_STELLA_PROPOSITIONdIF
public static final StellaSpecialVariable $EXTERNALVARIABLES$
public static final StellaSpecialVariable $RECURSIVEGETCOMPLEMENTARGUMENT$
public static Symbol SYM_LOGIC_VARIABLE_TYPE_TABLE
public static final StellaSpecialVariable $ADDEDNEWTYPEp$
public static Symbol SYM_LOGIC_UNDECLAREDp
public static Symbol SYM_LOGIC_pX
public static Symbol SYM_PL_KERNEL_KB_RELATION
public static Symbol SYM_LOGIC_F_CALL_LIST_UNDEFINED_RELATIONS_QUERY_000
public static Symbol SYM_LOGIC_STARTUP_DESCRIPTIONS
public static Surrogate SGT_PL_KERNEL_KB_CUT
public static Surrogate SGT_PL_KERNEL_KB_BOUND_VARIABLES
public static Surrogate SGT_PL_KERNEL_KB_FORK
public static Surrogate SGT_PL_KERNEL_KB_QUERY
public static Symbol SYM_LOGIC_NEURAL_NETWORK
public static Surrogate SGT_PL_KERNEL_KB_ARITY
public static Surrogate SGT_PL_KERNEL_KB_CLASS
public static Symbol SYM_LOGIC_DONT_OPTIMIZEp
public static Surrogate SGT_LOGIC_NOT
public static Surrogate SGT_LOGIC_FORALL
public static Surrogate SGT_LOGIC_EXISTS
public static Surrogate SGT_LOGIC_OR
public static Surrogate SGT_LOGIC_AND
public static Symbol SYM_LOGIC_STARTUP_NORMALIZE
public static Keyword KWD_HEAD
public static Keyword KWD_TAIL
public static boolean $LAZY_SATELLITE_RULESp$
public static Keyword KWD_POSITIVE
public static Keyword KWD_CONTRAPOSITIVE
public static Symbol SYM_LOGIC_RULES_WITH_DEFERRED_SATELLITES
public static Keyword KWD_POSITIVE_AND_CONTRAPOSITIVE
public static final StellaSpecialVariable $DERIVE_DEFERRED_SATELLITE_RULES_INVOCATIONS$
public static Symbol SYM_LOGIC_STARTUP_RULES
public static Surrogate SGT_LOGIC_INFERENCE_LEVEL
public static Symbol SYM_STELLA_KEYWORD
public static Surrogate SGT_LOGIC_NORMAL_INFERENCE_LEVEL
public static Surrogate SGT_LOGIC_BACKTRACKING_INFERENCE_LEVEL
public static Surrogate SGT_LOGIC_SUBSUMPTION_INFERENCE_LEVEL
public static Surrogate SGT_LOGIC_SHALLOW_INFERENCE_LEVEL
public static Surrogate SGT_LOGIC_ASSERTION_INFERENCE_LEVEL
public static Surrogate SGT_LOGIC_REFUTATION_INFERENCE_LEVEL
public static NormalInferenceLevel NORMAL_INFERENCE
public static Keyword KWD_NORMAL
public static BacktrackingInferenceLevel BACKTRACKING_INFERENCE
public static Keyword KWD_BACKTRACKING
public static SubsumptionInferenceLevel SUBSUMPTION_INFERENCE
public static Keyword KWD_SUBSUMPTION
public static ShallowInferenceLevel SHALLOW_INFERENCE
public static Keyword KWD_SHALLOW
public static AssertionInferenceLevel ASSERTION_INFERENCE
public static Keyword KWD_ASSERTION
public static RefutationInferenceLevel REFUTATION_INFERENCE
public static Keyword KWD_REFUTATION
public static final StellaSpecialVariable $INFERENCELEVEL$
public static Symbol SYM_LOGIC_INFERENCE_LEVEL
public static final StellaSpecialVariable $DONTUSEDEFAULTKNOWLEDGEp$
public static int $MAXIMUM_BACKTRACKING_DEPTH$
public static final StellaSpecialVariable $TYPE_CHECK_STRATEGY$
public static Keyword KWD_LOOKUP
public static Keyword $DUPLICATE_SUBGOAL_STRATEGY$
public static Keyword KWD_DUPLICATE_GOALS
public static int $DUPLICATE_GOAL_SEARCH_DEPTH$
public static int $DUPLICATE_RULE_SEARCH_DEPTH$
public static boolean $GLOBALLY_CLOSED_COLLECTIONSp$
public static final StellaSpecialVariable $GENERATE_ALL_PROOFSp$
public static Keyword KWD_TRACE_SUBGOALS
public static Keyword KWD_STRATEGIES
public static Symbol SYM_LOGIC_COST_ESTIMATE
public static Surrogate SGT_LOGIC_QUERY_ITERATOR
public static Symbol SYM_LOGIC_RESIDUE_GOALS
public static Symbol SYM_LOGIC_BEST_GOAL_SEQUENCE
public static Symbol SYM_LOGIC_EXHAUSTEDp
public static Symbol SYM_STELLA_OPTIONS
public static Symbol SYM_LOGIC_SOLUTIONS
public static Symbol SYM_LOGIC_QUERY_CONTEXT
public static Symbol SYM_LOGIC_BASE_CONTROL_FRAME
public static Symbol SYM_LOGIC_CURRENT_CONTROL_FRAME
public static Symbol SYM_LOGIC_CURRENT_PATTERN_RECORD
public static Symbol SYM_LOGIC_CURRENT_PARALLEL_THREAD
public static Symbol SYM_LOGIC_CONTROL_FRAME_PRIORITY_QUEUE
public static Symbol SYM_LOGIC_AUGMENTED_GOAL_CACHEp
public static Symbol SYM_LOGIC_ACTIVE_GOAL_CACHES
public static Symbol SYM_LOGIC_TRIGGERED_DEPTH_CUTOFFp
public static Symbol SYM_LOGIC_FAILED_TO_FIND_DUPLICATE_SUBGOALp
public static Symbol SYM_LOGIC_FOUND_AT_LEAST_ONE_SOLUTIONp
public static Symbol SYM_LOGIC_PARTIAL_MATCH_STRATEGY
public static Symbol SYM_LOGIC_MAXIMUM_DEPTH
public static Symbol SYM_LOGIC_ALLOTTED_TIME
public static Symbol SYM_LOGIC_TIMEOUTp
public static Symbol SYM_LOGIC_NEGATED_QUERY
public static Symbol SYM_LOGIC_LATEST_PARTIAL_SCORE
public static Symbol SYM_LOGIC_AUXILIARY_QUERY
public static Symbol SYM_LOGIC_LATEST_POSITIVE_SCORE
public static Symbol SYM_LOGIC_GOAL_BINDINGS
public static Surrogate SGT_LOGIC_CONTROL_FRAME
public static Symbol SYM_LOGIC_REVERSE_POLARITYp
public static Symbol SYM_LOGIC_PATTERN_RECORD
public static Symbol SYM_LOGIC_INHERITED_PATTERN_RECORD
public static Symbol SYM_LOGIC_CHOICE_POINT_UNBINDING_OFFSET
public static Symbol SYM_LOGIC_CURRENT_STRATEGY
public static Symbol SYM_LOGIC_NEXT_STRATEGIES
public static Symbol SYM_LOGIC_JUSTIFICATIONS
public static Symbol SYM_LOGIC_CACHED_GOAL_RESULTp
public static Symbol SYM_LOGIC_DONT_CACHE_GOAL_FAILUREp
public static Surrogate SGT_LOGIC_PARALLEL_THREAD
public static Symbol SYM_LOGIC_TOP_CONTROL_FRAME
public static Symbol SYM_LOGIC_HYPOTHETICAL_WORLD
public static Symbol SYM_LOGIC_VARIABLE_BINDINGS
public static Symbol SYM_LOGIC_UNBINDING_STACK
public static Symbol SYM_LOGIC_TOP_UNBINDING_STACK_OFFSET
public static Symbol SYM_LOGIC_PRIORITY
public static Symbol SYM_LOGIC_STATUS
public static Surrogate SGT_LOGIC_PARALLEL_CONTROL_FRAME
public static Symbol SYM_LOGIC_CHILD_THREADS
public static Symbol SYM_LOGIC_UNBOUND_VARIABLESp
public static Symbol SYM_LOGIC_CURRENT_CHILD_THREAD
public static Symbol SYM_LOGIC_SAVED_PARENT_CONTEXT
public static Symbol SYM_LOGIC_SAVED_PARENT_PARALLEL_THREAD
public static Surrogate SGT_LOGIC_CONTROL_FRAME_PRIORITY_QUEUE
public static Symbol SYM_LOGIC_QUEUE
public static final StellaSpecialVariable $QUERYITERATOR$
public static int $DEFAULT_MAXIMUM_DEPTH$
public static int $INITIAL_BACKTRACKING_DEPTH$
public static boolean $ITERATIVE_DEEPENING_MODEp$
public static boolean $EMIT_THINKING_DOTSp$
public static int $THINKING_DOT_COUNTER$
public static PropertyList $THINKING_DOT_TABLE$
public static Keyword KWD_UPCLASSIFY
public static Keyword KWD_DOWNCLASSIFY
public static Keyword KWD_PARTIAL_MATCH
public static Surrogate SGT_LOGIC_PROOF_ADJUNCT
public static Surrogate SGT_LOGIC_PATTERN_RECORD
public static Symbol SYM_LOGIC_CONTROL_FRAME
public static Symbol SYM_LOGIC_EXTERNAL_ARGUMENTS
public static Symbol SYM_STELLA_BOOLEAN_VECTOR
public static Symbol SYM_LOGIC_OPTIMAL_PATTERN
public static Symbol SYM_LOGIC_COLLECTION_LIST
public static Surrogate SGT_LOGIC_BOOLEAN_VECTOR_INDEX_NODE
public static Symbol SYM_LOGIC_TRUE_LINK
public static Symbol SYM_LOGIC_FALSE_LINK
public static Symbol SYM_LOGIC_THE_VECTOR
public static BooleanVectorIndexNode $BOOLEAN_VECTOR_INDEX$
public static Keyword KWD_CONTAINED_BY
public static Keyword KWD_PARENT
public static Symbol SYM_LOGIC_CACHED_BINDINGS_ITERATOR
public static Keyword KWD_POPPED
public static Keyword KWD_LOCAL
public static Keyword KWD_QUERY_STACKS
public static Keyword KWD_NONE
public static Keyword KWD_SHALLOW_DISJOINT
public static Keyword KWD_DISJOINT
public static final StellaSpecialVariable $PRINTINFRAME$
public static Keyword KWD_FLAT
public static Keyword KWD_ITERATIVE_FORALL
public static Keyword KWD_STATE_MACHINE
public static Keyword KWD_PARALLEL_STRATEGIES
public static Keyword KWD_STRATEGY
public static Keyword KWD_SPECIALIST
public static Keyword KWD_ATOMIC_GOAL
public static Symbol SYM_LOGIC_ANTECEDENTS_RULE
public static Keyword KWD_FULL_SUBQUERY
public static Keyword KWD_ANTECEDENTS
public static Symbol SYM_STELLA_ITERATOR
public static Keyword KWD_FAILURE
public static Keyword KWD_FINAL_SUCCESS
public static Surrogate SGT_LOGIC_NN_PARTIAL_MATCH
public static Symbol SYM_LOGIC_MATCH_SCORE
public static Symbol SYM_LOGIC_BACK
public static Symbol SYM_LOGIC_GOAL_CACHE
public static int $CONTROL_FRAME_ID_COUNTER$
public static Symbol SYM_LOGIC_DEBUG_FRAME_ID_INTERNAL
public static Keyword KWD_MOVE_DOWN
public static Keyword KWD_CONTINUING_SUCCESS
public static Keyword KWD_MOVE_IN_PLACE
public static Keyword KWD_TIMEOUT
public static Keyword KWD_SCAN_CACHED_BINDINGS
public static Keyword KWD_CLUSTERED_CONJUNCTION
public static Keyword KWD_DISJUNCTIVE_IMPLICATION_INTRODUCTION
public static final StellaSpecialVariable $REVERSEPOLARITYp$
public static Keyword KWD_DUPLICATE_GOALS_WITH_CACHING
public static Keyword KWD_MANUFACTURE_SKOLEM
public static Symbol SYM_LOGIC_CACHED_SINGLE_VALUEDp
public static Keyword KWD_FAILED_OVERLAY
public static Surrogate SGT_PL_KERNEL_KB_DISJOINT
public static Symbol SYM_LOGIC_pD1
public static Symbol SYM_LOGIC_pD2
public static Symbol SYM_LOGIC_DISJOINT
public static Symbol SYM_LOGIC_F_DISJOINT_TERMSp_QUERY_000
public static Symbol SYM_PL_KERNEL_KB_CLASS
public static Symbol SYM_LOGIC_REFUTATION_DISJOINT
public static Symbol SYM_LOGIC_F_EXPENSIVE_DISJOINT_TERMSp_QUERY_000
public static Surrogate SGT_PL_KERNEL_KB_COLLECTIONOF
public static Surrogate SGT_LOGIC_DESCRIPTION_EXTENSION_ITERATOR
public static Symbol SYM_LOGIC_ROOT_DESCRIPTION
public static Symbol SYM_LOGIC_SUBCOLLECTIONS
public static Symbol SYM_LOGIC_EXTENSION_ITERATOR
public static Symbol SYM_LOGIC_REFERENCE_PROPOSITION
public static Symbol SYM_LOGIC_ALREADY_GENERATED_LIST
public static Symbol SYM_LOGIC_ALREADY_GENERATED_TABLE
public static Symbol SYM_LOGIC_REMOVING_DUPLICATESp
public static int $DUPLICATEINSTANCESCACHECROSSOVERPOINT$
public static Keyword KWD_GOAL_CACHES
public static Keyword KWD_DEPTH_VIOLATION
public static Keyword KWD_DEPTH_CUTOFF
public static Keyword KWD_TECHNICAL
public static Keyword KWD_LAY
public static Surrogate SGT_LOGIC_QUERY_SOLUTION_TABLE
public static Symbol SYM_STELLA_THE_MAP
public static Symbol SYM_STELLA_FIRST
public static Symbol SYM_STELLA_LAST
public static Surrogate SGT_LOGIC_QUERY_SOLUTION
public static Symbol SYM_STELLA_BINDINGS
public static Symbol SYM_LOGIC_BEST_JUSTIFICATION
public static Symbol SYM_LOGIC_ALL_JUSTIFICATIONS
public static Symbol SYM_STELLA_NEXT
public static Surrogate SGT_LOGIC_QUERY_SOLUTION_TABLE_ITERATOR
public static Symbol SYM_STELLA_THE_TABLE
public static Symbol SYM_STELLA_CURSOR
public static Keyword KWD_TRACE_SOLUTIONS
public static Symbol SYM_LOGIC_ATOMIC_SINGLETONSp
public static Keyword KWD_DONT_OPTIMIZEp
public static Symbol SYM_LOGIC_INITIAL_BINDINGS
public static Keyword KWD_ITERATIVE_DEEPENINGp
public static Symbol SYM_LOGIC_ITERATIVE_DEEPENINGp
public static Keyword KWD_MATCH_MODE
public static Keyword KWD_DEFERRED_OPTIONS
public static Keyword KWD_HOW_MANY
public static Keyword KWD_SORT_BY
public static Keyword KWD_SCORE
public static Keyword KWD_MOVEOUT
public static Keyword KWD_MAXIMUM_DEPTH
public static Keyword KWD_INFERENCE_LEVEL
public static Keyword KWD_THREE_VALUEDp
public static Keyword KWD_MINIMUM_SCORE
public static Keyword KWD_MAXIMIZE_SCOREp
public static Keyword KWD_MAXIMUM_UNKNOWNS
public static Surrogate SGT_STELLA_PROPERTY_LIST
public static QueryIterator $MOST_RECENT_QUERY$
public static HashTable $QUERY_CACHE$
public static Keyword KWD_DYNAMIC
public static Keyword KWD_DYNAMIC_WITH_CLUSTERING
public static Surrogate SGT_PL_KERNEL_KB_CONCEPT_PROTOTYPE
public static Symbol SYM_LOGIC_pC
public static Symbol SYM_LOGIC_pP
public static Symbol SYM_PL_KERNEL_KB_CONCEPT_PROTOTYPE
public static Symbol SYM_LOGIC_F_GET_PROTOTYPE_QUERY_000
public static Surrogate SGT_STELLA_VECTOR
public static Keyword KWD_UPDATE_FROM_QUERY
public static Keyword KWD_MODULE
public static Symbol SYM_LOGIC_STARTUP_QUERY
public static Keyword $PARTIAL_MATCH_MODE$
public static Keyword KWD_BASIC
public static boolean $GREEDY_NETWORK_PRUNING$
public static Keyword $RULE_COMBINATION$
public static Keyword KWD_MAX
public static boolean $PLANNING_MODE$
public static Cons $PLANABLE_PREDICATES$
public static Symbol SYM_STELLA_CHILD
public static Symbol SYM_LOGIC_NEGATIVE_SCORE
public static Symbol SYM_LOGIC_DYNAMIC_CUTOFF
public static Symbol SYM_LOGIC_ARGUMENT_WEIGHTS
public static Symbol SYM_LOGIC_UNBOUND_VARS
public static boolean $FAIL_UNBOUND_CLAUSESp$
public static double $MINIMUM_SCORE_CUTOFF$
public static double $MAXIMUM_SCORE_CUTOFF$
public static boolean $AND_MISSED_A_BINDING$
public static Keyword KWD_CONTROL_FRAME
public static Keyword KWD_KIND
public static Surrogate SGT_LOGIC_INCREMENTAL_PARTIAL_MATCH
public static Symbol SYM_LOGIC_ACCUMULATED_SCORE
public static Symbol SYM_LOGIC_ACCUMULATED_WEIGHT
public static Symbol SYM_LOGIC_TOTAL_WEIGHT
public static Symbol SYM_LOGIC_MAXIMUM_SCORE
public static Keyword KWD_SKIPPED_CONJUNCT
public static Keyword KWD_NOISY_OR
public static Symbol SYM_LOGIC_INFERENCE_CUTOFF_REASON
public static Symbol SYM_LOGIC_RULES
public static Symbol SYM_STELLA_ARITY
public static Keyword KWD_INCREMENTAL
public static Keyword KWD_NN
public static Keyword KWD_NEURAL_NETWORK
public static Surrogate SGT_PL_KERNEL_KB_NULL
public static Symbol SYM_LOGIC_STARTUP_PARTIAL_MATCH
public static Surrogate SGT_LOGIC_TRAINING_EXAMPLE
public static Symbol SYM_LOGIC_CONCEPT
public static Symbol SYM_STELLA_NAME
public static Symbol SYM_LOGIC_INPUT_FEATURES
public static Symbol SYM_STELLA_INPUT
public static Symbol SYM_LOGIC_FACTS
public static Symbol SYM_LOGIC_NN_HIDDEN
public static Symbol SYM_LOGIC_OUTPUT
public static Symbol SYM_LOGIC_TEMP
public static Symbol SYM_LOGIC_CACHED_SOLUTION
public static List $TRAINING_EXAMPLES$
public static List $TESTING_EXAMPLES$
public static boolean $CLOSED_WORLD_TRAINING_EXAMPLES$
public static Symbol SYM_LOGIC_DEFRELATION
public static Symbol SYM_STELLA_THING
public static Symbol SYM_LOGIC_DEFRULE
public static Symbol SYM_LOGIC_pY
public static int $MAX_STRUCTURE_DEPTH$
public static boolean $DROP_FUNCTION_VALUESp$
public static List $TABOO_OPERATORS$
public static Symbol SYM_STELLA_ge
public static Symbol SYM_STELLA_el
public static Keyword KWD_IN
public static Symbol SYM_LOGIC_STARTUP_MACHINE_LEARNING
public static Keyword $RULE_INDUCTION_STRATEGY$
public static Keyword KWD_TOP_DOWN
public static Keyword $SIGNATURE_STRATEGY$
public static boolean $ENABLE_USER_THING$
public static boolean $OPTIMIZE_INDUCED_QUERIES$
public static boolean $SIMPLIFY_RULE_ANTECEDENTp$
public static boolean $TRACE_ID3$
public static boolean $TRACE_FOIL$
public static boolean $INDUCE_RULES_FROM_SIGNATURES$
public static int $NUM_LGGS$
public static boolean $ENFORCE_LINKED_VARIABLES$
public static boolean $LOG_INDUCED_RULES$
public static boolean $ALLOW_RECURSIVE_DECISION_NODES$
public static boolean $LOG_DECISION_RULE_CONSTRUCTION$
public static double LOG_2
public static Surrogate SGT_LOGIC_DECISION_TREE
public static Symbol SYM_STELLA_FEATURE
public static Symbol SYM_LOGIC_FEATURE_INDEX
public static Symbol SYM_LOGIC_TRUE_BRANCH
public static Symbol SYM_LOGIC_FALSE_BRANCH
public static List $INDUCED_DECISION_RULES$
public static int $INDUCED_RULE_COUNTER$
public static Vector $CANDIDATE_CLAUSES$
public static Keyword KWD_BOTTOM_UP
public static final StellaSpecialVariable $BOTTOM_UP_VARIABLE_COUNTER$
public static Symbol SYM_STELLA_l
public static Keyword KWD_DECISION_TREE
public static Symbol SYM_LOGIC_USER_THING
public static Symbol SYM_LOGIC_STARTUP_RULE_INDUCTION
public static Keyword $NEURAL_NETWORK_TRAINING_METHOD$
public static Keyword KWD_BACKPROP
public static double $LEARNING_RATE$
public static double $MOMENTUM_TERM$
public static double $WEIGHT_RANGE$
public static double $ERROR_CUTOFF$
public static int $ERROR_PRINT_CYCLE$
public static int $SAVE_NETWORK_CYCLE$
public static java.lang.String $SAVE_NETWORK_FILE$
public static boolean $TRACE_NEURAL_NETWORK_TRAINING$
public static boolean $TRAIN_CACHED_NETWORKSp$
public static double $MAX_MOVEMENT$
public static double $MODE_SWITCH$
public static double $SHRINK_FACTOR$
public static double $WEIGHT_DECAY$
public static double $SIGMOID_PRIME_OFFSET$
public static Symbol SYM_LOGIC_WEIGHT_VECTOR
public static Symbol SYM_LOGIC_2_D_WEIGHT_ARRAY
public static Surrogate SGT_LOGIC_PROPOSITION_NEURAL_NETWORK
public static Symbol SYM_LOGIC_HIDDEN
public static Symbol SYM_LOGIC_INPUT_ERROR
public static Symbol SYM_LOGIC_HIDDEN_ERROR
public static Symbol SYM_LOGIC_IH
public static Symbol SYM_LOGIC_IH_DELTA
public static Symbol SYM_LOGIC_HO
public static Symbol SYM_LOGIC_HO_DELTA
public static Symbol SYM_LOGIC_IH_SLOPE
public static Symbol SYM_LOGIC_IH_PREV_SLOPE
public static Symbol SYM_LOGIC_HO_SLOPE
public static Symbol SYM_LOGIC_HO_PREV_SLOPE
public static List $MASTER_NEURAL_NETWORK_LIST$
public static List $ACTIVATED_NETWORKS$
public static PropositionNeuralNetwork $SAVED_NET$
public static Keyword KWD_QUICKPROP
public static Keyword KWD_BACKPROPAGATION
public static List $PARTIAL_SUPPORT_CACHE$
public static Vector $LEARNING_CURVE$
public static Symbol SYM_LOGIC_DEFNETWORK
public static Surrogate SGT_LOGIC_MULTI_DIMENSIONAL_ARRAY
public static Surrogate SGT_LOGIC_2_D_ARRAY
public static Symbol SYM_LOGIC_NOF_ROWS
public static Symbol SYM_LOGIC_NOF_COLUMNS
public static Surrogate SGT_LOGIC_FLOAT_VECTOR
public static Symbol SYM_STELLA_ARRAY_SIZE
public static Surrogate SGT_LOGIC_2_D_FLOAT_ARRAY
public static Symbol SYM_LOGIC_STARTUP_NEURAL_NETWORK
public static boolean $LOG_MATCH_RULES$
public static boolean $LOG_ANTECEDENT_CONSTRUCTION$
public static int $NUM_NEIGHBORS$
public static Keyword $CASE_SOLUTION_COMBINATION$
public static Keyword KWD_WEIGHTED_VOTE
public static List $CASE_RULE_NAMES$
public static int $NUM_CASES$
public static int $NUM_TRAINING_PER_CASE$
public static int $CASE_VARIABLE_COUNTER$
public static int $BASE_COUNTER$
public static List $VISITED_INSTANCES$
public static boolean $ONLY_VARIABLIZE_VISITED_INSTANCES$
public static List $VISITED_PROPOSITIONS$
public static List $SEEN_INSTANCES$
public static List $DELETED_CASE_VARIABLES$
public static HashTable $SYMBOL_VARIABLE_HASH_TABLE$
public static StringHashTable $CASE_ANTECEDENT_TABLE$
public static StringHashTable $CASE_TYPES_TABLE$
public static HashTable $CASE_NAME_TABLE$
public static Symbol SYM_LOGIC_CASE_MATCH
public static Symbol SYM_PL_KERNEL_KB_CASE_MATCH
public static Keyword KWD_WEIGHTED_AVERAGE
public static Surrogate SGT_STELLA_FLOAT_WRAPPER
public static Surrogate SGT_STELLA_INTEGER_WRAPPER
public static Keyword KWD_AVERAGE
public static Symbol SYM_LOGIC_OBJECT_NAME
public static Symbol SYM_STELLA_SECOND
public static Symbol SYM_LOGIC_CASES
public static Symbol SYM_LOGIC_SOFT_EQ
public static boolean $PRINT_CASE_DISTANCES$
public static Symbol SYM_LOGIC_STARTUP_CASE_BASED
public static Surrogate SGT_LOGIC_GOAL_CACHE
public static Symbol SYM_LOGIC_CACHED_BINDINGS
public static Symbol SYM_LOGIC_CACHE_CONTEXT
public static Symbol SYM_LOGIC_GOAL_CACHE_TABLE
public static Symbol SYM_LOGIC_NEGATED_GOAL_CACHE_TABLE
public static boolean $CACHE_SUCCEEDED_GOALSp$
public static boolean $CACHE_FAILED_GOALSp$
public static int $CACHE_GOAL_QUANTUM$
public static Surrogate SGT_LOGIC_ATOMIC_GOAL_CACHE
public static Symbol SYM_LOGIC_GOAL_CONTEXT
public static Symbol SYM_LOGIC_PREVIOUS
public static Vector $SUCCEEDED_GOALS_CACHE$
public static Vector $FAILED_GOALS_CACHE$
public static Symbol SYM_LOGIC_GOAL_CACHE_LIST
public static final StellaSpecialVariable $UNIFICATION_VECTOR_1$
public static final StellaSpecialVariable $UNIFICATION_VECTOR_2$
public static Keyword KWD_GOAL_INSTANTIATES_CACHE
public static Keyword KWD_CACHE_INSTANTIATES_GOAL
public static Surrogate SGT_PL_KERNEL_KB_FRAME_PREDICATE
public static Symbol SYM_LOGIC_CHECK_FOR_CACHED_GOALSp
public static Keyword KWD_SUCCESS
public static Surrogate SGT_LOGIC_ATOMIC_GOAL_CACHE_ITERATOR
public static Symbol SYM_LOGIC_GOAL
public static Symbol SYM_LOGIC_CACHE_LIST
public static Symbol SYM_LOGIC_STARTUP_GOAL_CACHES
public static Keyword KWD_TERMINAL_FAILURE
public static Symbol SYM_LOGIC_PROOF_ADJUNCT
public static Keyword KWD_SELECT_PARALLEL_THREAD
public static Keyword KWD_TIME_OUT
public static Keyword KWD_CONDITIONAL_ANTECEDENT
public static Keyword KWD_DUMMY_JUSTIFICATION
public static Keyword KWD_LOOKUP_GOAL_CACHES
public static Keyword KWD_LOOKUP_ASSERTIONS
public static Keyword KWD_SCAN_PROPOSITIONS
public static Keyword KWD_SCAN_PARTIAL_PROPOSITIONS
public static Keyword KWD_SCAN_COLLECTION
public static Keyword KWD_SHALLOW_DISPROOF
public static Keyword KWD_SCAN_FOR_VALUE_CLASH
public static Keyword KWD_ALL_SUBGOAL_STRATEGIES
public static Keyword KWD_GOAL_COMPLEMENT
public static Keyword KWD_FORWARD_GOALS
public static Keyword KWD_EQUIVALENCE
public static Keyword KWD_UNIVERSAL_INTRODUCTION
public static Keyword KWD_SUBSUMPTION_TEST
public static List $PARALLEL_STRATEGIES$
public static int $FAILED_GOAL_CUTOFFS$
public static int $SUCCEEDED_GOAL_CUTOFFS$
public static Surrogate SGT_LOGIC_WHYNOT_PARTIAL_MATCH
public static Keyword KWD_DUPLICATE_
public static Keyword KWD_FORWARD_RULE
public static Surrogate SGT_LOGIC_CONDITIONAL_ANTECEDENT_PROOF_ADJUNCT
public static Symbol SYM_LOGIC_PROVABLE_RULE
public static Symbol SYM_STELLA_PHASE
public static Keyword KWD_ORIGINAL_GOAL
public static Symbol SYM_LOGIC_CONTAINED_BY
public static Surrogate SGT_LOGIC_CLUSTERED_CONJUNCTION_PROOF_ADJUNCT
public static Symbol SYM_LOGIC_CLUSTER_FRAMES
public static Module $PL_ANONYMOUS_MODULE$
public static Keyword KWD_CONSTANT_PROPOSITION
public static Symbol SYM_LOGIC_STARTUP_STRATEGIES
public static Surrogate SGT_LOGIC_JUSTIFICATION
public static Symbol SYM_LOGIC_INFERENCE_RULE
public static Symbol SYM_LOGIC_ANTECEDENTS
public static Symbol SYM_LOGIC_PATTERN_JUSTIFICATION
public static Symbol SYM_STELLA_SUBSTITUTION
public static Keyword KWD_PRIMITIVE_STRATEGY
public static Surrogate SGT_LOGIC_PRIMITIVE_STRATEGY
public static Symbol SYM_LOGIC_STRATEGY
public static final StellaSpecialVariable $RECORD_JUSTIFICATIONSp$
public static Keyword KWD_COMPUTED_PREDICATE
public static Surrogate SGT_STELLA_KEY_VALUE_LIST
public static Keyword KWD_MODUS_TOLLENS
public static Keyword KWD_MODUS_PONENS
public static Keyword KWD_AMPLIFICATION
public static Keyword KWD_AND_INTRODUCTION
public static Keyword KWD_PARTIAL
public static Keyword KWD_REVERSE
public static Keyword KWD_OR_INTRODUCTION
public static Keyword KWD_DISPROOF
public static Keyword KWD_FAIL_INTRODUCTION
public static Keyword KWD_CLOSED_NOT_INTRODUCTION
public static Keyword KWD_EXISTENTIAL_INTRODUCTION
public static Keyword KWD_RAW
public static Keyword KWD_INFERENCE_RULE
public static Keyword KWD_TRUTH_VALUE
public static Keyword KWD_POSITIVE_SCORE
public static Keyword KWD_SUBSTITUTION
public static Surrogate SGT_LOGIC_FORWARD_GOAL_RECORD
public static Symbol SYM_LOGIC_FORWARD_RULE
public static Symbol SYM_LOGIC_FORWARD_CHAINING_GOALS
public static Surrogate SGT_LOGIC_FORWARD_JUSTIFICATION
public static Symbol SYM_LOGIC_FORWARD_JUSTIFICATIONS
public static Symbol SYM_LOGIC_STARTUP_JUSTIFICATIONS
public static final StellaSpecialVariable $EXPLANATION_FORMAT$
public static Keyword KWD_ASCII
public static final StellaSpecialVariable $EXPLANATION_STYLE$
public static Keyword KWD_BRIEF
public static final StellaSpecialVariable $EXPLANATION_AUDIENCE$
public static int $DEFAULT_EXPLANATION_DEPTH$
public static java.lang.String $EXPLANATION_TAB_STRING$
public static int $MAX_INLINE_LABEL_LENGTH$
public static java.lang.String $EXPLANATION_ASSERTION_MARKER$
public static java.lang.String $EXPLANATION_FAILURE_MARKER$
public static java.lang.String $EXPLANATION_CUTOFF_MARKER$
public static java.lang.String $EXPLANATION_INFERENCE_MARKER$
public static Keyword KWD_CUTOFF
public static Keyword KWD_INFERENCE
public static Keyword KWD_HTML
public static Symbol SYM_LOGIC_EXPLANATION_VOCABULARY
public static final StellaSpecialVariable $EXPLANATION_VOCABULARY$
public static KeyValueList $EXPLANATION_VOCABULARIES$
public static Keyword KWD_UNKNOWN_RULE
public static Keyword KWD_FOLLOWS
public static Keyword KWD_HOLDS
public static Keyword KWD_DEFINITION
public static Keyword KWD_FAILED
public static Keyword KWD_NOT_ASSERTED
public static Keyword KWD_NO_RULES
public static Surrogate SGT_LOGIC_EXPLANATION_INFO
public static Symbol SYM_STELLA_LABEL
public static Symbol SYM_LOGIC_EXPLAINEDp
public static Symbol SYM_LOGIC_EXPLANATION_MAPPING
public static Keyword KWD_XML
public static final StellaSpecialVariable $CURRENTJUSTIFICATION$
public static Keyword KWD_CYC_NL
public static Keyword KWD_KIF_ONTOSAURUS
public static Keyword KWD_JAVA_GUI_HTML
public static Surrogate SGT_LOGIC_ALTERNATIVE_BINDINGS_SET
public static final StellaSpecialVariable $MOST_RECENT_EXPLANATION_MAPPING$
public static Keyword KWD_DIGIT
public static Keyword KWD_VERBOSE
public static Keyword KWD_DEPTH
public static Symbol SYM_LOGIC_STARTUP_EXPLANATIONS
public static Symbol SYM_LOGIC_UNKNOWN_GOAL_CUTOFF
public static Surrogate SGT_LOGIC_WHYNOT_DEEP_PARTIAL_MATCH
public static Surrogate SGT_LOGIC_M_WHYNOT_PARTIAL_MATCHdNUMBER_OF_FAILED_SUBGOALS_MEMO_TABLE_000
public static int $MIN_CLOCK_TICKS_PER_WHYNOT_ANTECEDENT$
public static Symbol SYM_LOGIC_REAL_ALLOTTED_CLOCK_TICKS
public static Surrogate SGT_STELLA_CONS_ITERATOR
public static Surrogate SGT_LOGIC_WHYNOT_PROOF_CLASS
public static Symbol SYM_LOGIC_REPRESENTATIVE
public static Symbol SYM_LOGIC_DEVIATING_PATTERN
public static Symbol SYM_LOGIC_DEVIATING_VARIABLE
public static Symbol SYM_LOGIC_DEVIATING_INSTANCES
public static final StellaSpecialVariable $MAX_WHYNOT_PROOF_CLASS_DEVIATIONS$
public static Symbol SYM_LOGIC_THE_VARIABLE
public static int $SIMILAR_WHYNOT_PROOF_CUTOFF$
public static Keyword KWD_WHYNOT
public static Keyword KWD_JUSTIFICATIONS
public static Symbol SYM_LOGIC_STARTUP_WHYNOT
public static final StellaSpecialVariable $PRETTYPRINTLOGICALFORMSp$
public static final StellaSpecialVariable $PRETTYPRINTKIFp$
public static final StellaSpecialVariable $PRINTLOGICALFORMSTREAM$
public static final StellaSpecialVariable $DOWNCASEOPERATORSp$
public static KeyValueList $LOGIC_DIALECT_PRINT_FUNCTIONS$
public static final StellaSpecialVariable $INDENTCOUNTER$
public static int $INDENT_QUANTUM$
public static Keyword KWD_SQL
public static Keyword KWD_ORIGINAL
public static Keyword KWD_UNESCAPED
public static Keyword KWD_ESCAPED
public static Keyword KWD_COMPLEX_ESCAPED
public static final StellaSpecialVariable $TOPLEVELPRINTKIFPROPOSITIONp$
public static Surrogate SGT_PL_KERNEL_KB_le
public static Surrogate SGT_PL_KERNEL_KB_KAPPA
public static Surrogate SGT_PL_KERNEL_KB_eg
public static Surrogate SGT_PL_KERNEL_KB_egg
public static Surrogate SGT_PL_KERNEL_KB_lle
public static Surrogate SGT_PL_KERNEL_KB_lt
public static Surrogate SGT_PL_KERNEL_KB_tg
public static Surrogate SGT_PL_KERNEL_KB_llt
public static Surrogate SGT_PL_KERNEL_KB_tgg
public static final StellaSpecialVariable $EXCLUDEDPROPOSITIONS$
saveModule
.
public static Keyword KWD_TERSE
public static Keyword KWD_SOURCE
public static Keyword KWD_SLOTS
public static Keyword KWD_PUBLIC_SLOTS
public static Keyword KWD_METHODS
public static Keyword KWD_PUBLIC_METHODS
public static Symbol SYM_LOGIC_PRESUME
public static Cons $BUILT_IN_MODULE_NAMES$
public static Symbol SYM_LOGIC_IN_DIALECT
public static Surrogate SGT_STELLA_OUTPUT_STREAM
public static Symbol SYM_LOGIC_STARTUP_KIF_OUT
public static final StellaSpecialVariable $PRINTMODE$
public static final StellaSpecialVariable $PRINTFUNCTIONSASRELATIONSp$
public static final java.lang.String VARIABLE_BINDING_SEPARATOR
public static final java.lang.String VALUE_OF_SEPARATOR
public static final StellaSpecialVariable $SKOLEMNAMEMAPPINGTABLE$
public static Keyword KWD_DEBUG_LOW
public static Keyword KWD_DEBUG_HIGH
public static boolean $DEBUG_MODEp$
public static Symbol SYM_LOGIC_STARTUP_PRINT
public static final StellaSpecialVariable $CANONICALVARIABLENAMEMAPPING$
public static final StellaSpecialVariable $CANONICALVARIABLECOUNTER$
public static Symbol SYM_LOGIC_UNIDENTIFIED_SKOLEM
public static Symbol SYM_LOGIC_UNNAMED_OBJECT
public static Symbol SYM_LOGIC_ILLEGAL_TERM
public static Symbol SYM_LOGIC_STARTUP_GENERATE
public static Symbol SYM_LOGIC_PROCEDURE_NAME
public static Symbol SYM_LOGIC_PROCEDURE_CODE
public static Surrogate SGT_PL_KERNEL_KB_RELATION_SPECIALIST
public static Surrogate SGT_PL_KERNEL_KB_HANDLES_REVERSE_POLARITY
public static Surrogate SGT_PL_KERNEL_KB_RELATION_CONSTRAINT
public static Surrogate SGT_PL_KERNEL_KB_RELATION_EVALUATOR
public static Surrogate SGT_STELLA_FUNCTION_CODE_WRAPPER
public static Surrogate SGT_STELLA_METHOD_CODE_WRAPPER
public static Surrogate SGT_LOGIC_SUBSTRING_POSITION_ITERATOR
public static Symbol SYM_LOGIC_SUPER_STRING
public static Symbol SYM_LOGIC_SUB_STRING
public static Symbol SYM_STELLA_START
public static Symbol SYM_LOGIC_SUB_LENGTH
public static Symbol SYM_STELLA_DUMMY
public static Keyword KWD_INHERIT
public static Keyword KWD_ALL
public static Keyword KWD_CURRENT
public static Symbol SYM_LOGIC_QUERY_SPECIALIST_IO_VARIABLES
public static int $PROTOTYPE_ID_COUNTER$
public static Surrogate SGT_PL_KERNEL_KB_CLOSED
public static Surrogate SGT_LOGIC_F_CLOSED_TERMp_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_CLOSED_PROPOSITIONp_MEMO_TABLE_000
public static Surrogate SGT_PL_KERNEL_KB_SINGLE_VALUED
public static Surrogate SGT_LOGIC_F_SINGLE_VALUED_TERMp_MEMO_TABLE_000
public static Symbol SYM_LOGIC_pSUPER
public static Symbol SYM_LOGIC_pMDC
public static Symbol SYM_LOGIC_MEMBER_OF
public static Symbol SYM_LOGIC_MUTUALLY_DISJOINT_COLLECTION
public static Symbol SYM_LOGIC_F_HELP_DERIVE_PARTITION_MEMBERSHIPS_QUERY_000
public static Surrogate SGT_PL_KERNEL_KB_MUTUALLY_DISJOINT_COLLECTION
public static Surrogate SGT_PL_KERNEL_KB_PARTITION_MEMBERSHIP
public static Surrogate SGT_PL_KERNEL_KB_HAS_PARTITION_MEMBERSHIP
public static Surrogate SGT_PL_KERNEL_KB_EMPTY
public static Surrogate SGT_LOGIC_SAVED_CONTEXT_PROOF_ADJUNCT
public static Symbol SYM_LOGIC_SAVED_CONTEXT
public static Keyword KWD_IST_INTRODUCTION
public static boolean $ACCELERATE_FRAME_COMPUTATIONSp$
public static Surrogate SGT_PL_KERNEL_KB_THE_ROLESET
public static Surrogate SGT_PL_KERNEL_KB_CARDINALITY
public static Keyword KWD_LOWER
public static Keyword KWD_UPPER
public static Surrogate SGT_PL_KERNEL_KB_DIRECT_SUBRELATION
public static Surrogate SGT_PL_KERNEL_KB_DIRECT_SUPERRELATION
public static Surrogate SGT_PL_KERNEL_KB_SUBRELATION
public static Surrogate SGT_PL_KERNEL_KB_SUPERRELATION
public static Surrogate SGT_PL_KERNEL_KB_PROPER_SUBRELATION
public static Surrogate SGT_PL_KERNEL_KB_PROPER_SUPERRELATION
public static Surrogate SGT_PL_KERNEL_KB_EQUIVALENT_RELATION
public static Surrogate SGT_PL_KERNEL_KB_SYNONYM
public static Symbol SYM_LOGIC_STARTUP_SPECIALISTS
public static Surrogate SGT_LOGIC_ABSTRACT_PROPOSITIONS_ITERATOR
public static Symbol SYM_LOGIC_PROPOSITION_CURSOR
public static Symbol SYM_LOGIC_EQUIVALENTS_STACK
public static Surrogate SGT_LOGIC_TRUE_PROPOSITIONS_ITERATOR
public static Surrogate SGT_LOGIC_SPECIALIZING_PROPOSITIONS_ITERATOR
public static Symbol SYM_LOGIC_SPECIALIZING_RELATIONS
public static Iterator EMPTY_PROPOSITIONS_ITERATOR
public static Surrogate SGT_LOGIC_F_TEST_PROPERTYp_MEMO_TABLE_000
public static Surrogate SGT_PL_KERNEL_KB_COLLECTION
public static Surrogate SGT_LOGIC_F_TEST_ISAp_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_TEST_ISAp_MEMO_TABLE_001
public static Surrogate SGT_LOGIC_F_ACCESS_BINARY_VALUE_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_TRANSITIVE_CLOSURE_ITERATOR
public static Symbol SYM_LOGIC_ALLOCATE_ADJACENCY_ITERATOR_FUNCTION
public static Symbol SYM_LOGIC_FILTERp
public static Symbol SYM_LOGIC_ADJACENCY_ITERATOR_STACK
public static Symbol SYM_LOGIC_BEEN_THERE_LIST
public static Surrogate SGT_LOGIC_SUPPORTED_CLOSURE_ITERATOR
public static Surrogate SGT_LOGIC_DIRECTLY_LINKED_OBJECTS_ITERATOR
public static Symbol SYM_LOGIC_INVERSEp
public static Symbol SYM_LOGIC_ROOT_TRUTH_VALUE
public static Surrogate SGT_LOGIC_F_ALL_SUPERCOLLECTIONS_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_ALL_SUPPORTED_NAMED_SUBCOLLECTIONS_MEMO_TABLE_000
public static Surrogate SGT_STELLA_NUMBER
public static Surrogate SGT_LOGIC_CLASHING_PROPOSITIONS_ITERATOR
public static TaxonomyGraph $IMPLICATION_SUBSUMPTION_GRAPH$
public static Symbol SYM_STELLA_TAXONOMY_NODE
public static Symbol SYM_LOGIC_STARTUP_SPECIALIZE
public static Surrogate SGT_LOGIC_GOAL_RECORD
public static Symbol SYM_LOGIC_GENERATOR_GOALS
public static Symbol SYM_LOGIC_OTHER_GOALS
public static Symbol SYM_LOGIC_PERMUTATION_TABLE
public static Surrogate SGT_PL_KERNEL_KB_COMPUTED
public static Surrogate SGT_PL_KERNEL_KB_ABSTRACT
public static Symbol SYM_LOGIC_OPTIMIZER_GOAL_RECORDS
public static final StellaSpecialVariable $DISTRIBUTEDOPENGOALp$
public static Symbol SYM_LOGIC_UNIQUENESSVECTORS
public static BooleanVector V_0_0
public static BooleanVector V_1_0
public static BooleanVector V_0_1
public static BooleanVector V_1_1
public static List V_1_0_AND_V_0_1
public static List V_1_0_SINGLETON
public static List V_0_1_SINGLETON
public static Symbol SYM_LOGIC_INVERSE_DESCRIPTION
public static Symbol SYM_LOGIC_INDEXING_VECTOR
public static final double ESTIMATED_SLOT_VALUE_COLLECTION_SIZE
public static final double ESTIMATED_NUMBER_OF_PREDICATE_BINDINGS
public static final double ESTIMATED_SIZE_OF_CLASS_EXTENSION
public static final double ESTIMATED_CARDINALITY_OF_DESCRIPTION
public static final double ESTIMATED_CARDINALITY_OF_MEMBER_OF
public static final double ESTIMATED_CARDINALITY_OF_SUBSET_OF
public static Surrogate SGT_PL_KERNEL_KB_OBSERVED_CARDINALITY_OF
public static final double INFERABLE_PENALTY_COST
public static final double SUBSET_OF_PENALTY_COST
public static Keyword KWD_OPTIMIZER
public static final StellaSpecialVariable $OPTIMALGOALORDERINGRECURSIONS$
public static int $OPTIMAL_GOAL_ORDERING_CUTOFF$
public static Symbol SYM_LOGIC_BEST_COST
public static Keyword KWD_STATIC_WITH_CLUSTERING
public static Keyword KWD_BOUND
public static final StellaSpecialVariable $QUERYOPTIMIZERCONTROLFRAME$
public static final StellaSpecialVariable $BOUNDTOOFFSETCOUNTER$
public static Keyword $QUERY_OPTIMIZATION_STRATEGY$
public static Surrogate SGT_PL_KERNEL_KB_INSTANCE_OF
public static final StellaSpecialVariable $POSTOPTIMIZATIONp$
public static Symbol SYM_LOGIC_STARTUP_OPTIMIZE
public static Keyword KWD_IMPLIES_PROPOSITION_UPDATE
public static Surrogate SGT_LOGIC_F_INFERABLE_WITH_CYCLE_CHECKp_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_MARKER_TABLE
public static Symbol SYM_LOGIC_TEST_TABLE
public static Symbol SYM_LOGIC_RECALL_TABLE
public static Symbol SYM_LOGIC_SUPPORTS_RECALLp
public static final StellaSpecialVariable $SPECIALMARKERTABLE$
public static Keyword KWD_CLASSIFIER_INFERENCES
public static final StellaSpecialVariable $FINDSUPERSANDSUBSDESCRIPTION$
public static Surrogate SGT_LOGIC_CLASSIFICATION_CACHE
public static Symbol SYM_LOGIC_INFERABLE_DIRECT_SUBDESCRIPTIONS
public static Symbol SYM_LOGIC_CACHE_UPCLASSIFICATION_TIMESTAMP
public static Symbol SYM_LOGIC_CACHE_DOWNCLASSIFICATION_TIMESTAMP
public static Symbol SYM_LOGIC_INTRODUCTION_TIMESTAMP
public static Surrogate SGT_LOGIC_CLASSIFICATION_SESSION
public static Symbol SYM_LOGIC_CLASSIFICATION_CACHE_TABLE
public static Symbol SYM_LOGIC_CLASSIFICATION_TIMECLOCK
public static Symbol SYM_LOGIC_INTRODUCTION_TIMESTAMP_STACK
public static Symbol SYM_LOGIC_EVERYTHING_CLASSIFIEDp
public static Symbol SYM_LOGIC_LAST_CACHE_TABLE_KEY
public static Symbol SYM_LOGIC_LAST_CACHE_TABLE_VALUE
public static final StellaSpecialVariable $CLASSIFICATIONSESSION$
public static Keyword KWD_INSTANCE
public static Symbol SYM_LOGIC_CLASSIFICATION_SESSION
public static boolean $CACHE_INFERABLE_SUBCOLLECTIONSp$
public static Keyword KWD_CLASSIFIER
public static Keyword KWD_CLASSIFIER_PROFILE
public static final StellaSpecialVariable $CLASSIFY_FROM_NON_INFERABLE_PARENTS_ONLYp$
listUnclassifiedRelations
or listUnclassifiedInstances
.
public static Symbol SYM_LOGIC_STARTUP_CLASSIFY
public static List $AVAILABLE_POWERLOOM_FEATURES$
public static Keyword KWD_TRACE_CLASSIFIER
public static Keyword KWD_ITERATIVE_DEEPENING
public static Keyword KWD_JUST_IN_TIME_INFERENCE
public static Keyword KWD_EMIT_THINKING_DOTS
public static List $CURRENT_POWERLOOM_FEATURES$
public static List $DEFAULT_POWERLOOM_FEATURES$
public static Keyword KWD_CLOSED_WORLD
public static Surrogate SGT_STELLA_KEYWORD
public static Surrogate SGT_LOGIC_IDENTITY
public static java.lang.String $LOGIC_PROMPT$
public static final StellaSpecialVariable $PROMPT_SHOW_MODULEp$
public static java.lang.String $LOGIC_COMMAND_RESULT_INDENT$
public static final StellaSpecialVariable $CAREFUL_LOGIC_COMMAND_LOOP_EXIT$p
public static Keyword KWD_BYE
public static Keyword KWD_EXIT
public static Keyword KWD_HALT
public static Keyword KWD_QUIT
public static Keyword KWD_STOP
public static Keyword KWD_DEFINE
public static Symbol SYM_STELLA_DEFMODULE
public static Keyword KWD_FINALIZE
public static Cons $FILE_LOAD_PATH$
public static Cons $POWERLOOM_KB_FILE_EXTENSIONS$
load
or demo
command, try to find it with one of these extensions.
public static Keyword KWD_CHECK_DUPLICATESp
public static Symbol SYM_STELLA_CLEAR_MODULE
public static Symbol SYM_STELLA_DEFCLASS
public static Symbol SYM_STELLA_DEFSLOT
public static Symbol SYM_STELLA_DEFMETHOD
public static Symbol SYM_LOGIC_DEFCONCEPT
public static Symbol SYM_LOGIC_DEFFUNCTION
public static Symbol SYM_LOGIC_DEFOBJECT
public static Symbol SYM_LOGIC_DEFINSTANCE
public static final StellaSpecialVariable $DEMO_LEVEL$
public static Keyword KWD_WHITE_SPACE
public static Cons $DEMO_FILES$
_LfileGLdescriptionG_
pair.
public static Keyword KWD_LEVEL
public static Keyword KWD_LOW
public static final StellaSpecialVariable $TERMSOURCEBEINGPARSED$
public static final StellaSpecialVariable $DESCRIPTIONUNDERCONSTRUCTION$
public static final StellaSpecialVariable $TERMUNDERCONSTRUCTION$
public static int $EXPRESSION_SIZE_CUTOFF$
public static Symbol SYM_LOGIC_MODULE_LOGIC_DIALECT
public static Keyword KWD_REDEFINITION
public static Keyword KWD_PROPER_DEFINITION
public static boolean $HANDLE_EXPLICITLY_QUALIFIED_LOGIC_OBJECTSp$
public static Symbol SYM_LOGIC_OBJECT_AXIOMS
public static Symbol SYM_LOGIC_PROPOSITION_AXIOMS
public static Symbol SYM_STELLA_SLOT_OPTION_KEYWORD
public static List $UNFINALIZED_OBJECTS$
public static final StellaSpecialVariable $FINALIZEOBJECTSIMMEDIATELYp$
public static final StellaSpecialVariable $INHIBITOBJECTFINALIZATIONp$
public static Symbol SYM_PL_KERNEL_KB_NTH_DOMAIN
public static Symbol SYM_PL_KERNEL_KB_DOMAIN
public static Symbol SYM_PL_KERNEL_KB_RANGE
public static Keyword KWD__g
public static Symbol SYM_LOGIC_pSELF
public static Keyword KWD_eg
public static Symbol SYM_LOGIC_DEFPROPOSITION
public static Keyword KWD_FORWARDp
public static Keyword KWD_FORWARD_ONLYp
public static Keyword KWD_BACKWARDp
public static Keyword KWD_BACKWARD_ONLYp
public static Cons $LOGIC_RELEVANT_STELLA_COMMANDS$
public static Symbol SYM_STELLA_CC
public static Symbol SYM_STELLA_IN_MODULE
public static Symbol SYM_STELLA_LIST_MODULES
public static Symbol SYM_STELLA_METHOD_COMMANDp
public static Symbol SYM_STELLA_DOCUMENTATION
public static Symbol SYM_LOGIC_STARTUP_LOGIC_IN
public static Surrogate SGT_PL_KERNEL_KB_SCALAR
public static Surrogate SGT_LOGIC_F_ALL_TYPES_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_ALL_EQUIVALENT_RELATIONS_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_ALL_SUPERRELATIONS_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_ALL_SUBRELATIONS_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_ALL_DIRECT_SUPERRELATIONS_MEMO_TABLE_000
public static Surrogate SGT_LOGIC_F_ALL_DIRECT_SUBRELATIONS_MEMO_TABLE_000
public static Surrogate SGT_PL_KERNEL_KB_RANGE_MIN_CARDINALITY
public static Surrogate SGT_PL_KERNEL_KB_RANGE_MAX_CARDINALITY
public static Surrogate SGT_PL_KERNEL_KB_RANGE_TYPE
public static Symbol SYM_LOGIC_pCONCEPT
public static Symbol SYM_LOGIC_pINSTANCE
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_TEST_TYPE_ON_INSTANCEp_QUERY_000
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_ALL_CLASS_INSTANCES_QUERY_000
public static Symbol SYM_LOGIC_pRELATION
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_ALL_RELATION_VALUES_QUERY_000
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_ALL_RELATION_VALUES_QUERY_001
public static Symbol SYM_LOGIC_pZ
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_ALL_RELATION_VALUES_QUERY_002
public static Symbol SYM_LOGIC_pW
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_ALL_RELATION_VALUES_QUERY_003
public static Symbol SYM_LOGIC_ALL
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_TEST_RELATION_ON_ARGUMENTSp_QUERY_000
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_TEST_RELATION_ON_ARGUMENTSp_QUERY_001
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_TEST_RELATION_ON_ARGUMENTSp_QUERY_002
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_TEST_RELATION_ON_ARGUMENTSp_QUERY_003
public static Symbol SYM_LOGIC_pOBJECT
public static Symbol SYM_LOGIC_pN
public static Symbol SYM_LOGIC_RANGE_MIN_CARDINALITY
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_GET_SLOT_MINIMUM_CARDINALITY_QUERY_000
public static Symbol SYM_LOGIC_RANGE_MAX_CARDINALITY
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_GET_SLOT_MAXIMUM_CARDINALITY_QUERY_000
public static Symbol SYM_LOGIC_pTYPE
public static Symbol SYM_LOGIC_RANGE_TYPE
public static Symbol SYM_LOGIC_BOUND_VARIABLES
public static Symbol SYM_LOGIC_M_NORMAL_INFERENCE_LEVELdLEVELLIZED_ALL_SLOT_VALUE_TYPES_QUERY_000
public static Symbol SYM_LOGIC_STARTUP_FRAME_SUPPORT
public static Symbol SYM_STELLA_INVERSE
public static Symbol SYM_PL_KERNEL_KB_INVERSE
public static Keyword KWD_BINARY
public static Keyword KWD_UNARY
public static Symbol SYM_LOGIC_AT_LEAST
public static Symbol SYM_LOGIC_AT_MOST
public static Symbol SYM_LOGIC_EXACTLY
public static Symbol SYM_STELLA_SOME
public static Symbol SYM_LOGIC_FILLED_BY
public static Symbol SYM_LOGIC_FILLERS
public static Symbol SYM_LOGIC_NOT_FILLED_BY
public static Symbol SYM_PL_KERNEL_KB_RANGE_CARDINALITY_LOWER_BOUND
public static Symbol SYM_PL_KERNEL_KB_RANGE_CARDINALITY_UPPER_BOUND
public static Symbol SYM_PL_KERNEL_KB_RANGE_CARDINALITY
public static Symbol SYM_PL_KERNEL_KB_QUALIFIED_RANGE_CARDINALITY_LOWER_BOUND
public static Symbol SYM_PL_KERNEL_KB_QUALIFIED_RANGE_CARDINALITY_UPPER_BOUND
public static Symbol SYM_PL_KERNEL_KB_QUALIFIED_RANGE_CARDINALITY
public static Symbol SYM_PL_KERNEL_KB_RANGE_TYPE
public static Symbol SYM_LOGIC_RELATES
public static Symbol SYM_LOGIC_THROUGH
public static Symbol SYM_LOGIC_INTERVALii
public static Symbol SYM_LOGIC_INTERVALi_
public static Symbol SYM_LOGIC_INTERVAL_i
public static Symbol SYM_LOGIC_INTERVAL__
public static Symbol SYM_LOGIC_SAME_AS
public static Symbol SYM_LOGIC_lg
public static Symbol SYM_LOGIC_ONE_OF
public static Symbol SYM_LOGIC_THE_ORDERED_SET
public static Symbol SYM_LOGIC_SATISFIES
public static Symbol SYM_LOGIC_DOMAIN
public static Symbol SYM_LOGIC_DOMAINS
public static Symbol SYM_LOGIC_RANGE
public static Symbol SYM_LOGIC_COMPOSE
public static Symbol SYM_LOGIC_SUPERRELATIONS
public static Symbol SYM_LOGIC_SUPERCONCEPTS
public static Symbol SYM_STELLA_RETRACT
public static Keyword KWD_3_VALUED_P
public static Symbol SYM_STELLA_ASK
public static Symbol SYM_STELLA_CONSIFY
public static Symbol SYM_STELLA_RETRIEVE
public static Symbol SYM_LOGIC_EVAL_WHEN
public static Symbol SYM_LOGIC_TELL
public static Symbol SYM_LOGIC_FORGET
public static Symbol SYM_LOGIC_TELLM
public static Symbol SYM_LOGIC_FORGETM
public static Symbol SYM_LOGIC_CREATEM
public static Symbol SYM_LOGIC_DEFSET
public static Symbol SYM_LOGIC_DEFPROPERTY
public static Symbol SYM_LOGIC_DEFCONTEXT
public static Symbol SYM_LOGIC_ADD_VALUE
public static Symbol SYM_LOGIC_SET_VALUE
public static Symbol SYM_LOGIC_FADD_VALUE
public static Symbol SYM_STELLA_CHANGE_CONTEXT
public static Symbol SYM_LOGIC_IN_CONTEXT
public static Symbol SYM_LOGIC_IN_KB
public static Symbol SYM_STELLA_NIL
public static Symbol SYM_LOGIC_COVERING
public static Keyword KWD_SINGLE_VALUED
public static Symbol SYM_LOGIC_CLOSED
public static Keyword KWD_COMMUTATIVE
public static Symbol SYM_LOGIC_COMMUTATIVE
public static Keyword KWD_SYMMETRIC
public static Symbol SYM_LOGIC_SYMMETRIC
public static Keyword KWD_CLOS_CLASS
public static Keyword KWD_MULTIPLE_VALUED
public static Keyword KWD_HASH_ON_DOMAINS
public static Keyword KWD_NON_EXPORTED
public static Keyword KWD_PERFECT
public static Keyword KWD_CLOSED_ON_CONSTANTS
public static Keyword KWD_BACKWARD_CHAINING
public static Keyword KWD_MONOTONIC
public static Keyword KWD_TEMPORAL
public static Keyword KWD_ATTRIBUTES
public static Keyword KWD_CHARACTERISTICS
public static Keyword KWD_PARTITION
public static Keyword KWD_PARTITIONS
public static Keyword KWD_CONSTRAINTS
public static Keyword KWD_EXHAUSTIVE_PARTITION
public static Keyword KWD_EXHAUSTIVE_PARTITIONS
public static Keyword KWD_IS_PRIMITIVE
public static Keyword KWD_IS
public static Keyword KWD_DEFAULTS
public static Keyword KWD_DOMAIN
public static Keyword KWD_DOMAINS
public static Keyword KWD_RANGE
public static Keyword KWD_ARITY
public static Keyword KWD_IN_PARTITION
public static Keyword KWD_ANNOTATIONS
public static Keyword KWD_ROLES
public static Keyword KWD_NAME
public static Keyword KWD_IDENTIFIER
public static Keyword KWD_llegg
public static Keyword KWD_egg
public static Symbol SYM_LOGIC_STARTUP_LOOM_TO_KIF
public static Symbol SYM_LOGIC_STARTUP_API_SUPPORT
public static int $POWERLOOM_MAJOR_VERSION_NUMBER$
public static int $POWERLOOM_MINOR_VERSION_NUMBER$
public static java.lang.String $POWERLOOM_RELEASE_STATE$
public static int $POWERLOOM_PATCH_LEVEL$
public static java.lang.String $POWERLOOM_VERSION_STRING$
public static Keyword $POWERLOOM_EXECUTION_MODE$
public static Keyword KWD_LOG_LEVELS
public static Keyword KWD_PREFIX
public static Keyword KWD_MAX_WIDTH
public static java.lang.Object $POWERLOOM_LOCK$
public static Symbol SYM_LOGIC_STARTUP_POWERLOOM
public static Symbol SYM_LOGIC_STARTUP_TOOLS
public static Symbol SYM_LOGIC_STARTUP_LOGIC_SYSTEM
Constructor Detail |
---|
public Logic()
Method Detail |
---|
public static Stella_Object signalParsingError(Cons message)
public static Stella_Object signalPropositionError(Cons message)
public static Stella_Object signalPropositionWarning(Cons message)
public static Stella_Object defDisplayGlobals(Symbol displayfunctionname, Cons globalvariablenames)
public static Stella_Object moveInPlace()
public static Stella_Object moveDown()
public static Stella_Object moveUp(Symbol successP, Symbol keepframeP)
public static Stella_Object applyRetrieve(Cons body)
variables
and body queryBody
. Before executing, bind variables to inputBindings
(in sequence). If one variable is left unbound, returns a cons list of
bindings of that variable. If two or more are unbound, returns
a cons list of cons lists of bindings:
_apply_retrieve_variables_queryBody_inputBindings_
body
-
public static Stella_Object applyAsk(Cons body)
inputVariables
and body queryBody
. Before executing, bind variables
to inputBindings
(in sequence).
_apply_ask_inputVariables_queryBody_inputBindings_
body
-
public static Stella_Object withinMetaCache(Cons body)
body
within the meta cache of the current module.
Set appropriate special variables.
body
-
public static Stella_Object withinClassificationSession(Keyword descriptionorinstance, Cons body)
body
within the indicated
classification session and inference world.
descriptionorinstance
- body
-
public static Stella_Object defineComputedConstraint(Symbol name, Cons varList, Cons constraintTest, Cons positionComputations)
name
to be a constraint computation which uses
constraintTest
to determine if a fully bound set of variables
satisfies the constraint. The forms in positionComputations
are used to compute the value for each of the positions. All such
computations must set the variable value
to be the result
computed for the missing position. Setting value
to null
for
any such computation means that that particular argument cannot
be computed from the others. The input variables in varList
will be bound to the N arguments to the constraint.
The generated function will return a Stella Object and take as
inputs the values of the N arguments to the constraint. A value
of null
means that the value is not available. If all
arguments are not null
, then the return value will be a Stella
wrapped boolean indicating whether the constraint is satisified
or not.
If more than one input value is null
, then this constraint
code will not be called.
name
- varList
- constraintTest
- positionComputations
-
public static Stella_Object defineArithmeticTestOnWrappers(Symbol name, Symbol testName)
name
as an arithmetic comparision operation using the
test testName
. It will take two wrapped number parameters and
return a renamed_Boolean
. The code will use the appropriate test for
the specific subtype of wrapped number actually passed in.
name
- testName
-
public static Stella_Object defineArithmeticOperationOnWrappers(Symbol name, Symbol operationName)
name
as an arithmetic comparision operation using the
test testName
. It will take two wrapped number parameters and
return a wrapped number. The code will use the appropriate test
for the specific subtype of wrapped number actually passed in,
and return the appropriate subtype of wrapped number based on the
normal arithmetic contagion rules.
For example, if both input parameters are wrapped integers then
the output will be a wrapped integer. If the inputs are a
wrapped integer and a wrapped float then the output will be a
wrapped float, etc.
name
- operationName
-
public static Stella_Object withLogicEnvironment(Stella_Object moduleform, Stella_Object environment, Cons body)
body
within the module resulting from moduleform
.
$MODULE$
is an acceptable moduleform
. It will locally rebind
$MODULE$
and $CONTEXT$
and shield the outer bindings from changes.
moduleform
- environment
- body
-
public static Stella_Object whenCycKludgesEnabled(Cons body)
public static ObjectStore homeObjectStore(Stella_Object self)
public static SequenceIndex createSequenceIndex(Stella_Object self, Cons pattern)
public static SequenceIndex keywordDcreateSequenceIndex(Keyword kind, Cons pattern)
public static SequenceIndex moduleDcreateSequenceIndex(Module module, Cons pattern)
public static boolean questionMarkSymbolP(Stella_Object symbol)
public static boolean sequenceVariableSymbolP(Stella_Object self)
public static boolean automaticInstanceSymbolP(Stella_Object symbol)
public static GeneralizedSymbol kifSymbolToStellaSymbol(Symbol symbol)
public static Symbol kifVariableToStellaVariable(Stella_Object variable)
public static boolean kifVariableDeclarationP(Stella_Object tree)
public static Stella_Object oneKifVariableDeclarationToStella(Stella_Object tree)
public static boolean stellaVariableDeclarationsP(Stella_Object tree)
public static Cons kifVariableDeclarationsToStella(Stella_Object tree, boolean errorP)
public static boolean kifQuantifierSymbolP(Symbol self)
public static Cons kifTheToStellaTheOnly(Cons tree)
public static Cons kifSetofallToStellaSetofall(Cons tree)
public static Cons kifKappaToStellaKappa(Cons tree)
public static Cons kifLambdaToStellaKappa(Cons tree)
public static Cons kifCondToIf(Cons conditions)
public static Stella_Object kifInvertSentence(Stella_Object tree)
public static Cons kifImpliesToOrNot(Cons tree)
public static Cons kifBiconditionalToTwoImplies(Cons tree)
public static Cons kifExistsToStellaExists(Cons tree)
public static Cons kifThreeArgumentForallToStellaForall(Cons tree, Cons declarations)
public static Cons kifTwoArgumentForallToStellaForall(Cons tree, Cons declarations)
public static Cons kifForallToStellaForall(Cons tree)
public static Cons kifPredicationToStellaPredication(Cons tree)
public static Cons helpTransformKifFunction(Stella_Object arg1, Stella_Object arg2)
public static Cons kifEqualityToStellaEquality(Cons tree)
public static Symbol kifOperatorToInternalStella(Symbol operator)
public static Symbol internalStellaOperatorToKif(Symbol operator)
public static void changeKifExpressionsToStellaExpressions(Cons expressions, boolean termsP)
public static Cons canonicalizeAnnotation(Cons tree)
public static Stella_Object kifSentenceToUntypedStellaSentence(Stella_Object tree)
public static boolean termKifSpecialFormP(Stella_Object operator)
public static Stella_Object kifTermToUntypedStellaTerm(Stella_Object tree)
public static boolean kifVariableP(Stella_Object self)
public static Cons extractVariablesFromDeclarations(Stella_Object declarations)
public static void collectUndeclaredVariables(Stella_Object tree, Cons declaredvariables, List undeclaredvariables)
public static Stella_Object wrapKifWithForall(Stella_Object tree, Cons declaredvariables)
public static Stella_Object kifExpressionToUntypedStellaExpression(Stella_Object tree)
public static Stella_Object convertToPrefixPropositionTree(Stella_Object tree)
public static Cons infixToPrefixQuantificationTree(Cons tree)
public static Stella_Object standardizeLogicalParseTree(Stella_Object tree)
public static Keyword inDialect(Stella_Object dialect)
dialect
.
Currently supported dialects are KIF
, STELLA
, and PREFIX_STELLA
.
The STELLA dialects are not recommended for the construction of knowledge
bases, they are mainly used internally by PowerLoom.
dialect
-
public static java.lang.String stringifiedSource(Stella_Object self)
public static java.lang.String stringifiedSourceSetter(Stella_Object self, java.lang.String value)
public static List originatedPropositions(Stella_Object self)
public static List originatedPropositionsSetter(Stella_Object self, List value)
public static Proposition createProposition(Symbol kind, int argumentcount)
public static void enforceCodeOnly()
public static boolean logicModuleP(Module self)
self
-
public static SequenceIndex locallyConceivedPropositions(Module self)
public static void locallyConceivedPropositionsSetter(Module self, SequenceIndex value)
public static SequenceIndex locallyConceivedInstances(Context self)
public static void locallyConceivedInstancesSetter(Context self, SequenceIndex value)
public static void incrementNowTimestamp()
public static int getNowTimestamp()
public static void updateNowTimestamp(Keyword kbaction)
public static boolean bottomP(Stella_Object self)
self
-
public static boolean logicalSubtypeOfP(Surrogate type1, Surrogate type2)
public static boolean logicalSubtypeOfLiteralP(Surrogate type)
public static boolean literalTypeP(Surrogate type)
public static boolean booleanTypeP(Surrogate self)
public static boolean monadicP(Stella_Object self)
public static Surrogate objectSurrogate(Stella_Object self)
self
, which
may be a Stella class that is used in PowerLoom as well as
a more normal powerloom object.
self
-
public static Surrogate objectSurrogateSetter(Stella_Object self, Surrogate name)
self
to name
.
self
- name
-
public static Symbol objectName(Stella_Object self)
self
.
self
-
public static java.lang.String objectNameString(Stella_Object self)
self
.
self
-
public static java.lang.String objectStringName(Stella_Object self)
public static boolean descriptionModeP()
public static boolean naturalDeductionModeP()
public static boolean contextDependentSearchModeP()
public static void logNewlyConceivedProposition(Module self, Proposition proposition)
public static Context tickleContext()
public static Context tickleInstances()
public static void assignNativeSlotValue(Thing self, StorageSlot slot, Stella_Object value)
public static void clearNativeSlotValue(Thing renamed_Object, StorageSlot slot)
public static void dropNativeSlotValue(Thing self, StorageSlot slot, Stella_Object value)
public static Surrogate lookupSlotrefOnInstance(Stella_Object term, Symbol slotname)
public static Stella_Object valueOf(Stella_Object self)
public static Stella_Object surrogateDvalueOf(Surrogate self)
public static Description relationDvalueOf(Relation self)
public static Stella_Object equivalentValueOf(Stella_Object self)
public static Stella_Object groundValueOf(Stella_Object self)
public static boolean skolemP(Stella_Object self)
public static boolean variableP(Stella_Object self)
public static boolean nativeValueP(Stella_Object self)
public static Stella_Object nativeValueOf(Stella_Object self)
public static Stella_Object innermostOf(Stella_Object self)
public static Symbol yieldAnonymousSkolemName(boolean variableP)
public static Skolem createSkolem(Surrogate type, Symbol name)
public static PatternVariable createVariable(Surrogate type, Symbol name, boolean assertisaP)
public static Skolem createVariableOrSkolem(Surrogate type, Symbol name)
public static TruthValue defaultifyTruthValue(boolean trueP, boolean bydefaultP)
public static void signalUnificationClash(Stella_Object term1, Stella_Object term2)
public static Surrogate logicalType(Stella_Object self)
public static Surrogate safeLogicalType(Stella_Object self)
public static Surrogate classLogicalType(Stella_Class self)
public static void constrainAsSubset(Collection set1, Collection set2)
public static void equateCollections(Collection col1, Collection col2)
public static boolean logicCollectionP(Stella_Object term)
public static void equateValues(Stella_Object term1, Stella_Object term2)
public static boolean unequateValuesP(Stella_Object term1, Stella_Object term2)
public static Proposition findEquatingProposition(Stella_Object directobject, LogicObject indirectobject)
public static Stella_Object evaluateTerm(Stella_Object self)
public static Stella_Object evaluateLiteralWrapperTerm(LiteralWrapper self)
public static Stella_Object evaluateSurrogateTerm(Surrogate self)
public static Stella_Object evaluateSymbolTerm(Symbol self)
public static Stella_Object evaluateAutomaticInstance(Symbol name)
public static void signalUndefinedTerm(Stella_Object term)
public static void signalUntypedTerm(Stella_Object term)
public static Stella_Object evaluateCreateTerm(Cons term)
public static Stella_Object create(GeneralizedSymbol name, Cons type)
type
is also supplied, assert that the object belongs to that type.
name
- type
-
public static Stella_Object createEvaluatorWrapper(Cons arguments)
public static void printExtensionSizes(Module module, int sizecutoff)
module
.
If module
is NULL the current module is used. Do not report extensions
with size less than sizecutoff
(default is 10).
module
- sizecutoff
- public static void transferLogicInformationFromRelationHook(List relationslist)
public static void finalizeSuperrelationLinks(Relation self)
public static Proposition updateIsaProposition(Stella_Object self, Surrogate type, Keyword updatemode)
public static Proposition assertIsaProposition(Stella_Object self, Surrogate type)
public static Proposition retractIsaProposition(Stella_Object self, Surrogate type)
public static Proposition updateTuple(Surrogate relation, Cons arguments, Keyword updatemode)
public static Proposition assertTuple(Surrogate relation, Cons arguments)
public static Proposition updateBinaryValue(Surrogate relation, Stella_Object self, Stella_Object value, Keyword updatemode)
public static Proposition assertBinaryValue(Surrogate relation, Stella_Object self, Stella_Object value)
public static Proposition retractBinaryValue(Surrogate relation, Stella_Object self, Stella_Object value)
public static Proposition assertMemberOfProposition(Stella_Object self, Stella_Object collection)
public static Stella_Object helpCreateLogicInstance(Surrogate name, Surrogate type)
public static Stella_Object createLogicInstance(Surrogate name, Surrogate type)
public static void cleanupStructuredObjectsIndex(Module clearmodule)
public static Proposition buildTopLevelProposition(Stella_Object tree, boolean trueassertionP)
public static Stella_Object buildProposition(Stella_Object tree)
public static Proposition surrogateDbuildProposition(Surrogate self)
public static Stella_Object symbolDbuildProposition(Symbol symbol)
public static Proposition consDbuildProposition(Cons tree)
public static void verifyNumberOfPropositionArguments(Cons tree, int correctnumber)
public static Proposition buildIsaProposition(Cons tree)
public static Proposition buildMemberOfProposition(Cons tree)
public static Stella_Object extractAnnotation(Stella_Object tree, Keyword option, java.lang.Object[] MV_returnarray)
public static Proposition buildAnnotatedProposition(Cons tree)
public static Proposition buildAndOrNotProposition(Cons tree)
public static boolean functionalTermP(Stella_Object term)
public static boolean clipValueP(Stella_Object term1, Stella_Object term2)
public static Proposition createEquivalenceProposition(Stella_Object term1, Stella_Object term2)
public static Proposition buildEquivalenceProposition(Cons tree)
public static Proposition buildConjunctionOfEqualityPropositions(Cons remainingterms, Cons equivalences)
public static Proposition buildFailProposition(Cons tree)
public static Proposition buildCollectIntoProposition(Cons tree)
public static boolean holdsOperatorP(Stella_Object operator)
public static void verifyEvaluableOperator(Stella_Object operator, Keyword kind)
public static Proposition buildHoldsProposition(Cons tree)
public static Surrogate mostGeneralEquivalentSlotref(Surrogate surrogate)
public static boolean polymorphicRelationP(Relation self)
public static LogicObject evaluatePredicate(GeneralizedSymbol name, Stella_Object firstargument)
public static boolean propositionalArgumentP(Stella_Object argument)
public static Stella_Object evaluateTypedArgument(Stella_Object argument, Surrogate type)
public static Stella_Object evaluateFirstArgument(Stella_Object argument, Symbol relationname)
public static boolean classOperatorP(GeneralizedSymbol operator)
public static Proposition buildPredicateProposition(Cons tree)
public static boolean checkStrictTypeP(Stella_Object self, Surrogate type, boolean shallowP)
public static boolean checkTypeP(Stella_Object self, Surrogate type, boolean shallowP)
public static boolean checkCoercedTypeP(Stella_Object self, Surrogate type, boolean shallowP, java.lang.Object[] MV_returnarray)
public static Stella_Object coerceIncompatibleValue(Stella_Object value, Surrogate type)
public static Stella_Object coerceQuantity(Stella_Object value, Surrogate quantitytyperef)
public static Stella_Object coerceDate(Stella_Object value, Surrogate datetyperef)
public static void verifyOneArgumentType(Stella_Object arg, Surrogate type, Proposition proposition, NamedDescription description)
public static void processCheckTypesAgenda()
public static void processDefinitions()
public static Proposition buildExistsProposition(Cons tree)
public static Proposition buildForallProposition(Cons tree)
public static Stella_Object maybeSubstituteSurrogateArgument(Stella_Object arg1, Stella_Object arg2)
public static Proposition createImpliesProposition(Stella_Object tail, Stella_Object head)
public static Proposition buildImpliesProposition(Cons tree)
public static Surrogate unwrapWrappedType(Surrogate type)
public static Proposition beginCreatingFunctionProposition(GeneralizedSymbol surrogate, Cons inputarguments)
public static Proposition findOrCreateFunctionProposition(GeneralizedSymbol predicate, Cons inputarguments)
public static Proposition createFunctionProposition(GeneralizedSymbol predicate, Cons inputarguments)
public static Stella_Object evaluateFunctionTerm(Cons tree)
public static boolean extensionalIndividualP(Stella_Object individual)
public static Skolem createEnumeratedSet(List set)
public static Skolem createLogicalList(List list)
public static boolean logicalCollectionP(Stella_Object self)
public static boolean skolemDefinedByOperatorP(Stella_Object self, Surrogate operator)
public static boolean enumeratedSetP(Stella_Object self)
public static boolean enumeratedListP(Stella_Object self)
public static Stella_Object canonicalizePropositionTree(Stella_Object tree)
public static Keyword invertUpdateMode(Keyword updatemode)
public static Keyword defaultifyUpdateMode(Keyword updatemode)
public static Cons updateTopLevelProposition(Stella_Object tree, Keyword updatemode)
public static Stella_Object standardizePropositionTree(Stella_Object tree)
public static Cons updateProposition(Stella_Object tree, Keyword updatemode)
public static Stella_Object buildTopLevelTerm(Stella_Object tree)
public static Stella_Object conceiveTerm(Stella_Object tree)
tree
is a term expression (a string or an s-expression),
or is a class reference (a symbol or surrogate). Return a (possibly
newly-conceived) term representing the internalized representation of that term.
tree
-
public static Stella_Object conceiveSentence(Stella_Object tree)
public static Stella_Object conceiveFormula(Stella_Object tree)
public static Stella_Object smartUpdateProposition(Stella_Object tree, Keyword updatemode)
public static Stella_Object renamed_Assert(Stella_Object proposition)
proposition
. Return the asserted proposition object.
KIF example: "(assert (happy Fred))" asserts that Fred is indeed happy.
Note that for this assertion to succeed, the relation happy
must already
be defined. If the constant Fred
has not yet been created, it is
automatically created as a side-effect of calling renamed_Assert
.
proposition
-
public static Stella_Object presume(Stella_Object proposition)
proposition
. Return the presumed
proposition object. KIF example: "(presume (happy Fred))" states that Fred
is most probably happy. Note, that for this to succeed, the relation
happy
must already be defined (see renamed_Assert
).
proposition
-
public static Stella_Object retract(Stella_Object proposition)
proposition
. Return the retracted proposition
object. KIF example: "(retract (happy Fred))" retracts that Fred is
happy. Note that for this assertion to succeed, the relation happy
must already
be defined. If the constant Fred
has not yet been created, it is
automatically created as a side-effect of calling retract
.
proposition
-
public static Stella_Object deny(Stella_Object proposition)
proposition
. Return the asserted proposition
object. KIF example: "(deny (happy Fred))" asserts that Fred is not happy,
which could have been done equivalently by "(assert (not (happy Fred)))".
Note, that for this to succeed, the relation happy
must already be defined
(see renamed_Assert
).
proposition
-
public static Stella_Object conceive(Stella_Object formula)
happy
must already
be defined (see renamed_Assert
). If the logic constant Fred
has not yet been
created, it is automatically created as a side-effect of calling conceive
.
formula
-
public static Stella_Object unassert(Stella_Object proposition)
proposition
. This is a
more general version of retract
that also handles falsity. For example, if
we assert the proposition "(not (sad Fred))", and then execute the statement
"(unassert (sad Fred))", the truth value of the proposition "(sad Fred)"
will be set to UNKNOWN. If we had called retract
in place of unassert
,
the proposition "(sad Fred)" would remain set to FALSE. Note that for this
unassertion to succeed, the logic constant Fred
and the relation sad
must
already be defined.
proposition
-
public static void destroyLogicInstance(Stella_Object self)
public static void destroyInstance(Stella_Object self)
self
- public static void destroyObject(Stella_Object self)
self
which can be a term or a proposition. Destroy all
propositions that reference 'self' and mark it as 'deleted?' (thereby
making it invisible within class extensions).
self
- public static Stella_Object destroy(Stella_Object objectspec)
objectspec
, and destroy all
propositions and indices that reference it. objectspec
must be a name or
a parse tree that evaluates to a proposition. Return the deleted object, or
NULL if no matching object was found.
objectspec
-
public static void introduceModule(Module module)
public static void clearLogicModuleHook(Module module)
public static void clearInstances(Cons name)
name
or any of its children.
Leave meta-objects, e.g., concepts and relations, alone.
If no name
is supplied, the current module will be cleared after
confirming with the user.
name
- public static void clearInstancesEvaluatorWrapper(Cons arguments)
public static void doClearInstances(Module module)
clearInstances
that evaluates its argument.
module
- public static void destroyLogicContextHook(Context self)
public static void clearCaches()
public static void resetPowerloom()
public static boolean consLessThanP(Cons o1, Cons o2)
public static boolean safeStringLessP(java.lang.String s1, java.lang.String s2)
public static boolean safeQuantityLessP(Quantity q1, Stella_Object o2)
public static boolean safeQuantityGreaterEqualP(Quantity q1, Stella_Object o2)
public static boolean moduleNameLessThanP(Context m1, Context m2)
public static java.lang.String objectSortString(Stella_Object o)
public static boolean logicFormLessP(Stella_Object o1, Stella_Object o2)
o1
and o2
that can appear in logical
forms. Performs a combined numeric and lexocographic sort that accounts
for lists, collections and propositions. Numbers precede all other values,
null
follows all other values.
o1
- o2
-
public static boolean typeHasBacklinksP(Surrogate type)
public static BacklinksIndex createBacklinksIndex(Stella_Object self)
public static BacklinksIndex getBacklinksIndex(Stella_Object self)
public static void addDependentPropositionLink(Stella_Object self, Proposition proposition)
public static void removeDependentPropositionLink(Stella_Object self, Proposition proposition)
public static Stella_Object rewrapArgument(Stella_Object argument)
public static boolean rewrapIthArgumentP(Stella_Object argument, Proposition proposition, int i)
public static SequenceIndex unfilteredDependentPropositions(Stella_Object self, Surrogate relation)
public static boolean allSpecializingDependentPropositionsNextP(AllPurposeIterator self)
public static Iterator allSpecializingDependentPropositions(Stella_Object self, Surrogate relationref)
public static SequenceIndex unfilteredDependentIsaPropositions(Stella_Object self)
public static SequenceIndex unfilteredDependentImpliesPropositions(Stella_Object self)
public static Cons makeSelectionPattern(Keyword kind, Cons options, Cons arguments)
public static Keyword patternKind(Cons pattern)
public static Cons patternOptions(Cons pattern)
public static Cons patternArguments(Cons pattern)
public static Cons makeDependentPropositionsPattern(Stella_Object argument)
public static Cons makeIsaPattern(Stella_Object argument)
public static Cons makeRelationExtensionPattern(Surrogate relation)
public static Cons makeRelationPattern(Surrogate relation, Stella_Object argument)
public static Cons makeRelationPattern1(Surrogate relation, Stella_Object argument)
public static Cons makeRelationPattern2(Surrogate relation, Stella_Object argument1, Stella_Object argument2)
public static Cons makeRelationPattern3(Surrogate relation, Stella_Object argument1, Stella_Object argument2, Stella_Object argument3)
public static Cons makeRelationPattern4(Surrogate relation, Stella_Object argument1, Stella_Object argument2, Stella_Object argument3, Stella_Object argument4)
public static Cons makeRelationPatternN(Surrogate relation, Cons arguments)
public static Cons makeRulesPattern(Stella_Object posrelation, Stella_Object negrelation)
public static LogicObject findSelectionKeyWithEquivalents(Cons pattern)
public static SequenceIndex selectPropositions(Cons pattern)
public static SequenceIndex selectIsaPropositions(Cons pattern)
public static SequenceIndex helpSelectRelationPropositions(Cons pattern)
public static SequenceIndex selectRelationPropositions(Cons pattern)
public static SequenceIndex selectRulePropositions(Cons pattern)
public static TruthValue evaluateSelectionPattern(Cons pattern)
public static boolean evaluationSelectionPatternP(Cons pattern)
public static boolean argumentDiscouragesBacklinksP(Stella_Object self)
public static int countBacklinksOnRelation(Stella_Object self, Keyword kind, Surrogate relation)
public static boolean instanceHasBacklinksP(Stella_Object self)
public static Stella_Object selectInstanceWithBacklinks(Cons instances, Surrogate relation)
public static void transferPropositionsAndBacklinks(Stella_Object from, Stella_Object to)
public static void transferPropositionsExceptFor(Stella_Object from, Stella_Object to, List exceptpropositions)
public static void cleanupAllDescriptionExtensions()
public static boolean relationrefSpecializesRelationrefP(Surrogate relationref1, Surrogate relationref2)
public static Cons deferredDefaultPropositions(Context self)
public static void deferredDefaultPropositionsSetter(Context self, Cons newvalue)
public static void reactToKbUpdate(Context context, Stella_Object renamed_Object)
public static void initializeConstraintPropagationQueues(World world)
public static void executeConstraintPropagationQueues()
public static void elaborateMetaInstance(Stella_Object self)
public static void elaborateInstance(Stella_Object self)
public static void helpCollectFacts(Stella_Object self, List facts, List beenthere, boolean includeunknownP)
public static List allFactsOfInstance(Stella_Object self, boolean includeunknownfactsP, boolean elaborateP)
self
.
self
- includeunknownfactsP
- elaborateP
-
public static Cons allFactsOf(Stella_Object instanceref)
instanceref
. This includes propositions
asserted to be true by default, but it does not include propositions
that are found to be TRUE only by running the query engine. Facts
inferred to be TRUE by the forward chainer will be included.
Hence, the returned list of facts may be longer in a context where the
forward chainer has been run then in one where it has not (see
runForwardRules
).
instanceref
-
public static List callAllFactsOf(Stella_Object instanceref)
instanceref
.
instanceref
-
public static void retractFactsOf(Stella_Object instanceref)
instanceref
.
instanceref
- public static List explodeVariablizedString(java.lang.String string)
public static Cons allSentencesOf(Stella_Object instanceref)
instanceref
-
public static List callAllFactsOfN(int n, Cons seedrefs)
public static List filteredAllFactsOfN(int n, Cons seedrefs, java.lang.reflect.Method filter)
public static Cons allFactsOfN(int n, Cons instancerefs)
allFactsOf
(which see). With n
= 0
and only one instance this command behaves just like allFactsOf
.
Otherwise, returns a cons list of all definite (TRUE or FALSE) propositions
that reference any of the instances listed in instancerefs
, plus if n
>= 1
all propositions that reference any instances that are arguments of
propositions collected in the previous step, plus if n
>= 2... and so on.
That is, if we only consider binary propositions, this can be viewed as
growing a graph with instances as its nodes and predicates as its arcs
starting from the set of seed instancerefs
to depth n
-1.
Caution: with a fully connected KB and large enough n
this could return
the whole knowledge base.
The returned propositions include those asserted to be true or false by
default, but it does not include propositions that are found to be
true only by running the query engine. Facts inferred to be true by
the forward chainer will be included. Hence, the returned list of
facts may be longer in a context where the forward chainer has been
run then in one where it has not (see runForwardRules
).
n
- instancerefs
-
public static Cons allFactsOfNEvaluatorWrapper(Cons arguments)
public static boolean worldStateP(Context self)
public static Context getWorldState(Context self)
public static World lookupInferenceCache(Context context, Keyword kind)
public static void initializeInferenceWorld(World world)
public static World createInferenceCache(Context context, Keyword kind)
public static World getInferenceCache(Context context, Keyword kind)
public static void destroyInferenceCache(Context context, Keyword kind)
public static void destroyAllInferenceCaches(Context context, Keyword kind)
public static void unlinkInferenceCache(World self)
public static void destroyInferenceCaches(Context context)
public static void handleOutOfDateInferenceCache(Keyword assertorretract, Proposition proposition)
public static World bestInferenceCache(Context context)
public static Context getQueryContext()
public static Context getPropertyTestContext()
public static Context getInferableTestContext()
public static Context getTopLevelUpdateContext()
public static World lookupConstraintPropagationWorld(Context self)
public static void inheritCachedInferences(World fromworld, World toworld)
public static void callPropagateConstraints(Context context)
context
.
context
- public static void propagateConstraints(Cons name)
name
.
If no name
is supplied, the current module will be used. This also
enables incremental constraint propagation for future monotonic updates to
the module. Once a non-monotonic update is performed, i.e., a retraction
or clipping of a function value, all cached inferences will be discarded
and constraint propagation will be turned off until this function is
called again.
name
- public static void propagateConstraintsEvaluatorWrapper(Cons arguments)
public static void repropagateConstraints(Cons name)
name
. If no name
is supplied, the current module will be used.
This also enables incremental constraint propagation for future monotonic
updates to the module similar to propagateConstraints
.
name
- public static void repropagateConstraintsEvaluatorWrapper(Cons arguments)
public static void callRunForwardRules(Module module, boolean forceP)
module
- forceP
- public static void runForwardRules(Stella_Object moduleref, Cons force)
Cforce
is included, in which case all
forward rules are run or rerun.
Calling runForwardRules
temporarily puts the module into a mode where
future assertional (monotonic) updates will trigger additional forward
inference. Once a non-monotonic update is performed, i.e., a retraction
or clipping of relation value, all cached forward inferences will be discarded
and forward inferencing will be disabled until this function is
called again.
moduleref
- force
- public static void runForwardRulesEvaluatorWrapper(Cons arguments)
public static Iterator directSuperrelations(Relation self)
self
-
public static Cons slotColumnTypes(Slot self, int count)
public static Description createDescription(int arity, boolean namedP)
public static Symbol yieldSystemDefinedParameterName(int index, Stella_Object referenceobject)
public static NamedDescription createPrimitiveDescription(List iovariablenames, List iovariabletypes, boolean variablearityP, boolean classP, boolean functionP, Module module)
public static void linkStellaRelationAndDescription(Relation self, NamedDescription description)
public static NamedDescription createDescriptionForStellaRelation(Relation self)
public static NamedDescription surrogateToDescription(Surrogate self)
public static NamedDescription getDescription(Stella_Object self)
public static NamedDescription surrogateDgetDescription(Surrogate self)
public static NamedDescription stringDgetDescription(java.lang.String self)
public static NamedDescription classDgetDescription(Stella_Class self)
public static NamedDescription slotDgetDescription(Slot self)
public static Surrogate ensureDeferredDescription(Surrogate self)
public static boolean logicClassP(Stella_Class self)
self
-
public static boolean variableArityDomainTypesNextP(AllPurposeIterator self)
public static Iterator wrapIteratorForVariableArity(Iterator iterator)
public static void popLogicVariableBinding()
public static void popLogicVariableBindings(Cons variables)
public static Stella_Object lookupLogicVariableBinding(Symbol variablename)
public static void parseOneVariableDeclaration(Stella_Object vdec, List localdeclarations)
public static Cons parseLogicVariableDeclarations(Stella_Object tree)
public static Cons helpBuildQuantifiedProposition(Cons tree, boolean converttypestoconstraintsP, java.lang.Object[] MV_returnarray)
public static Cons buildQuantifiedProposition(Cons tree, boolean converttypestoconstraintsP, java.lang.Object[] MV_returnarray)
public static Vector copyConsListToVariablesVector(Cons conslist)
public static boolean equivalentEnumerationsP(Collection self, Collection other)
public static boolean equivalentFormulaeP(Stella_Object self, Stella_Object other, KeyValueList mapping)
public static boolean sameAndUniqueArgumentsP(Vector variables, Vector arguments)
public static void collapseValueOfChainsForIoVariables(Vector iovariables)
public static Vector removeNullsInVariablesVector(Vector iovariables)
public static Description evaluateDescriptionTerm(Cons term, boolean checkforduplicateP)
public static void collectFreeVariables(Stella_Object self, List collection, List quantifiedvars, List beenthere)
public static List mostSpecificTypes(List types)
public static Stella_Object inferPredicateFromOperatorAndTypes(Stella_Object operator, List types)
public static void resolveUnresolvedSlotReferences(Stella_Object formula)
public static Cons listUndefinedRelations(Stella_Object module, boolean localP)
module
.
These relations were defined by the system, since they were referenced
but have not yet been defined by the user. If module
is NULL look in
the current module. If localP
only look in module
but not in any
modules it inherits.
module
- localP
-
public static Cons listUndefinedRelationsEvaluatorWrapper(Cons arguments)
public static Cons callListUndefinedRelations(Module module, boolean localP)
listUndefinedRelations
(which see).
module
- localP
-
public static boolean allNamedDescriptionsNextP(AllPurposeIterator self)
public static Iterator allNamedDescriptions(Module module, boolean localP)
module
- localP
-
public static Proposition conjoinPropositions(Cons conjuncts)
public static Proposition disjoinPropositions(Cons disjuncts)
public static Surrogate evaluateRelationTerm(Stella_Object relationterm, Proposition proposition)
public static Cons deconstructForallTree(Cons foralltree, java.lang.Object[] MV_returnarray)
public static Cons callGetRules(Stella_Object relationref)
public static Cons getRules(Stella_Object relation)
relation
.
relation
-
public static void deleteRules(Stella_Object relation)
relation
.
This function is included mainly for debugging purposes, when
a user wants to verify the behavior of different sets of rules.
relation
- public static void printRules(Stella_Object relation)
relation
.
relation
- public static Proposition getRule(Stella_Object rulename)
public static Proposition findRule(Stella_Object rulename)
rulename
-
public static Proposition assertRule(Stella_Object rulename)
retractRule
).
rulename
-
public static Proposition retractRule(Stella_Object rulename)
assertRule
to
observe the effects of querying with or without a particular (named) rule
being asserted within the current context. The proposition having the name
'ruleName' may be any arbitrary proposition, although we expect that it is
probably a material implication.
rulename
-
public static void deleteRuleCachesOnRelation(Relation relation)
public static void resetQueryCaches()
public static NormalInferenceLevel currentInferenceLevel()
public static InferenceLevel getInferenceLevel(Keyword levelkeyword)
public static Keyword setInferenceLevel(Stella_Object level, Stella_Object module)
module
to the level specified
by 'levelKeyword'. If module
is NULL, set the level globally.
level
- module
-
public static Keyword callSetInferenceLevel(Keyword levelkeyword, Module module)
module
to the level specified
by 'levelKeyword'. If module
is NULL and we are inside a query, set the
level of the current query iterator. Otherwise, set the level globally.
levelkeyword
- module
-
public static boolean usingDefaultKnowledgeP()
public static void traceSubgoals()
public static void untraceSubgoals()
public static void traceRules()
public static void untraceRules()
public static java.lang.String toggleTraceSubgoals()
public static java.lang.String toggleTraceRules()
public static void emitThinkingDot(Keyword kindofthinking)
public static BooleanVector argumentsVectorToBooleanVector(Vector argumentsvector)
public static BooleanVector zeroOneListToBooleanVector(List zeroonelist)
public static void printEnvironmentStacks()
public static Stella_Object argumentBoundTo(Stella_Object self)
public static boolean helpUnifyAttributesP(Stella_Object value1, Stella_Object value2)
public static boolean bindArgumentToValueP(Stella_Object argument, Stella_Object value, boolean autocleanupP)
public static boolean bindVectorOfArgumentsToValuesP(Vector arguments, Cons values)
public static void pcs()
public static void printVerticalBars(int depth)
public static boolean partialMatchModeP()
public static Vector copyPatternArguments(Vector arguments, Description description)
public static Cons computeExternalBindings(Vector externalarguments)
public static Stella_Object instantiateExternalBindings(Stella_Object self)
public static boolean memberOfCollectionP(Stella_Object member, Stella_Object collection)
public static List assertedCollectionMembers(Stella_Object self, boolean directP)
public static void pgs()
public static void vpgs()
public static QueryIterator allocateQueryIterator()
public static Cons standardizeQueryTree(Stella_Object iovariables, Stella_Object querybody, Cons externalvariables)
public static QueryIterator makeQuery(Stella_Object iovariables, Stella_Object querytree, Cons externalbindings, Stella_Object options)
public static Stella_Object parseQueryAndOptions(Cons queryAoptions, java.lang.Object[] MV_returnarray)
public static Stella_Object lookupQueryOption(Stella_Object queryoroptions, Keyword key)
public static boolean testQueryOptionP(Stella_Object queryoroptions, Keyword key)
public static Stella_Object lookupDeferredQueryOption(Stella_Object queryoroptions, Keyword key, Surrogate coercetotype)
public static int lookupHowManySolutions(Stella_Object queryoroptions)
public static Stella_Object coerceToTree(Stella_Object self)
public static java.lang.String coerceToString(Stella_Object self)
public static QueryIterator createAskQuery(Stella_Object query)
public static TruthValue callAsk(Stella_Object query)
ask
(which see). Accepts queries
specified by a query iterator, or specified as a CONS-list of arguments as they
would be supplied to ask
. Raises LOGIC-EXCEPTIONs in case of illegal
queries and logical expressions.
query
-
public static TruthValue ask(Cons propositionAoptions)
propositionAoptions
is true. Return the truth-value found. ask
will spend most of its effort to determine whether the proposition
is true and only a little effort via shallow inference strategies to
determine whether it is false. To find out whether a proposition is
false with full inference effort ask
its negation.
KIF example: _ask__happy_Fred__
will return TRUE if Fred was indeed
found to be happy. Note, that for this query to run, the logic
constant Fred
and the relation happy
must already be defined (see
renamed_Assert
). Use _setSunsetFeatureGoalTrace_
to en/disable goal
tracing of the inference engine.
The ask
command supports the following options: CTIMEOUT
is an
integer or floating point time limit, specified in seconds. For
example, the command _ask__nervous_Fred__Ctimeout_2D0_
will cease
inference after two seconds if a proof has not been found by then.
If the CDONT_OPTIMIZEP
is given as TRUE, it tells PowerLoom to
not optimize the order of clauses in the query before evaluating it.
This is useful for cases where a specific evaluation order of the
clauses is required (or the optimizer doesn't do the right thing).
If CTHREE_VALUEDP
is given as TRUE, PowerLoom will try to prove
the negation of the query with full effort in case the given query
returned UNKNOWN. By default, PowerLoom uses full effort to prove
the query as stated and only a little opportunistic effort to see
whether it is actually false.
propositionAoptions
-
public static TruthValue askEvaluatorWrapper(Cons arguments)
public static QueryIterator retrieveBindings(Stella_Object query, int nofbindings)
public static QueryIterator createRetrieveQuery(Stella_Object query)
public static QueryIterator callRetrieve(Stella_Object query)
retrieve
(which see). Accepts queries
specified by a query iterator, or specified as a CONS-list of arguments as they
would be supplied to retrieve
. Raises LOGIC-EXCEPTIONs in case of illegal
queries and logical expressions.
query
-
public static QueryIterator retrieve(Cons query)
exists
sentence or
kappa
term without the explicit quantifier. If variables are declared,
they must match the free variables referenced by <proposition>. Otherwise,
the free variables referenced in <proposition> will be used as the query
variables. If <proposition> is omitted, the most recently asked query
will be continued.
A solution is a set of bindings for the listed variables for which
<proposition> is true. The optional first argument controls how many
solutions should be generated before control is returned. The keyword
all
indicates that all solutions should be generated. By default,
retrieve
returns after it has found one new solution or if it cannot
find any more solutions.
retrieve
returns an iterator which saves all the necessary state of
a query and stores all generated solutions. When used interactively,
the returned iterator will print out with the set of solutions collected
so far. Calling retrieve
without any arguments (or only with the first
argument) will generate one (or more) solutions to the most recently
asked query.
KIF examples:
(retrieve (happy ?x))
will try to find one happy entity and store it in the returned
query iterator.
(retrieve 10 (happy ?x))
will try to find 10 happy entities.
(retrieve 10)
will try to find the next 10 happy entities..
(retrieve all (happy ?x))
will find all happy entities.
(retrieve all (?x Person) (happy ?x))
will to find all happy people. Here we used the optional retrieve variable
syntax to restrict the acceptable solutions. The above is equivalent to
the following query:
(retrieve all (and (Person ?x) (happy ?x)))
Similarly,
(retrieve all (?x Person))
(retrieve all (Person ?x))
(retrieve all ?x (Person ?x))
will find all people. Note that in the first case we only specify a query
variable and its type but omit the logic sentence which defaults to TRUE. This
somewhat impoverished looking query can be paraphrased as "retrieve all ?x of
type Person such that TRUE."
(retrieve ?x (or (happy ?x) (parent-of Fred ?x)))
will try to find a person that is happy or has Fred as a parent.
(retrieve (?y ?x) (parent-of ?x ?y))
will try to find the one pair of parent/child and return it in the order
of child/parent.
(retrieve all (?x Person)
(exists (?y Person) (parent-of ?x ?y)))
will generate the set of all parents. Note, that for these queries to run,
the class Person
, the relations happy
and parentOf
, and the logic
constant Fred
must already be defined (see renamed_Assert
).
Use _setSunsetFeatureTraceSubgoals_
to en/disable goal tracing of the
inference engine.
query
-
public static QueryIterator retrieveEvaluatorWrapper(Cons arguments)
public static void flushInlineQueryCaches()
public static QueryIterator makeCachedQuery(Cons variables, Cons querybody, Cons inputbindings, Stella_Object options, Symbol cacheid)
public static Cons applyCachedRetrieve(Cons variables, Cons querybody, Cons inputbindings, Stella_Object options, Symbol cacheid, java.lang.Object[] MV_returnarray)
public static boolean applyCachedAsk(Cons inputvariables, Cons querybody, Cons inputbindings, Stella_Object options, Symbol cacheid, java.lang.Object[] MV_returnarray)
public static TruthValue vectorSatisfiesDescriptionP(Vector vector, Description description)
public static TruthValue instanceSatisfiesDescriptionP(Stella_Object instance, Description description)
public static Description coerceToDescription(Stella_Object self, Stella_Object original)
public static TruthValue specializesP(Stella_Object subobject, Stella_Object superobject)
subobject
specializes the description for superobject
and return the result truth
value of the query.
subobject
- superobject
-
public static LogicObject coerceToInstance(Stella_Object self, Stella_Object original)
self
- original
-
public static Stella_Object coerceToInstanceOrLiteral(Stella_Object self, Stella_Object original)
self
, or self
if it is a
literal (e.g., string or number) that can't be coerced.
self
- original
-
public static Vector coerceToVector(Stella_Object self)
self
.
Coerce each element of self
to be a logic object or literal.
self
-
public static TruthValue satisfiesP(Stella_Object instanceortuple, Stella_Object relationref)
instanceortuple
satisfies the
definition of the relation relationref
and return the result truth value
of the query. instanceortuple
can be a single object, the name or surrogate
of an object, or a collection (a list or vector) of objects. relationref
can be a relation, description, surrogate or relation name.
instanceortuple
- relationref
-
public static QueryIterator getQueryIteratorFromCommand(Cons query)
public static Cons assertFromQuery(Cons query, Cons options)
query
, instantiate the query proposition for each generated
solution and assert the resulting propositions. The accepted syntax
is as follows:
(assert-from-query <query-command>
[:relation <relation-name>]
[:pattern <description-term>]
[:module <module-name>])
<query-command> has to be a strict or partial retrieval command. If a
:relation option is supplied, <relation-name> is used as the relation
of the resulting propositions. In this case the bindings of each
solution will become arguments to the specified relation in the order
of query
s output variables (the arities have to match). The
:pattern option is a generalization of this mechanism that specifies
an arbitrary proposition pattern to be instantiated by the query's
solution. In this case <description-term> has to be a SETOFALL or
KAPPA expression whose IO-variables will be bound in sequence to the
bindings of a query solution to generate the resulting proposition.
Finally, if a :module option is specified, the assertions will be
generated in that module. Note that for this to work the relations
referenced in the query proposition or pattern have to be visible in
the module. Also, instances will not be copied to the target module,
therefore, the resulting propositions might reference external
out-of-module objects in case they are not visible there.
Here are some examples:
(assert-from-query (retrieve all (foo ?x ?y)))
(assert-from-query (retrieve all (?y ?x)
(exists ?z
(and (foo ?x ?z)
(foo ?z ?y))))
:relation bar :module other)
(assert-from-query
(retrieve all (and (relation ?x) (symmetric ?x)))
:pattern (kappa (?pred)
(forall (?x ?y)
(=> (holds ?pred ?x ?y)
(holds ?pred ?y ?x))))))
query
- options
-
public static Cons assertFromQueryEvaluatorWrapper(Cons arguments)
public static Cons retractFromQuery(Cons query, Cons options)
query
which has to be a strict or partial retrieval
command, instantiate the query proposition for each generated solution
and retract the resulting propositions. See assertFromQuery
for
available command options.
query
- options
-
public static Cons retractFromQueryEvaluatorWrapper(Cons arguments)
public static java.lang.String displaySettings()
public static void setPartialMatchMode(Keyword k)
public static void setRuleCombination(Keyword k)
public static void setGreedyNetworkPruning(boolean b)
public static void setGreedyNetworkPruningEvaluatorWrapper(Cons arguments)
public static void setMaximumScoreCutoff(double c)
public static void setMaximumScoreCutoffEvaluatorWrapper(Cons arguments)
public static void setMinimumScoreCutoff(double c)
public static void setMinimumScoreCutoffEvaluatorWrapper(Cons arguments)
public static double probabilisticSumN(Cons form)
public static double probabilisticSum(double x, double y)
public static QueryIterator retrievePartial(Cons tree)
retrieve
(which see) that generates scored
partial solutions based on the current partial match strategy. By supplying
BEST
instead of ALL
, or by adding the option CSORT_BY_CSCORE
, the generated
solutions will be sorted so that solutions with higher scores come first.
Use the CMATCH_MODE
option to override the global default setting established
by setPartialMatchMode
, e.g., use CMATCH_MODE_CNN
to use the neural
net partial match mode. The CMINIMUM_SCORE
option can be used to only
retrieve solutions that have at least the specified minimum match score.
By default, retrievePartial
does not maximize the match scores of its returned
bindings. To only get maximal scores use CMAXIMIZE_SCOREP_TRUE
(this is not
yet implemented - you can use askPartial
to maximize scores for individual
solutions by hand).
tree
-
public static QueryIterator retrievePartialEvaluatorWrapper(Cons arguments)
public static QueryIterator callRetrievePartial(Stella_Object query)
retrievePartial
(which see). Accepts queries
specified by a query iterator, or specified as a CONS-list of arguments as they
would be supplied to retrievePartial
. Raises LOGIC-EXCEPTIONs in case of
illegal queries and logical expressions.
query
-
public static double askPartial(Cons propositionAoptions)
ask
(which see), but return the highest partial match score
for the supplied proposition instead of a truth value. If the option
:MAXIMIZE-SCORE? is set to FALSE, return after the first partial match score
has been generated.
propositionAoptions
-
public static FloatWrapper askPartialEvaluatorWrapper(Cons arguments)
public static double callAskPartial(Stella_Object query)
public static boolean nullInstanceP(Stella_Object x)
public static LogicObject getNullInstance()
public static boolean nullInstancePropositionsExistP()
public static void setClosedWorldTrainingExamples(boolean b)
public static void setClosedWorldTrainingExamplesEvaluatorWrapper(Cons arguments)
public static void addTrainingExample(Cons form, double score)
form
- score
- public static void addTrainingExampleEvaluatorWrapper(Cons arguments)
public static void addTrainingExampleInModule(Cons form, double score, Symbol module)
public static void addTrainingExampleInModuleEvaluatorWrapper(Cons arguments)
public static void addTestingExample(Cons form, double score)
form
- score
- public static void addTestingExampleEvaluatorWrapper(Cons arguments)
public static void clearTrainingExamples()
public static void shuffleList(List cards)
public static void shuffleVector(Vector cards)
public static void saveTrainingExamples()
public static int createPropositionalTrainingExamples(List examples, OutputFileStream nameFile, OutputFileStream dataFile)
public static void fillInExampleOutputs(List examples, Symbol slotName)
public static void detectNoiseInTrainingExamples(List examples)
public static List getClassificationRelations(Cons consQuery)
public static Vector createInputSignature(Cons consQuery)
public static void generateClassificationRule(Vector instances, Symbol conceptName, Symbol className, boolean buildRuleP)
public static void buildClassificationRule(Symbol kind, Symbol className)
public static int oldGenerateClassificationTrainingExamples(Vector instances, Surrogate concept)
public static void testDomainTheory(Symbol relationName, Symbol className)
public static double testTheoryOverExamples(List examples)
public static int generateTrainingExamples(Vector instances, Surrogate concept)
public static int generateClassificationTrainingExamples(Vector instances, Surrogate concept, boolean createSignatureP)
public static void generateRegressionRuleWoSlot(Vector cases, Symbol slotName, Symbol className, boolean reallyBuildRule)
public static int generateRegressionTrainingExamples(Vector instances, Surrogate slot)
public static double approximate(Symbol instName, Symbol slotName)
public static FloatWrapper approximateEvaluatorWrapper(Cons arguments)
public static double generateSlotApproximation(Symbol instName, Surrogate slot)
public static boolean floatFunctionP(Surrogate relation)
public static void setStructureDepth(int d)
public static void setStructureDepthEvaluatorWrapper(Cons arguments)
public static void addTabooOperators(Symbol s)
public static List getAssertionStructure(Symbol inst, int depth)
public static List helpGetAssertionStructure(Symbol inst, int depth)
public static void collectFactsInExamples(List examples)
public static Cons oldRecursiveBuildAntecedent(Symbol inst, int depth)
public static Stella_Object getArgumentBinding(Stella_Object arg)
public static Stella_Object consifyArgument(Stella_Object arg)
public static void thingifyUntypedInstances()
public static void printFacts(Stella_Object instanceref)
public static void setSignatureStrategy(Keyword k)
public static void setSignatureRules(boolean b)
public static void setSignatureRulesEvaluatorWrapper(Cons arguments)
public static void setRuleInductionStrategy(Keyword k)
public static void setRecursiveDecisionNodes(boolean b)
public static void setRecursiveDecisionNodesEvaluatorWrapper(Cons arguments)
public static void induceInferenceRules(Symbol relationName, Symbol className)
public static void modularInduceInferenceRules(Symbol relationName, Symbol className, List modules)
public static void bottomUpRuleInduction(List examples, boolean simplifyRuleP)
public static void bottomUpRuleInductionEvaluatorWrapper(Cons arguments)
public static Cons learnOneRuleBottomUp(List positive, List negative)
public static boolean containsOutputVariableP(Cons clause, Cons outputVariables)
public static Cons simplifyAntecedent(Cons antecedent, Cons outputVariables, List positive, List negative)
public static Cons leastGeneralGeneralization(Cons clause1, Cons clause2)
public static Cons generalizeInequality(Cons probe, Cons match, List bindings)
public static boolean bothNumbersP(Stella_Object t1, Stella_Object t2)
public static boolean eitherNumbersP(Stella_Object t1, Stella_Object t2)
public static Cons removeRedundantClauses(Cons clauses)
public static Stella_Object lookupVariableInBindings(Stella_Object obj1, Stella_Object obj2, List bindings)
public static Cons learnOneRuleBottomUpFromSignatures(List positive, List negative, List covered, Vector consProps)
public static List intersectSignatures(Vector sig1, Vector sig2)
public static List removeSignatureCoveredExamples(List indices, List examples)
public static int numSignatureIndicesCovered(List indices, List examples)
public static boolean signatureIndicesCoverAnyExampleP(List indices, List examples)
public static boolean signatureIndicesCoverExampleP(List indices, TrainingExample example)
public static void topDownRuleInduction(List examples)
public static Cons buildAntecedentFromRuleIndex(Vector props, List ruleIndex)
public static Cons learnOneRuleTopDownFromSignatures(List positive, List negative, List covered_pos, Vector consProps)
public static void updateExampleMatches(List examples, int index, IntegerWrapper matchValue)
public static void updateCoveredExamples(int feature_index, List covered_pos, List covered_neg)
public static int countExampleMatches(List examples, int index, IntegerWrapper matchValue)
public static double foilGain(int featureIndex, double utility, List coveredPos, List coveredNeg)
public static double foilUtility(int p, int n)
public static Cons learnOneRuleTopDown(Vector propositions, List positive, List negative)
public static Cons specializeRule(Cons rule, Vector propositions, List positive, List negative)
public static void removeExcludedExamples(Cons rule, List coveredPos, List coveredNeg)
public static double queryFoilGain(Cons rule, double utility, List coveredPos, List coveredNeg)
public static void queryAndUpdateCoveredExamples(Cons rule, List uncovered, List covered)
public static void removeCoveredExamples(Cons rule, List uncovered)
public static int numExamplesCovered(Cons rule, List examples)
public static List getCoveredExamples(Cons rule, List uncovered)
public static boolean ruleCoversAnyExampleP(Cons rule, List examples)
public static boolean ruleCoversExampleP(Cons reverseRule, TrainingExample example)
public static List linkVariablesInInducedRule(Cons rule, List examples, Vector consProps)
public static Vector evaluateRuleInduction(Symbol relationName, Symbol className, int numTrials, int curveSplits)
public static Vector evaluateRuleInductionEvaluatorWrapper(Cons arguments)
public static double trainAndTestRuleInduction(List trainSet, List testSet)
public static void induceDecisionRules(Symbol relationName, Symbol className)
public static void modularInduceDecisionRules(Symbol relationName, Symbol className, List modules)
public static DecisionTree induceDecisionTree(List examples)
public static Stella_Object buildDecisionTree(List examples, List features, Cons featureStack)
public static double expectedEntropy(int featureIndex, List examples)
public static double entropy(int p, int n)
public static List getRulesFromTree(Cons query, DecisionTree tree)
public static void assertInducedRules()
public static void setCandidateClauses(Symbol className)
public static List getVariablesFromPropositionList(List props)
public static List getVariablesFromConsPropositions(Cons props)
public static List helpGetVariablesFromConsPropositions(Stella_Object ele, List theList)
public static void setTraceNeuralNetworkTraining(boolean b)
public static void setTraceNeuralNetworkTrainingEvaluatorWrapper(Cons arguments)
public static void setSaveNetworkCycle(int i)
saveAllNeuralNetworks
. A number <= 0
or a NULL number turns off periodic saving.
i
- public static void setSaveNetworkCycleEvaluatorWrapper(Cons arguments)
public static void setErrorCutoff(double f)
public static void setErrorCutoffEvaluatorWrapper(Cons arguments)
public static void setTrainCachedNeuralNetworks(boolean b)
public static void setTrainCachedNeuralNetworksEvaluatorWrapper(Cons arguments)
public static void setLearningRate(double rate)
public static void setLearningRateEvaluatorWrapper(Cons arguments)
public static void setMomentumTerm(double m)
public static void setMomentumTermEvaluatorWrapper(Cons arguments)
public static void setWeightRange(double w)
public static void setWeightRangeEvaluatorWrapper(Cons arguments)
public static void setNeuralNetworkTrainingMethod(Keyword m)
public static void setErrorPrintCycle(int i)
saveAllNeuralNetworks
appended
with extension Derr
. A number <= 0 (or NULL) turns off periodic saving.
i
- public static void setErrorPrintCycleEvaluatorWrapper(Cons arguments)
public static void deleteAllNeuralNetworks()
public static void checkMasterNetworkList()
public static void clearAllNeuralNetworks()
public static void clearAllSlopes()
public static Proposition gnp(Symbol name)
public static PropositionNeuralNetwork defnetwork(Cons args)
public static PropositionNeuralNetwork defnetworkEvaluatorWrapper(Cons arguments)
public static PropositionNeuralNetwork defineNeuralNetworkFromParseTree(Cons tree)
public static PropositionNeuralNetwork allocateNeuralNetwork(int numIn, int numHidden)
public static java.lang.String makeNetInputString(Vector input)
public static void trainNeuralNetwork(int cycles, int numTraining)
public static void trainNeuralNetworkEvaluatorWrapper(Cons arguments)
public static void trainUncachedNeuralNetworks(int cycles, int numTraining)
public static double computeError(double training, double output)
public static double computeDelta(double slope, double prevSlope, double prevDelta)
public static double computeQpDelta(double slope, double prevSlope, double prevDelta)
public static void modifyWeights()
public static double testOverTrainingExamples()
public static FloatWrapper testOverTrainingExamplesEvaluatorWrapper(Cons arguments)
public static double trainAndTestNeuralNetwork(int cycles, int numTraining, int numTesting)
public static FloatWrapper trainAndTestNeuralNetworkEvaluatorWrapper(Cons arguments)
public static double testNeuralNetwork()
public static FloatWrapper testNeuralNetworkEvaluatorWrapper(Cons arguments)
public static double multipleNetworkTrainingRuns(int runs, int cycles, int numTraining)
public static FloatWrapper multipleNetworkTrainingRunsEvaluatorWrapper(Cons arguments)
public static void trainCachedNeuralNetworks(int cycles, int numTraining)
public static void cachedBackpropagateError(Cons tree, double error)
public static void cachedQuickpropagateError(Cons tree, double error)
public static Cons createCachedNetwork(Cons consQuery)
public static double activateCachedNetwork(Cons tree)
public static double randomWeight(double n)
public static double randomFloat(double n)
n
-
public static Vector consToVector(Cons form)
public static Vector createVector(Cons values)
values
-
public static void zeroVector(Vector v)
public static void structuredNeuralNetworkRegression(Symbol className, Symbol slotName, int cycles)
public static void structuredNeuralNetworkRegressionEvaluatorWrapper(Cons arguments)
public static void swapInNewNetworks(List oldNets, List newNets)
public static void swapInNetworkFile(java.lang.String file)
public static void swapInNetworkFileEvaluatorWrapper(Cons arguments)
public static List loadNeuralNetworkFile(java.lang.String file)
public static List loadNeuralNetworkFileEvaluatorWrapper(Cons arguments)
public static void saveAllNeuralNetworks(java.lang.String file)
file
(if file
is non-NULL).
If networks are saved periodically (see setSaveNetworkCycle
) this file
name will be used to perform periodic saves.
file
- public static void saveAllNeuralNetworksEvaluatorWrapper(Cons arguments)
public static void saveNeuralNetworkEvaluatorWrapper(Cons arguments)
public static Vector createHiddenSignature(Cons consQuery)
public static twoDArray create2DArray(int nofRows, int nofColumns, Cons values)
nofRows
rows and
nofColumns
columns, and initialize it in row-major-order from values
.
Missing values will be padded with NULL, extraneous values will be ignored.
nofRows
- nofColumns
- values
-
public static FloatVector createFloatVector(Cons values)
values
-
public static twoDFloatArray create2DFloatArray(int nofRows, int nofColumns, Cons values)
nofRows
rows and
nofColumns
columns, and initialize it in row-major-order from values
.
Missing values will be padded with NULL, extraneous values will be ignored.
nofRows
- nofColumns
- values
-
public static void setNumNeighbors(int d)
d
- public static void setNumNeighborsEvaluatorWrapper(Cons arguments)
public static void setCaseSolutionCombination(Keyword k)
public static void setNumTrainingPerCase(int d)
d
- public static void setNumTrainingPerCaseEvaluatorWrapper(Cons arguments)
public static void clearCases()
public static void addAllClassInstancesToCaseRule(Surrogate kind)
public static void finalizeCases(Symbol kind)
public static void buildCaseRule(Surrogate kind)
public static void addCase(Symbol inst, Symbol kind)
public static Vector createCaseInstanceVector(Surrogate renamed_Class)
public static Vector createCaseValueVector(List instances, Surrogate slot)
public static Stella_Object guess(Symbol instName, Symbol slotName)
public static Stella_Object combineCaseAnswers(Vector closest, Vector scores, Vector slots)
public static void trainCaseMatcher(Symbol className, Symbol slotName, int cycles)
public static void trainCaseMatcherEvaluatorWrapper(Cons arguments)
public static void generateCaseRuleWoSlot(Vector cases, Symbol className, Symbol slotName)
public static double trainAndTestCaseMatcher(Symbol className, Symbol slotName, int numTrain, int numTest, int cycles)
public static FloatWrapper trainAndTestCaseMatcherEvaluatorWrapper(Cons arguments)
public static double testCaseBasedReasoner(Symbol className, Symbol slotName, int numTrain, int numTest)
public static FloatWrapper testCaseBasedReasonerEvaluatorWrapper(Cons arguments)
public static double testCaseMatcher(Symbol className, Symbol slotName)
public static FloatWrapper testCaseMatcherEvaluatorWrapper(Cons arguments)
public static int generateCaseTrainingExamples(Vector instances, Surrogate slot)
public static void normalizeNumbers(Vector vect)
public static void clearSlotFromClass(Symbol className, Symbol slotName)
public static Stella_Object logicSymbol(Stella_Object obj)
public static double calculateCaseMatch(Stella_Object x, Stella_Object y)
public static List findUniqueVariableNames(Cons tree, List names)
public static List variablizeConsPropositions(List antecedent)
public static List variablizeInstances(List form, List instances)
public static boolean stringArgumentP(Cons clause)
public static void filterAntecedent(List antecedent, java.lang.String ruleName)
public static Cons findMatchingCaseVars(Cons clause, List antecedent, List generatedVariables)
public static boolean parametersAlignedP(Cons clause1, Cons clause2, List vars)
public static boolean variableArgP(Stella_Object arg)
public static Cons buildVariableConstraints(List instances)
public static List buildTypeDefs(List instances)
public static void setPrintCaseDistances(boolean b)
public static void setPrintCaseDistancesEvaluatorWrapper(Cons arguments)
public static double euclideanDistance(Vector vec1, Vector vec2)
public static int hammingDistance(Vector vec1, Vector vec2)
public static Symbol internLogicSymbol(java.lang.String name)
public static void traceGoalCache(java.lang.String string, ControlFrame frame)
public static void removeObsoleteGoalCaches(KeyValueList table)
public static GoalCache lookupGoalCache(KeyValueList table)
public static boolean topLevelQueryContextP(Context self)
public static boolean cacheQueryResultsP()
public static java.lang.String toggleGoalCaching()
public static void clearQueryResultsCache()
public static void printQueryResultsCache(int limit)
public static int hashGoalArgument(Stella_Object arg, int code)
public static boolean filterOutStrategyP(Keyword strategy, ControlFrame frame)
public static boolean parallelStrategyP(Keyword strategy)
public static Cons optimizeOrderOfApplicableRules(Cons rules, boolean tailP)
public static boolean inferableDescriptionP(Stella_Object self)
public static Keyword trySimpleContainedByProof(Stella_Object subcollection, Stella_Object supercollection, boolean reversepolarityP)
public static Proposition createContainedByArgument(Stella_Object collection, List bridgeargs)
public static World pushMonotonicWorld()
public static LogicObject createAnonymousInstance(java.lang.String prefix, boolean skolemP)
public static LogicObject createHypothesizedInstance(java.lang.String prefix)
public static Stella_Object justificationArgumentBoundTo(Stella_Object argument, Justification justification)
public static boolean recordJustificationsP()
public static void defineExplanationPhrase(Keyword phrasekey, Keyword audience, java.lang.String phrase, Cons modifiers)
public static java.lang.String lookupExplanationPhrase(Keyword phrasekey, Cons modifiers, Keyword audience)
public static Justification lookupJustification(KeyValueList mapping, java.lang.String label)
public static void resetMappingForSubexplanation(KeyValueList mapping)
public static boolean printingJustificationP()
public static void printExplanationLabel(OutputStream stream, java.lang.String label, boolean headP)
public static void printOneVariableSubstitution(OutputStream stream, Stella_Object var, Stella_Object value)
public static void why(Cons args)
why
prints an explanation of the top level
query proposition down to a maximum depth of 3. _whyAll_
prints
an explanation to unlimited depth. Alternatively, a particular depth
can be specified, for example, _why5_
explains down to a depth of 5.
A proof step that was not explained explicitly (e.g., due to a depth
cutoff) can be explained by supplying the label of the step as the
first argument to why
, for example, _why1D2D35_
prints an explanation
starting at 1.2.3 down to a depth of 5 (which is counted relative to the
depth of the starting point). The keywords brief
and verbose
can be
used to select a particular explanation style. In brief mode, explicitly
asserted propositions are not further explained and indicated with a
X
assertion marker. Additionally, relatively uninteresting proof steps
such as AND-introductions are skipped. This explanation style option is
sticky and will affect future calls to why
until it gets changed again.
The various options can be combined in any way, for example,
_why1D2D3Brief3_
explains starting from step 1.2.3 down to a depth
of 3 in brief explanation mode.
args
- public static void whyEvaluatorWrapper(Cons arguments)
public static void explainWhy(java.lang.String label, Keyword style, int maxdepth, OutputStream stream)
label
- style
- maxdepth
- stream
- public static Justification getWhyJustification(java.lang.String label)
label
-
public static boolean commandOptionEqlP(Stella_Object arg, java.lang.String option)
public static java.lang.String parseWhyArguments(Cons args, java.lang.Object[] MV_returnarray)
public static boolean whynotPartialMatchModeP()
public static int numberOfRemainingAntecedents(Iterator iterator)
public static WhynotProofClass insertWhynotProof(List classes, Justification proof)
public static boolean alternativeBindingsSetP(Stella_Object thing)
public static void postProcessWhynotProofClasses(List classes)
public static void whynot(Cons args)
public static void whynotEvaluatorWrapper(Cons arguments)
public static void explainWhynot(java.lang.String label, Keyword style, int maxdepth, boolean summaryP, OutputStream stream)
label
- style
- maxdepth
- summaryP
- stream
- public static void registerLogicDialectPrintFunction(Keyword dialect, FunctionCodeWrapper fn)
fn
as a logic-object print function for dialect
.
Each function should have the signature __self_OBJECT___stream_OUTPUT_STREAM__
.
Any return values will be ignored.
dialect
- fn
- public static java.lang.String maybeDowncase(java.lang.String string)
public static void increaseIndent(int indent)
public static void decreaseIndent(int indent)
public static void printIndent(OutputStream stream, int indent)
public static void printLogicalFormInDialect(Stella_Object self, Keyword dialect, OutputStream stream)
self
- dialect
- stream
- public static void printLogicalForm(Stella_Object form, OutputStream stream)
form
to stream
according to
the current setting of $LOGIC_DIALECT$
. Pretty-printing is controlled
by the current setting of $prettyPrintLogicalFormsP$
.
form
- stream
- public static void prettyPrintLogicalForm(Stella_Object form, OutputStream stream)
form
to stream
according
to the current setting of $LOGIC_DIALECT$
.
form
- stream
- public static void printUnformattedLogicalForm(Stella_Object form, OutputStream stream)
form
to stream
according to
the current setting of $LOGIC_DIALECT$
. Pretty-printing is explicitly
forced to be turned off.
form
- stream
- public static void printFormula(Stella_Object formula, int indent)
public static void printAsKif(Stella_Object self, OutputStream stream)
public static void printAsKifInternal(Stella_Object self)
public static boolean visibleArgumentP(Stella_Object self)
public static int visibleArgumentsCount(Vector arguments)
public static void printKifArguments(Vector arguments, boolean separatelinesP, boolean omitlastargumentP)
public static void printKifOperatorWithArguments(java.lang.String operator, Vector arguments, boolean separatelinesP, boolean omitlastargumentP)
public static java.lang.String stringifiedSurrogate(Surrogate operator)
public static void printKifQuantifiedVariables(Vector variables, boolean includetypesP)
public static void printKifWrapper(LiteralWrapper self)
public static void printKifStellaCollection(Collection self)
public static KeyValueList createSkolemMappingTable(Vector oldvars, Vector newvars)
public static void excludeOriginatedPropositions()
public static boolean functionOutputSkolemP(Stella_Object self)
public static boolean hiddenRelationP(Surrogate relationRef)
public static java.lang.String stellaRelationStringifiedSource(Relation self)
public static void prettyPrintRelationDefinition(Relation self, OutputStream stream)
public static void prettyPrintRelationDefinitionTree(Cons tree, OutputStream stream)
public static void helpPrettyPrintRelationDefinitionTree(Cons tree, OutputStream stream, int startindent, int keyindent, boolean forcefirstkeyonseparatelineP)
public static void prettyPrintNamedRule(Surrogate rulename, OutputStream stream)
public static void printModuleFileHeader(Module module, OutputStream stream)
public static void printModuleFileTrailer(Module module, OutputStream stream)
public static void saveObject(Stella_Object renamed_Object, Stella_Object store)
public static void doSaveModule(Module module, Stella_Object store)
module
to the persistent store store
which can
either be an output stream or a persistent OBJECT-STORE.
module
- store
- public static void saveModule(Stella_Object name, java.lang.String file)
name
to file
.
name
- file
- public static void saveModuleEvaluatorWrapper(Cons arguments)
public static OutputStream wrapNativeOutputStream(java.io.PrintStream nativestream)
public static void printTopLevelObject(Stella_Object self, java.io.PrintStream nativestream)
public static void printVariableValue(Stella_Object self, OutputStream stream)
public static Cons generateVariables(Vector vector, boolean typedP)
public static Cons generateStellaCollection(Collection self)
public static Cons generateArguments(Vector arguments)
public static Stella_Object generateTerm(Stella_Object self)
public static Stella_Object deobjectifyTree(Stella_Object self)
self
where all logic objects are
replaced by their generated
parse-tree version. This is useful to
convert the result of a retrieval query into a regular parse tree.
self
-
public static java.lang.reflect.Method functionCodeFromProcedure(Stella_Object p)
public static Keyword selectTestResult(boolean successP, boolean terminalP, ControlFrame frame)
successP
and reversePolarityP$
, set the truth value of frame
and return
an appropriate keyword. The keyword will be either CfinalSuccess
CterminalFailure
if terminalP
is true. Otherwise it will be
CfinalSuccess
or Cfailure
.
successP
- terminalP
- frame
-
public static Keyword selectProofResult(boolean successP, boolean continuingP, boolean terminalP)
successP
- continuingP
- terminalP
-
public static boolean nullWrapperP(Stella_Object self)
public static List enumerationsContainingMember(Stella_Object self)
public static boolean testDisjointTermsP(Stella_Object term1, Stella_Object term2)
public static boolean closedByAssertionP(Stella_Object self)
public static boolean closedTermP(Stella_Object self)
public static boolean helpClosedTermP(Stella_Object self, Cons activeterms)
public static boolean singleValuedTermP(Stella_Object self)
public static boolean nonRecursiveSingleValuedTermP(Stella_Object self)
public static boolean emptyTermP(Stella_Object self)
public static List helpProjectNthColumn(int n, List tuplelist)
public static Cons getSynonyms(Stella_Object term)
public static boolean synonymSurrogateP(Surrogate name)
public static void transferSynonyms(Stella_Object oldobject, Stella_Object newobject)
public static java.lang.reflect.Method lookupNativeSpecialist(java.lang.String nativeName)
nativeName
if it exists
and the underlying programming languages supports such lookups.
nativeName
-
public static void registerSpecialistFunction(java.lang.String name, java.lang.reflect.Method code)
name
as a specialist which
executes code
. Essentially just builds the Stella meta-information
tructure needed to funcall name
as a specialist. The function definition
in code
needs to accept a CONTROL-FRAME and KEYWORD as arguments and
return a KEYWORD. Side effects on elements of the proposition in the
control frame can be used to bind and thus return values.
name
- code
- public static void registerSpecialistFunctionName(java.lang.String stellaName, java.lang.String nativeName)
stellaName
based on the nativeName
for the particular programming language in question. Use of this command makes
the resulting code or knowledge bases non-portable to other target languages.
stellaName
- nativeName
- public static void registerSpecialistFunctionNameEvaluatorWrapper(Cons arguments)
public static TruthValue propositionsIteratorTruthValue(Iterator self)
public static Iterator allTrueDependentPropositions(Stella_Object self, Surrogate relation, boolean specializeP)
public static Iterator allTrueDependentIsaPropositions(Stella_Object self)
public static Cons allPropositionsMatchingArguments(Cons arguments, Surrogate relation, boolean specializeP)
public static Cons allDefiningPropositions(Stella_Object outputargument, Surrogate relation, boolean specializeP)
public static boolean helpMemoizeTestPropertyP(Stella_Object self, Surrogate relation)
public static boolean testPropertyP(Stella_Object self, Surrogate relation)
public static boolean helpMemoizeTestIsaP(Stella_Object member, Surrogate type)
public static boolean testIsaP(Stella_Object member, Surrogate type)
public static Stella_Object helpMemoizeAccessBinaryValue(Stella_Object self, Surrogate relation)
public static Stella_Object accessBinaryValue(Stella_Object self, Surrogate relation)
public static boolean testCollectionofMemberOfP(Stella_Object member, Surrogate type)
public static Iterator allocateTransitiveClosureIterator(Stella_Object startnode, java.lang.reflect.Method allocateadjacencyiterator, java.lang.reflect.Method filterfunction)
startnode
- allocateadjacencyiterator
- filterfunction
-
public static SupportedClosureIterator allocateSupportedClosureIterator(Cons startnode, java.lang.reflect.Method allocateadjacencyiterator, java.lang.reflect.Method filterfunction)
allocateTransitiveClosureIterator
(which see),
but return a SUPPORTED-CLOSURE-ITERATOR instead.
startnode
- allocateadjacencyiterator
- filterfunction
-
public static Iterator allDirectlyLinkedObjects(Stella_Object self, Surrogate relation, boolean inverseP)
public static Cons allIsaCollections(Stella_Object self)
public static TruePropositionsIterator allDirectlyLinkedSubcollections(Stella_Object self)
public static List relationsWithDescriptions()
public static void buildSubsumptionTaxonomyGraph()
public static void clearImplicationSubsumptionGraph()
public static void initializeImplicationSubsumptionGraph()
public static Description createDescriptionForStellaRelationAndAncestors(Relation self)
public static boolean taxonomyImpliesOrIsSubsumedP(Relation premise, Relation conclusion)
public static boolean argumentBoundP(Stella_Object argument)
public static boolean quantifiedArgumentBoundP(Stella_Object argument, List quantifiedvars)
public static boolean unboundVariableP(Stella_Object argument)
public static int simulateCreateChoicePoint()
public static boolean generatorCollectionP(Stella_Object collection)
public static void initializeOptimizerGoalRecords(int size)
public static void helpDistributeGoal(Stella_Object argument, Proposition parentgoal, boolean generatorP)
public static void collectClosedGoals(List goals, List goalsequence)
public static void computeOptimalOpenGoalOrdering(List optimizervariables, int numberofopengoals, List goalsequence, double priorcost, double priorfanout)
public static void computeGreedyOpenGoalOrdering(List optimizervariables, int numberofopengoals, List goalsequence, double priorcost, double priorfanout)
public static void computeBackupOpenGoalOrdering(List goalsequence)
public static void extractOpenGoalClusters(List opengoals, List opengoalclusters)
public static void simulateBindVariableToValue(Stella_Object formula)
public static void simulateAndOptimizeArgument(Stella_Object formula)
public static void initializeOptimizerMemory(int stacksize)
public static boolean useDynamicQueryOptimizationP()
public static boolean useStaticQueryOptimizationP()
public static boolean tryToClusterConjunctionsP()
public static void dynamicallyReoptimizeArguments(Vector arguments, int cursor)
public static Vector copyArgumentsVector(Vector arguments)
public static Vector copyListToArgumentsVector(List arguments)
public static Vector copyVariablesVector(Vector self, KeyValueList mapping)
public static Stella_Object copyPropositionArgument(Stella_Object self, KeyValueList mapping)
public static Stella_Object mappedValueOf(Stella_Object self, KeyValueList mapping, boolean createskolemP)
public static boolean equalUpToSkolemIdentityP(Stella_Object inheritedarg, Stella_Object basearg, KeyValueList mapping)
public static Stella_Object inheritPropositionArgument(Stella_Object argument, Proposition parent, KeyValueList mapping)
public static boolean mapAndEnqueueVariableP(Stella_Object variable, Stella_Object localvalue, KeyValueList mapping, List queue)
public static Cons inheritDescriptionPropositions(Vector arguments, Description description)
public static void inheritUnnamedDescription(Stella_Object self, Description description, boolean defaulttrueP)
public static void vectorDinheritUnnamedDescription(Vector arguments, Description description, boolean defaulttrueP)
public static void inheritDescription(Vector arguments, Description description, boolean defaulttrueP)
public static void bumpInferableTimestamp()
public static MarkerTable createMarkerStorage(boolean supportrecallP)
supportrecallP
-
public static boolean testSpecialMarkerTableP(Stella_Object self)
self
-
public static Cons mostSpecificCollections(Cons descriptions)
public static Cons mostGeneralCollections(Cons descriptions)
public static Cons mostSpecificNamedCollections(Cons descriptions)
public static Cons mostSpecificNamedDescriptions(Cons descriptions)
public static World getClassificationWorld()
public static ClassificationSession getClassificationSession(Keyword instanceordescription)
public static ClassificationCache getClassificationCache(Stella_Object self)
public static java.lang.String toggleInferableDirectSubcollectionsCaching()
public static int currentClassificationTime()
public static int bumpClassificationTimeclock()
public static int youngestIntroductionTimestamp()
public static int upclassificationTimestamp(Stella_Object self)
public static void refreshUpclassificationTimestamp(Stella_Object self)
public static void flushClassificationSessions()
public static boolean upclassifiedP(Stella_Object self)
public static boolean applySubsumptionTestP(java.lang.reflect.Method subsumptiontest, LogicObject self, LogicObject renamed_Super)
public static Iterator allAncestorsOfParents(Cons supers)
public static Iterator allAncestorCollections(Stella_Object self, Keyword instanceordescription)
public static LogicObject collectionWithFewestChildren(Cons collections)
public static LogicObject chooseBestDownclassifiedParent(Cons parents)
public static Cons findDirectSupersOfInstance(Stella_Object self)
self
-
public static void upclassifyNamedDescriptions(Module module, boolean localP)
module
- localP
- public static void classifyRelations(Stella_Object module, boolean localP)
module
.
If localP
, only classify descriptions defined within module
, i.e.,
don't classify descriptions inherited from ancestor modules.
If module
is NULL, classify relations in all modules.
Conceptually, the classifier operates by comparing each concept or relation
with all other concepts/relations, searching for a proof that a
subsumption relation exists between each pair. Whenever a new subsumption
relation is discovered, the classifier adds an implication
link between
members of the pair, thereby augmenting the structure of the
concept or relation hierarchy. The implemented classification algorithm is
relatively efficient -- it works hard at limiting the number of concepts
or relations that need to be checked for possible subsumption
relationships.
module
- localP
- public static void classifyRelationsEvaluatorWrapper(Cons arguments)
public static Cons listUnclassifiedRelations(Stella_Object module, boolean localP)
module
(or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive ancestor relations.
module
- localP
-
public static Cons listUnclassifiedRelationsEvaluatorWrapper(Cons arguments)
public static void upclassifyInstances(Module module, boolean localP)
module
- localP
- public static void classifyInstances(Stella_Object module, boolean localP)
module
.
If localP
, only classify instances that belong to module
,
i.e., don't classify instances inherited from ancestor modules.
If module
is NULL, classify instances in all modules.
Conceptually, the classifier operates by comparing each instance
with all concepts in the hierarchy, searching for a
proof for each pairing indicating that the instance belongs to the concept.
Whenever a new isA
relation is discovered, the classifier
adds an isA
link between the instance and the concept, thereby
recording an additional fact about the instance. The implemented
classification algorithm is relatively efficient -- it works hard
at limiting the number of concepts or relations that need to
be checked for possible is-a relationships.
module
- localP
- public static void classifyInstancesEvaluatorWrapper(Cons arguments)
public static Cons listUnclassifiedInstances(Stella_Object module, boolean localP)
module
(or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive type assertions.
module
- localP
-
public static Cons listUnclassifiedInstancesEvaluatorWrapper(Cons arguments)
public static void upclassifyAllDescriptions()
public static void upclassifyAllInstances()
public static Cons allCycles(Module module, boolean localP)
module
- localP
-
public static void printFeatures()
public static List listFeatures()
public static void setPowerloomFeature(Keyword feature)
feature
.
feature
- public static List setFeature(Cons features)
features
.
Return the list of enabled features. Calling setFeature
without any
arguments can be used to display the currently enabled features.
The following features are supported:
justInTimeInference
: Enables interleaving of forward chaining inference
within backward chaining queries.
iterativeDeepening
: Tells the query processor to use iterative deepening
instead of a depth-first search to find answers. This is less efficient
but necessary for some kinds of highly recursive queries.
traceSubgoals
: Enables the generation of subgoaling trace information during
backchaining inference.
traceSolutions
: Prints newly found solutions during retrieval right when they
are generated as opposed to when the query terminates.
traceClassifier
: Tells the classifier to describe the inferences it draws.
justifications
: Enables the generation of justifications during inference,
which is a prerequiste for the generation of explanations with _why_
.
emitThinkingDots
: Tells PowerLoom to annotate its inference progress by
outputting characters indicating the completion of individual reasoning steps.
By default, the features emitThinkingDots
and justInTimeInference
are enabled, and the others are disabled.
features
-
public static List setFeatureEvaluatorWrapper(Cons arguments)
public static void unsetPowerloomFeature(Keyword feature)
feature
.
feature
- public static List unsetFeature(Cons features)
features
.
Return the list of enabled features. Calling unsetFeature
without any
arguments can be used to display the currently enabled features.
See setFeature
for a description of supported features.
features
-
public static List unsetFeatureEvaluatorWrapper(Cons arguments)
public static List resetFeatures()
public static boolean enabledPowerloomFeatureP(Keyword feature)
feature
is currently enabled.
feature
-
public static boolean disabledPowerloomFeatureP(Keyword feature)
feature
is currently disabled.
feature
-
public static Stella_Object coerceOptionValue(Stella_Object value, Surrogate type)
public static PropertyList parseLogicCommandOptions(Stella_Object options, Cons legaloptionsAtypes, boolean coercionerrorP, boolean allowotherkeysP)
public static void printLogicPrompt()
public static void printLogicCommandResult(Stella_Object result)
public static boolean logicCommandLoopExitP(Stella_Object command, java.lang.Object[] MV_returnarray)
public static void logicCommandLoop(Module module)
public static Stella_Object evaluateLogicCommand(Stella_Object command, boolean finalizeP)
public static Cons parseDirectoryPath(java.lang.String path)
public static Cons setLoadPath(java.lang.String path)
path
. Return the resulting load path.
path
-
public static Cons setLoadPathEvaluatorWrapper(Cons arguments)
public static Cons getLoadPath()
public static Cons pushLoadPath(java.lang.String path)
path
to the front of the PowerLoom load path. Return the
resulting load path.
path
-
public static Cons pushLoadPathEvaluatorWrapper(Cons arguments)
public static java.lang.String popLoadPath()
public static StringWrapper popLoadPathEvaluatorWrapper(Cons arguments)
public static Cons addLoadPath(java.lang.String path)
path
to the end of the PowerLoom load path. Return the
resulting load path.
path
-
public static Cons addLoadPathEvaluatorWrapper(Cons arguments)
public static Cons dropLoadPath(java.lang.String path)
path
from the PowerLoom load path.
path
-
public static Cons dropLoadPathEvaluatorWrapper(Cons arguments)
public static java.lang.String findFileInLoadPath(java.lang.String file, Cons extensions)
file
in the current load path and, if found,
return its full name. If file
doesn't have its own extension try to find
it with any of the listed extensions
. If extensions
is NULL it defaults
to $POWERLOOM_KB_FILE_EXTENSIONS$
, therefore, to not default to any extensions
the value has to be supplied as NIL.
file
- extensions
-
public static void load(java.lang.String file, Cons options)
file
and evaluate them.
By default, this will check for each asserted proposition whether an
equivalent proposition already exists and, if so, not assert the
duplicate. These duplicate checks are somewhat expensive though and
can be skipped by setting the option :check-duplicates? to false.
This can save time when loading large KBs where it is known that no
duplicate assertions exist in a file.
file
- options
- public static void loadEvaluatorWrapper(Cons arguments)
public static void loadStream(InputStream stream)
stream
and evaluate them.
stream
- public static void printDemoPrompt()
public static boolean demoSkipToCommand(InputStream stream)
public static boolean demoPauseP(boolean pauseP, java.lang.Object[] MV_returnarray)
public static void demoFile(java.lang.String file, boolean pauseP)
public static java.lang.String demoEntryFile(Cons demoentry)
public static java.lang.String demoEntryDescription(Cons demoentry)
public static boolean demoEntryTestSuiteP(Cons demoentry)
public static java.lang.String selectExampleDemo(int index)
public static java.lang.String selectExampleDemoFromMenu()
public static void demoExampleDemos()
public static void demo(Cons fileandpause)
c
at the pause prompt.
Typing P
at the pause prompt prints a list of available commands.
fileandpause
- public static void demoEvaluatorWrapper(Cons arguments)
public static void testLogicFile(java.lang.String file)
public static java.lang.String getFormattedDateAndTime()
public static void runPowerloomTests()
public static Stella_Object timeCommand(Cons command)
command
, measure and report its CPU and elapsed time
needed for its execution, and then return its result.
command
-
public static void printFormulaContainingError(Stella_Object self, OutputStream stream)
public static void helpSignalPropositionError(OutputStream stream, Keyword warningorerror)
public static Keyword logicDialect(Stella_Object self)
public static Surrogate lookupLogicObjectSurrogate(Symbol name, Module definitionmodule)
public static Surrogate internLogicObjectSurrogate(Symbol name)
public static java.lang.String nameObjectMetaclass(Stella_Object self)
public static Keyword logicObjectDefinitionType(Symbol name, Stella_Object oldobject, Stella_Object newobject)
public static void bindLogicObjectToSurrogate(Symbol name, Stella_Object renamed_Object)
public static void redefineLogicObject(Symbol name, Stella_Object oldobject, Stella_Object newobject)
public static boolean explicitlyQualifiedLogicObjectNameP(GeneralizedSymbol objectname, Module definitionmodule)
public static Surrogate coerceToBoundOrLocalSurrogate(GeneralizedSymbol self)
public static Cons axioms(Stella_Object self)
public static Stella_Object axiomsSetter(Stella_Object self, Cons axioms)
public static void definitionAxiomsHandler(Stella_Object self, StorageSlot slot, Stella_Object theaxioms)
public static Cons combineAxiomLists(Cons oldaxioms, Stella_Object newaxioms)
public static void definitionKeywordAxiomsHandler(Stella_Object self, Symbol selfname, Keyword key, Stella_Object value)
public static Cons helpDefineKeywordAxioms(Symbol selfname, Keyword key, Stella_Object value)
public static void assertKeywordAxiom(Stella_Object self, Symbol selfname, Keyword key, Stella_Object value)
public static void registerUnfinalizedObject(Stella_Object renamed_Object)
public static void cleanupUnfinalizedObjects()
public static void linkOriginatedProposition(Stella_Object renamed_Object, Proposition proposition)
public static Cons helpFinalizeObjectAxioms(Cons theaxioms)
public static void finalizeObjectAxioms(Stella_Object self)
public static void finalizeObject(Stella_Object self)
public static boolean finalizedObjectP(Stella_Object self)
public static boolean objectsAreFinalizedP()
public static void finalizeObjects()
_processDefinitions_
.
public static NamedDescription helpDefineRelationFromParseTree(Cons tree, java.lang.String stringifiedsource)
public static List parseRelationParametersTree(Cons parameters, java.lang.Object[] MV_returnarray)
public static NamedDescription getIdenticalRelation(Symbol name, java.lang.String stringifiedsource)
public static NamedDescription deffunction(Cons args)
CG
option is
supplied, it specifies the output variable of the function. Otherwise,
the last variable in the parameter list is used as the output variable.
See defrelation
for a description of LkeywordOptionG
s.
args
-
public static NamedDescription deffunctionEvaluatorWrapper(Cons arguments)
public static NamedDescription callDeffunction(Cons arguments)
deffunction
command (which see).
Expects the same arguments as deffunction
but supplied as a list.
arguments
-
public static Cons normalizeDeffunctionArguments(Cons arguments)
public static NamedDescription defrelation(Cons args)
LkeywordOptionG
represents a keyword followed by a value that states an
assertion about LrelconstG
. For example, including the option CfooBar
states that the proposition _fooLrelconstGBar_
is true. Cfoo_barFum_
states that both _fooLrelconstGBar_
and _fooLrelconstGFum_
are true.
CfooTrue
states that _fooLrelconstG_
is true, CfooFalse
states that
_not_fooLrelconstG__
is true.
args
-
public static NamedDescription defrelationEvaluatorWrapper(Cons arguments)
public static NamedDescription callDefrelation(Cons arguments)
defrelation
command (which see).
Expects the same arguments as defrelation
but supplied as a list.
arguments
-
public static Cons normalizeDefrelationArguments(Cons arguments)
public static NamedDescription defconcept(Cons args)
LvarG
is optional, unless any
implication (arrow) options are supplied that need to reference it. A
possibly empty list of concept names following LvarG
is taken as the list
of parents of LconceptconstG
. Alternatively, parents can be specified
via the CEG
option. If no parents are specified, the parent of
LconceptconstG
is taken to be THING. LkeywordOptionG
represents a
keyword followed by a value that states an assertion about LconceptconstG
.
See defrelation
for a description of LkeywordOptionG
s.
args
-
public static NamedDescription defconceptEvaluatorWrapper(Cons arguments)
public static NamedDescription callDefconcept(Cons arguments)
defconcept
command (which see).
Expects the same arguments as defconcept
but supplied as a list.
arguments
-
public static Cons normalizeDefconceptArguments(Cons arguments)
public static NamedDescription defineRelationFromParseTree(Cons tree)
public static LogicObject defobject(Cons args)
LkeywordOptionG
represents a keyword followed by a value
that states an assertion about <constant>. See defrelation
for a
description of LkeywordOptionG
s.
defobject
provides a sugar-coated way to assert a collection of facts
about a logic constant, but otherwise adds nothing in terms of functionality.
args
-
public static LogicObject defobjectEvaluatorWrapper(Cons arguments)
public static LogicObject definstance(Cons args)
definstance
is an alias
for defobject
which see).
args
-
public static LogicObject definstanceEvaluatorWrapper(Cons arguments)
public static LogicObject callDefobject(Cons arguments)
defobject
command (which see).
Expects the same arguments as defobject
but supplied as a list.
arguments
-
public static Cons normalizeDefobjectArguments(Cons arguments)
public static Proposition defproposition(Cons args)
The options :forward-only? and :backward-only? can be used to tell the
inference engine to only use the rule in forward or backward direction
(this can also be achieved by using the LLE
or EGG
implication
arrows). :dont-optimize? tells the inference engine to not rearrange
the order of clauses in the antecedent of a rule and instead evaluate
them in their original order. :confidence-level can be used to mark a
proposition as default only.
LkeywordOptionG
represents a keyword followed by a value
that states an assertion about the proposition <name>. See defrelation
for a description of LkeywordOptionG
s.
args
-
public static Proposition defpropositionEvaluatorWrapper(Cons arguments)
public static Proposition defrule(Cons args)
defrule
is an alias
for defproposition
which see).
args
-
public static Proposition defruleEvaluatorWrapper(Cons arguments)
public static Proposition callDefproposition(Cons arguments)
defproposition
command (which see).
Expects the same arguments as defproposition
but supplied as a list.
arguments
-
public static Cons normalizeDefpropositionArguments(Cons arguments)
public static boolean commandL(MethodSlot command1, MethodSlot command2)
public static List listLogicCommands()
public static void help(Cons commands)
commands
- public static void helpEvaluatorWrapper(Cons arguments)
public static Stella_Object coerceToInstanceInModule(Stella_Object self, Module module, boolean localP, Stella_Object original)
public static Stella_Object getInstance(Stella_Object instanceref)
instanceref
-
public static Stella_Object findInstance(Stella_Object instanceref)
instanceref
-
public static LogicObject getSelfOrPrototype(Stella_Object instanceref)
instanceref
-
public static LogicObject getClass(Stella_Object instanceref)
instanceref
-
public static LogicObject getRelation(Stella_Object instanceref)
instanceref
-
public static Module getModule(Stella_Object moduleref)
moduleref
-
public static boolean collectionP(Stella_Object objectref)
objectref
-
public static boolean classP(Stella_Object objectref)
objectref
-
public static boolean relationP(Stella_Object objectref)
objectref
-
public static boolean functionP(Stella_Object relationref)
relationref
-
public static boolean constantP(Stella_Object objectref)
objectref
denotes a literal or scalar.
objectref
-
public static Stella_Object termify(Stella_Object self)
self
-
public static boolean relationArityOkP(Surrogate relationref, int arity)
public static Cons filterOutUnnamedDescriptions(Cons descriptions)
public static Cons allAssertedTypes(Stella_Object self)
self
-
public static Cons allTypes(Stella_Object self)
self
-
public static Cons helpAllTypes(Stella_Object self)
public static Cons allDirectTypes(Stella_Object self)
self
-
public static boolean testTypeOnInstanceP(Stella_Object self, Surrogate type)
self
- type
-
public static Cons removeEquivalentRelations(Cons relationslist, NamedDescription relation)
public static boolean testSubrelationP(Surrogate subrelation, Surrogate superrelation)
subrelation
- superrelation
-
public static Cons allClassInstances(Surrogate type)
type
-
public static Cons allRelationValues(Surrogate relation, Cons nminusonearguments)
relation
- nminusonearguments
-
public static boolean testRelationOnArgumentsP(Surrogate relation, Cons arguments)
relation
- arguments
-
public static boolean testClosedSlotP(Surrogate relation)
relation
-
public static boolean testFunctionSlotP(Surrogate relation)
relation
-
public static Stella_Object loomArgumentDescriptionToKif(Stella_Object tree, Keyword arity)
public static Cons loomRestrictionToKif(Cons tree, Symbol implicitvariable)
public static Cons loomRelatesToKif(Cons tree, Cons implicitvariables)
public static void substituteVariablesInTree(Cons tree, Cons substitution)
public static Cons loomThroughToKif(Cons tree, Cons implicitvariables)
public static Cons loomSatisfiesToKif(Cons tree, Cons implicitvariables)
public static Cons loomDescriptionToKif(Stella_Object tree, Cons implicitvariables)
public static boolean loomDescriptionOperatorP(Stella_Object self)
public static Stella_Object loomSentenceToKif(Stella_Object tree)
public static int computeLoomDescriptionArity(Stella_Object tree)
public static Stella_Object eliminateLoomKeywords(Stella_Object tree)
public static Cons yieldImplicitVariables(int arity)
public static Cons helpTranslateLoomDescriptionToKif(Stella_Object tree, Cons implicitvariables)
public static Cons translateLoomDescriptionToKif(Stella_Object tree)
public static Stella_Object translateLoomSentenceToKif(Stella_Object tree)
public static Cons translateLoomAssertions(Cons tree, boolean retractP)
public static Cons translateLoomAsk(Cons tree)
public static Cons translateLoomRetrieve(Cons tree)
public static Cons translateOneLoomForm(Stella_Object tree)
public static Stella_Object safeGetNextSExpression(SExpressionIterator iter)
public static void destructivelyUnquoteTopLevel(Cons tree)
public static void translateLoomFile(java.lang.String input, java.lang.String output)
input
to PowerLoom and write the
translation to the file output
. Note that this will only
work for fairly vanilla Loom files that do not contain any
Lisp-isms. It might require to clean the Loom file manually
before this translation will work.
input
- output
- public static void translateLoomFileEvaluatorWrapper(Cons arguments)
public static Cons translateLoomStatement(Cons tree)
public static Cons translateLoomCreateClause(Cons tree)
public static int guessLoomDefinitionArity(int arity, Stella_Object definition, Cons constraints)
public static Stella_Object conjoinSentences(Cons sentences)
public static Cons translateLoomPartitions(Stella_Object partitions, boolean exhaustiveP, Symbol parentconcept)
public static Cons translateLoomCharacteristics(Stella_Object characteristics, Symbol name)
public static Cons translateLoomAnnotations(Stella_Object annotations, Symbol name)
public static Cons translateLoomDefaults(Stella_Object defaultTree, Cons variables)
public static Keyword simplifyTopLevelLoomKeywords(Keyword keyword)
public static Cons translateLoomDefinition(Cons tree)
public static Cons translateLoomContextChange(Cons tree, boolean needsquoteP)
public static boolean classNamesNextP(AllPurposeIterator self)
public static boolean allPropositionsNextP(AllPurposeIterator self)
public static Iterator allPropositions(Module module, boolean localP)
module
.
Only propositions that haven't been deleted will be considered.
If localP
, only return propositions conceived locally in module
.
module
- localP
-
public static Iterator allUnnamedTerms(Module module, boolean localP)
module
. A term can be
an instance (or individual) as well as a description. Only terms that
haven't been deleted will be considered. If localP
, only return
terms created locally in module
.
module
- localP
-
public static boolean namedTermP(Stella_Object term, AllPurposeIterator iter)
public static Iterator allNamedTerms(Module module, boolean localP)
module
. A term can be an
instance (or individual) as well as a description. Only terms that
haven't been deleted will be considered. If localP
, only return
terms created locally in module
.
module
- localP
-
public static Iterator allTerms(Module module, boolean localP)
module
. A term can be an
instance (or individual) as well as a description. Only terms that
haven't been deleted will be considered. If localP
, only return
terms created locally in module
.
module
- localP
-
public static Iterator allNamedInstances(Module module, boolean localP)
module
.
Only instances that haven't been deleted will be considered. If localP
,
only return instances created locally in module
.
module
- localP
-
public static Iterator allInstances(Module module, boolean localP)
module
.
Only instances that haven't been deleted will be considered. If localP
,
only return instances created locally in module
.
module
- localP
-
public static LogicObject stringToLogicObject(java.lang.String string)
public static void plLog(Keyword loglevel, Cons message)
public static java.lang.String powerloomInformation()
public static StringWrapper powerloomInformationEvaluatorWrapper(Cons arguments)
public static java.lang.String powerloomCopyrightHeader()
public static void copyright()
public static java.lang.String copyrightYears()
public static void powerloom()
bye
, exit
, halt
, quit
, or stop
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |