edu.isi.powerloom.logic
Class PartialMatchFrame

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

Direct Known Subclasses:

IncrementalPartialMatch, NnPartialMatch

public abstract class PartialMatchFrame
extends StandardObject

Abstract class acting as placeholder for system and user-defined partial match implementations.

Field Summary

Cons	argumentScores
Cons	argumentWeights
PartialMatchFrame	child
ControlFrame	controlFrame
double	dynamicCutoff
Keyword	kind
double	negativeScore
PartialMatchFrame	parent
double	positiveScore
boolean	successP
Cons	unboundVars

Constructor Summary

PartialMatchFrame()

Method Summary

static Stella_Object	accessPartialMatchFrameSlotValue(PartialMatchFrame self, Symbol slotname, Stella_Object value, boolean setvalueP)
boolean	allowUnboundVariablesP()
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)
boolean	cutoffPartialMatchP(boolean traceP)
boolean	definedFramePartialTruthP()
boolean	earlyPartialMatchAndFailureP()
boolean	earlyPartialMatchOrSuccessP()
void	initializePartialMatchStrategy(QueryIterator query)
static void	linkToParentPartialMatchFrame(PartialMatchFrame self)
void	popPartialMatchScore()
void	propagateFramePartialTruth(ControlFrame target)
double	propositionWeight(Proposition proposition)
void	recordPartialMatchScore(double score, double weight)
QueryIterator	retrievePartialSolutions(QueryIterator query)
void	setBasePartialMatchTruth(Proposition prop, Keyword truth)
void	setCachePartialTruth(AtomicGoalCache cache)
void	setDynamicCutoff()
void	setFramePartialTruth(TruthValue truthvalue, double posscore, double negscore, boolean ignorepolarityP)
void	setJustificationPartialTruth(Justification justification)
void	traceFramePartialTruth(Keyword lastmove, OutputStream stream)

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, primaryType, 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

kind

public Keyword kind

controlFrame

public ControlFrame controlFrame

parent

public PartialMatchFrame parent

child

public PartialMatchFrame child

positiveScore

public double positiveScore

negativeScore

public double negativeScore

dynamicCutoff

public double dynamicCutoff

argumentScores

public Cons argumentScores

argumentWeights

public Cons argumentWeights

unboundVars

public Cons unboundVars

successP

public boolean successP

Constructor Detail

PartialMatchFrame

public PartialMatchFrame()

Method Detail

computePartialTruth

public double computePartialTruth(QueryIterator query)

retrievePartialSolutions

public QueryIterator retrievePartialSolutions(QueryIterator query)

initializePartialMatchStrategy

public void initializePartialMatchStrategy(QueryIterator query)

earlyPartialMatchOrSuccessP

public boolean earlyPartialMatchOrSuccessP()

earlyPartialMatchAndFailureP

public boolean earlyPartialMatchAndFailureP()

popPartialMatchScore

public void popPartialMatchScore()

recordPartialMatchScore

public void recordPartialMatchScore(double score,
                                    double weight)

setBasePartialMatchTruth

public void setBasePartialMatchTruth(Proposition prop,
                                     Keyword truth)

continuePartialAntecedentsProof

public Keyword continuePartialAntecedentsProof(Keyword lastmove)

continuePartialStrategiesProofs

public Keyword continuePartialStrategiesProofs(Keyword lastmove)

computeGoalScore

public double computeGoalScore()

continuePartialFailProof

public Keyword continuePartialFailProof(Keyword lastmove)

continuePartialNotProof

public Keyword continuePartialNotProof(Keyword lastmove)

computeNotScore

public double computeNotScore()

continuePartialOrProof

public Keyword continuePartialOrProof(Keyword lastmove)

computeOrScore

public double computeOrScore()

continuePartialAndProof

public Keyword continuePartialAndProof(ControlFrame frame,
                                       Keyword lastmove)

computeAndScore

public double computeAndScore()

allowUnboundVariablesP

public boolean allowUnboundVariablesP()

setJustificationPartialTruth

public void setJustificationPartialTruth(Justification justification)

setCachePartialTruth

public void setCachePartialTruth(AtomicGoalCache cache)

traceFramePartialTruth

public void traceFramePartialTruth(Keyword lastmove,
                                   OutputStream stream)

propagateFramePartialTruth

public void propagateFramePartialTruth(ControlFrame target)

setFramePartialTruth

public void setFramePartialTruth(TruthValue truthvalue,
                                 double posscore,
                                 double negscore,
                                 boolean ignorepolarityP)

definedFramePartialTruthP

public boolean definedFramePartialTruthP()

clearFramePartialTruth

public void clearFramePartialTruth()

propositionWeight

public double propositionWeight(Proposition proposition)

cutoffPartialMatchP

public boolean cutoffPartialMatchP(boolean traceP)

setDynamicCutoff

public void setDynamicCutoff()

computeDynamicCutoff

public double computeDynamicCutoff()

createPartialMatchFrame

public PartialMatchFrame createPartialMatchFrame(ControlFrame frame,
                                                 Keyword kind)

linkToParentPartialMatchFrame

public static void linkToParentPartialMatchFrame(PartialMatchFrame self)

accessPartialMatchFrameSlotValue

public static Stella_Object accessPartialMatchFrameSlotValue(PartialMatchFrame self,
                                                             Symbol slotname,
                                                             Stella_Object value,
                                                             boolean setvalueP)