edu.isi.powerloom.logic
Class NnPartialMatch

java.lang.Object
  extended by edu.isi.stella.Stella_Object
      extended by edu.isi.stella.StandardObject
          extended by edu.isi.powerloom.logic.PartialMatchFrame
              extended by edu.isi.powerloom.logic.NnPartialMatch

public class NnPartialMatch
extends PartialMatchFrame


Field Summary
 double accumulatedScore
           
 int arity
           
 double maximumScore
           
 Cons rules
           
 
Fields inherited from class edu.isi.powerloom.logic.PartialMatchFrame
argumentScores, argumentWeights, child, controlFrame, dynamicCutoff, kind, negativeScore, parent, positiveScore, successP, unboundVars
 
Constructor Summary
NnPartialMatch()
           
 
Method Summary
static Stella_Object accessNnPartialMatchSlotValue(NnPartialMatch self, Symbol slotname, Stella_Object value, boolean setvalueP)
           
 double computeAndScore()
           
 double computeDynamicCutoff()
           
 double computeGoalScore()
           
 double computeNotScore()
           
 double computeOrScore()
           
 double computePartialTruth(QueryIterator query)
           
 PartialMatchFrame createPartialMatchFrame(ControlFrame frame, Keyword kind)
           
 boolean earlyPartialMatchAndFailureP()
           
 boolean earlyPartialMatchOrSuccessP()
           
 void initializeNnPartialMatch()
           
static NnPartialMatch newNnPartialMatch(Keyword kind, ControlFrame controlFrame)
           
 void popPartialMatchScore()
           
 Surrogate primaryType()
          Returns the primary type of self.
 double propositionWeight(Proposition proposition)
           
static boolean pruneNnSearchP(NnPartialMatch self)
           
 void recordPartialMatchScore(double score, double weight)
           
 void setBasePartialMatchTruth(Proposition prop, Keyword truth)
           
 void setCachePartialTruth(AtomicGoalCache cache)
           
 void setJustificationPartialTruth(Justification justification)
           
 
Methods inherited from class edu.isi.powerloom.logic.PartialMatchFrame
accessPartialMatchFrameSlotValue, allowUnboundVariablesP, clearFramePartialTruth, continuePartialAndProof, continuePartialAntecedentsProof, continuePartialFailProof, continuePartialNotProof, continuePartialOrProof, continuePartialStrategiesProofs, cutoffPartialMatchP, definedFramePartialTruthP, initializePartialMatchStrategy, linkToParentPartialMatchFrame, propagateFramePartialTruth, retrievePartialSolutions, setDynamicCutoff, setFramePartialTruth, traceFramePartialTruth
 
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, deletedP, 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, homeModule, 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, printObject, 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

accumulatedScore

public double accumulatedScore

maximumScore

public double maximumScore

rules

public Cons rules

arity

public int arity
Constructor Detail

NnPartialMatch

public NnPartialMatch()
Method Detail

newNnPartialMatch

public static NnPartialMatch newNnPartialMatch(Keyword kind,
                                               ControlFrame controlFrame)

computePartialTruth

public double computePartialTruth(QueryIterator query)
Overrides:
computePartialTruth in class PartialMatchFrame

pruneNnSearchP

public static boolean pruneNnSearchP(NnPartialMatch self)

earlyPartialMatchOrSuccessP

public boolean earlyPartialMatchOrSuccessP()
Overrides:
earlyPartialMatchOrSuccessP in class PartialMatchFrame

earlyPartialMatchAndFailureP

public boolean earlyPartialMatchAndFailureP()
Overrides:
earlyPartialMatchAndFailureP in class PartialMatchFrame

computeGoalScore

public double computeGoalScore()
Overrides:
computeGoalScore in class PartialMatchFrame

computeNotScore

public double computeNotScore()
Overrides:
computeNotScore in class PartialMatchFrame

computeOrScore

public double computeOrScore()
Overrides:
computeOrScore in class PartialMatchFrame

computeAndScore

public double computeAndScore()
Overrides:
computeAndScore in class PartialMatchFrame

popPartialMatchScore

public void popPartialMatchScore()
Overrides:
popPartialMatchScore in class PartialMatchFrame

recordPartialMatchScore

public void recordPartialMatchScore(double score,
                                    double weight)
Overrides:
recordPartialMatchScore in class PartialMatchFrame

setJustificationPartialTruth

public void setJustificationPartialTruth(Justification justification)
Overrides:
setJustificationPartialTruth in class PartialMatchFrame

setCachePartialTruth

public void setCachePartialTruth(AtomicGoalCache cache)
Overrides:
setCachePartialTruth in class PartialMatchFrame

setBasePartialMatchTruth

public void setBasePartialMatchTruth(Proposition prop,
                                     Keyword truth)
Overrides:
setBasePartialMatchTruth in class PartialMatchFrame

propositionWeight

public double propositionWeight(Proposition proposition)
Overrides:
propositionWeight in class PartialMatchFrame

computeDynamicCutoff

public double computeDynamicCutoff()
Overrides:
computeDynamicCutoff in class PartialMatchFrame

createPartialMatchFrame

public PartialMatchFrame createPartialMatchFrame(ControlFrame frame,
                                                 Keyword kind)
Overrides:
createPartialMatchFrame in class PartialMatchFrame

initializeNnPartialMatch

public void initializeNnPartialMatch()

accessNnPartialMatchSlotValue

public static Stella_Object accessNnPartialMatchSlotValue(NnPartialMatch self,
                                                          Symbol slotname,
                                                          Stella_Object value,
                                                          boolean setvalueP)

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