edu.isi.powerloom.logic
Class Proposition
java.lang.Object
edu.isi.stella.Stella_Object
edu.isi.stella.StandardObject
edu.isi.stella.ContextSensitiveObject
edu.isi.powerloom.logic.Proposition
public class Proposition
- extends ContextSensitiveObject
Method Summary |
static Stella_Object |
accessPropositionSlotValue(Proposition self,
Symbol slotname,
Stella_Object value,
boolean setvalueP)
|
static void |
addForwardJustifications(Proposition proposition,
Justification justification)
|
static boolean |
allArgumentsBoundP(Proposition goal)
|
static Iterator |
allClashingPropositions(Proposition self)
|
static boolean |
allKeyArgumentsBoundP(Proposition goal)
|
static Iterator |
allMatchingExtensionMembers(Proposition self,
boolean specializeP)
|
static Iterator |
allMatchingPartialPropositions(Proposition self)
|
static Iterator |
allMatchingPropositions(Proposition self)
|
static boolean |
allVariablesUnboundP(Proposition prop)
|
static boolean |
applicableForwardRuleP(Proposition rule,
Vector arguments)
|
static boolean |
argumentsEqualArgumentsP(Proposition subproposition,
Proposition referenceproposition)
|
static boolean |
argumentsMatchArgumentsP(Proposition subproposition,
Proposition referenceproposition)
|
static boolean |
argumentsUnifyWithArgumentsP(Proposition subproposition,
Proposition referenceproposition)
|
static boolean |
assertedAsTrueP(Proposition proposition)
|
static void |
assignNativeSlotValue(Proposition prop,
Thing self,
StorageSlot slot,
Stella_Object value)
|
static void |
assignPropositionWeight(Proposition self,
double weight)
|
static void |
assignTruthValue(Proposition self,
Stella_Object truthvalue)
|
static boolean |
atomicForallArgumentP(Proposition forallprop,
Keyword headortail)
|
static boolean |
atomicGoalPropositionP(Proposition proposition)
|
static boolean |
auxiliaryEquivalencePropositionP(Proposition proposition)
|
static void |
backpropagateError(Proposition prop,
double error)
|
BooleanWrapper |
badP()
|
static boolean |
biggerConjunctionP(Proposition prop1,
Proposition prop2)
|
static boolean |
binaryPropositionP(Proposition proposition)
|
static void |
bindAllVariablesInGeneratorGoal(Proposition goal,
List goalsequence)
|
static Stella_Object |
buildNetworkTree(Proposition prop,
Cons propList)
|
static Surrogate |
cachedGoalOperator(Proposition goal)
|
static Surrogate |
chooseImplicationOperator(Proposition rule,
boolean forwardP)
|
static boolean |
clashesWithFunctionPropositionP(Proposition nextproposition,
Proposition referenceproposition)
|
static void |
clearPropositionAnnotations(Proposition proposition)
|
static void |
clipOrClashWithOldPredicateValue(Proposition proposition)
|
static boolean |
closedPropositionP(Proposition self)
|
boolean |
clusteredConjunctionP()
|
static void |
collectAllVariables(Proposition self,
List collection,
List beenthere)
|
static void |
collectExternalVariables(Proposition proposition)
|
static void |
collectFlatConjuncts(Proposition self,
List flatconjuncts)
|
static void |
collectFlatDisjuncts(Proposition self,
List flatdisjuncts)
|
static boolean |
collectionofPropositionP(Proposition definingproposition)
|
static void |
collectMatchingRuleGoals(Proposition proposition,
Cons toplevelvars,
Keyword headortail,
List collection)
|
static void |
collectOptimizerVariables(Proposition proposition,
List collection)
|
static Vector |
collectSkolemizedExistsVariables(Proposition proposition)
|
static void |
collectStructuralFunctions(Proposition proposition,
List structuralfunctions)
|
static void |
collectUnboundGoalVariables(Proposition goal,
List unboundvariables)
|
static Cons |
collectUnresolvedSlotReferences(Proposition self)
|
static void |
complainAboutUndeclaredReference(Proposition waywardproposition)
|
static boolean |
computedPredicateP(Proposition goal)
|
static void |
computeOpenGoalOrdering(Proposition andproposition,
List opengoals,
List goalsequence)
|
static Stella_Object |
computeRelationValue(Proposition proposition,
java.lang.reflect.Method code,
boolean errorP)
|
static Stella_Object |
computeSimpleRelationConstraint(Proposition proposition,
java.lang.reflect.Method code,
boolean errorP,
java.lang.Object[] MV_returnarray)
|
static Proposition |
conjoinTwoPropositions(Proposition prop1,
Proposition prop2)
|
static boolean |
conjunctCancelsIsaPropositionP(Proposition isaconjunct,
Proposition otherconjunct)
|
static void |
constrainAsSubset(Proposition prop,
Collection set1,
Collection set2)
|
static Description |
constructDescriptionFromForallProposition(Proposition forallprop,
Keyword headortail)
|
static boolean |
containsNestedArgumentP(Proposition proposition)
|
static boolean |
containsOperatorP(Proposition proposition,
Surrogate operator)
|
static Proposition |
copyProposition(Proposition self,
KeyValueMap mapping)
|
static int |
countBoundArguments(Proposition goal)
|
static ClashJustification |
createClashJustification(Proposition prop,
Cons antecedents,
Keyword direction)
|
static void |
createDummyRelation(Proposition waywardproposition)
|
static ForwardChainingIndex |
createForwardChainingIndex(Proposition goal,
Proposition masterforall)
|
static PropositionNeuralNetwork |
createNeuralNetwork(Proposition prop)
|
static Justification |
createSubsetJustification(Proposition mainProposition,
Proposition matchingProposition)
|
static void |
deassignTruthValue(Proposition self,
Keyword updatemode)
|
static boolean |
defaultFalseP(Proposition self)
Return true if self is default false. |
static boolean |
defaultTrueP(Proposition self)
Return true if self is default true. |
boolean |
deletedP()
Default deletedP method which always returns FALSE. |
static boolean |
deletedPropositionP(Proposition self)
|
boolean |
deletedPSetter(boolean value)
|
static void |
deriveComplexForwardRule(Proposition goal,
Proposition masterforall)
|
static Proposition |
deriveImpliesFromForall(Proposition forallprop)
|
static void |
deriveOneSatelliteRule(Proposition masterforall,
Proposition goal,
Keyword headortail,
boolean contrapositiveP)
|
static void |
deriveSatelliteRules(Proposition forallprop)
|
static boolean |
deriveSatelliteRulesForGoalP(Proposition forallprop,
Description goaldescription,
Keyword direction,
boolean lazysatellitesP)
|
static Proposition |
destroyProposition(Proposition proposition)
Retract and destroy the proposition 'proposition'. |
static void |
destroyRedundantProposition(Proposition proposition)
|
static void |
distributeOpenGoal(Proposition goal)
|
static boolean |
duplicateAndOrArgumentsP(Proposition prop1,
Proposition prop2)
|
static double |
dynamicallyEstimateGoalCost(Proposition goal)
|
static double |
dynamicallyEstimateGoalFanout(Proposition goal)
|
static double |
dynamicallyEstimateInstanceOfGoalFanout(Proposition goal)
|
static double |
dynamicallyEstimatePredicateGoalFanout(Proposition goal)
|
static double |
dynamicallyEstimateUnboundVariablePenalty(Proposition goal)
|
static boolean |
dynamicallyOptimizePropositionP(Proposition self)
|
static void |
elaborateSurrogatesInProposition(Proposition proposition)
|
static boolean |
elaborationRuleP(Proposition consequentproposition,
Proposition forwardrule,
Vector arguments)
|
static Proposition |
embedNegationWithinFunctionInducedExists(Proposition existsproposition)
|
static void |
equateCollections(Proposition prop,
Collection col1,
Collection col2)
|
static void |
equateEquivalentFunctionPropositions(Proposition self)
|
static void |
equateTopLevelEquivalences(Proposition proposition,
Vector iovariables,
Keyword kind)
|
static void |
equateValues(Proposition prop,
Stella_Object term1,
Stella_Object term2)
|
static boolean |
equivalentCommutativePropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
|
static boolean |
equivalentFunctionPropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
|
static boolean |
equivalentHoldsPropositionP(Proposition self,
Proposition other,
KeyValueMap mapping)
|
static boolean |
equivalentPropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
|
static Proposition |
eradicateHoldsProposition(Proposition self)
|
static double |
estimateGoalCost(Proposition goal)
|
static double |
estimateGoalFanout(Proposition goal)
|
static double |
estimateMemberOfGoalFanout(Proposition goal)
|
static double |
estimatePredicateGoalFanout(Proposition goal)
|
static void |
evaluateAndProposition(Proposition self)
|
static void |
evaluateEquivalentProposition(Proposition self)
|
static void |
evaluateFunctionProposition(Proposition self)
|
static void |
evaluateNewProposition(Proposition self)
|
static void |
evaluateNotProposition(Proposition self)
|
static void |
evaluateOrProposition(Proposition self)
|
static void |
evaluatePredicateProposition(Proposition self)
|
static void |
evaluateProposition(Proposition self)
Evaluate 'self' against its arguments, possibly resulting in
the setting or changing of its truth value. |
static Keyword |
evaluationState(Proposition proposition)
Return :POSTED if proposition is on the evaluation queue
for *context*, :EVALUATED if has been evaluated, or NULL if it has never been evaluated. |
static void |
evaluationStateSetter(Proposition proposition,
Keyword state)
Record the evaluation state of 'proposition'. |
static boolean |
excludedPropositionP(Proposition proposition)
|
static Proposition |
expandIfProposition(Proposition ifproposition)
|
static void |
explainProposition(Proposition prop,
Keyword style,
int maxdepth,
OutputStream stream)
Print an explanation for prop if there is one. |
static Description |
extractCollectionArgument(Proposition proposition)
|
static Cons |
extractGoalArguments(Proposition goal)
|
static Description |
extractGoalDescription(Proposition goal,
Keyword headortail)
|
static Proposition |
extractInvertedGoal(Proposition proposition,
Proposition goal)
|
static java.lang.String |
factToSentence(Proposition self,
boolean periodP)
|
static boolean |
falseP(Proposition self)
Return true if self is false (or default-false if we are
considering default assertions). |
static Proposition |
fastenDownOneProposition(Proposition self,
boolean dontcheckforduplicatesP)
|
static void |
finalizePropositionAnnotations(Proposition proposition)
|
static Proposition |
findDuplicateComplexProposition(Proposition self)
|
static Proposition |
findDuplicateFunctionProposition(Proposition proposition)
|
static Proposition |
findDuplicateProposition(Proposition self)
|
static KeyValueList |
findGoalCacheTable(Proposition goal)
|
static List |
findMatchableGoals(Proposition forallprop,
Keyword headortail)
|
static Proposition |
findMatchingConceivedProposition(Proposition goal)
|
static Proposition |
findSimilarProposition(Proposition proposition,
KeyValueMap mapping)
|
static SequenceIndex |
findSimilarPropositions(Proposition self)
|
static Proposition |
finishCreatingFunctionProposition(Proposition proposition)
|
static void |
flattenNestedForallProposition(Proposition self)
|
static Proposition |
flattenNestedFunctionArguments(Proposition proposition)
|
static void |
flushInferableDirectSubdescriptionsCache(Proposition impliesproposition)
|
static boolean |
followDependentPropositionArgumentP(Proposition proposition,
Stella_Object argument)
|
static void |
forwardBackwardOptionHandler(Proposition self,
StorageSlot slot,
Stella_Object tree)
|
List |
forwardChainingGoals()
|
List |
forwardJustifications()
|
static boolean |
functionInducedExistsP(Proposition proposition)
|
static boolean |
functionWithDefinedValueP(Proposition proposition)
|
static Cons |
generateFunctionAsTerm(Proposition self)
|
static Cons |
generateImpliesProposition(Proposition self)
|
static Symbol |
generateOperator(Proposition self)
|
static Stella_Object |
generateProposition(Proposition self)
|
static Justification |
getForwardAntecedentJustification(Proposition antecedent)
|
static List |
getForwardGoals(Proposition proposition)
|
static List |
getForwardJustifications(Proposition proposition)
Return proposition s forward justifications. |
static AtomicGoalCache |
getGoalCacheList(Proposition goal)
|
static Surrogate |
getPropositionBaseOperator(Proposition prop)
|
static Vector |
getRuleIoVariables(Proposition rule)
|
static Skolem |
getSkolemAndValueTerms(Proposition proposition,
java.lang.Object[] MV_returnarray)
|
static Cons |
getUnboundVariables(Proposition prop)
|
static void |
handleArgumentTypeViolation(Proposition proposition,
Stella_Object arg,
Surrogate requiredtype)
|
static void |
handleArityViolation(Proposition proposition,
int requiredarity)
|
static boolean |
hasDisjunctionP(Proposition goal)
|
static boolean |
hasForwardJustificationsP(Proposition proposition)
Return TRUE if proposition has any forward justifications. |
static boolean |
hasInversionsP(Proposition goal)
|
static boolean |
helpClosedPropositionP(Proposition self,
Cons activeterms)
|
static void |
helpCollectFlattenedArguments(Proposition self,
List flattenedarguments,
List existsvariables)
|
static void |
helpCollectSinglyBoundVariables(Proposition proposition,
List boundvariables,
boolean recursiveP)
|
static boolean |
helpCollectSkolemizedExistsVariablesP(Proposition proposition,
List result)
|
static Proposition |
helpFastenDownPropositions(Proposition self,
boolean dontcheckforduplicatesP)
|
static void |
helpNormalizePredicateProposition(Proposition self,
Surrogate relationref,
Vector predicatearguments)
|
static void |
helpPrintKifProposition(Proposition self)
|
static void |
helpRunUpdatePropositionDemon(Proposition proposition,
Keyword updatemode)
|
static boolean |
helpSingleValuedGoalP(Proposition proposition,
Cons iovariables,
Cons boundvariables,
boolean recursiveP)
|
static Cons |
helpUpdateTopLevelProposition(Proposition proposition,
Keyword updatemode)
|
static boolean |
inconsistentP(Proposition self)
Return true if self is inconsistent (true and false). |
static void |
inferTypesFromOneProposition(Proposition proposition,
KeyValueList table,
Cons visiblevars)
|
static void |
inferTypesFromPropositions(Proposition proposition,
KeyValueList table,
Cons visiblevars)
|
static KeyValueList |
inferVariableTypesInProposition(Proposition proposition,
Cons visiblevariables)
|
static Cons |
inheritAsTopLevelProposition(Proposition proposition,
KeyValueMap mapping)
|
static Proposition |
inheritFunctionProposition(Proposition self,
KeyValueMap mapping,
boolean createskolemP)
|
static Proposition |
inheritProposition(Proposition self,
KeyValueMap mapping)
|
static boolean |
inheritsTruthFromMasterP(Proposition self)
|
static void |
inheritTruthValueUpdate(Proposition proposition,
World toworld)
|
static void |
insertAnnotation(Proposition proposition,
Keyword key,
Stella_Object value)
|
static void |
instantiateUndefinedSurrogates(Proposition self)
|
static void |
invertAtomicProposition(Proposition self)
|
static void |
invertExistsProposition(Proposition self)
|
static Proposition |
invertForallAroundGoal(Proposition forallprop,
Proposition goal,
Keyword headortail,
boolean contrapositiveP)
|
static void |
invertForallProposition(Proposition self)
|
static void |
invertImpliesProposition(Proposition self)
|
static Proposition |
invertProposition(Proposition self)
|
static boolean |
justificationPropositionsEqlP(Proposition proposition1,
Justification just1,
Proposition proposition2,
Justification just2)
|
static Stella_Object |
lastArgument(Proposition proposition)
|
static Stella_Object |
lookupAnnotation(Proposition proposition,
Keyword key)
|
static boolean |
mapFunctionalValueP(Proposition proposition,
KeyValueMap mapping)
|
static void |
markAsForwardRule(Proposition impliesprop)
|
static boolean |
memberOfPropositionP(Proposition proposition)
|
static boolean |
metaPropositionP(Proposition proposition)
|
static boolean |
migrateConsequentGoalsToAntecedentP(Proposition self)
|
static boolean |
modalGoalP(Proposition goal)
|
static boolean |
nativeSlotPropositionP(Proposition self)
|
static Proposition |
newFindSimilarProposition(Proposition proposition,
KeyValueMap mapping)
|
static Proposition |
newProposition()
|
static void |
normalizeAndProposition(Proposition self)
|
static void |
normalizeDescriptiveProposition(Proposition self,
Vector iovariables,
Keyword kind)
|
static void |
normalizeEquivalentProposition(Proposition self)
|
static void |
normalizeExistsProposition(Proposition self)
|
static void |
normalizeForallProposition(Proposition self)
|
static void |
normalizeFunctionProposition(Proposition self)
|
static void |
normalizeHoldsProposition(Proposition self)
|
static void |
normalizeNotProposition(Proposition self)
|
static void |
normalizeOrProposition(Proposition self)
|
static void |
normalizePredicateProposition(Proposition self)
|
static void |
normalizeProposition(Proposition self)
|
static void |
normalizeTopLevelProposition(Proposition self)
|
static Proposition |
normalizeValueFunction(Proposition self)
|
static Proposition |
oldFindSimilarProposition(Proposition proposition,
KeyValueMap mapping)
|
static void |
optimizeOrderingOfConjuncts(Proposition andproposition)
|
static void |
overlayProposition(Proposition self,
Proposition overlayingprop)
|
static void |
overlayWithConstantProposition(Proposition self,
Proposition constantproposition)
|
static boolean |
partialArgumentsUnifyWithArgumentsP(Proposition subproposition,
Proposition referenceproposition)
|
static void |
postForEvaluation(Proposition self,
Context world)
Push 'self' onto the evaluation queue (unless it's already there). |
static void |
postToCheckTypesAgenda(Proposition self)
|
static void |
postToForwardChainingQueue(Proposition self,
World world)
|
static Proposition |
predicateOfFunctionInducedExists(Proposition existsproposition)
|
static boolean |
predicationP(Proposition proposition)
|
static boolean |
prefixArgumentsEqualArgumentsP(Proposition subproposition,
Proposition referenceproposition)
|
static void |
prettyPrintAssertion(Proposition proposition,
OutputStream stream)
|
Surrogate |
primaryType()
Returns the primary type of self . |
static void |
printKifFunctionExpression(Proposition self)
|
static void |
printKifFunctionProposition(Proposition self)
|
static void |
printKifImpliesProposition(Proposition self)
|
static void |
printKifProposition(Proposition self)
|
static void |
printKifQuantification(Proposition self)
|
static void |
printKifTopLevelExistsProposition(Proposition self)
|
void |
printObject(java.io.PrintStream stream)
|
static void |
printProposition(Proposition self,
OutputStream stream,
boolean toplevelP)
|
static void |
printSatellites(Proposition forallprop)
|
void |
processDefinitionOptions(Stella_Object options)
|
static void |
propagateSingleValuedConstraints(Proposition goal,
List goalsequence)
|
static int |
propositionHashIndex(Proposition self,
KeyValueMap mapping)
|
static java.lang.String |
propositionHeadSortString(Proposition p)
|
static boolean |
propositionLessThanP(Proposition p1,
Proposition p2)
|
static boolean |
propositionReferencesTermsP(Proposition self,
HashSet terms)
|
static Cons |
propositionToCons(Proposition prop)
|
static TruthValue |
propositionTruthValue(Proposition proposition)
|
static void |
quickpropagateError(Proposition prop,
double error)
|
void |
reactToInferenceUpdate()
|
static void |
recordForwardGoal(Proposition forwardrule,
Vector arguments,
Proposition consequentproposition)
|
static Proposition |
recursivelyFastenDownPropositions(Proposition self,
boolean dontcheckforduplicatesP)
|
static void |
recursivelyReactToInferenceUpdate(Proposition self)
|
static void |
removeAnnotation(Proposition proposition,
Keyword key)
|
static Cons |
removeVariableTypePropositions(Proposition proposition)
|
static void |
reorderGoals(Proposition andproposition,
List initiallyclosedgoals,
List goalsequence,
List residuegoals)
|
static boolean |
resolveOneSlotReferenceP(Proposition proposition,
KeyValueList variabletypestable)
|
static void |
reviseEquivalences(Proposition proposition,
boolean goestrueP)
|
static void |
rewrapPropositionArguments(Proposition self)
|
static void |
runGoesFalseDemons(Proposition proposition)
|
static void |
runGoesTrueDemons(Proposition proposition)
|
static void |
runGoesUnknownDemons(Proposition proposition)
|
static void |
runTruthChangeDemon(Proposition proposition,
Surrogate truthchangerelation)
|
static void |
runUpdateEquivalencePropositionDemon(Proposition proposition,
Keyword updatemode)
|
static void |
runUpdatePropositionDemon(Proposition proposition,
Keyword updatemode)
|
static Proposition |
safelyInvertProposition(Proposition self)
|
List |
satellitePropositions()
|
static boolean |
searchControlPropositionP(Proposition self)
|
static Stella_Object |
selectArgumentWithBacklinks(Proposition proposition,
java.lang.Object[] MV_returnarray)
|
static AtomicGoalCache |
setGoalCacheList(Proposition goal,
AtomicGoalCache firstcache)
|
static Proposition |
shallowCopyProposition(Proposition self)
|
static void |
signalTruthValueClash(Proposition proposition)
|
static void |
signalUnificationClash(Proposition prop,
Stella_Object term1,
Stella_Object term2)
|
static void |
signalVariableValueClash(Proposition prop,
Skolem skolem,
Stella_Object value1,
Stella_Object value2)
|
static boolean |
simpleSubrelationPropositionP(Proposition proposition)
|
static void |
simplifyConjunction(Proposition andproposition)
|
static void |
simplifyProposition(Proposition proposition)
|
static void |
simulateAndOptimizeQuery(Proposition proposition)
|
static void |
simulateGoalEvaluation(Proposition goal)
|
static boolean |
singleValuedGoalP(Proposition proposition,
Cons iovariables,
Cons boundvariables)
|
static boolean |
singleValuedPredicateP(Proposition proposition)
|
static Proposition |
skolemizeExistsProposition(Proposition existsproposition)
|
static boolean |
staticallyOptimizePropositionP(Proposition self)
|
static java.lang.String |
stringifiedKifOperator(Proposition self)
|
static boolean |
subsetOfPropositionP(Proposition proposition)
|
static Proposition |
substituteProposition(Proposition proposition,
Proposition outprop,
Proposition inprop)
|
Cons |
support()
|
static void |
surrogatifyDiscouragedArguments(Proposition self)
|
static void |
tightenArgumentBindings(Proposition proposition,
Vector iovariables)
|
static boolean |
topLevelExistsPropositionP(Proposition proposition)
|
static void |
traceForwardRule(Proposition rule,
Proposition trigger,
Cons consequents)
|
static boolean |
trueP(Proposition self)
Return true if self is true (or default-true if we are
considering default assertions). |
static boolean |
truePropositionP(Proposition proposition)
|
static void |
unassertProposition(Proposition self)
Retract the truth, falsity or inconsistency of the proposition self . |
static boolean |
unequateConflictingDefaultValuesP(Proposition newequatingprop)
|
BooleanWrapper |
unfastenedP()
|
static void |
unfastenProposition(Proposition proposition)
|
static boolean |
unifyPropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
|
static void |
unifyTypes(Proposition prop,
Skolem term1,
Stella_Object term2)
|
static boolean |
unknownP(Proposition self)
Return true if the truth of self is unknown. |
static void |
updateDescriptionExtension(Proposition self)
|
static Proposition |
updateEquivalenceProposition(Proposition proposition,
Keyword updatemode)
|
static void |
updateLinksAndTimestamps(Proposition proposition,
Keyword updatemode)
|
static Cons |
updateNativeSlotProposition(Proposition proposition,
Keyword updatemode)
|
static void |
updatePropositionTruthValue(Proposition self,
Keyword updatemode)
|
static void |
updateSkolemTypeFromIsaAssertions(Proposition self)
|
static boolean |
variableArityGoalPropositionP(Proposition proposition)
|
BooleanWrapper |
variableTypeP()
|
static void |
verifyArgumentTypesAndCount(Proposition proposition)
|
static void |
verifyForallPropositions(Proposition proposition)
|
static void |
warnOfUnboundVariableArgument(Proposition proposition)
|
double |
weightDelta()
|
static List |
yieldFlattenedArguments(Proposition proposition,
List existsvariables)
|
static Cons |
yieldGoalBindings(Proposition goal)
|
Methods inherited from class edu.isi.stella.StandardObject |
arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppNonPointerTypeP, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, cppTypeWithoutInteriorPointersP, dropSlotValue, extractParameterType, extractRequiredArgumentValues, getSlot, hashCode_, idlTranslateTypeSpec, inverseSlotDemon, javaLiteralP, javaNativeLiteralWrapperNames, javaSpecialSetterName, javaTranslateArrayOfTypeSpec, javaTranslateTypeSpec, javaTranslateTypeSpecForFunction, javaTranslateTypeSpecHelper, javaYieldClassObjectArrayExpression, javaYieldClassObjectExpression, javaYieldFullyQualifiedTypeName, javaYieldTranslatedClassAndMethodNames, listifyTypeSpec, lookupClTypeFromStellaType, objectEqlP, putSlotValue, readSlotValue, runConstructorDemons, runDestructorDemons, runSlotDemons, runSlotGuardDemonsP, standardObjectP, subTypeSpecOfP, twoArgumentLeastCommonSupertype, typeSpecToBaseType, typeSpecToClass, typeToWalkedNullValueTree, validateTypeSpecifier, voidP, walkTypeSpecIsNativeTypeP, writeSlotValue, yieldTypeSpecTree |
Methods inherited from class edu.isi.stella.Stella_Object |
_, accessInContext, addPropertyValue, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, chooseSortPredicate, clConditionalizeTypeDeclarationTree, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceOptionValue, coerceToBoolean, coerceToFloat, coerceToHashSet, coerceToModule, coerceToModuleName, coerceToString, coerceToSymbol, coerceToXmlElement, coerceValueToBoolean, coerceValueToFloat, coerceValueToString, coerceValueToType, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement, cppOutputTypedEntity, cppPrognifyStatement, cppPrognP, cppStatementToList, cppStreamIsStandardOutputP, cpptrans, cppTranslateAtomicTree, cppTranslateATree, cppTranslatedArrayTypeP, csValueP, dateDivider, dateTimeDivider, day, dealWithAmPm, dealWithEra, dealWithNoonMidn, decrementReferenceCount, defaultOptionHandler, defineSystem, defmodule, describe, describeObject, describeTersely, destructureMethodNameTree, deUglifyParseTree, either, eqlP, eqlToBooleanP, eqlToCharacterP, eqlToFloatP, eqlToIntegerP, eqlToLongIntegerP, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, getProperty, hashlist, hashMemoizedArguments, helpBquotify, helpClTranslateATree, helpCoerceATree, helpLptrans, helpPrintOutline, helpTransformBooleanProceduralExpression, helpWalkATree, hour, idlOutputAtomicExpression, idlOutputLiteral, idlOutputStatement, idlTranslateAtomicTree, idlTranslateATree, illegalTreeP, implodePathname, incrementallyTranslate, incrementReferenceCount, inlineUnwrapBoolean, inlineWrapBoolean, inModule, integerP, isaP, javaBinaryOperatorP, javaBlockP, javaEndOfLineTokenP, javaHelpOutputPrintStream, javaMaybeOutputStatementWithParentheses, javaOperatorP, javaOutputLiteral, javaOutputStatement, javaPrognP, javaStreamIsStandardOutputP, javaSymbolCaseP, javaTranslateAtomicTree, javaTranslateATree, javaTranslateWithNativeWrapper, jptrans, keywordP, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, longIntegerP, lptrans, makeEvaluatableBquoteTree, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, parseOptions, parseTokenizerCharacterSpec, parseTokenizerStateModifiers, permanentCopy, permanentify, permanentifyForm, po, prettyPrintLiteral, primaryClass, printOutline, printStellaCode, printStellaDefinition, printUndefinedSuperClasses, proceduralExpressionP, ptrans, publicSlots, registerRecycledItem, runOptionHandlerP, safeEqualHashCode, safeHashCode, safePrimaryType, safeYieldTypeSpecifier, searchConsTreeP, searchConsTreeWithFilterP, searchForObject, secondp, setProperty, sideEffectFreeExpressionP, simplifyBquoteTree, specialp, stella_Increment, stellaClassP, stellaCollectionP, stellaNeedToCompileP, stellaNeedToTranslateP, stellaObjectP, stellify, storageSlotP, stringifyInModule, stringP, substituteConsTree, substituteOnce, surrogateP, surrogatify, sweep, symbolCaseP, symbolP, sysTree, targetLanguageType, taxonomyIsaP, timeDivider, timeMultiply, tokenizerIncludeSpecP, tokenizerToStateAlias, tokenizerToStateName, toString, traceIf, traceKeywordP, transientifyForm, transientObjectP, transientSymbolP, translateWalkedTree, treeSize, treeToTrees, trueOptionP, tryToEvaluate, typeP, typify, unmake, unregisterRecycledItem, updateInContext, valuesTreeP, variableExpressionP, verbatimStringP, verbatimTreeP, vetOptions, vrletExpressionP, walkAtomicTree, walkATree, walkCollectionTree, walkDontCallMeTree, walkedExpressionExpression, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlBaseAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, xmlGlobalAttributeP, xmlLocalAttributeP, xmlnsAttributeP, xmlProcessingInstructionFormP, xmlProcessingInstructionP, xmlTagCase, year, yieldCondTest, yieldCondTestOrTests, yieldHardcodedCaseSymbolIdOrIds, yieldInCursorClausesForArgumentList, yieldInCursorClausesForGeneralCollection, yieldInCursorClausesForVector, yieldTypeSpecifier, zone, zoneMinute |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
kind
public Keyword kind
truthValue
public Stella_Object truthValue
arguments
public Vector arguments
operator
public GeneralizedSymbol operator
dependentPropositions
public NonPagingIndex dependentPropositions
dynamicSlots
public KeyValueList dynamicSlots
Proposition
public Proposition()
newProposition
public static Proposition newProposition()
processDefinitionOptions
public void processDefinitionOptions(Stella_Object options)
flushInferableDirectSubdescriptionsCache
public static void flushInferableDirectSubdescriptionsCache(Proposition impliesproposition)
mapFunctionalValueP
public static boolean mapFunctionalValueP(Proposition proposition,
KeyValueMap mapping)
collectStructuralFunctions
public static void collectStructuralFunctions(Proposition proposition,
List structuralfunctions)
propositionReferencesTermsP
public static boolean propositionReferencesTermsP(Proposition self,
HashSet terms)
inheritAsTopLevelProposition
public static Cons inheritAsTopLevelProposition(Proposition proposition,
KeyValueMap mapping)
inheritProposition
public static Proposition inheritProposition(Proposition self,
KeyValueMap mapping)
eradicateHoldsProposition
public static Proposition eradicateHoldsProposition(Proposition self)
findSimilarProposition
public static Proposition findSimilarProposition(Proposition proposition,
KeyValueMap mapping)
newFindSimilarProposition
public static Proposition newFindSimilarProposition(Proposition proposition,
KeyValueMap mapping)
oldFindSimilarProposition
public static Proposition oldFindSimilarProposition(Proposition proposition,
KeyValueMap mapping)
inheritFunctionProposition
public static Proposition inheritFunctionProposition(Proposition self,
KeyValueMap mapping,
boolean createskolemP)
binaryPropositionP
public static boolean binaryPropositionP(Proposition proposition)
singleValuedPredicateP
public static boolean singleValuedPredicateP(Proposition proposition)
copyProposition
public static Proposition copyProposition(Proposition self,
KeyValueMap mapping)
simplifyProposition
public static void simplifyProposition(Proposition proposition)
simplifyConjunction
public static void simplifyConjunction(Proposition andproposition)
conjunctCancelsIsaPropositionP
public static boolean conjunctCancelsIsaPropositionP(Proposition isaconjunct,
Proposition otherconjunct)
dynamicallyEstimateUnboundVariablePenalty
public static double dynamicallyEstimateUnboundVariablePenalty(Proposition goal)
countBoundArguments
public static int countBoundArguments(Proposition goal)
dynamicallyEstimateInstanceOfGoalFanout
public static double dynamicallyEstimateInstanceOfGoalFanout(Proposition goal)
dynamicallyEstimatePredicateGoalFanout
public static double dynamicallyEstimatePredicateGoalFanout(Proposition goal)
dynamicallyEstimateGoalFanout
public static double dynamicallyEstimateGoalFanout(Proposition goal)
dynamicallyEstimateGoalCost
public static double dynamicallyEstimateGoalCost(Proposition goal)
staticallyOptimizePropositionP
public static boolean staticallyOptimizePropositionP(Proposition self)
dynamicallyOptimizePropositionP
public static boolean dynamicallyOptimizePropositionP(Proposition self)
simulateAndOptimizeQuery
public static void simulateAndOptimizeQuery(Proposition proposition)
simulateGoalEvaluation
public static void simulateGoalEvaluation(Proposition goal)
warnOfUnboundVariableArgument
public static void warnOfUnboundVariableArgument(Proposition proposition)
reorderGoals
public static void reorderGoals(Proposition andproposition,
List initiallyclosedgoals,
List goalsequence,
List residuegoals)
optimizeOrderingOfConjuncts
public static void optimizeOrderingOfConjuncts(Proposition andproposition)
computeOpenGoalOrdering
public static void computeOpenGoalOrdering(Proposition andproposition,
List opengoals,
List goalsequence)
biggerConjunctionP
public static boolean biggerConjunctionP(Proposition prop1,
Proposition prop2)
collectOptimizerVariables
public static void collectOptimizerVariables(Proposition proposition,
List collection)
collectUnboundGoalVariables
public static void collectUnboundGoalVariables(Proposition goal,
List unboundvariables)
bindAllVariablesInGeneratorGoal
public static void bindAllVariablesInGeneratorGoal(Proposition goal,
List goalsequence)
propagateSingleValuedConstraints
public static void propagateSingleValuedConstraints(Proposition goal,
List goalsequence)
estimateGoalFanout
public static double estimateGoalFanout(Proposition goal)
estimateGoalCost
public static double estimateGoalCost(Proposition goal)
estimatePredicateGoalFanout
public static double estimatePredicateGoalFanout(Proposition goal)
estimateMemberOfGoalFanout
public static double estimateMemberOfGoalFanout(Proposition goal)
distributeOpenGoal
public static void distributeOpenGoal(Proposition goal)
computedPredicateP
public static boolean computedPredicateP(Proposition goal)
hasInversionsP
public static boolean hasInversionsP(Proposition goal)
modalGoalP
public static boolean modalGoalP(Proposition goal)
hasDisjunctionP
public static boolean hasDisjunctionP(Proposition goal)
allClashingPropositions
public static Iterator allClashingPropositions(Proposition self)
clashesWithFunctionPropositionP
public static boolean clashesWithFunctionPropositionP(Proposition nextproposition,
Proposition referenceproposition)
allMatchingPropositions
public static Iterator allMatchingPropositions(Proposition self)
prefixArgumentsEqualArgumentsP
public static boolean prefixArgumentsEqualArgumentsP(Proposition subproposition,
Proposition referenceproposition)
argumentsMatchArgumentsP
public static boolean argumentsMatchArgumentsP(Proposition subproposition,
Proposition referenceproposition)
argumentsEqualArgumentsP
public static boolean argumentsEqualArgumentsP(Proposition subproposition,
Proposition referenceproposition)
argumentsUnifyWithArgumentsP
public static boolean argumentsUnifyWithArgumentsP(Proposition subproposition,
Proposition referenceproposition)
truePropositionP
public static boolean truePropositionP(Proposition proposition)
propositionTruthValue
public static TruthValue propositionTruthValue(Proposition proposition)
helpCollectSinglyBoundVariables
public static void helpCollectSinglyBoundVariables(Proposition proposition,
List boundvariables,
boolean recursiveP)
helpSingleValuedGoalP
public static boolean helpSingleValuedGoalP(Proposition proposition,
Cons iovariables,
Cons boundvariables,
boolean recursiveP)
singleValuedGoalP
public static boolean singleValuedGoalP(Proposition proposition,
Cons iovariables,
Cons boundvariables)
helpClosedPropositionP
public static boolean helpClosedPropositionP(Proposition self,
Cons activeterms)
closedPropositionP
public static boolean closedPropositionP(Proposition self)
computeSimpleRelationConstraint
public static Stella_Object computeSimpleRelationConstraint(Proposition proposition,
java.lang.reflect.Method code,
boolean errorP,
java.lang.Object[] MV_returnarray)
computeRelationValue
public static Stella_Object computeRelationValue(Proposition proposition,
java.lang.reflect.Method code,
boolean errorP)
generateImpliesProposition
public static Cons generateImpliesProposition(Proposition self)
generateFunctionAsTerm
public static Cons generateFunctionAsTerm(Proposition self)
generateProposition
public static Stella_Object generateProposition(Proposition self)
generateOperator
public static Symbol generateOperator(Proposition self)
printProposition
public static void printProposition(Proposition self,
OutputStream stream,
boolean toplevelP)
prettyPrintAssertion
public static void prettyPrintAssertion(Proposition proposition,
OutputStream stream)
excludedPropositionP
public static boolean excludedPropositionP(Proposition proposition)
chooseImplicationOperator
public static Surrogate chooseImplicationOperator(Proposition rule,
boolean forwardP)
printKifTopLevelExistsProposition
public static void printKifTopLevelExistsProposition(Proposition self)
printKifQuantification
public static void printKifQuantification(Proposition self)
printKifImpliesProposition
public static void printKifImpliesProposition(Proposition self)
printKifFunctionExpression
public static void printKifFunctionExpression(Proposition self)
printKifFunctionProposition
public static void printKifFunctionProposition(Proposition self)
helpPrintKifProposition
public static void helpPrintKifProposition(Proposition self)
printKifProposition
public static void printKifProposition(Proposition self)
stringifiedKifOperator
public static java.lang.String stringifiedKifOperator(Proposition self)
auxiliaryEquivalencePropositionP
public static boolean auxiliaryEquivalencePropositionP(Proposition proposition)
explainProposition
public static void explainProposition(Proposition prop,
Keyword style,
int maxdepth,
OutputStream stream)
- Print an explanation for
prop
if there is one. This will only happen
for forward-chained propositions.
- Parameters:
prop
- style
- maxdepth
- stream
-
createClashJustification
public static ClashJustification createClashJustification(Proposition prop,
Cons antecedents,
Keyword direction)
createSubsetJustification
public static Justification createSubsetJustification(Proposition mainProposition,
Proposition matchingProposition)
getForwardAntecedentJustification
public static Justification getForwardAntecedentJustification(Proposition antecedent)
getRuleIoVariables
public static Vector getRuleIoVariables(Proposition rule)
addForwardJustifications
public static void addForwardJustifications(Proposition proposition,
Justification justification)
getForwardJustifications
public static List getForwardJustifications(Proposition proposition)
- Return
proposition
s forward justifications.
- Parameters:
proposition
-
- Returns:
- List
hasForwardJustificationsP
public static boolean hasForwardJustificationsP(Proposition proposition)
- Return TRUE if
proposition
has any forward justifications.
- Parameters:
proposition
-
- Returns:
- boolean
forwardJustifications
public List forwardJustifications()
getForwardGoals
public static List getForwardGoals(Proposition proposition)
elaborationRuleP
public static boolean elaborationRuleP(Proposition consequentproposition,
Proposition forwardrule,
Vector arguments)
assertedAsTrueP
public static boolean assertedAsTrueP(Proposition proposition)
predicationP
public static boolean predicationP(Proposition proposition)
recordForwardGoal
public static void recordForwardGoal(Proposition forwardrule,
Vector arguments,
Proposition consequentproposition)
forwardChainingGoals
public List forwardChainingGoals()
justificationPropositionsEqlP
public static boolean justificationPropositionsEqlP(Proposition proposition1,
Justification just1,
Proposition proposition2,
Justification just2)
extractCollectionArgument
public static Description extractCollectionArgument(Proposition proposition)
setGoalCacheList
public static AtomicGoalCache setGoalCacheList(Proposition goal,
AtomicGoalCache firstcache)
getGoalCacheList
public static AtomicGoalCache getGoalCacheList(Proposition goal)
cachedGoalOperator
public static Surrogate cachedGoalOperator(Proposition goal)
findGoalCacheTable
public static KeyValueList findGoalCacheTable(Proposition goal)
yieldGoalBindings
public static Cons yieldGoalBindings(Proposition goal)
buildNetworkTree
public static Stella_Object buildNetworkTree(Proposition prop,
Cons propList)
quickpropagateError
public static void quickpropagateError(Proposition prop,
double error)
backpropagateError
public static void backpropagateError(Proposition prop,
double error)
createNeuralNetwork
public static PropositionNeuralNetwork createNeuralNetwork(Proposition prop)
propositionToCons
public static Cons propositionToCons(Proposition prop)
partialArgumentsUnifyWithArgumentsP
public static boolean partialArgumentsUnifyWithArgumentsP(Proposition subproposition,
Proposition referenceproposition)
allMatchingPartialPropositions
public static Iterator allMatchingPartialPropositions(Proposition self)
allVariablesUnboundP
public static boolean allVariablesUnboundP(Proposition prop)
getUnboundVariables
public static Cons getUnboundVariables(Proposition prop)
allMatchingExtensionMembers
public static Iterator allMatchingExtensionMembers(Proposition self,
boolean specializeP)
collectionofPropositionP
public static boolean collectionofPropositionP(Proposition definingproposition)
allKeyArgumentsBoundP
public static boolean allKeyArgumentsBoundP(Proposition goal)
allArgumentsBoundP
public static boolean allArgumentsBoundP(Proposition goal)
clusteredConjunctionP
public boolean clusteredConjunctionP()
containsOperatorP
public static boolean containsOperatorP(Proposition proposition,
Surrogate operator)
printSatellites
public static void printSatellites(Proposition forallprop)
deriveComplexForwardRule
public static void deriveComplexForwardRule(Proposition goal,
Proposition masterforall)
createForwardChainingIndex
public static ForwardChainingIndex createForwardChainingIndex(Proposition goal,
Proposition masterforall)
deriveImpliesFromForall
public static Proposition deriveImpliesFromForall(Proposition forallprop)
deriveSatelliteRules
public static void deriveSatelliteRules(Proposition forallprop)
deriveSatelliteRulesForGoalP
public static boolean deriveSatelliteRulesForGoalP(Proposition forallprop,
Description goaldescription,
Keyword direction,
boolean lazysatellitesP)
deriveOneSatelliteRule
public static void deriveOneSatelliteRule(Proposition masterforall,
Proposition goal,
Keyword headortail,
boolean contrapositiveP)
markAsForwardRule
public static void markAsForwardRule(Proposition impliesprop)
constructDescriptionFromForallProposition
public static Description constructDescriptionFromForallProposition(Proposition forallprop,
Keyword headortail)
invertForallAroundGoal
public static Proposition invertForallAroundGoal(Proposition forallprop,
Proposition goal,
Keyword headortail,
boolean contrapositiveP)
extractInvertedGoal
public static Proposition extractInvertedGoal(Proposition proposition,
Proposition goal)
substituteProposition
public static Proposition substituteProposition(Proposition proposition,
Proposition outprop,
Proposition inprop)
extractGoalArguments
public static Cons extractGoalArguments(Proposition goal)
extractGoalDescription
public static Description extractGoalDescription(Proposition goal,
Keyword headortail)
variableArityGoalPropositionP
public static boolean variableArityGoalPropositionP(Proposition proposition)
atomicGoalPropositionP
public static boolean atomicGoalPropositionP(Proposition proposition)
atomicForallArgumentP
public static boolean atomicForallArgumentP(Proposition forallprop,
Keyword headortail)
collectMatchingRuleGoals
public static void collectMatchingRuleGoals(Proposition proposition,
Cons toplevelvars,
Keyword headortail,
List collection)
findMatchableGoals
public static List findMatchableGoals(Proposition forallprop,
Keyword headortail)
safelyInvertProposition
public static Proposition safelyInvertProposition(Proposition self)
invertProposition
public static Proposition invertProposition(Proposition self)
invertImpliesProposition
public static void invertImpliesProposition(Proposition self)
invertForallProposition
public static void invertForallProposition(Proposition self)
invertExistsProposition
public static void invertExistsProposition(Proposition self)
invertAtomicProposition
public static void invertAtomicProposition(Proposition self)
normalizeDescriptiveProposition
public static void normalizeDescriptiveProposition(Proposition self,
Vector iovariables,
Keyword kind)
normalizeTopLevelProposition
public static void normalizeTopLevelProposition(Proposition self)
normalizeProposition
public static void normalizeProposition(Proposition self)
shallowCopyProposition
public static Proposition shallowCopyProposition(Proposition self)
normalizeEquivalentProposition
public static void normalizeEquivalentProposition(Proposition self)
normalizeValueFunction
public static Proposition normalizeValueFunction(Proposition self)
normalizeFunctionProposition
public static void normalizeFunctionProposition(Proposition self)
normalizePredicateProposition
public static void normalizePredicateProposition(Proposition self)
normalizeHoldsProposition
public static void normalizeHoldsProposition(Proposition self)
helpNormalizePredicateProposition
public static void helpNormalizePredicateProposition(Proposition self,
Surrogate relationref,
Vector predicatearguments)
normalizeOrProposition
public static void normalizeOrProposition(Proposition self)
normalizeAndProposition
public static void normalizeAndProposition(Proposition self)
normalizeNotProposition
public static void normalizeNotProposition(Proposition self)
normalizeForallProposition
public static void normalizeForallProposition(Proposition self)
flattenNestedForallProposition
public static void flattenNestedForallProposition(Proposition self)
migrateConsequentGoalsToAntecedentP
public static boolean migrateConsequentGoalsToAntecedentP(Proposition self)
normalizeExistsProposition
public static void normalizeExistsProposition(Proposition self)
overlayProposition
public static void overlayProposition(Proposition self,
Proposition overlayingprop)
collectFlatDisjuncts
public static void collectFlatDisjuncts(Proposition self,
List flatdisjuncts)
conjoinTwoPropositions
public static Proposition conjoinTwoPropositions(Proposition prop1,
Proposition prop2)
overlayWithConstantProposition
public static void overlayWithConstantProposition(Proposition self,
Proposition constantproposition)
collectFlatConjuncts
public static void collectFlatConjuncts(Proposition self,
List flatconjuncts)
duplicateAndOrArgumentsP
public static boolean duplicateAndOrArgumentsP(Proposition prop1,
Proposition prop2)
searchControlPropositionP
public static boolean searchControlPropositionP(Proposition self)
complainAboutUndeclaredReference
public static void complainAboutUndeclaredReference(Proposition waywardproposition)
createDummyRelation
public static void createDummyRelation(Proposition waywardproposition)
resolveOneSlotReferenceP
public static boolean resolveOneSlotReferenceP(Proposition proposition,
KeyValueList variabletypestable)
collectUnresolvedSlotReferences
public static Cons collectUnresolvedSlotReferences(Proposition self)
inferVariableTypesInProposition
public static KeyValueList inferVariableTypesInProposition(Proposition proposition,
Cons visiblevariables)
inferTypesFromPropositions
public static void inferTypesFromPropositions(Proposition proposition,
KeyValueList table,
Cons visiblevars)
inferTypesFromOneProposition
public static void inferTypesFromOneProposition(Proposition proposition,
KeyValueList table,
Cons visiblevars)
removeVariableTypePropositions
public static Cons removeVariableTypePropositions(Proposition proposition)
collectExternalVariables
public static void collectExternalVariables(Proposition proposition)
collectAllVariables
public static void collectAllVariables(Proposition self,
List collection,
List beenthere)
equateTopLevelEquivalences
public static void equateTopLevelEquivalences(Proposition proposition,
Vector iovariables,
Keyword kind)
tightenArgumentBindings
public static void tightenArgumentBindings(Proposition proposition,
Vector iovariables)
flattenNestedFunctionArguments
public static Proposition flattenNestedFunctionArguments(Proposition proposition)
yieldFlattenedArguments
public static List yieldFlattenedArguments(Proposition proposition,
List existsvariables)
helpCollectFlattenedArguments
public static void helpCollectFlattenedArguments(Proposition self,
List flattenedarguments,
List existsvariables)
expandIfProposition
public static Proposition expandIfProposition(Proposition ifproposition)
containsNestedArgumentP
public static boolean containsNestedArgumentP(Proposition proposition)
unifyPropositionsP
public static boolean unifyPropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
equivalentFunctionPropositionsP
public static boolean equivalentFunctionPropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
equivalentPropositionsP
public static boolean equivalentPropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
equivalentCommutativePropositionsP
public static boolean equivalentCommutativePropositionsP(Proposition self,
Proposition other,
KeyValueMap mapping)
equivalentHoldsPropositionP
public static boolean equivalentHoldsPropositionP(Proposition self,
Proposition other,
KeyValueMap mapping)
inheritTruthValueUpdate
public static void inheritTruthValueUpdate(Proposition proposition,
World toworld)
metaPropositionP
public static boolean metaPropositionP(Proposition proposition)
factToSentence
public static java.lang.String factToSentence(Proposition self,
boolean periodP)
followDependentPropositionArgumentP
public static boolean followDependentPropositionArgumentP(Proposition proposition,
Stella_Object argument)
elaborateSurrogatesInProposition
public static void elaborateSurrogatesInProposition(Proposition proposition)
recursivelyReactToInferenceUpdate
public static void recursivelyReactToInferenceUpdate(Proposition self)
evaluateProposition
public static void evaluateProposition(Proposition self)
- Evaluate 'self' against its arguments, possibly resulting in
the setting or changing of its truth value.
- Parameters:
self
-
evaluatePredicateProposition
public static void evaluatePredicateProposition(Proposition self)
evaluateFunctionProposition
public static void evaluateFunctionProposition(Proposition self)
equateEquivalentFunctionPropositions
public static void equateEquivalentFunctionPropositions(Proposition self)
evaluateEquivalentProposition
public static void evaluateEquivalentProposition(Proposition self)
evaluateNotProposition
public static void evaluateNotProposition(Proposition self)
evaluateOrProposition
public static void evaluateOrProposition(Proposition self)
evaluateAndProposition
public static void evaluateAndProposition(Proposition self)
evaluateNewProposition
public static void evaluateNewProposition(Proposition self)
reactToInferenceUpdate
public void reactToInferenceUpdate()
applicableForwardRuleP
public static boolean applicableForwardRuleP(Proposition rule,
Vector arguments)
traceForwardRule
public static void traceForwardRule(Proposition rule,
Proposition trigger,
Cons consequents)
postToForwardChainingQueue
public static void postToForwardChainingQueue(Proposition self,
World world)
postForEvaluation
public static void postForEvaluation(Proposition self,
Context world)
- Push 'self' onto the evaluation queue (unless it's already there).
- Parameters:
self
- world
-
evaluationStateSetter
public static void evaluationStateSetter(Proposition proposition,
Keyword state)
- Record the evaluation
state
of 'proposition'.
- Parameters:
proposition
- state
-
evaluationState
public static Keyword evaluationState(Proposition proposition)
- Return :POSTED if
proposition
is on the evaluation queue
for *context*, :EVALUATED if has been evaluated, or NULL if it has never been evaluated.
- Parameters:
proposition
-
- Returns:
- Keyword
updateDescriptionExtension
public static void updateDescriptionExtension(Proposition self)
findMatchingConceivedProposition
public static Proposition findMatchingConceivedProposition(Proposition goal)
findSimilarPropositions
public static SequenceIndex findSimilarPropositions(Proposition self)
selectArgumentWithBacklinks
public static Stella_Object selectArgumentWithBacklinks(Proposition proposition,
java.lang.Object[] MV_returnarray)
surrogatifyDiscouragedArguments
public static void surrogatifyDiscouragedArguments(Proposition self)
inheritsTruthFromMasterP
public static boolean inheritsTruthFromMasterP(Proposition self)
rewrapPropositionArguments
public static void rewrapPropositionArguments(Proposition self)
propositionHeadSortString
public static java.lang.String propositionHeadSortString(Proposition p)
propositionLessThanP
public static boolean propositionLessThanP(Proposition p1,
Proposition p2)
destroyRedundantProposition
public static void destroyRedundantProposition(Proposition proposition)
destroyProposition
public static Proposition destroyProposition(Proposition proposition)
- Retract and destroy the proposition 'proposition'.
Recursively destroy all propositions that reference 'proposition'.
Also, destroy all satellite propositions of 'proposition'.
- Parameters:
proposition
-
- Returns:
- Proposition
deletedPropositionP
public static boolean deletedPropositionP(Proposition self)
deletedPSetter
public boolean deletedPSetter(boolean value)
deletedP
public boolean deletedP()
- Description copied from class:
Stella_Object
- Default
deletedP
method which always returns FALSE. Objects
that inherit DYNAMIC-SLOTS-MIXIN also inherit the dynamically-allocated slot
deletedObjectP
which is read/writable with specializations of this method.
- Overrides:
deletedP
in class Stella_Object
- Returns:
- boolean
unassertProposition
public static void unassertProposition(Proposition self)
- Retract the truth, falsity or inconsistency of the proposition
self
.
- Parameters:
self
-
helpUpdateTopLevelProposition
public static Cons helpUpdateTopLevelProposition(Proposition proposition,
Keyword updatemode)
skolemizeExistsProposition
public static Proposition skolemizeExistsProposition(Proposition existsproposition)
updateEquivalenceProposition
public static Proposition updateEquivalenceProposition(Proposition proposition,
Keyword updatemode)
getSkolemAndValueTerms
public static Skolem getSkolemAndValueTerms(Proposition proposition,
java.lang.Object[] MV_returnarray)
functionWithDefinedValueP
public static boolean functionWithDefinedValueP(Proposition proposition)
finishCreatingFunctionProposition
public static Proposition finishCreatingFunctionProposition(Proposition proposition)
findDuplicateFunctionProposition
public static Proposition findDuplicateFunctionProposition(Proposition proposition)
verifyForallPropositions
public static void verifyForallPropositions(Proposition proposition)
helpCollectSkolemizedExistsVariablesP
public static boolean helpCollectSkolemizedExistsVariablesP(Proposition proposition,
List result)
collectSkolemizedExistsVariables
public static Vector collectSkolemizedExistsVariables(Proposition proposition)
topLevelExistsPropositionP
public static boolean topLevelExistsPropositionP(Proposition proposition)
postToCheckTypesAgenda
public static void postToCheckTypesAgenda(Proposition self)
handleArityViolation
public static void handleArityViolation(Proposition proposition,
int requiredarity)
handleArgumentTypeViolation
public static void handleArgumentTypeViolation(Proposition proposition,
Stella_Object arg,
Surrogate requiredtype)
verifyArgumentTypesAndCount
public static void verifyArgumentTypesAndCount(Proposition proposition)
embedNegationWithinFunctionInducedExists
public static Proposition embedNegationWithinFunctionInducedExists(Proposition existsproposition)
predicateOfFunctionInducedExists
public static Proposition predicateOfFunctionInducedExists(Proposition existsproposition)
functionInducedExistsP
public static boolean functionInducedExistsP(Proposition proposition)
forwardBackwardOptionHandler
public static void forwardBackwardOptionHandler(Proposition self,
StorageSlot slot,
Stella_Object tree)
clearPropositionAnnotations
public static void clearPropositionAnnotations(Proposition proposition)
finalizePropositionAnnotations
public static void finalizePropositionAnnotations(Proposition proposition)
removeAnnotation
public static void removeAnnotation(Proposition proposition,
Keyword key)
insertAnnotation
public static void insertAnnotation(Proposition proposition,
Keyword key,
Stella_Object value)
lookupAnnotation
public static Stella_Object lookupAnnotation(Proposition proposition,
Keyword key)
simpleSubrelationPropositionP
public static boolean simpleSubrelationPropositionP(Proposition proposition)
subsetOfPropositionP
public static boolean subsetOfPropositionP(Proposition proposition)
memberOfPropositionP
public static boolean memberOfPropositionP(Proposition proposition)
instantiateUndefinedSurrogates
public static void instantiateUndefinedSurrogates(Proposition self)
unfastenProposition
public static void unfastenProposition(Proposition proposition)
recursivelyFastenDownPropositions
public static Proposition recursivelyFastenDownPropositions(Proposition self,
boolean dontcheckforduplicatesP)
helpFastenDownPropositions
public static Proposition helpFastenDownPropositions(Proposition self,
boolean dontcheckforduplicatesP)
fastenDownOneProposition
public static Proposition fastenDownOneProposition(Proposition self,
boolean dontcheckforduplicatesP)
findDuplicateProposition
public static Proposition findDuplicateProposition(Proposition self)
findDuplicateComplexProposition
public static Proposition findDuplicateComplexProposition(Proposition self)
propositionHashIndex
public static int propositionHashIndex(Proposition self,
KeyValueMap mapping)
updateSkolemTypeFromIsaAssertions
public static void updateSkolemTypeFromIsaAssertions(Proposition self)
reviseEquivalences
public static void reviseEquivalences(Proposition proposition,
boolean goestrueP)
unequateConflictingDefaultValuesP
public static boolean unequateConflictingDefaultValuesP(Proposition newequatingprop)
equateValues
public static void equateValues(Proposition prop,
Stella_Object term1,
Stella_Object term2)
equateCollections
public static void equateCollections(Proposition prop,
Collection col1,
Collection col2)
constrainAsSubset
public static void constrainAsSubset(Proposition prop,
Collection set1,
Collection set2)
unifyTypes
public static void unifyTypes(Proposition prop,
Skolem term1,
Stella_Object term2)
signalTruthValueClash
public static void signalTruthValueClash(Proposition proposition)
signalVariableValueClash
public static void signalVariableValueClash(Proposition prop,
Skolem skolem,
Stella_Object value1,
Stella_Object value2)
signalUnificationClash
public static void signalUnificationClash(Proposition prop,
Stella_Object term1,
Stella_Object term2)
defaultFalseP
public static boolean defaultFalseP(Proposition self)
- Return true if
self
is default false.
- Parameters:
self
-
- Returns:
- boolean
defaultTrueP
public static boolean defaultTrueP(Proposition self)
- Return true if
self
is default true.
- Parameters:
self
-
- Returns:
- boolean
inconsistentP
public static boolean inconsistentP(Proposition self)
- Return true if
self
is inconsistent (true and false).
- Parameters:
self
-
- Returns:
- boolean
unknownP
public static boolean unknownP(Proposition self)
- Return true if the truth of
self
is unknown.
- Parameters:
self
-
- Returns:
- boolean
falseP
public static boolean falseP(Proposition self)
- Return true if
self
is false (or default-false if we are
considering default assertions).
- Parameters:
self
-
- Returns:
- boolean
trueP
public static boolean trueP(Proposition self)
- Return true if
self
is true (or default-true if we are
considering default assertions).
- Parameters:
self
-
- Returns:
- boolean
assignNativeSlotValue
public static void assignNativeSlotValue(Proposition prop,
Thing self,
StorageSlot slot,
Stella_Object value)
updateNativeSlotProposition
public static Cons updateNativeSlotProposition(Proposition proposition,
Keyword updatemode)
nativeSlotPropositionP
public static boolean nativeSlotPropositionP(Proposition self)
assignPropositionWeight
public static void assignPropositionWeight(Proposition self,
double weight)
updatePropositionTruthValue
public static void updatePropositionTruthValue(Proposition self,
Keyword updatemode)
deassignTruthValue
public static void deassignTruthValue(Proposition self,
Keyword updatemode)
assignTruthValue
public static void assignTruthValue(Proposition self,
Stella_Object truthvalue)
updateLinksAndTimestamps
public static void updateLinksAndTimestamps(Proposition proposition,
Keyword updatemode)
runGoesUnknownDemons
public static void runGoesUnknownDemons(Proposition proposition)
runGoesFalseDemons
public static void runGoesFalseDemons(Proposition proposition)
runGoesTrueDemons
public static void runGoesTrueDemons(Proposition proposition)
runTruthChangeDemon
public static void runTruthChangeDemon(Proposition proposition,
Surrogate truthchangerelation)
runUpdatePropositionDemon
public static void runUpdatePropositionDemon(Proposition proposition,
Keyword updatemode)
helpRunUpdatePropositionDemon
public static void helpRunUpdatePropositionDemon(Proposition proposition,
Keyword updatemode)
runUpdateEquivalencePropositionDemon
public static void runUpdateEquivalencePropositionDemon(Proposition proposition,
Keyword updatemode)
clipOrClashWithOldPredicateValue
public static void clipOrClashWithOldPredicateValue(Proposition proposition)
lastArgument
public static Stella_Object lastArgument(Proposition proposition)
getPropositionBaseOperator
public static Surrogate getPropositionBaseOperator(Proposition prop)
printObject
public void printObject(java.io.PrintStream stream)
- Overrides:
printObject
in class Stella_Object
accessPropositionSlotValue
public static Stella_Object accessPropositionSlotValue(Proposition self,
Symbol slotname,
Stella_Object value,
boolean setvalueP)
badP
public BooleanWrapper badP()
support
public Cons support()
weightDelta
public double weightDelta()
unfastenedP
public BooleanWrapper unfastenedP()
satellitePropositions
public List satellitePropositions()
variableTypeP
public BooleanWrapper variableTypeP()
primaryType
public Surrogate primaryType()
- Description copied from class:
Stella_Object
- Returns the primary type of
self
.
Gets defined automatically for every non-abstract subclass of OBJECT.
- Overrides:
primaryType
in class Stella_Object
- Returns:
- Surrogate