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.
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, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, 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, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceToBoolean, coerceToModule, coerceToModuleName, coerceToSymbol, coerceToXmlElement, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, cons, 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, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, 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, kvCons, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, lptrans, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, 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, 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, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, 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 |
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
PartialMatchFrame
public PartialMatchFrame()
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)