com.cyc.cycjava.cycl.inference.harness
Class inference_analysis
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.harness.inference_analysis
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class inference_analysis
- extends SubLTranslatedFile
| 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 |
add_to_transformation_rule_statistics_filename_load_history(SubLObject filename)
|
static SubLObject |
any_recent_asked_queriesP()
|
static SubLObject |
any_recent_experienceP()
|
static SubLObject |
asked_query_common_symbols()
|
static SubLObject |
cinc_hl_module_expand_count(SubLObject hl_module)
|
static SubLObject |
cinc_module_expand_count(SubLObject name)
|
static SubLObject |
clear_all_transformation_rule_statistics()
|
static SubLObject |
clear_asked_query_queue()
|
static SubLObject |
clear_transformation_rule_statistics_filename_load_history()
|
static SubLObject |
clear_transformation_rule_statistics(SubLObject rule)
|
static SubLObject |
declare_inference_analysis_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
ensure_transformation_rule_statistics(SubLObject rule)
|
static SubLObject |
get_transformation_rule_statistics(SubLObject rule)
|
static SubLObject |
historical_utility_from_observations(SubLObject success,
SubLObject considered,
SubLObject average_historical_probability,
SubLObject utility_scaling_factor)
|
static SubLObject |
increment_transformation_rule_considered_count(SubLObject rule,
SubLObject recentP,
SubLObject count)
Note that RULE has been considered COUNT more times. |
static SubLObject |
increment_transformation_rule_success_count(SubLObject rule,
SubLObject recentP,
SubLObject count)
Note that RULE has been successfully used COUNT more times. |
static SubLObject |
init_inference_analysis_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
load_transformation_rule_statistics_bookkeeping(SubLObject filename,
SubLObject mergeP)
|
static SubLObject |
load_transformation_rule_statistics_for_rule(SubLObject stream,
SubLObject exclude_rule_set)
|
static SubLObject |
load_transformation_rule_statistics_int(SubLObject filename,
SubLObject mergeP,
SubLObject exclude_rules)
|
static SubLObject |
load_transformation_rule_statistics(SubLObject filename,
SubLObject mergeP)
|
static SubLObject |
local_asked_queries_transcript()
|
static SubLObject |
new_transformation_rule_statistics()
|
static SubLObject |
note_inference_answer_proof_rules(SubLObject rules)
Notes that the rules in RULE-SET-CONTENTS have been successfully used
together in an inference answer proof. |
static SubLObject |
possibly_enqueue_asked_query_from_inference(SubLObject inference)
|
static SubLObject |
possibly_enqueue_asked_query(SubLObject query_sentence,
SubLObject query_mt,
SubLObject query_properties)
|
static SubLObject |
possibly_save_recent_asked_queries()
Save recent asked queries, if it appears sensible to do so. |
static SubLObject |
possibly_save_recent_experience()
Save recent experience, if it appears sensible to do so. |
static SubLObject |
rule_historical_utility_from_observations(SubLObject success,
SubLObject considered)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
save_recent_asked_queries_int()
|
static SubLObject |
save_recent_asked_queries_to_file(SubLObject filename)
|
static SubLObject |
save_recent_asked_queries()
|
static SubLObject |
save_recent_experience()
|
static SubLObject |
setup_inference_analysis_file()
|
static SubLObject |
transformation_rule_considered_count(SubLObject rule)
|
static SubLObject |
transformation_rule_has_insufficient_historical_utilityP(SubLObject rule)
|
static SubLObject |
transformation_rule_has_recent_statisticsP(SubLObject rule)
|
static SubLObject |
transformation_rule_historical_utility(SubLObject rule)
Return number between -100 and 100 indicating the historical utility of
RULE. |
static SubLObject |
transformation_rule_recent_considered_count(SubLObject rule)
|
static SubLObject |
transformation_rule_statistics_table()
|
static SubLObject |
transformation_rule_success_count(SubLObject rule)
|
static SubLObject |
transformation_rules_with_statistics_condition_passesP(SubLObject rule,
SubLObject recentP)
|
static SubLObject |
write_asked_query_to_stream(SubLObject stream,
SubLObject query_info,
SubLObject externalizedP)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$transformation_rule_statistics_update_enabledP$
public static SubLSymbol $transformation_rule_statistics_update_enabledP$
- When non-nil, the transformation rule statistics are updated during
inference.
$transformation_rule_historical_success_pruning_threshold$
public static SubLSymbol $transformation_rule_historical_success_pruning_threshold$
- Absolute historical success limit, below which rules are never even
tried.
$transformation_rule_historical_utility_pruning_threshold$
public static SubLSymbol $transformation_rule_historical_utility_pruning_threshold$
- Absolute historical utility limit, below which rules are never even
tried.
$hl_module_expand_counts$
public static SubLSymbol $hl_module_expand_counts$
$sym0$_TRANSFORMATION_RULE_STATISTICS_TABLE_
public static final SubLSymbol $sym0$_TRANSFORMATION_RULE_STATISTICS_TABLE_
$int1$64
public static final SubLInteger $int1$64
$sym2$_TRANSFORMATION_RULE_STATISTICS_LOCK_
public static final SubLSymbol $sym2$_TRANSFORMATION_RULE_STATISTICS_LOCK_
$str3$Transformation_Rule_Statistics_Lo
public static final SubLString $str3$Transformation_Rule_Statistics_Lo
$sym4$_TRANSFORMATION_RULE_STATISTICS_FILENAME_LOAD_HISTORY_
public static final SubLSymbol $sym4$_TRANSFORMATION_RULE_STATISTICS_FILENAME_LOAD_HISTORY_
$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$RECENT_
public static final SubLSymbol $kw8$RECENT_
$kw9$COPY_
public static final SubLSymbol $kw9$COPY_
$kw10$DONE
public static final SubLSymbol $kw10$DONE
$sym11$DO_LIST
public static final SubLSymbol $sym11$DO_LIST
$list12
public static final SubLList $list12
$sym13$PWHEN
public static final SubLSymbol $sym13$PWHEN
$sym14$TRANSFORMATION_RULES_WITH_STATISTICS_CONDITION_PASSES_
public static final SubLSymbol $sym14$TRANSFORMATION_RULES_WITH_STATISTICS_CONDITION_PASSES_
$sym15$STATISTICS_VAR
public static final SubLSymbol $sym15$STATISTICS_VAR
$sym16$DO_HASH_TABLE
public static final SubLSymbol $sym16$DO_HASH_TABLE
$list17
public static final SubLList $list17
$sym18$IGNORE
public static final SubLSymbol $sym18$IGNORE
$sym19$TRANSFORMATION_RULE_STATISTICS_TABLE
public static final SubLSymbol $sym19$TRANSFORMATION_RULE_STATISTICS_TABLE
$sym20$DO_TRANSFORMATION_RULES_WITH_STATISTICS
public static final SubLSymbol $sym20$DO_TRANSFORMATION_RULES_WITH_STATISTICS
$sym21$TRANSFORMATION_RULES_WITH_STATISTICS_HELPER
public static final SubLSymbol $sym21$TRANSFORMATION_RULES_WITH_STATISTICS_HELPER
$kw22$UNINITIALIZED
public static final SubLSymbol $kw22$UNINITIALIZED
$kw23$NONE
public static final SubLSymbol $kw23$NONE
$kw24$CONSIDERED
public static final SubLSymbol $kw24$CONSIDERED
$sym25$_
public static final SubLSymbol $sym25$_
$sym26$TRANSFORMATION_RULE_SUCCESS_COUNT
public static final SubLSymbol $sym26$TRANSFORMATION_RULE_SUCCESS_COUNT
$sym27$TRANSFORMATION_RULE_CONSIDERED_COUNT
public static final SubLSymbol $sym27$TRANSFORMATION_RULE_CONSIDERED_COUNT
$kw28$SUCCESS
public static final SubLSymbol $kw28$SUCCESS
$sym29$_
public static final SubLSymbol $sym29$_
$kw30$SUCCESS_PROBABILITY
public static final SubLSymbol $kw30$SUCCESS_PROBABILITY
$sym31$TRANSFORMATION_RULE_SUCCESS_PROBABILITY
public static final SubLSymbol $sym31$TRANSFORMATION_RULE_SUCCESS_PROBABILITY
$kw32$HISTORICAL_UTILITY
public static final SubLSymbol $kw32$HISTORICAL_UTILITY
$sym33$TRANSFORMATION_RULE_HISTORICAL_UTILITY
public static final SubLSymbol $sym33$TRANSFORMATION_RULE_HISTORICAL_UTILITY
$sym34$ASSERTION_P
public static final SubLSymbol $sym34$ASSERTION_P
$sym35$INTEGERP
public static final SubLSymbol $sym35$INTEGERP
$str36$Incrementing_transformation_rule_
public static final SubLString $str36$Incrementing_transformation_rule_
$int37$_100
public static final SubLInteger $int37$_100
$sym38$HLMT_EQUAL
public static final SubLSymbol $sym38$HLMT_EQUAL
$int39$100
public static final SubLInteger $int39$100
$sym40$RULE_ASSERTION_
public static final SubLSymbol $sym40$RULE_ASSERTION_
$kw41$OUTPUT
public static final SubLSymbol $kw41$OUTPUT
$str42$Unable_to_open__S
public static final SubLString $str42$Unable_to_open__S
$kw43$INPUT
public static final SubLSymbol $kw43$INPUT
$str44$Transformation_rule_statistics_up
public static final SubLString $str44$Transformation_rule_statistics_up
$str45$_________________________________
public static final SubLString $str45$_________________________________
$str46$______S_rules__sorted_by__A
public static final SubLString $str46$______S_rules__sorted_by__A
$str47$________S__S___S_____utility____S
public static final SubLString $str47$________S__S___S_____utility____S
$str48$Save_recent_experience_lock
public static final SubLString $str48$Save_recent_experience_lock
$str49$experience
public static final SubLString $str49$experience
$str50$_TS
public static final SubLString $str50$_TS
$str51$_CFASL
public static final SubLString $str51$_CFASL
$str52$_ts
public static final SubLString $str52$_ts
$str53$_cfasl
public static final SubLString $str53$_cfasl
$sym54$CATCH_ERROR_MESSAGE_HANDLER
public static final SubLSymbol $sym54$CATCH_ERROR_MESSAGE_HANDLER
$sym55$DIRECTORY_P
public static final SubLSymbol $sym55$DIRECTORY_P
$str56$Loading_transformation_rule_stati
public static final SubLString $str56$Loading_transformation_rule_stati
$str57$_experience_cfasl
public static final SubLString $str57$_experience_cfasl
$str58$_A
public static final SubLString $str58$_A
$float59$0_02939361143247565
public static final SubLFloat $float59$0_02939361143247565
$str60$Repairing_transformation_rule_sta
public static final SubLString $str60$Repairing_transformation_rule_sta
$str61$Repairing__a_spurious_zeroes_in__
public static final SubLString $str61$Repairing__a_spurious_zeroes_in__
$str62$_bloated_cfasl
public static final SubLString $str62$_bloated_cfasl
$str63$Could_not_load__a
public static final SubLString $str63$Could_not_load__a
$kw64$EOF
public static final SubLSymbol $kw64$EOF
$sym65$_TRANSFORMATION_RULE_HISTORICAL_CONNECTIVITY_GRAPH_
public static final SubLSymbol $sym65$_TRANSFORMATION_RULE_HISTORICAL_CONNECTIVITY_GRAPH_
$int66$256
public static final SubLInteger $int66$256
$sym67$_TRANSFORMATION_RULE_HISTORICAL_CONNECTIVITY_GRAPH_LOCK_
public static final SubLSymbol $sym67$_TRANSFORMATION_RULE_HISTORICAL_CONNECTIVITY_GRAPH_LOCK_
$str68$Rule_Historical_Connectivity_Grap
public static final SubLString $str68$Rule_Historical_Connectivity_Grap
$sym69$SET_CONTENTS_P
public static final SubLSymbol $sym69$SET_CONTENTS_P
$str70$Got_a_directed_instead_of_undirec
public static final SubLString $str70$Got_a_directed_instead_of_undirec
$str71$____Rule_____S__Connected_Rules__
public static final SubLString $str71$____Rule_____S__Connected_Rules__
$str72$___S
public static final SubLString $str72$___S
$sym73$CLET
public static final SubLSymbol $sym73$CLET
$list74
public static final SubLList $list74
$sym75$CDR
public static final SubLSymbol $sym75$CDR
$list76
public static final SubLList $list76
$str77$___4_D__S__
public static final SubLString $str77$___4_D__S__
$sym78$_ASKED_QUERIES_QUEUE_
public static final SubLSymbol $sym78$_ASKED_QUERIES_QUEUE_
$str79$Query_logging_lock
public static final SubLString $str79$Query_logging_lock
$int80$300
public static final SubLInteger $int80$300
$list81
public static final SubLList $list81
$str82$Read_invalid_query_info__s
public static final SubLString $str82$Read_invalid_query_info__s
$list83
public static final SubLList $list83
$str84$asked_queries
public static final SubLString $str84$asked_queries
$kw85$APPEND
public static final SubLSymbol $kw85$APPEND
$sym86$QUERY_INFO_P
public static final SubLSymbol $sym86$QUERY_INFO_P
$str87$local_asked_queries_cfasl
public static final SubLString $str87$local_asked_queries_cfasl
$sym88$_ASKED_QUERY_COMMON_SYMBOLS_
public static final SubLSymbol $sym88$_ASKED_QUERY_COMMON_SYMBOLS_
$const89$and
public static final SubLObject $const89$and
$const90$isa
public static final SubLObject $const90$isa
$const91$InferencePSC
public static final SubLObject $const91$InferencePSC
$const92$quotedIsa
public static final SubLObject $const92$quotedIsa
$const93$resultGenls
public static final SubLObject $const93$resultGenls
$const94$resultIsa
public static final SubLObject $const94$resultIsa
$const95$resultQuotedIsa
public static final SubLObject $const95$resultQuotedIsa
$const96$termOfUnit
public static final SubLObject $const96$termOfUnit
$str97$Entering__s__
public static final SubLString $str97$Entering__s__
$int98$1000
public static final SubLInteger $int98$1000
$str99$_
public static final SubLString $str99$_
$str100$__Number_of_saved_queries_per_dir
public static final SubLString $str100$__Number_of_saved_queries_per_dir
$str101$__Histogram_of_saved_queries_per_
public static final SubLString $str101$__Histogram_of_saved_queries_per_
$str102$__Total_number_of_saved_queries__
public static final SubLString $str102$__Total_number_of_saved_queries__
$str103$__Total_number_of_unique_saved_qu
public static final SubLString $str103$__Total_number_of_unique_saved_qu
$str104$_s_already_exists
public static final SubLString $str104$_s_already_exists
$str105$____Inference_heuristics_KE_file_
public static final SubLString $str105$____Inference_heuristics_KE_file_
$str106$in_mt____a____
public static final SubLString $str106$in_mt____a____
$const107$irrelevantMt
public static final SubLObject $const107$irrelevantMt
$const108$backchainForbidden
public static final SubLObject $const108$backchainForbidden
$const109$irrelevantAssertion
public static final SubLObject $const109$irrelevantAssertion
clear_transformation_rule_statistics_filename_load_history
public static final SubLObject clear_transformation_rule_statistics_filename_load_history()
add_to_transformation_rule_statistics_filename_load_history
public static final SubLObject add_to_transformation_rule_statistics_filename_load_history(SubLObject filename)
transformation_rule_statistics_table
public static final SubLObject transformation_rule_statistics_table()
transformation_rules_with_statistics_condition_passesP
public static final SubLObject transformation_rules_with_statistics_condition_passesP(SubLObject rule,
SubLObject recentP)
new_transformation_rule_statistics
public static final SubLObject new_transformation_rule_statistics()
clear_all_transformation_rule_statistics
public static final SubLObject clear_all_transformation_rule_statistics()
possibly_save_recent_asked_queries
public static final SubLObject possibly_save_recent_asked_queries()
- Save recent asked queries, if it appears sensible to do so.
save_recent_asked_queries
public static final SubLObject save_recent_asked_queries()
save_recent_asked_queries_int
public static final SubLObject save_recent_asked_queries_int()
save_recent_asked_queries_to_file
public static final SubLObject save_recent_asked_queries_to_file(SubLObject filename)
write_asked_query_to_stream
public static final SubLObject write_asked_query_to_stream(SubLObject stream,
SubLObject query_info,
SubLObject externalizedP)
asked_query_common_symbols
public static final SubLObject asked_query_common_symbols()
local_asked_queries_transcript
public static final SubLObject local_asked_queries_transcript()
any_recent_asked_queriesP
public static final SubLObject any_recent_asked_queriesP()
clear_transformation_rule_statistics
public static final SubLObject clear_transformation_rule_statistics(SubLObject rule)
get_transformation_rule_statistics
public static final SubLObject get_transformation_rule_statistics(SubLObject rule)
ensure_transformation_rule_statistics
public static final SubLObject ensure_transformation_rule_statistics(SubLObject rule)
any_recent_experienceP
public static final SubLObject any_recent_experienceP()
transformation_rule_considered_count
public static final SubLObject transformation_rule_considered_count(SubLObject rule)
transformation_rule_recent_considered_count
public static final SubLObject transformation_rule_recent_considered_count(SubLObject rule)
transformation_rule_has_recent_statisticsP
public static final SubLObject transformation_rule_has_recent_statisticsP(SubLObject rule)
transformation_rule_success_count
public static final SubLObject transformation_rule_success_count(SubLObject rule)
increment_transformation_rule_considered_count
public static final SubLObject increment_transformation_rule_considered_count(SubLObject rule,
SubLObject recentP,
SubLObject count)
- Note that RULE has been considered COUNT more times. If RECENT?, also
queue this information for logging in the experience transcript.
increment_transformation_rule_success_count
public static final SubLObject increment_transformation_rule_success_count(SubLObject rule,
SubLObject recentP,
SubLObject count)
- Note that RULE has been successfully used COUNT more times. If RECENT?,
also queue this information for logging in the experience transcript.
transformation_rule_has_insufficient_historical_utilityP
public static final SubLObject transformation_rule_has_insufficient_historical_utilityP(SubLObject rule)
load_transformation_rule_statistics
public static final SubLObject load_transformation_rule_statistics(SubLObject filename,
SubLObject mergeP)
load_transformation_rule_statistics_int
public static final SubLObject load_transformation_rule_statistics_int(SubLObject filename,
SubLObject mergeP,
SubLObject exclude_rules)
load_transformation_rule_statistics_bookkeeping
public static final SubLObject load_transformation_rule_statistics_bookkeeping(SubLObject filename,
SubLObject mergeP)
load_transformation_rule_statistics_for_rule
public static final SubLObject load_transformation_rule_statistics_for_rule(SubLObject stream,
SubLObject exclude_rule_set)
- Parameters:
EXCLUDE - -RULE-SET don't load in statistics for any rule in
EXCLUDE-RULE-SET.
possibly_save_recent_experience
public static final SubLObject possibly_save_recent_experience()
- Save recent experience, if it appears sensible to do so.
save_recent_experience
public static final SubLObject save_recent_experience()
transformation_rule_historical_utility
public static final SubLObject transformation_rule_historical_utility(SubLObject rule)
- Return number between -100 and 100 indicating the historical utility of
RULE. 100 is most useful, 0 is of average utility, and -100 is most
useless.
rule_historical_utility_from_observations
public static final SubLObject rule_historical_utility_from_observations(SubLObject success,
SubLObject considered)
historical_utility_from_observations
public static final SubLObject historical_utility_from_observations(SubLObject success,
SubLObject considered,
SubLObject average_historical_probability,
SubLObject utility_scaling_factor)
note_inference_answer_proof_rules
public static final SubLObject note_inference_answer_proof_rules(SubLObject rules)
- Notes that the rules in RULE-SET-CONTENTS have been successfully used
together in an inference answer proof.
cinc_hl_module_expand_count
public static final SubLObject cinc_hl_module_expand_count(SubLObject hl_module)
cinc_module_expand_count
public static final SubLObject cinc_module_expand_count(SubLObject name)
clear_asked_query_queue
public static final SubLObject clear_asked_query_queue()
possibly_enqueue_asked_query
public static final SubLObject possibly_enqueue_asked_query(SubLObject query_sentence,
SubLObject query_mt,
SubLObject query_properties)
possibly_enqueue_asked_query_from_inference
public static final SubLObject possibly_enqueue_asked_query_from_inference(SubLObject inference)
declare_inference_analysis_file
public static final SubLObject declare_inference_analysis_file()
init_inference_analysis_file
public static final SubLObject init_inference_analysis_file()
setup_inference_analysis_file
public static final SubLObject setup_inference_analysis_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.