edu.isi.powerloom.pl_kernel_kb
Class PlKernelKb
java.lang.Object
edu.isi.powerloom.pl_kernel_kb.PlKernelKb
public class PlKernelKb
- extends java.lang.Object
Method Summary |
static NumberWrapper |
absComputation(NumberWrapper x)
|
static Keyword |
absoluteValueSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Stella_Object |
accessIntervalBounds(Stella_Object x,
Keyword lowerorupper,
java.lang.Object[] MV_returnarray)
|
static boolean |
arithmeticEqualTest(NumberWrapper x,
NumberWrapper y)
|
static boolean |
arithmeticGreaterTest(NumberWrapper x,
NumberWrapper y)
|
static boolean |
arithmeticLessTest(NumberWrapper x,
NumberWrapper y)
|
static IntegerWrapper |
arityComputation(Stella_Object descriptionarg)
|
static Keyword |
aritySpecialist(ControlFrame frame,
Keyword lastmove)
|
static void |
assertSynonymDemon(Proposition self)
|
static Keyword |
boundVariablesSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
closedSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
collectIntoSetSpecialist(ControlFrame frame,
Keyword lastmove)
|
static boolean |
compareIntervalBoundsP(Surrogate relation,
Stella_Object x,
Stella_Object y)
|
static Keyword |
computationSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Stella_Object |
concatenateConstraint(IntegerWrapper missingArgument,
StringWrapper x1,
StringWrapper x2,
StringWrapper x3)
|
static Keyword |
conceptPrototypeSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
constraintSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Context |
contextOfComputation(Stella_Object instance)
|
static IntervalCache |
createIntervalCache(LogicObject intervalmember)
|
static Keyword |
cutSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
differentSpecialist(ControlFrame frame,
Keyword lastmove)
|
static NumberWrapper |
divideComputation(NumberWrapper x,
NumberWrapper y)
|
static Stella_Object |
divideConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
|
static Keyword |
emptySpecialist(ControlFrame frame,
Keyword lastmove)
|
static void |
evaluateAdjacentInequalities(LogicObject self)
|
static Keyword |
forkSpecialist(ControlFrame frame,
Keyword lastmove)
|
static IntervalCache |
getIntervalCache(LogicObject self)
|
static Keyword |
hasPartitionMembershipSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
holdsSpecialist(ControlFrame frame,
Keyword lastmove)
|
static void |
inequalityEvaluator(Proposition self)
|
static Keyword |
inequalitySpecialist(ControlFrame frame,
Keyword lastmove)
|
static void |
initializeKernelKb()
Bootstrap the PowerLoom built-in kernel KB. |
static Keyword |
instanceOfSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Surrogate |
inverseInequalityOperator(Surrogate operator)
|
static Keyword |
irreflexiveRelationSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
istSpecialist(ControlFrame frame,
Keyword lastmove)
|
static IntegerWrapper |
lengthComputation(Stella_Object x)
|
static Keyword |
lengthOfListSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
lessSpecialistHelper(ControlFrame frame,
Surrogate relation,
Stella_Object xarg,
Stella_Object yarg)
|
static Keyword |
maximumOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
meanOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
medianOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
|
static void |
memberOfEvaluator(Proposition self)
|
static Keyword |
memberOfSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
minimumOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
|
static NumberWrapper |
minusComputation(NumberWrapper x,
NumberWrapper y)
|
static Stella_Object |
minusConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
|
static Stella_Object |
nameToObjectComputation(StringWrapper namearg)
|
static NumberWrapper |
negateComputation(NumberWrapper x)
|
static Stella_Object |
negateConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2)
|
static boolean |
nullLiteralWrapperP(Stella_Object self)
|
static boolean |
nullNumberP(NumberWrapper self)
|
static StringWrapper |
objectNameComputation(Stella_Object objectarg)
|
static NumberWrapper |
plusComputation(NumberWrapper x,
NumberWrapper y)
|
static Stella_Object |
plusConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
|
static void |
printInterval(java.io.PrintStream stream,
Stella_Object lower,
boolean strictLowerP,
Stella_Object upper,
boolean strictUpperP)
|
static Keyword |
projectColumnSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
querySpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
rangeMaxCardinalitySpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
rangeMinCardinalitySpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
rangeTypeSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
reflexiveRelationSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
refutationDisjointSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
relationHierarchySpecialist(ControlFrame frame,
Keyword lastmove)
|
static void |
retractSynonymDemon(Proposition self)
|
static boolean |
satisfiesIntervalBoundsP(Stella_Object renamed_Object,
Stella_Object value)
|
static Keyword |
singleValuedSpecialist(ControlFrame frame,
Keyword lastmove)
|
static NumberWrapper |
sqrtComputation(NumberWrapper x)
|
static Stella_Object |
sqrtConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2)
|
static Keyword |
squareRootSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
standardDeviationSpecialist(ControlFrame frame,
Keyword lastmove)
|
static IntegerWrapper |
stringMatchComputation(Stella_Object pattern,
Stella_Object x,
Stella_Object start,
Stella_Object end)
|
static Keyword |
subsequenceSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
subsetOfSpecialist(ControlFrame frame,
Keyword lastmove)
|
static Keyword |
sumOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
|
static NumberWrapper |
timesComputation(NumberWrapper x,
NumberWrapper y)
|
static Stella_Object |
timesConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
|
static Keyword |
varianceSpecialist(ControlFrame frame,
Keyword lastmove)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
$PL_KERNEL_KB_DEFINITIONS$
public static Cons $PL_KERNEL_KB_DEFINITIONS$
SYM_PL_KERNEL_KB_STARTUP_PL_KERNEL_KB
public static Symbol SYM_PL_KERNEL_KB_STARTUP_PL_KERNEL_KB
SGT_PL_KERNEL_KB_INTEGER_INTERVAL
public static Surrogate SGT_PL_KERNEL_KB_INTEGER_INTERVAL
SYM_PL_KERNEL_KB_INTERVAL_LOWER_BOUND
public static Symbol SYM_PL_KERNEL_KB_INTERVAL_LOWER_BOUND
SYM_PL_KERNEL_KB_INTERVAL_UPPER_BOUND
public static Symbol SYM_PL_KERNEL_KB_INTERVAL_UPPER_BOUND
SYM_PL_KERNEL_KB_INTERVAL_MEMBER
public static Symbol SYM_PL_KERNEL_KB_INTERVAL_MEMBER
SYM_STELLA_LOWER_BOUND
public static Symbol SYM_STELLA_LOWER_BOUND
SYM_STELLA_UPPER_BOUND
public static Symbol SYM_STELLA_UPPER_BOUND
SYM_PL_KERNEL_KB_STRICT_LOWER_BOUNDp
public static Symbol SYM_PL_KERNEL_KB_STRICT_LOWER_BOUNDp
SYM_PL_KERNEL_KB_STRICT_UPPER_BOUNDp
public static Symbol SYM_PL_KERNEL_KB_STRICT_UPPER_BOUNDp
SGT_PL_KERNEL_KB_INTERVAL_CACHE_OF
public static Surrogate SGT_PL_KERNEL_KB_INTERVAL_CACHE_OF
SGT_PL_KERNEL_KB_g
public static Surrogate SGT_PL_KERNEL_KB_g
SGT_PL_KERNEL_KB_l
public static Surrogate SGT_PL_KERNEL_KB_l
SGT_PL_KERNEL_KB_el
public static Surrogate SGT_PL_KERNEL_KB_el
KWD_LOWER_BOUND
public static Keyword KWD_LOWER_BOUND
KWD_UPPER_BOUND
public static Keyword KWD_UPPER_BOUND
SGT_PL_KERNEL_KB_e
public static Surrogate SGT_PL_KERNEL_KB_e
SYM_PL_KERNEL_KB_STARTUP_ARITHMETIC
public static Symbol SYM_PL_KERNEL_KB_STARTUP_ARITHMETIC
PlKernelKb
public PlKernelKb()
computationSpecialist
public static Keyword computationSpecialist(ControlFrame frame,
Keyword lastmove)
constraintSpecialist
public static Keyword constraintSpecialist(ControlFrame frame,
Keyword lastmove)
squareRootSpecialist
public static Keyword squareRootSpecialist(ControlFrame frame,
Keyword lastmove)
absoluteValueSpecialist
public static Keyword absoluteValueSpecialist(ControlFrame frame,
Keyword lastmove)
memberOfSpecialist
public static Keyword memberOfSpecialist(ControlFrame frame,
Keyword lastmove)
memberOfEvaluator
public static void memberOfEvaluator(Proposition self)
instanceOfSpecialist
public static Keyword instanceOfSpecialist(ControlFrame frame,
Keyword lastmove)
subsetOfSpecialist
public static Keyword subsetOfSpecialist(ControlFrame frame,
Keyword lastmove)
holdsSpecialist
public static Keyword holdsSpecialist(ControlFrame frame,
Keyword lastmove)
cutSpecialist
public static Keyword cutSpecialist(ControlFrame frame,
Keyword lastmove)
boundVariablesSpecialist
public static Keyword boundVariablesSpecialist(ControlFrame frame,
Keyword lastmove)
forkSpecialist
public static Keyword forkSpecialist(ControlFrame frame,
Keyword lastmove)
querySpecialist
public static Keyword querySpecialist(ControlFrame frame,
Keyword lastmove)
conceptPrototypeSpecialist
public static Keyword conceptPrototypeSpecialist(ControlFrame frame,
Keyword lastmove)
closedSpecialist
public static Keyword closedSpecialist(ControlFrame frame,
Keyword lastmove)
singleValuedSpecialist
public static Keyword singleValuedSpecialist(ControlFrame frame,
Keyword lastmove)
collectIntoSetSpecialist
public static Keyword collectIntoSetSpecialist(ControlFrame frame,
Keyword lastmove)
lengthOfListSpecialist
public static Keyword lengthOfListSpecialist(ControlFrame frame,
Keyword lastmove)
minimumOfNumbersSpecialist
public static Keyword minimumOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
maximumOfNumbersSpecialist
public static Keyword maximumOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
sumOfNumbersSpecialist
public static Keyword sumOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
meanOfNumbersSpecialist
public static Keyword meanOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
medianOfNumbersSpecialist
public static Keyword medianOfNumbersSpecialist(ControlFrame frame,
Keyword lastmove)
standardDeviationSpecialist
public static Keyword standardDeviationSpecialist(ControlFrame frame,
Keyword lastmove)
varianceSpecialist
public static Keyword varianceSpecialist(ControlFrame frame,
Keyword lastmove)
hasPartitionMembershipSpecialist
public static Keyword hasPartitionMembershipSpecialist(ControlFrame frame,
Keyword lastmove)
refutationDisjointSpecialist
public static Keyword refutationDisjointSpecialist(ControlFrame frame,
Keyword lastmove)
emptySpecialist
public static Keyword emptySpecialist(ControlFrame frame,
Keyword lastmove)
contextOfComputation
public static Context contextOfComputation(Stella_Object instance)
istSpecialist
public static Keyword istSpecialist(ControlFrame frame,
Keyword lastmove)
rangeMinCardinalitySpecialist
public static Keyword rangeMinCardinalitySpecialist(ControlFrame frame,
Keyword lastmove)
rangeMaxCardinalitySpecialist
public static Keyword rangeMaxCardinalitySpecialist(ControlFrame frame,
Keyword lastmove)
rangeTypeSpecialist
public static Keyword rangeTypeSpecialist(ControlFrame frame,
Keyword lastmove)
reflexiveRelationSpecialist
public static Keyword reflexiveRelationSpecialist(ControlFrame frame,
Keyword lastmove)
irreflexiveRelationSpecialist
public static Keyword irreflexiveRelationSpecialist(ControlFrame frame,
Keyword lastmove)
objectNameComputation
public static StringWrapper objectNameComputation(Stella_Object objectarg)
nameToObjectComputation
public static Stella_Object nameToObjectComputation(StringWrapper namearg)
arityComputation
public static IntegerWrapper arityComputation(Stella_Object descriptionarg)
aritySpecialist
public static Keyword aritySpecialist(ControlFrame frame,
Keyword lastmove)
relationHierarchySpecialist
public static Keyword relationHierarchySpecialist(ControlFrame frame,
Keyword lastmove)
projectColumnSpecialist
public static Keyword projectColumnSpecialist(ControlFrame frame,
Keyword lastmove)
assertSynonymDemon
public static void assertSynonymDemon(Proposition self)
retractSynonymDemon
public static void retractSynonymDemon(Proposition self)
differentSpecialist
public static Keyword differentSpecialist(ControlFrame frame,
Keyword lastmove)
initializeKernelKb
public static void initializeKernelKb()
- Bootstrap the PowerLoom built-in kernel KB.
arithmeticEqualTest
public static boolean arithmeticEqualTest(NumberWrapper x,
NumberWrapper y)
arithmeticLessTest
public static boolean arithmeticLessTest(NumberWrapper x,
NumberWrapper y)
arithmeticGreaterTest
public static boolean arithmeticGreaterTest(NumberWrapper x,
NumberWrapper y)
plusComputation
public static NumberWrapper plusComputation(NumberWrapper x,
NumberWrapper y)
minusComputation
public static NumberWrapper minusComputation(NumberWrapper x,
NumberWrapper y)
timesComputation
public static NumberWrapper timesComputation(NumberWrapper x,
NumberWrapper y)
divideComputation
public static NumberWrapper divideComputation(NumberWrapper x,
NumberWrapper y)
sqrtComputation
public static NumberWrapper sqrtComputation(NumberWrapper x)
negateComputation
public static NumberWrapper negateComputation(NumberWrapper x)
absComputation
public static NumberWrapper absComputation(NumberWrapper x)
plusConstraint
public static Stella_Object plusConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
minusConstraint
public static Stella_Object minusConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
timesConstraint
public static Stella_Object timesConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
divideConstraint
public static Stella_Object divideConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2,
NumberWrapper x3)
negateConstraint
public static Stella_Object negateConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2)
sqrtConstraint
public static Stella_Object sqrtConstraint(IntegerWrapper missingArgument,
NumberWrapper x1,
NumberWrapper x2)
printInterval
public static void printInterval(java.io.PrintStream stream,
Stella_Object lower,
boolean strictLowerP,
Stella_Object upper,
boolean strictUpperP)
createIntervalCache
public static IntervalCache createIntervalCache(LogicObject intervalmember)
getIntervalCache
public static IntervalCache getIntervalCache(LogicObject self)
evaluateAdjacentInequalities
public static void evaluateAdjacentInequalities(LogicObject self)
inverseInequalityOperator
public static Surrogate inverseInequalityOperator(Surrogate operator)
accessIntervalBounds
public static Stella_Object accessIntervalBounds(Stella_Object x,
Keyword lowerorupper,
java.lang.Object[] MV_returnarray)
compareIntervalBoundsP
public static boolean compareIntervalBoundsP(Surrogate relation,
Stella_Object x,
Stella_Object y)
nullNumberP
public static boolean nullNumberP(NumberWrapper self)
nullLiteralWrapperP
public static boolean nullLiteralWrapperP(Stella_Object self)
satisfiesIntervalBoundsP
public static boolean satisfiesIntervalBoundsP(Stella_Object renamed_Object,
Stella_Object value)
lessSpecialistHelper
public static Keyword lessSpecialistHelper(ControlFrame frame,
Surrogate relation,
Stella_Object xarg,
Stella_Object yarg)
inequalitySpecialist
public static Keyword inequalitySpecialist(ControlFrame frame,
Keyword lastmove)
inequalityEvaluator
public static void inequalityEvaluator(Proposition self)
concatenateConstraint
public static Stella_Object concatenateConstraint(IntegerWrapper missingArgument,
StringWrapper x1,
StringWrapper x2,
StringWrapper x3)
subsequenceSpecialist
public static Keyword subsequenceSpecialist(ControlFrame frame,
Keyword lastmove)
stringMatchComputation
public static IntegerWrapper stringMatchComputation(Stella_Object pattern,
Stella_Object x,
Stella_Object start,
Stella_Object end)
lengthComputation
public static IntegerWrapper lengthComputation(Stella_Object x)