edu.isi.powerloom.logic
Class Proposition

java.lang.Object
  extended by edu.isi.stella.Stella_Object
      extended by edu.isi.stella.StandardObject
          extended by edu.isi.stella.ContextSensitiveObject
              extended by edu.isi.powerloom.logic.Proposition

public class Proposition
extends ContextSensitiveObject


Field Summary
 Vector arguments
           
 NonPagingIndex dependentPropositions
           
 KeyValueList dynamicSlots
           
 Keyword kind
           
 GeneralizedSymbol operator
           
 Stella_Object truthValue
           
 
Fields inherited from class edu.isi.stella.ContextSensitiveObject
homeContext
 
Constructor Summary
Proposition()
           
 
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 propositions 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.ContextSensitiveObject
homeModule
 
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
 

Field Detail

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
Constructor Detail

Proposition

public Proposition()
Method Detail

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 propositions 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