com.cyc.cycjava.cycl.inference.harness
Class abnormal

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.harness.abnormal

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class abnormal
extends SubLTranslatedFile

Nested Class Summary

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$abnormality_checking_enabled$ When non-nil, #$abnormal reasoning is performed to defeat proofs.
static SubLSymbol	$abnormality_transformation_depth$
static SubLObject	$const0$abnormal
static SubLObject	$const3$TheList
static SubLSymbol	$kw10$ANSWER_LANGUAGE
static SubLSymbol	$kw11$HL
static SubLSymbol	$kw12$ALLOW_ABNORMALITY_CHECKING_
static SubLSymbol	$kw16$INFERENCE_REJECTED
static SubLSymbol	$kw18$ABNORMAL
static SubLSymbol	$kw2$PROBLEM_STORE
static SubLSymbol	$kw4$MAX_NUMBER
static SubLSymbol	$kw5$MAX_TRANSFORMATION_DEPTH
static SubLSymbol	$kw6$RESULT_UNIQUENESS
static SubLSymbol	$kw7$BINDINGS
static SubLSymbol	$kw8$RETURN
static SubLSymbol	$kw9$BINDINGS_AND_SUPPORTS
static SubLString	$str14$Assume_it_isn_t_abnormal
static SubLString	$str15$Abnormality_checker_doesn_t_have_
static SubLString	$str17$Abnormality_checker_doesn_t_have_
static SubLString	$str19$_S_are_exceptions_to__S
static SubLSymbol	$sym1$VARIABLE_BINDING_VALUE
static SubLSymbol	$sym13$SECOND
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	abnormality_except_support_enabledP()
static SubLObject	declare_abnormal_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	forward_abnormality_check(SubLObject propagation_mt, SubLObject rule, SubLObject trigger_bindings, SubLObject inference_bindings) Reject forward inference if the given bindings are abnormal wrt RULE.
static SubLObject	forward_bindings_abnormalP(SubLObject propagation_mt, SubLObject rule, SubLObject trigger_bindings, SubLObject inference_bindings)
static SubLObject	init_abnormal_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	rule_bindings_abnormalP(SubLObject store, SubLObject rule, SubLObject rule_bindings, SubLObject transformation_mt) Return non-nil iff RULE-BINDINGS can be proven to be abnormal wrt RULE in in problem-store STORE under the assumptions of TRANSFORMATION-MT.
static SubLObject	rule_has_exceptionsP(SubLObject rule) Return T iff RULE is a rule that has some exceptions somewhere.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_abnormal_file()

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$abnormality_checking_enabled$

public static SubLSymbol $abnormality_checking_enabled$

When non-nil, #$abnormal reasoning is performed to defeat proofs.

$abnormality_transformation_depth$

public static SubLSymbol $abnormality_transformation_depth$

$const0$abnormal

public static final SubLObject $const0$abnormal

$sym1$VARIABLE_BINDING_VALUE

public static final SubLSymbol $sym1$VARIABLE_BINDING_VALUE

$kw2$PROBLEM_STORE

public static final SubLSymbol $kw2$PROBLEM_STORE

$const3$TheList

public static final SubLObject $const3$TheList

$kw4$MAX_NUMBER

public static final SubLSymbol $kw4$MAX_NUMBER

$kw5$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw5$MAX_TRANSFORMATION_DEPTH

$kw6$RESULT_UNIQUENESS

public static final SubLSymbol $kw6$RESULT_UNIQUENESS

$kw7$BINDINGS

public static final SubLSymbol $kw7$BINDINGS

$kw8$RETURN

public static final SubLSymbol $kw8$RETURN

$kw9$BINDINGS_AND_SUPPORTS

public static final SubLSymbol $kw9$BINDINGS_AND_SUPPORTS

$kw10$ANSWER_LANGUAGE

public static final SubLSymbol $kw10$ANSWER_LANGUAGE

$kw11$HL

public static final SubLSymbol $kw11$HL

$kw12$ALLOW_ABNORMALITY_CHECKING_

public static final SubLSymbol $kw12$ALLOW_ABNORMALITY_CHECKING_

$sym13$SECOND

public static final SubLSymbol $sym13$SECOND

$str14$Assume_it_isn_t_abnormal

public static final SubLString $str14$Assume_it_isn_t_abnormal

$str15$Abnormality_checker_doesn_t_have_

public static final SubLString $str15$Abnormality_checker_doesn_t_have_

$kw16$INFERENCE_REJECTED

public static final SubLSymbol $kw16$INFERENCE_REJECTED

$str17$Abnormality_checker_doesn_t_have_

public static final SubLString $str17$Abnormality_checker_doesn_t_have_

$kw18$ABNORMAL

public static final SubLSymbol $kw18$ABNORMAL

$str19$_S_are_exceptions_to__S

public static final SubLString $str19$_S_are_exceptions_to__S

Method Detail

abnormality_except_support_enabledP

public static final SubLObject abnormality_except_support_enabledP()

rule_has_exceptionsP

public static final SubLObject rule_has_exceptionsP(SubLObject rule)

Return T iff RULE is a rule that has some exceptions somewhere.

rule_bindings_abnormalP

public static final SubLObject rule_bindings_abnormalP(SubLObject store,
                                                       SubLObject rule,
                                                       SubLObject rule_bindings,
                                                       SubLObject transformation_mt)

Return non-nil iff RULE-BINDINGS can be proven to be abnormal wrt RULE in in problem-store STORE under the assumptions of TRANSFORMATION-MT.

forward_bindings_abnormalP

public static final SubLObject forward_bindings_abnormalP(SubLObject propagation_mt,
                                                          SubLObject rule,
                                                          SubLObject trigger_bindings,
                                                          SubLObject inference_bindings)

Returns:

booleanp; Like @xref forward-abnormality-check except doesn't throw anything, just returns a nice, simple boolean.

forward_abnormality_check

public static final SubLObject forward_abnormality_check(SubLObject propagation_mt,
                                                         SubLObject rule,
                                                         SubLObject trigger_bindings,
                                                         SubLObject inference_bindings)

Reject forward inference if the given bindings are abnormal wrt RULE.

declare_abnormal_file

public static final SubLObject declare_abnormal_file()

init_abnormal_file

public static final SubLObject init_abnormal_file()

setup_abnormal_file

public static final SubLObject setup_abnormal_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.