leviathan

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.inference
Class leviathan

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class leviathan
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLObject`	`$const120$skolem`
`static SubLObject`	`$const138$AutogeneratedLeviathanQuery_Train`
`static SubLObject`	`$const139$CycLQuerySpecification`
`static SubLObject`	`$const141$BaseKB`
`static SubLObject`	`$const142$InferenceConditionalSentenceParam`
`static SubLObject`	`$const143$True`
`static SubLObject`	`$const27$KBContentLeviathanQuery`
`static SubLObject`	`$const28$HALOLeviathanQuery`
`static SubLObject`	`$const29$AutogeneratedLeviathanQuery`
`static SubLObject`	`$const57$isa`
`static SubLObject`	`$const59$UniversalVocabularyMt`
`static SubLObject`	`$const61$TestVocabularyMt`
`static SubLObject`	`$const62$softwareParameterValueInSpecifica`
`static SubLObject`	`$const63$InferenceMaxTransformationStepsPa`
`static SubLObject`	`$const65$UniversalVocabularyImplementation`
`static SubLObject`	`$const66$InferenceAllowedRulesParameter`
`static SubLObject`	`$const75$AutogeneratedLeviathanQuery_Uncri`
`static SubLObject`	`$const78$KBContentLeviathanQuery_Training`
`static SubLObject`	`$const79$KBContentLeviathanQuery_Blind`
`static SubLObject`	`$const80$HALOLeviathanQuery_Training`
`static SubLObject`	`$const81$HALOLeviathanQuery_Blind`
`static SubLObject`	`$const82$AutogeneratedLeviathanQuery_Uncri`
`static SubLObject`	`$const83$AutogeneratedLeviathanQuery_Uncri`
`static SubLObject`	`$const84$AutogeneratedLeviathanQuery_Cripp`
`static SubLObject`	`$const85$AutogeneratedLeviathanQuery_Cripp`
`static SubLObject`	`$const86$AutogeneratedLeviathanQuery_Cripp`
`static SubLObject`	`$const95$TheList`
`static SubLObject`	`$const96$LeviathanQuery_Training`
`static SubLFloat`	`$float87$0_8`
`static SubLInteger`	`$int220$1000000`
`static SubLSymbol`	`$kw10$COMMENT`
`static SubLSymbol`	`$kw101$ERROR`
`static SubLSymbol`	`$kw104$CERROR`
`static SubLSymbol`	`$kw106$WARN`
`static SubLSymbol`	`$kw11$OVERRIDING_QUERY_PROPERTIES`
`static SubLSymbol`	`$kw12$METRICS`
`static SubLSymbol`	`$kw124$SUCKY_SKOLEM_RULE`
`static SubLSymbol`	`$kw125$NEGATIVE_UTILITY_SKOLEM_RULE`
`static SubLSymbol`	`$kw126$INERT_SKOLEM_RULE`
`static SubLSymbol`	`$kw127$SUCCESSFUL_SKOLEM_RULE`
`static SubLSymbol`	`$kw128$NEVER_CONSIDERED_FORWARD_SKOLEM_RULE`
`static SubLSymbol`	`$kw129$NEVER_CONSIDERED_BACKWARD_SKOLEM_RULE`
`static SubLSymbol`	`$kw130$INERT_RULE`
`static SubLSymbol`	`$kw131$SUCKY_RULE`
`static SubLSymbol`	`$kw132$BACKWARD_SUCCESSFUL_FORWARD_RULE`
`static SubLSymbol`	`$kw133$BACKWARD_SUCCESSFUL_BACKWARD_RULE`
`static SubLSymbol`	`$kw134$SUCCESSFUL_FORWARD_RULE`
`static SubLSymbol`	`$kw135$UNSUCCESSFUL_FORWARD_RULE`
`static SubLSymbol`	`$kw136$UNSUCCESSFUL_BACKWARD_RULE_WITH_DEPENDENTS`
`static SubLSymbol`	`$kw137$OTHER`
`static SubLSymbol`	`$kw14$OUTLIER_TIMEOUT`
`static SubLSymbol`	`$kw140$CONDITIONAL_SENTENCE_`
`static SubLSymbol`	`$kw145$TRANSFORMATION_RULE_BINDINGS_TO_CLOSED`
`static SubLSymbol`	`$kw149$LOGSCALE_Y_`
`static SubLSymbol`	`$kw150$YLABEL`
`static SubLSymbol`	`$kw151$PLOT_TITLE`
`static SubLSymbol`	`$kw154$TOTAL_ANSWERABLE`
`static SubLSymbol`	`$kw16$INCREMENTAL`
`static SubLSymbol`	`$kw17$INCLUDE_RESULTS`
`static SubLSymbol`	`$kw18$SKIP`
`static SubLSymbol`	`$kw184$BOTH`
`static SubLSymbol`	`$kw186$BASELINE`
`static SubLSymbol`	`$kw19$COUNT`
`static SubLSymbol`	`$kw190$XLABEL`
`static SubLSymbol`	`$kw192$BASELINE_KEY_LABEL`
`static SubLSymbol`	`$kw193$EXPERIMENT_KEY_LABEL`
`static SubLSymbol`	`$kw2$TIME_TO_LAST_ANSWER`
`static SubLSymbol`	`$kw20$DIRECTORY`
`static SubLSymbol`	`$kw214$PROBLEM_QUERIES`
`static SubLSymbol`	`$kw215$NEG`
`static SubLSymbol`	`$kw217$POS`
`static SubLSymbol`	`$kw222$NEW_ROOT_RELATIVE_TOTAL_TIMES`
`static SubLSymbol`	`$kw223$NEW_ROOT_RELATIVE_ANSWER_TIMES`
`static SubLSymbol`	`$kw232$TRANSFORMATION`
`static SubLSymbol`	`$kw233$TRANS_UNBOUND_PREDICATE_POS`
`static SubLSymbol`	`$kw235$CONNECTED_CONJUNCTION`
`static SubLSymbol`	`$kw236$EXECUTED`
`static SubLSymbol`	`$kw35$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw68$MAX_TRANSFORMATION_DEPTH`
`static SubLSymbol`	`$kw7$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw70$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw8$QUERY_SPEC_SET`
`static SubLSymbol`	`$kw9$FILENAME`
`static SubLSymbol`	`$kw97$BREADTH`
`static SubLSymbol`	`$kw98$QUEUE`
`static SubLSymbol`	`$kw99$STACK`
`static SubLSymbol`	$leviathan_outlier_timeout$
`static SubLList`	`$list109`
`static SubLList`	`$list123`
`static SubLList`	`$list13`
`static SubLList`	`$list146`
`static SubLList`	`$list153`
`static SubLList`	`$list158`
`static SubLList`	`$list194`
`static SubLList`	`$list195`
`static SubLList`	`$list197`
`static SubLList`	`$list216`
`static SubLList`	`$list226`
`static SubLList`	`$list227`
`static SubLList`	`$list231`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list5`
`static SubLList`	`$list58`
`static SubLList`	`$list6`
`static SubLList`	`$list60`
`static SubLList`	`$list64`
`static SubLList`	`$list74`
`static SubLList`	`$list77`
`static SubLSymbol`	$maintain_problem_creation_timesP$
`static SubLSymbol`	$rule_bindings_to_closed_wff_pruning_enabledP$
`static SubLString`	`$str0$_cyc_projects_inference_leviathan`
`static SubLString`	`$str1$experiments_`
`static SubLString`	`$str102$_A_is_not_a__A`
`static SubLString`	`$str105$continue_anyway`
`static SubLString`	`$str107$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str108$attempting_to_bind_direction_link`
`static SubLString`	`$str110$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str112$Gathering_all_skolem_rules`
`static SubLString`	`$str114$Gathering_all_negative_utility_sk`
`static SubLString`	`$str118$cdolist`
`static SubLString`	`$str119$mapping_Cyc_rules`
`static SubLString`	`$str122$_A`
`static SubLString`	`$str144$pre_halo_training_rule_bindings_t`
`static SubLString`	`$str148$_cyc_projects_inference_leviathan`
`static SubLString`	`$str152$Answerable_vs__Unanswerable_`
`static SubLString`	`$str155$Oracularly_Answerable_vs__Unanswe`
`static SubLString`	`$str157$halo_queries_with_1_backchain_823`
`static SubLString`	`$str159$Leviathan_Training`
`static SubLString`	`$str160$_0`
`static SubLString`	`$str162$____Basic_analysis____`
`static SubLString`	`$str163$____Answerable____`
`static SubLString`	`$str164$____Unanswerable____`
`static SubLString`	`$str165$____KB_Content____`
`static SubLString`	`$str166$____Autogenerated____`
`static SubLString`	`$str167$____HALO____`
`static SubLString`	`$str168$____Answerable_KB_Content____`
`static SubLString`	`$str169$____Answerable_Autogenerated____`
`static SubLString`	`$str170$____Answerable_HALO____`
`static SubLString`	`$str171$____Unanswerable_KB_Content____`
`static SubLString`	`$str172$____Unanswerable_Autogenerated___`
`static SubLString`	`$str173$____Unanswerable_HALO____`
`static SubLString`	`$str174$______of_queries_answerable_in__B`
`static SubLString`	`$str175$Total___________s__s__s__`
`static SubLString`	`$str176$KB_Content______s__s__s__`
`static SubLString`	`$str177$Autogenerated___s__s__s__`
`static SubLString`	`$str178$HALO____________s__s__s__`
`static SubLString`	`$str179$____Key___BASELINE_VALUE__EXPERIM`
`static SubLString`	`$str180$____Mutually_Answerable____`
`static SubLString`	`$str181$____Mutually_Answerable_KB_Conten`
`static SubLString`	`$str182$____Mutually_Answerable_Autogener`
`static SubLString`	`$str183$____Mutually_Answerable_HALO____`
`static SubLString`	`$str185$Mutually_Answerable_`
`static SubLString`	`$str187$__`
`static SubLString`	`$str188$_vs__`
`static SubLString`	`$str189$_n`
`static SubLString`	`$str191$Sorted_Queries`
`static SubLString`	`$str196$_`
`static SubLString`	`$str198$time`
`static SubLString`	`$str199$Time__sec_`
`static SubLString`	`$str200$problem`
`static SubLString`	`$str201$__of_problems`
`static SubLString`	`$str202$link`
`static SubLString`	`$str203$__of_links`
`static SubLString`	`$str204$tactic`
`static SubLString`	`$str205$__of_tactics`
`static SubLString`	`$str206$proof`
`static SubLString`	`$str207$__of_proofs`
`static SubLString`	`$str208$answer`
`static SubLString`	`$str209$__of_answers`
`static SubLString`	`$str210$byte`
`static SubLString`	`$str211$__of_bytes`
`static SubLString`	$str212$
`static SubLString`	`$str213$training_823_h_queries_0602`
`static SubLString`	`$str30$data_haystacks_`
`static SubLString`	`$str31$_haystack_`
`static SubLString`	`$str32$_cfasl`
`static SubLString`	`$str37$Loading_all_haystacks`
`static SubLString`	`$str40$____Total_haystacks_`
`static SubLString`	`$str41$____Interesting_haystacks_`
`static SubLString`	`$str45$data_instantiated_haystacks_`
`static SubLString`	`$str46$Loading_all_instantiated_haystack`
`static SubLString`	`$str47$____Total_instantiated_haystacks_`
`static SubLString`	`$str49$_a_`
`static SubLString`	`$str52$data_crippled_haystacks_`
`static SubLString`	`$str53$Loading_all_crippled_haystacks`
`static SubLString`	`$str54$____Total_crippled_haystacks___a`
`static SubLString`	`$str55$Reifying_all_instantiated_haystac`
`static SubLString`	`$str56$Reifying_all_crippled_haystacks`
`static SubLString`	`$str67$LeviathanHaystack_`
`static SubLString`	`$str69$Removing_duplicate_haystacks`
`static SubLString`	`$str72$haystacks_20050425_focused`
`static SubLString`	`$str73$haystacks_20050425_exploratory`
`static SubLString`	`$str76$deep_queries_with_1_backchain`
`static SubLString`	`$str88$Oops__off_by_one_error_in_first_n`
`static SubLString`	`$str89$could_not_unassert__a_at_Cyc_laye`
`static SubLString`	`$str90$could_not_unassert__a_at_HL`
`static SubLString`	`$str91$could_not_unassert__a_via_TMS`
`static SubLString`	`$str92$kb_content_training_justification`
`static SubLString`	`$str93$Asserting_allowed_rules_for_answe`
`static SubLSymbol`	`$sym100$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym103$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym111$FAST_REIFIED_SKOLEM_`
`static SubLSymbol`	`$sym113$STRINGP`
`static SubLSymbol`	`$sym115$TRANSFORMATION_RULE_HISTORICAL_UTILITY`
`static SubLSymbol`	`$sym116$TRANSFORMATION_RULE_CONSIDERED_COUNT`
`static SubLSymbol`	`$sym117$TRANSFORMATION_RULE_SUCCESS_COUNT`
`static SubLSymbol`	`$sym121$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym147$_RULE_BINDINGS_WFF_TABLE_`
`static SubLSymbol`	`$sym15$_LEVIATHAN_OUTLIER_TIMEOUT_`
`static SubLSymbol`	`$sym156$_PROBLEM_CREATION_TIMES_`
`static SubLSymbol`	`$sym161$BOUND_SYMBOL_P`
`static SubLSymbol`	`$sym21$FILENAME_VAR`
`static SubLSymbol`	`$sym218$_`
`static SubLSymbol`	`$sym219$CDR`
`static SubLSymbol`	`$sym22$FULL_FILENAME`
`static SubLSymbol`	`$sym221$ELAPSED_CRTL_INTERNAL_REAL_TIME_TO_ELAPSED_SECONDS`
`static SubLSymbol`	`$sym224$SECOND`
`static SubLSymbol`	`$sym225$KBQ_INTERNAL_REAL_TIME_TO_SECONDS`
`static SubLSymbol`	`$sym228$_`
`static SubLSymbol`	`$sym229$SINGLE_LITERAL_PROBLEM_P`
`static SubLSymbol`	`$sym23$CLET`
`static SubLSymbol`	`$sym230$CYCL_LITERAL_P`
`static SubLSymbol`	`$sym234$BALANCED_STRATEGY_P`
`static SubLSymbol`	`$sym24$FWHEN`
`static SubLSymbol`	`$sym25$LEVIATHAN_EXPERIMENT_FULL_FILENAME`
`static SubLSymbol`	`$sym26$RUN_KBQ_EXPERIMENT`
`static SubLSymbol`	`$sym33$CACHED_LOAD_ALL_HAYSTACKS`
`static SubLSymbol`	`$sym34$_CACHED_LOAD_ALL_HAYSTACKS_CACHING_STATE_`
`static SubLSymbol`	`$sym36$DIRECTORY_P`
`static SubLSymbol`	`$sym38$_`
`static SubLSymbol`	`$sym39$HAYSTACK_SIZE`
`static SubLSymbol`	`$sym42$INTERESTING_HAYSTACK_P`
`static SubLSymbol`	`$sym43$CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS`
`static SubLSymbol`	`$sym44$_CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS_CACHING_STATE_`
`static SubLSymbol`	`$sym48$FIX_HAYSTACK_VARIABLES`
`static SubLSymbol`	`$sym50$CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS`
`static SubLSymbol`	`$sym51$_CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS_CACHING_STATE_`
`static SubLSymbol`	`$sym71$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym94$RULE_ASSERTION_`
`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

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`	`declare_leviathan_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_leviathan_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`note_new_problem_created()`
`static SubLObject`	`rule_bindings_wff_cachedP(SubLObject rule, SubLObject transformation_bindings, SubLObject mt)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_leviathan_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

$leviathan_outlier_timeout$

public static SubLSymbol $leviathan_outlier_timeout$

$rule_bindings_to_closed_wff_pruning_enabledP$

public static SubLSymbol $rule_bindings_to_closed_wff_pruning_enabledP$

$maintain_problem_creation_timesP$

public static SubLSymbol $maintain_problem_creation_timesP$

$str0$_cyc_projects_inference_leviathan

public static final SubLString $str0$_cyc_projects_inference_leviathan

$str1$experiments_

public static final SubLString $str1$experiments_

$kw2$TIME_TO_LAST_ANSWER

public static final SubLSymbol $kw2$TIME_TO_LAST_ANSWER

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$kw7$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw7$ALLOW_OTHER_KEYS

$kw8$QUERY_SPEC_SET

public static final SubLSymbol $kw8$QUERY_SPEC_SET

$kw9$FILENAME

public static final SubLSymbol $kw9$FILENAME

$kw10$COMMENT

public static final SubLSymbol $kw10$COMMENT

$kw11$OVERRIDING_QUERY_PROPERTIES

public static final SubLSymbol $kw11$OVERRIDING_QUERY_PROPERTIES

$kw12$METRICS

public static final SubLSymbol $kw12$METRICS

$list13

public static final SubLList $list13

$kw14$OUTLIER_TIMEOUT

public static final SubLSymbol $kw14$OUTLIER_TIMEOUT

$sym15$_LEVIATHAN_OUTLIER_TIMEOUT_

public static final SubLSymbol $sym15$_LEVIATHAN_OUTLIER_TIMEOUT_

$kw16$INCREMENTAL

public static final SubLSymbol $kw16$INCREMENTAL

$kw17$INCLUDE_RESULTS

public static final SubLSymbol $kw17$INCLUDE_RESULTS

$kw18$SKIP

public static final SubLSymbol $kw18$SKIP

$kw19$COUNT

public static final SubLSymbol $kw19$COUNT

$kw20$DIRECTORY

public static final SubLSymbol $kw20$DIRECTORY

$sym21$FILENAME_VAR

public static final SubLSymbol $sym21$FILENAME_VAR

$sym22$FULL_FILENAME

public static final SubLSymbol $sym22$FULL_FILENAME

$sym23$CLET

public static final SubLSymbol $sym23$CLET

$sym24$FWHEN

public static final SubLSymbol $sym24$FWHEN

$sym25$LEVIATHAN_EXPERIMENT_FULL_FILENAME

public static final SubLSymbol $sym25$LEVIATHAN_EXPERIMENT_FULL_FILENAME

$sym26$RUN_KBQ_EXPERIMENT

public static final SubLSymbol $sym26$RUN_KBQ_EXPERIMENT

$const27$KBContentLeviathanQuery

public static final SubLObject $const27$KBContentLeviathanQuery

$const28$HALOLeviathanQuery

public static final SubLObject $const28$HALOLeviathanQuery

$const29$AutogeneratedLeviathanQuery

public static final SubLObject $const29$AutogeneratedLeviathanQuery

$str30$data_haystacks_

public static final SubLString $str30$data_haystacks_

$str31$_haystack_

public static final SubLString $str31$_haystack_

$str32$_cfasl

public static final SubLString $str32$_cfasl

$sym33$CACHED_LOAD_ALL_HAYSTACKS

public static final SubLSymbol $sym33$CACHED_LOAD_ALL_HAYSTACKS

$sym34$_CACHED_LOAD_ALL_HAYSTACKS_CACHING_STATE_

public static final SubLSymbol $sym34$_CACHED_LOAD_ALL_HAYSTACKS_CACHING_STATE_

$kw35$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw35$_MEMOIZED_ITEM_NOT_FOUND_

$sym36$DIRECTORY_P

public static final SubLSymbol $sym36$DIRECTORY_P

$str37$Loading_all_haystacks

public static final SubLString $str37$Loading_all_haystacks

$sym38$_

public static final SubLSymbol $sym38$_

$sym39$HAYSTACK_SIZE

public static final SubLSymbol $sym39$HAYSTACK_SIZE

$str40$____Total_haystacks_

public static final SubLString $str40$____Total_haystacks_

$str41$____Interesting_haystacks_

public static final SubLString $str41$____Interesting_haystacks_

$sym42$INTERESTING_HAYSTACK_P

public static final SubLSymbol $sym42$INTERESTING_HAYSTACK_P

$sym43$CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS

public static final SubLSymbol $sym43$CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS

$sym44$_CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS_CACHING_STATE_

public static final SubLSymbol $sym44$_CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS_CACHING_STATE_

$str45$data_instantiated_haystacks_

public static final SubLString $str45$data_instantiated_haystacks_

$str46$Loading_all_instantiated_haystack

public static final SubLString $str46$Loading_all_instantiated_haystack

$str47$____Total_instantiated_haystacks_

public static final SubLString $str47$____Total_instantiated_haystacks_

$sym48$FIX_HAYSTACK_VARIABLES

public static final SubLSymbol $sym48$FIX_HAYSTACK_VARIABLES

$str49$_a_

public static final SubLString $str49$_a_

$sym50$CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS

public static final SubLSymbol $sym50$CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS

$sym51$_CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS_CACHING_STATE_

public static final SubLSymbol $sym51$_CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS_CACHING_STATE_

$str52$data_crippled_haystacks_

public static final SubLString $str52$data_crippled_haystacks_

$str53$Loading_all_crippled_haystacks

public static final SubLString $str53$Loading_all_crippled_haystacks

$str54$____Total_crippled_haystacks___a

public static final SubLString $str54$____Total_crippled_haystacks___a

$str55$Reifying_all_instantiated_haystac

public static final SubLString $str55$Reifying_all_instantiated_haystac

$str56$Reifying_all_crippled_haystacks

public static final SubLString $str56$Reifying_all_crippled_haystacks

$const57$isa

public static final SubLObject $const57$isa

$list58

public static final SubLList $list58

$const59$UniversalVocabularyMt

public static final SubLObject $const59$UniversalVocabularyMt

$list60

public static final SubLList $list60

$const61$TestVocabularyMt

public static final SubLObject $const61$TestVocabularyMt

$const62$softwareParameterValueInSpecifica

public static final SubLObject $const62$softwareParameterValueInSpecifica

$const63$InferenceMaxTransformationStepsPa

public static final SubLObject $const63$InferenceMaxTransformationStepsPa

$list64

public static final SubLList $list64

$const65$UniversalVocabularyImplementation

public static final SubLObject $const65$UniversalVocabularyImplementation

$const66$InferenceAllowedRulesParameter

public static final SubLObject $const66$InferenceAllowedRulesParameter

$str67$LeviathanHaystack_

public static final SubLString $str67$LeviathanHaystack_

$kw68$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw68$MAX_TRANSFORMATION_DEPTH

$str69$Removing_duplicate_haystacks

public static final SubLString $str69$Removing_duplicate_haystacks

$kw70$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw70$IGNORE_ERRORS_TARGET

$sym71$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym71$IGNORE_ERRORS_HANDLER

$str72$haystacks_20050425_focused

public static final SubLString $str72$haystacks_20050425_focused

$str73$haystacks_20050425_exploratory

public static final SubLString $str73$haystacks_20050425_exploratory

$list74

public static final SubLList $list74

$const75$AutogeneratedLeviathanQuery_Uncri

public static final SubLObject $const75$AutogeneratedLeviathanQuery_Uncri

$str76$deep_queries_with_1_backchain

public static final SubLString $str76$deep_queries_with_1_backchain

$list77

public static final SubLList $list77

$const78$KBContentLeviathanQuery_Training

public static final SubLObject $const78$KBContentLeviathanQuery_Training

$const79$KBContentLeviathanQuery_Blind

public static final SubLObject $const79$KBContentLeviathanQuery_Blind

$const80$HALOLeviathanQuery_Training

public static final SubLObject $const80$HALOLeviathanQuery_Training

$const81$HALOLeviathanQuery_Blind

public static final SubLObject $const81$HALOLeviathanQuery_Blind

$const82$AutogeneratedLeviathanQuery_Uncri

public static final SubLObject $const82$AutogeneratedLeviathanQuery_Uncri

$const83$AutogeneratedLeviathanQuery_Uncri

public static final SubLObject $const83$AutogeneratedLeviathanQuery_Uncri

$const84$AutogeneratedLeviathanQuery_Cripp

public static final SubLObject $const84$AutogeneratedLeviathanQuery_Cripp

$const85$AutogeneratedLeviathanQuery_Cripp

public static final SubLObject $const85$AutogeneratedLeviathanQuery_Cripp

$const86$AutogeneratedLeviathanQuery_Cripp

public static final SubLObject $const86$AutogeneratedLeviathanQuery_Cripp

$float87$0_8

public static final SubLFloat $float87$0_8

$str88$Oops__off_by_one_error_in_first_n

public static final SubLString $str88$Oops__off_by_one_error_in_first_n

$str89$could_not_unassert__a_at_Cyc_laye

public static final SubLString $str89$could_not_unassert__a_at_Cyc_laye

$str90$could_not_unassert__a_at_HL

public static final SubLString $str90$could_not_unassert__a_at_HL

$str91$could_not_unassert__a_via_TMS

public static final SubLString $str91$could_not_unassert__a_via_TMS

$str92$kb_content_training_justification

public static final SubLString $str92$kb_content_training_justification

$str93$Asserting_allowed_rules_for_answe

public static final SubLString $str93$Asserting_allowed_rules_for_answe

$sym94$RULE_ASSERTION_

public static final SubLSymbol $sym94$RULE_ASSERTION_

$const95$TheList

public static final SubLObject $const95$TheList

$const96$LeviathanQuery_Training

public static final SubLObject $const96$LeviathanQuery_Training

$kw97$BREADTH

public static final SubLSymbol $kw97$BREADTH

$kw98$QUEUE

public static final SubLSymbol $kw98$QUEUE

$kw99$STACK

public static final SubLSymbol $kw99$STACK

$sym100$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym100$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw101$ERROR

public static final SubLSymbol $kw101$ERROR

$str102$_A_is_not_a__A

public static final SubLString $str102$_A_is_not_a__A

$sym103$SBHL_TRUE_TV_P

public static final SubLSymbol $sym103$SBHL_TRUE_TV_P

$kw104$CERROR

public static final SubLSymbol $kw104$CERROR

$str105$continue_anyway

public static final SubLString $str105$continue_anyway

$kw106$WARN

public static final SubLSymbol $kw106$WARN

$str107$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str107$_A_is_not_a_valid__sbhl_type_erro

$str108$attempting_to_bind_direction_link

public static final SubLString $str108$attempting_to_bind_direction_link

$list109

public static final SubLList $list109

$str110$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str110$Node__a_does_not_pass_sbhl_type_t

$sym111$FAST_REIFIED_SKOLEM_

public static final SubLSymbol $sym111$FAST_REIFIED_SKOLEM_

$str112$Gathering_all_skolem_rules

public static final SubLString $str112$Gathering_all_skolem_rules

$sym113$STRINGP

public static final SubLSymbol $sym113$STRINGP

$str114$Gathering_all_negative_utility_sk

public static final SubLString $str114$Gathering_all_negative_utility_sk

$sym115$TRANSFORMATION_RULE_HISTORICAL_UTILITY

public static final SubLSymbol $sym115$TRANSFORMATION_RULE_HISTORICAL_UTILITY

$sym116$TRANSFORMATION_RULE_CONSIDERED_COUNT

public static final SubLSymbol $sym116$TRANSFORMATION_RULE_CONSIDERED_COUNT

$sym117$TRANSFORMATION_RULE_SUCCESS_COUNT

public static final SubLSymbol $sym117$TRANSFORMATION_RULE_SUCCESS_COUNT

$str118$cdolist

public static final SubLString $str118$cdolist

$str119$mapping_Cyc_rules

public static final SubLString $str119$mapping_Cyc_rules

$const120$skolem

public static final SubLObject $const120$skolem

$sym121$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym121$CATCH_ERROR_MESSAGE_HANDLER

$str122$_A

public static final SubLString $str122$_A

$list123

public static final SubLList $list123

$kw124$SUCKY_SKOLEM_RULE

public static final SubLSymbol $kw124$SUCKY_SKOLEM_RULE

$kw125$NEGATIVE_UTILITY_SKOLEM_RULE

public static final SubLSymbol $kw125$NEGATIVE_UTILITY_SKOLEM_RULE

$kw126$INERT_SKOLEM_RULE

public static final SubLSymbol $kw126$INERT_SKOLEM_RULE

$kw127$SUCCESSFUL_SKOLEM_RULE

public static final SubLSymbol $kw127$SUCCESSFUL_SKOLEM_RULE

$kw128$NEVER_CONSIDERED_FORWARD_SKOLEM_RULE

public static final SubLSymbol $kw128$NEVER_CONSIDERED_FORWARD_SKOLEM_RULE

$kw129$NEVER_CONSIDERED_BACKWARD_SKOLEM_RULE

public static final SubLSymbol $kw129$NEVER_CONSIDERED_BACKWARD_SKOLEM_RULE

$kw130$INERT_RULE

public static final SubLSymbol $kw130$INERT_RULE

$kw131$SUCKY_RULE

public static final SubLSymbol $kw131$SUCKY_RULE

$kw132$BACKWARD_SUCCESSFUL_FORWARD_RULE

public static final SubLSymbol $kw132$BACKWARD_SUCCESSFUL_FORWARD_RULE

$kw133$BACKWARD_SUCCESSFUL_BACKWARD_RULE

public static final SubLSymbol $kw133$BACKWARD_SUCCESSFUL_BACKWARD_RULE

$kw134$SUCCESSFUL_FORWARD_RULE

public static final SubLSymbol $kw134$SUCCESSFUL_FORWARD_RULE

$kw135$UNSUCCESSFUL_FORWARD_RULE

public static final SubLSymbol $kw135$UNSUCCESSFUL_FORWARD_RULE

$kw136$UNSUCCESSFUL_BACKWARD_RULE_WITH_DEPENDENTS

public static final SubLSymbol $kw136$UNSUCCESSFUL_BACKWARD_RULE_WITH_DEPENDENTS

$kw137$OTHER

public static final SubLSymbol $kw137$OTHER

$const138$AutogeneratedLeviathanQuery_Train

public static final SubLObject $const138$AutogeneratedLeviathanQuery_Train

$const139$CycLQuerySpecification

public static final SubLObject $const139$CycLQuerySpecification

$kw140$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw140$CONDITIONAL_SENTENCE_

$const141$BaseKB

public static final SubLObject $const141$BaseKB

$const142$InferenceConditionalSentenceParam

public static final SubLObject $const142$InferenceConditionalSentenceParam

$const143$True

public static final SubLObject $const143$True

$str144$pre_halo_training_rule_bindings_t

public static final SubLString $str144$pre_halo_training_rule_bindings_t

$kw145$TRANSFORMATION_RULE_BINDINGS_TO_CLOSED

public static final SubLSymbol $kw145$TRANSFORMATION_RULE_BINDINGS_TO_CLOSED

$list146

public static final SubLList $list146

$sym147$_RULE_BINDINGS_WFF_TABLE_

public static final SubLSymbol $sym147$_RULE_BINDINGS_WFF_TABLE_

$str148$_cyc_projects_inference_leviathan

public static final SubLString $str148$_cyc_projects_inference_leviathan

$kw149$LOGSCALE_Y_

public static final SubLSymbol $kw149$LOGSCALE_Y_

$kw150$YLABEL

public static final SubLSymbol $kw150$YLABEL

$kw151$PLOT_TITLE

public static final SubLSymbol $kw151$PLOT_TITLE

$str152$Answerable_vs__Unanswerable_

public static final SubLString $str152$Answerable_vs__Unanswerable_

$list153

public static final SubLList $list153

$kw154$TOTAL_ANSWERABLE

public static final SubLSymbol $kw154$TOTAL_ANSWERABLE

$str155$Oracularly_Answerable_vs__Unanswe

public static final SubLString $str155$Oracularly_Answerable_vs__Unanswe

$sym156$_PROBLEM_CREATION_TIMES_

public static final SubLSymbol $sym156$_PROBLEM_CREATION_TIMES_

$str157$halo_queries_with_1_backchain_823

public static final SubLString $str157$halo_queries_with_1_backchain_823

$list158

public static final SubLList $list158

$str159$Leviathan_Training

public static final SubLString $str159$Leviathan_Training

$str160$_0

public static final SubLString $str160$_0

$sym161$BOUND_SYMBOL_P

public static final SubLSymbol $sym161$BOUND_SYMBOL_P

$str162$____Basic_analysis____

public static final SubLString $str162$____Basic_analysis____

$str163$Answerable

public static final SubLString $str163$____Answerable____

$str164$Unanswerable

public static final SubLString $str164$____Unanswerable____

$str165$____KB_Content____

public static final SubLString $str165$____KB_Content____

$str166$Autogenerated

public static final SubLString $str166$____Autogenerated____

$str167$HALO

public static final SubLString $str167$____HALO____

$str168$____Answerable_KB_Content____

public static final SubLString $str168$____Answerable_KB_Content____

$str169$____Answerable_Autogenerated____

public static final SubLString $str169$____Answerable_Autogenerated____

$str170$____Answerable_HALO____

public static final SubLString $str170$____Answerable_HALO____

$str171$____Unanswerable_KB_Content____

public static final SubLString $str171$____Unanswerable_KB_Content____

$str172$____Unanswerable_Autogenerated___

public static final SubLString $str172$____Unanswerable_Autogenerated___

$str173$____Unanswerable_HALO____

public static final SubLString $str173$____Unanswerable_HALO____

$str174$______of_queries_answerable_in__B

public static final SubLString $str174$______of_queries_answerable_in__B

$str175$Total_________sss

public static final SubLString $str175$Total___________s__s__s__

$str176$KB_Content____sss

public static final SubLString $str176$KB_Content______s__s__s__

$str177$Autogenerated_sss

public static final SubLString $str177$Autogenerated___s__s__s__

$str178$HALO__________sss

public static final SubLString $str178$HALO____________s__s__s__

$str179$__Key_BASELINE_VALUE__EXPERIM

public static final SubLString $str179$____Key___BASELINE_VALUE__EXPERIM

$str180$____Mutually_Answerable____

public static final SubLString $str180$____Mutually_Answerable____

$str181$____Mutually_Answerable_KB_Conten

public static final SubLString $str181$____Mutually_Answerable_KB_Conten

$str182$____Mutually_Answerable_Autogener

public static final SubLString $str182$____Mutually_Answerable_Autogener

$str183$____Mutually_Answerable_HALO____

public static final SubLString $str183$____Mutually_Answerable_HALO____

$kw184$BOTH

public static final SubLSymbol $kw184$BOTH

$str185$Mutually_Answerable_

public static final SubLString $str185$Mutually_Answerable_

$kw186$BASELINE

public static final SubLSymbol $kw186$BASELINE

$str187$__

public static final SubLString $str187$__

$str188$_vs__

public static final SubLString $str188$_vs__

$str189$_n

public static final SubLString $str189$_n

$kw190$XLABEL

public static final SubLSymbol $kw190$XLABEL

$str191$Sorted_Queries

public static final SubLString $str191$Sorted_Queries

$kw192$BASELINE_KEY_LABEL

public static final SubLSymbol $kw192$BASELINE_KEY_LABEL

$kw193$EXPERIMENT_KEY_LABEL

public static final SubLSymbol $kw193$EXPERIMENT_KEY_LABEL

$list194

public static final SubLList $list194

$list195

public static final SubLList $list195

$str196$_

public static final SubLString $str196$_

$list197

public static final SubLList $list197

$str198$time

public static final SubLString $str198$time

$str199$Time__sec_

public static final SubLString $str199$Time__sec_

$str200$problem

public static final SubLString $str200$problem

$str201$__of_problems

public static final SubLString $str201$__of_problems

$str202$link

public static final SubLString $str202$link

$str203$__of_links

public static final SubLString $str203$__of_links

$str204$tactic

public static final SubLString $str204$tactic

$str205$__of_tactics

public static final SubLString $str205$__of_tactics

$str206$proof

public static final SubLString $str206$proof

$str207$__of_proofs

public static final SubLString $str207$__of_proofs

$str208$answer

public static final SubLString $str208$answer

$str209$__of_answers

public static final SubLString $str209$__of_answers

$str210$byte

public static final SubLString $str210$byte

$str211$__of_bytes

public static final SubLString $str211$__of_bytes

$str212$

public static final SubLString $str212$

$str213$training_823_h_queries_0602

public static final SubLString $str213$training_823_h_queries_0602

$kw214$PROBLEM_QUERIES

public static final SubLSymbol $kw214$PROBLEM_QUERIES

$kw215$NEG

public static final SubLSymbol $kw215$NEG

$list216

public static final SubLList $list216

$kw217$POS

public static final SubLSymbol $kw217$POS

$sym218$_

public static final SubLSymbol $sym218$_

$sym219$CDR

public static final SubLSymbol $sym219$CDR

$int220$1000000

public static final SubLInteger $int220$1000000

$sym221$ELAPSED_CRTL_INTERNAL_REAL_TIME_TO_ELAPSED_SECONDS

public static final SubLSymbol $sym221$ELAPSED_CRTL_INTERNAL_REAL_TIME_TO_ELAPSED_SECONDS

$kw222$NEW_ROOT_RELATIVE_TOTAL_TIMES

public static final SubLSymbol $kw222$NEW_ROOT_RELATIVE_TOTAL_TIMES

$kw223$NEW_ROOT_RELATIVE_ANSWER_TIMES

public static final SubLSymbol $kw223$NEW_ROOT_RELATIVE_ANSWER_TIMES

$sym224$SECOND

public static final SubLSymbol $sym224$SECOND

$sym225$KBQ_INTERNAL_REAL_TIME_TO_SECONDS

public static final SubLSymbol $sym225$KBQ_INTERNAL_REAL_TIME_TO_SECONDS

$list226

public static final SubLList $list226

$list227

public static final SubLList $list227

$sym228$_

public static final SubLSymbol $sym228$_

$sym229$SINGLE_LITERAL_PROBLEM_P

public static final SubLSymbol $sym229$SINGLE_LITERAL_PROBLEM_P

$sym230$CYCL_LITERAL_P

public static final SubLSymbol $sym230$CYCL_LITERAL_P

$list231

public static final SubLList $list231

$kw232$TRANSFORMATION

public static final SubLSymbol $kw232$TRANSFORMATION

$kw233$TRANS_UNBOUND_PREDICATE_POS

public static final SubLSymbol $kw233$TRANS_UNBOUND_PREDICATE_POS

$sym234$BALANCED_STRATEGY_P

public static final SubLSymbol $sym234$BALANCED_STRATEGY_P

$kw235$CONNECTED_CONJUNCTION

public static final SubLSymbol $kw235$CONNECTED_CONJUNCTION

$kw236$EXECUTED

public static final SubLSymbol $kw236$EXECUTED

Method Detail

rule_bindings_wff_cachedP

public static final SubLObject rule_bindings_wff_cachedP(SubLObject rule,
                                                         SubLObject transformation_bindings,
                                                         SubLObject mt)

note_new_problem_created

public static final SubLObject note_new_problem_created()

declare_leviathan_file

public static final SubLObject declare_leviathan_file()

init_leviathan_file

public static final SubLObject init_leviathan_file()

setup_leviathan_file

public static final SubLObject setup_leviathan_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.

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.inference Class leviathan

me

myName

$leviathan_outlier_timeout$

$rule_bindings_to_closed_wff_pruning_enabledP$

$maintain_problem_creation_timesP$

$str0$_cyc_projects_inference_leviathan

$str1$experiments_

$kw2$TIME_TO_LAST_ANSWER

$list3

$list4

$list5

$list6

$kw7$ALLOW_OTHER_KEYS

$kw8$QUERY_SPEC_SET

$kw9$FILENAME

$kw10$COMMENT

$kw11$OVERRIDING_QUERY_PROPERTIES

$kw12$METRICS

$list13

$kw14$OUTLIER_TIMEOUT

$sym15$_LEVIATHAN_OUTLIER_TIMEOUT_

$kw16$INCREMENTAL

$kw17$INCLUDE_RESULTS

$kw18$SKIP

$kw19$COUNT

$kw20$DIRECTORY

$sym21$FILENAME_VAR

$sym22$FULL_FILENAME

$sym23$CLET

$sym24$FWHEN

$sym25$LEVIATHAN_EXPERIMENT_FULL_FILENAME

$sym26$RUN_KBQ_EXPERIMENT

$const27$KBContentLeviathanQuery

$const28$HALOLeviathanQuery

$const29$AutogeneratedLeviathanQuery

$str30$data_haystacks_

$str31$_haystack_

$str32$_cfasl

$sym33$CACHED_LOAD_ALL_HAYSTACKS

$sym34$_CACHED_LOAD_ALL_HAYSTACKS_CACHING_STATE_

$kw35$_MEMOIZED_ITEM_NOT_FOUND_

$sym36$DIRECTORY_P

$str37$Loading_all_haystacks

$sym38$_

$sym39$HAYSTACK_SIZE

$str40$____Total_haystacks_

$str41$____Interesting_haystacks_

$sym42$INTERESTING_HAYSTACK_P

$sym43$CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS

$sym44$_CACHED_LOAD_ALL_INSTANTIATED_HAYSTACKS_CACHING_STATE_

$str45$data_instantiated_haystacks_

$str46$Loading_all_instantiated_haystack

$str47$____Total_instantiated_haystacks_

$sym48$FIX_HAYSTACK_VARIABLES

$str49$_a_

$sym50$CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS

$sym51$_CACHED_LOAD_ALL_CRIPPLED_HAYSTACKS_CACHING_STATE_

$str52$data_crippled_haystacks_

$str53$Loading_all_crippled_haystacks

$str54$____Total_crippled_haystacks___a

$str55$Reifying_all_instantiated_haystac

$str56$Reifying_all_crippled_haystacks

$const57$isa

$list58

$const59$UniversalVocabularyMt

$list60

$const61$TestVocabularyMt

$const62$softwareParameterValueInSpecifica

$const63$InferenceMaxTransformationStepsPa

$list64

$const65$UniversalVocabularyImplementation

$const66$InferenceAllowedRulesParameter

$str67$LeviathanHaystack_

$kw68$MAX_TRANSFORMATION_DEPTH

$str69$Removing_duplicate_haystacks

$kw70$IGNORE_ERRORS_TARGET

$sym71$IGNORE_ERRORS_HANDLER

$str72$haystacks_20050425_focused

$str73$haystacks_20050425_exploratory

com.cyc.cycjava.cycl.inference
Class leviathan