edu.isi.powerloom.logic
Class IncrementalPartialMatch

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.IncrementalPartialMatch
Direct Known Subclasses:
WhynotPartialMatch

public class IncrementalPartialMatch
extends PartialMatchFrame


Field Summary
 double accumulatedScore
           
 double accumulatedWeight
           
 double maximumScore
           
 double totalWeight
           
 
Fields inherited from class edu.isi.powerloom.logic.PartialMatchFrame
argumentScores, argumentWeights, child, controlFrame, dynamicCutoff, kind, negativeScore, parent, positiveScore, successP, unboundVars
 
Constructor Summary
IncrementalPartialMatch()
           
 
Method Summary
static Stella_Object accessIncrementalPartialMatchSlotValue(IncrementalPartialMatch self, Symbol slotname, Stella_Object value, boolean setvalueP)
           
 void clearFramePartialTruth()
           
 double computeAndScore()
           
 double computeDynamicCutoff()
           
 double computeGoalScore()
           
 double computeNotScore()
           
 double computeOrScore()
           
 double computePartialTruth(QueryIterator query)
           
 Keyword continuePartialAndProof(ControlFrame frame, Keyword lastmove)
           
 Keyword continuePartialAntecedentsProof(Keyword lastmove)
           
 Keyword continuePartialFailProof(Keyword lastmove)
           
 Keyword continuePartialNotProof(Keyword lastmove)
           
 Keyword continuePartialOrProof(Keyword lastmove)
           
 Keyword continuePartialStrategiesProofs(Keyword lastmove)
           
 PartialMatchFrame createPartialMatchFrame(ControlFrame frame, Keyword kind)
           
static void initializeIncrementalPartialMatch(IncrementalPartialMatch self)
           
static IncrementalPartialMatch newIncrementalPartialMatch(Keyword kind, ControlFrame controlFrame)
           
 void popAndPartialMatchScore()
           
 void popOrPartialMatchScore()
           
 Surrogate primaryType()
          Returns the primary type of self.
 double propositionWeight(Proposition proposition)
           
 void pushAndPartialMatchScore(double score, double weight)
           
 void pushOrPartialMatchScore(double score, double weight)
           
 QueryIterator retrievePartialSolutions(QueryIterator query)
           
 boolean skipAndClauseP(ControlFrame frame, Cons forbiddenvars)
           
 
Methods inherited from class edu.isi.powerloom.logic.PartialMatchFrame
accessPartialMatchFrameSlotValue, allowUnboundVariablesP, cutoffPartialMatchP, definedFramePartialTruthP, earlyPartialMatchAndFailureP, earlyPartialMatchOrSuccessP, initializePartialMatchStrategy, linkToParentPartialMatchFrame, popPartialMatchScore, propagateFramePartialTruth, recordPartialMatchScore, setBasePartialMatchTruth, setCachePartialTruth, setDynamicCutoff, setFramePartialTruth, setJustificationPartialTruth, 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

accumulatedWeight

public double accumulatedWeight

totalWeight

public double totalWeight

maximumScore

public double maximumScore
Constructor Detail

IncrementalPartialMatch

public IncrementalPartialMatch()
Method Detail

newIncrementalPartialMatch

public static IncrementalPartialMatch newIncrementalPartialMatch(Keyword kind,
                                                                 ControlFrame controlFrame)

computePartialTruth

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

retrievePartialSolutions

public QueryIterator retrievePartialSolutions(QueryIterator query)
Overrides:
retrievePartialSolutions in class PartialMatchFrame

continuePartialFailProof

public Keyword continuePartialFailProof(Keyword lastmove)
Overrides:
continuePartialFailProof in class PartialMatchFrame

continuePartialAntecedentsProof

public Keyword continuePartialAntecedentsProof(Keyword lastmove)
Overrides:
continuePartialAntecedentsProof in class PartialMatchFrame

continuePartialStrategiesProofs

public Keyword continuePartialStrategiesProofs(Keyword lastmove)
Overrides:
continuePartialStrategiesProofs in class PartialMatchFrame

computeGoalScore

public double computeGoalScore()
Overrides:
computeGoalScore in class PartialMatchFrame

continuePartialNotProof

public Keyword continuePartialNotProof(Keyword lastmove)
Overrides:
continuePartialNotProof in class PartialMatchFrame

computeNotScore

public double computeNotScore()
Overrides:
computeNotScore in class PartialMatchFrame

continuePartialOrProof

public Keyword continuePartialOrProof(Keyword lastmove)
Overrides:
continuePartialOrProof in class PartialMatchFrame

computeOrScore

public double computeOrScore()
Overrides:
computeOrScore in class PartialMatchFrame

popOrPartialMatchScore

public void popOrPartialMatchScore()

pushOrPartialMatchScore

public void pushOrPartialMatchScore(double score,
                                    double weight)

continuePartialAndProof

public Keyword continuePartialAndProof(ControlFrame frame,
                                       Keyword lastmove)
Overrides:
continuePartialAndProof in class PartialMatchFrame

skipAndClauseP

public boolean skipAndClauseP(ControlFrame frame,
                              Cons forbiddenvars)

computeAndScore

public double computeAndScore()
Overrides:
computeAndScore in class PartialMatchFrame

popAndPartialMatchScore

public void popAndPartialMatchScore()

pushAndPartialMatchScore

public void pushAndPartialMatchScore(double score,
                                     double weight)

propositionWeight

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

clearFramePartialTruth

public void clearFramePartialTruth()
Overrides:
clearFramePartialTruth 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

initializeIncrementalPartialMatch

public static void initializeIncrementalPartialMatch(IncrementalPartialMatch self)

accessIncrementalPartialMatchSlotValue

public static Stella_Object accessIncrementalPartialMatchSlotValue(IncrementalPartialMatch 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