edu.isi.powerloom.logic
Class WhynotPartialMatch

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
                  extended by edu.isi.powerloom.logic.WhynotPartialMatch
Direct Known Subclasses:
WhynotDeepPartialMatch

public class WhynotPartialMatch
extends IncrementalPartialMatch

Variant of :BASIC partial match strategy to support WHYNOT queries.


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

unknownGoalCutoff

public int unknownGoalCutoff
Constructor Detail

WhynotPartialMatch

public WhynotPartialMatch()
Method Detail

newWhynotPartialMatch

public static WhynotPartialMatch newWhynotPartialMatch(Keyword kind,
                                                       ControlFrame controlFrame)

retrievePartialSolutions

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

computePartialTruth

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

initializePartialMatchStrategy

public void initializePartialMatchStrategy(QueryIterator query)
Overrides:
initializePartialMatchStrategy in class PartialMatchFrame

skipAndClauseP

public boolean skipAndClauseP(ControlFrame frame,
                              Cons forbiddenvars)
Overrides:
skipAndClauseP in class IncrementalPartialMatch

maxUnconstrainedFanout

public double maxUnconstrainedFanout()

continuePartialAntecedentsProof

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

chainingDepthDegradation

public double chainingDepthDegradation()

continuePartialAndProof

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

propositionWeight

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

cutoffPartialMatchP

public boolean cutoffPartialMatchP(boolean traceP)
Overrides:
cutoffPartialMatchP in class PartialMatchFrame

numberOfFailedSubgoals

public int numberOfFailedSubgoals()

computeUnknownGoalCutoff

public int computeUnknownGoalCutoff()

setDynamicCutoff

public void setDynamicCutoff()
Overrides:
setDynamicCutoff in class PartialMatchFrame

createPartialMatchFrame

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

accessWhynotPartialMatchSlotValue

public static Stella_Object accessWhynotPartialMatchSlotValue(WhynotPartialMatch 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 IncrementalPartialMatch
Returns:
Surrogate