inference_worker_transformation

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.harness
Class inference_worker_transformation

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_worker_transformation
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_worker_transformation.$hl_variable_not_mentioned_in_rule_dnf_but_mentioned_in_merge_dnf$UnaryFunction`
`static class`	`inference_worker_transformation.$transformation_link_data_native`
`static class`	`inference_worker_transformation.$transformation_link_data_p$UnaryFunction`
`static class`	`inference_worker_transformation.$transformation_tactic_p$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const73$termOfUnit`
`static SubLObject`	`$const79$InferencePSC`
`static SubLObject`	`$const89$genlRules`
`static SubLSymbol`	$dtp_transformation_link_data$
`static SubLSymbol`	$inference_transformation_type_checking_enabledP$ Whether we allow the possibility of adding type constraints during transformation.
`static SubLSymbol`	`$kw16$HL_MODULE`
`static SubLSymbol`	`$kw17$BINDINGS`
`static SubLSymbol`	`$kw18$SUPPORTS`
`static SubLSymbol`	`$kw19$NON_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$kw23$TRANSFORMATION`
`static SubLSymbol`	`$kw24$FREE`
`static SubLSymbol`	`$kw41$DETERMINE_NEW_TRANSFORMATION_TACTICS`
`static SubLSymbol`	`$kw42$GROSSLY_INCOMPLETE`
`static SubLSymbol`	`$kw43$SKIP`
`static SubLSymbol`	`$kw51$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw53$TACTIC_SPECS`
`static SubLSymbol`	`$kw54$TOTAL_PRODUCTIVITY`
`static SubLSymbol`	`$kw57$REMOVAL`
`static SubLSymbol`	`$kw67$TRANSFORMATION_RULE_SELECT`
`static SubLSymbol`	`$kw70$NEG`
`static SubLSymbol`	`$kw71$POS`
`static SubLSymbol`	`$kw81$RULE`
`static SubLSymbol`	`$kw86$IGNORE`
`static SubLList`	`$list2`
`static SubLList`	`$list3`
`static SubLList`	`$list31`
`static SubLList`	`$list32`
`static SubLList`	`$list35`
`static SubLList`	`$list36`
`static SubLList`	`$list37`
`static SubLList`	`$list4`
`static SubLList`	`$list48`
`static SubLList`	`$list5`
`static SubLList`	`$list58`
`static SubLList`	`$list72`
`static SubLString`	`$str20$Invalid_slot__S_for_construction_`
`static SubLString`	`$str30$No_tactic_found_for__S`
`static SubLString`	`$str46$generalized_transformation_link_o`
`static SubLString`	`$str47$generalized_transformation_proof_`
`static SubLString`	`$str55$unexpected_tactic_specs_return_ty`
`static SubLString`	`$str56$pruning__s__s__s`
`static SubLString`	`$str66$time_to_add_meta_transformation_s`
`static SubLString`	`$str68$transformation_tactic__S_already_`
`static SubLString`	`$str76$Could_not_ground_out__s_and__s`
`static SubLString`	`$str77$Could_not_unify_transformation_bi`
`static SubLSymbol`	`$sym0$TRANSFORMATION_LINK_DATA`
`static SubLSymbol`	`$sym1$TRANSFORMATION_LINK_DATA_P`
`static SubLSymbol`	`$sym10$TRANS_LINK_DATA_BINDINGS`
`static SubLSymbol`	`$sym11$_CSETF_TRANS_LINK_DATA_BINDINGS`
`static SubLSymbol`	`$sym12$TRANS_LINK_DATA_SUPPORTS`
`static SubLSymbol`	`$sym13$_CSETF_TRANS_LINK_DATA_SUPPORTS`
`static SubLSymbol`	`$sym14$TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$sym15$_CSETF_TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$sym21$PROBLEM_P`
`static SubLSymbol`	`$sym22$MAPPED_PROBLEM_P`
`static SubLSymbol`	`$sym25$TRANSFORMATION_LINK_P`
`static SubLSymbol`	`$sym26$HL_MODULE_P`
`static SubLSymbol`	`$sym27$BINDING_LIST_P`
`static SubLSymbol`	`$sym28$HL_JUSTIFICATION_P`
`static SubLSymbol`	`$sym29$NON_EXPLANATORY_SUBQUERY_SPEC_P`
`static SubLSymbol`	`$sym33$STORE_VAR`
`static SubLSymbol`	`$sym34$CLET`
`static SubLSymbol`	`$sym38$_NEGATION_BY_FAILURE_`
`static SubLSymbol`	`$sym39$PROBLEM_STORE_NEGATION_BY_FAILURE_`
`static SubLSymbol`	`$sym40$_DETERMINE_NEW_TRANSFORMATION_TACTICS_MODULE_`
`static SubLSymbol`	`$sym44$TRANSFORMATION_GENERATOR_TACTIC_P`
`static SubLSymbol`	`$sym45$TRANSFORMATION_PROOF_P`
`static SubLSymbol`	`$sym49$INFERENCE_EXCEPTED_ASSERTION_`
`static SubLSymbol`	`$sym50$MEMOIZED_INFERENCE_EXCEPTED_ASSERTION_`
`static SubLSymbol`	`$sym52$SINGLE_LITERAL_PROBLEM_P`
`static SubLSymbol`	`$sym59$TACTIC_VAR`
`static SubLSymbol`	`$sym6$DEFAULT_STRUCT_PRINT_FUNCTION`
`static SubLSymbol`	`$sym60$WITH_INFERENCE_MT_RELEVANCE`
`static SubLSymbol`	`$sym61$_INFERENCE_EXPAND_HL_MODULE_`
`static SubLSymbol`	`$sym62$TACTIC_HL_MODULE`
`static SubLSymbol`	`$sym63$_INFERENCE_EXPAND_SENSE_`
`static SubLSymbol`	`$sym64$WITH_PROBLEM_STORE_TRANSFORMATION_ASSUMPTIONS`
`static SubLSymbol`	`$sym65$TACTIC_STORE`
`static SubLSymbol`	`$sym69$HANDLE_TRANSFORMATION_ADD_NODE_FOR_EXPAND_RESULTS`
`static SubLSymbol`	`$sym7$TRANSFORMATION_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym74$PROOF_P`
`static SubLSymbol`	`$sym75$BINDINGS_P`
`static SubLSymbol`	`$sym78$RULE_ASSERTION_`
`static SubLSymbol`	`$sym8$TRANS_LINK_DATA_HL_MODULE`
`static SubLSymbol`	`$sym80$ASSERTION_P`
`static SubLSymbol`	`$sym82$HL_VARIABLE_NOT_MENTIONED_IN_RULE_DNF_BUT_MENTIONED_IN_MERGE_DNF`
`static SubLSymbol`	`$sym83$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P`
`static SubLSymbol`	`$sym84$TRANSFORMATION_PROOF_ABNORMAL_`
`static SubLSymbol`	`$sym85$INFERENCE_BACKCHAIN_FORBIDDEN_UNLESS_ARG_CHOSEN_ARGNUMS_MEMOIZED`
`static SubLSymbol`	`$sym87$_`
`static SubLSymbol`	`$sym88$VARIABLE_ID`
`static SubLSymbol`	`$sym9$_CSETF_TRANS_LINK_DATA_HL_MODULE`
`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`	`_csetf_trans_link_data_bindings(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_trans_link_data_hl_module(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_trans_link_data_non_explanatory_subquery(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_trans_link_data_supports(SubLObject object, SubLObject value)`
`static SubLObject`	`add_tactic_to_determine_new_literal_transformation_tactics(SubLObject problem, SubLObject asent, SubLObject sense, SubLObject mt)` First we add a tactic which, if executed, determines the rest of the transformation tactics for PROBLEM.
`static SubLObject`	`bubble_up_proof_to_transformation_link(SubLObject supporting_proof, SubLObject variable_map, SubLObject transformation_link)`
`static SubLObject`	`complete_execution_of_transformation_tactic(SubLObject tactic, SubLObject transformation_bindings, SubLObject rule_assertion, SubLObject more_supports, SubLObject unrestricted_transformation_dependent_dnf, SubLObject unrestricted_transformation_explanatory_dnf)`
`static SubLObject`	`compute_canonical_transformation_proof_bindings(SubLObject t_link_variable_map, SubLObject transformation_bindings, SubLObject supporting_subproof_bindings)`
`static SubLObject`	`compute_pragmatic_literal_for_merge(SubLObject literal, SubLObject merge_dnf, SubLObject rule_dnf)` If LITERAL contains any HL variables that are not mentioned in RULE-DNF but _are_ mentioned in MERGE-DNF, returns a new literal which is LITERAL with those HL variables substituted with new HL variables which do not occur in either MERGE-DNF or RULE-DNF.
`static SubLObject`	`compute_strategic_properties_of_transformation_tactic(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`compute_transformation_link_rule_bindings(SubLObject transformation_link, SubLObject supporting_subproof_bindings)`
`static SubLObject`	`compute_transformation_non_explanatory_subquery(SubLObject unrestricted_transformation_dependent_dnf, SubLObject unrestricted_transformation_explanatory_dnf, SubLObject restricted_transformation_dependent_dnf, SubLObject transformation_bindings, SubLObject supporting_mapped_problem)`
`static SubLObject`	`declare_inference_worker_transformation_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`determine_literal_transformation_tactic_specs_int(SubLObject asent, SubLObject sense, SubLObject disabled_modules, SubLObject return_type)`
`static SubLObject`	`determine_literal_transformation_tactic_specs(SubLObject asent, SubLObject sense, SubLObject disabled_modules)` Returns lists of the form (hl-module productivity), :complete is the assumed completeness
`static SubLObject`	`determine_rules_for_literal_transformation_tactics(SubLObject problem, SubLObject asent, SubLObject hl_module)`
`static SubLObject`	`execute_literal_level_transformation_tactic(SubLObject tactic, SubLObject mt, SubLObject asent, SubLObject sense)`
`static SubLObject`	`extended_supported_problem_bindings_to_rule_bindings(SubLObject extended_supported_problem_bindings)` Extended supported problem bindings include both base and non-base variables; the base variables are the variables of the supported problem and the non-base variables are the variables of the rule assertion.
`static SubLObject`	`extended_supported_problem_bindings_to_supported_problem_bindings(SubLObject extended_supported_problem_bindings)` Extended supported problem bindings include both base and non-base variables; the base variables are the variables of the supported problem and the non-base variables are the variables of the rule assertion.
`static SubLObject`	`forward_rule_pragmatic_dnf(SubLObject rule, SubLObject propagation_mt)`
`static SubLObject`	`generalized_transformation_link_p(SubLObject object)`
`static SubLObject`	`generalized_transformation_link_rule_assertion(SubLObject link)`
`static SubLObject`	`generalized_transformation_link_unaffected_by_exceptionsP(SubLObject link)`
`static SubLObject`	`generalized_transformation_proof_p(SubLObject object)`
`static SubLObject`	`generalized_transformation_proof_rule_assertion(SubLObject proof)`
`static SubLObject`	`genl_rules_enabledP()`
`static SubLObject`	`handle_one_transformation_tactic_rule_select_result(SubLObject transformation_tactic, SubLObject rule)`
`static SubLObject`	`handle_transformation_add_node_for_expand_results(SubLObject rule_assertion, SubLObject rule_pivot_asent, SubLObject rule_pivot_sense, SubLObject unification_bindings, SubLObject unification_dependent_dnf, SubLObject more_supports)`
`static SubLObject`	`hl_variable_not_mentioned_in_rule_dnf_but_mentioned_in_merge_dnf(SubLObject object)`
`static SubLObject`	`inference_backchain_forbidden_asentP(SubLObject asent, SubLObject mt)`
`static SubLObject`	`inference_excepted_assertionP(SubLObject assertion)`
`static SubLObject`	`init_inference_worker_transformation_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`literal_level_transformation_tactic_p(SubLObject tactic)`
`static SubLObject`	`make_transformation_link_data(SubLObject arglist)`
`static SubLObject`	`max_rules(SubLObject rules, SubLObject mt)` Returns the most-general rules (via #$genlRules) among RULES, which are those rules that have no proper genlRule among RULES.
`static SubLObject`	`maybe_make_meta_transformation_progress_iterator(SubLObject tactic, SubLObject asent, SubLObject sense)`
`static SubLObject`	`maybe_make_transformation_expand_progress_iterator(SubLObject tactic, SubLObject asent)`
`static SubLObject`	`maybe_make_transformation_rule_select_progress_iterator(SubLObject tactic, SubLObject asent)`
`static SubLObject`	`maybe_make_transformation_tactic_progress_iterator(SubLObject tactic, SubLObject asent, SubLObject sense)`
`static SubLObject`	`maybe_new_transformation_link(SubLObject supported_problem, SubLObject supporting_mapped_problem, SubLObject tactic, SubLObject transformation_bindings, SubLObject rule_assertion, SubLObject more_supports, SubLObject non_explanatory_subquery)`
`static SubLObject`	`memoized_inference_excepted_assertionP_internal(SubLObject assertion, SubLObject mt)`
`static SubLObject`	`memoized_inference_excepted_assertionP(SubLObject assertion, SubLObject mt)`
`static SubLObject`	`merge_pragmatic_requirement(SubLObject rule_assertion, SubLObject pragma_assertion, SubLObject merge_dnf)` Merge the pragmatic requirements for RULE-ASSERTION expressed in PRAGMA-ASSERTION into MERGE-DNF and return it.
`static SubLObject`	`meta_transformation_tactic_p(SubLObject object)`
`static SubLObject`	`new_meta_transformation_tactic(SubLObject problem, SubLObject asent, SubLObject sense)`
`static SubLObject`	`new_transformation_link_data(SubLObject transformation_link)`
`static SubLObject`	`new_transformation_link_int(SubLObject problem, SubLObject hl_module, SubLObject transformation_bindings, SubLObject supports, SubLObject non_explanatory_subquery)` Returns a new :transformation link with its data properties set to HL-MODULE, BINDINGS, and SUPPORTS, with a supported problem of PROBLEM, and no supporting problems yet.
`static SubLObject`	`new_transformation_link(SubLObject supported_problem, SubLObject supporting_mapped_problem, SubLObject hl_module, SubLObject transformation_bindings, SubLObject rule_assertion, SubLObject more_supports, SubLObject non_explanatory_subquery)`
`static SubLObject`	`new_transformation_proof(SubLObject transformation_link, SubLObject subproof, SubLObject variable_map)`
`static SubLObject`	`new_transformation_tactic(SubLObject problem, SubLObject hl_module, SubLObject productivity, SubLObject rule)`
`static SubLObject`	`nmerge_dnf(SubLObject existing_dnf, SubLObject added_dnf)` Destructively modify EXISTING-DNF by merging ADDED-DNF into it.
`static SubLObject`	`potentially_wf_restricted_transformation_dependent_asent(SubLObject contextualized_asent, SubLObject sense, SubLObject abduction_allowedP)`
`static SubLObject`	`potentially_wf_transformation_dependent_query(SubLObject dependent_query, SubLObject abduction_allowedP)`
`static SubLObject`	`problem_inference_and_non_continuable_problem_store_private(SubLObject problem)` Given a problem get its inference if the problem store it is in is private for its inference Also return whether the problem store is private and the inference is non-continuable.
`static SubLObject`	`proof_depends_on_excepted_assertionP(SubLObject proof)`
`static SubLObject`	`recompute_thrown_away_due_to_new_transformation_link(SubLObject problem)`
`static SubLObject`	`rule_assertion_has_some_pragmatic_requirementP(SubLObject rule_assertion, SubLObject mt)` Return T iff RULE-ASSERTION has some relevant #$pragmaticRequirement in MT
`static SubLObject`	`rule_assertion_pragmatic_requirements_dnf(SubLObject rule_assertion, SubLObject mt)` Return a DNF clause expressing all the known #$pragmaticRequirements for RULE-ASSERTION in MT
`static SubLObject`	`rule_assertion_variable_p(SubLObject variable)`
`static SubLObject`	`rule_assertion_worth_adding_type_constraintsP(SubLObject rule)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_transformation_link_bindings(SubLObject transformation_link, SubLObject v_bindings)`
`static SubLObject`	`set_transformation_link_hl_module(SubLObject transformation_link, SubLObject hl_module)`
`static SubLObject`	`set_transformation_link_non_explanatory_subquery(SubLObject transformation_link, SubLObject subquery)`
`static SubLObject`	`set_transformation_link_supports(SubLObject transformation_link, SubLObject supports)`
`static SubLObject`	`setup_inference_worker_transformation_file()`
`static SubLObject`	`supported_problem_variable_p(SubLObject variable)`
`static SubLObject`	`supports_contain_excepted_assertion_in_mtP(SubLObject supports, SubLObject mt)`
`static SubLObject`	`supports_contain_excepted_assertionP(SubLObject supports)`
`static SubLObject`	`swap_variable_spaces_of_unification_bindings(SubLObject unification_bindings)` Adds or subtracts 100 from all variables in UNIFICATION-BINDINGS.
`static SubLObject`	`syntactically_valid_asent(SubLObject asent)`
`static SubLObject`	`trans_link_data_bindings(SubLObject object)`
`static SubLObject`	`trans_link_data_hl_module(SubLObject object)`
`static SubLObject`	`trans_link_data_supports(SubLObject object)`
`static SubLObject`	`transformation_additional_dont_care_constraints(SubLObject rule_pivot_asent, SubLObject unification_dependent_dnf, SubLObject rule_assertion, SubLObject unification_bindings)`
`static SubLObject`	`transformation_generator_tactic_lookahead_rule(SubLObject transformation_generator_tactic)` Return the next rule that TRANSFORMATION-GENERATOR-TACTIC would generate, if any.
`static SubLObject`	`transformation_generator_tactic_p(SubLObject object)`
`static SubLObject`	`transformation_link_bindings(SubLObject transformation_link)` The first elements of these bindings are in the space of TRANSFORMATION-LINK's supported problem, and their second elements are in the space of TRANSFORMATION-LINK's unique supporting problem.
`static SubLObject`	`transformation_link_data_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`transformation_link_hl_module(SubLObject transformation_link)`
`static SubLObject`	`transformation_link_p(SubLObject object)`
`static SubLObject`	`transformation_link_rule_assertion(SubLObject transformation_link)`
`static SubLObject`	`transformation_link_supporting_mapped_problem(SubLObject transformation_link)`
`static SubLObject`	`transformation_link_supporting_problem(SubLObject transformation_link)`
`static SubLObject`	`transformation_link_supporting_variable_map(SubLObject transformation_link)`
`static SubLObject`	`transformation_link_supports(SubLObject transformation_link)`
`static SubLObject`	`transformation_link_tactic(SubLObject transformation_link)`
`static SubLObject`	`transformation_link_transformation_mt(SubLObject transformation_link)`
`static SubLObject`	`transformation_proof_abnormal_intP(SubLObject transformation_proof)`
`static SubLObject`	`transformation_proof_abnormalP_internal(SubLObject transformation_proof)`
`static SubLObject`	`transformation_proof_abnormalP(SubLObject transformation_proof)`
`static SubLObject`	`transformation_proof_p(SubLObject object)`
`static SubLObject`	`transformation_proof_rule_assertion(SubLObject proof)`
`static SubLObject`	`transformation_proof_rule_bindings(SubLObject transformation_proof)`
`static SubLObject`	`transformation_proof_subproof(SubLObject proof)`
`static SubLObject`	`transformation_tactic_lookahead_rule(SubLObject transformation_tactic)` Return the rule to use for lookahead heuristic analysis of TRANSFORMATION-TACTIC.
`static SubLObject`	`transformation_tactic_p(SubLObject tactic)`
`static SubLObject`	`transformation_tactic_rule(SubLObject transformation_tactic)`
`static SubLObject`	`unification_bindings_to_transformation_bindings(SubLObject unification_bindings)`
`static SubLObject`	`unification_dependent_dnf_to_transformation_dependent_dnf(SubLObject unification_dependent_dnf)`
`static SubLObject`	`unify_transformation_and_subproof_bindings(SubLObject transformation_bindings, SubLObject subproof_bindings)`

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

$dtp_transformation_link_data$

public static SubLSymbol $dtp_transformation_link_data$

$inference_transformation_type_checking_enabledP$

public static SubLSymbol $inference_transformation_type_checking_enabledP$

Whether we allow the possibility of adding type constraints during transformation.

$sym0$TRANSFORMATION_LINK_DATA

public static final SubLSymbol $sym0$TRANSFORMATION_LINK_DATA

$sym1$TRANSFORMATION_LINK_DATA_P

public static final SubLSymbol $sym1$TRANSFORMATION_LINK_DATA_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym6$DEFAULT_STRUCT_PRINT_FUNCTION

$sym7$TRANSFORMATION_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$TRANSFORMATION_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$TRANS_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym8$TRANS_LINK_DATA_HL_MODULE

$sym9$_CSETF_TRANS_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym9$_CSETF_TRANS_LINK_DATA_HL_MODULE

$sym10$TRANS_LINK_DATA_BINDINGS

public static final SubLSymbol $sym10$TRANS_LINK_DATA_BINDINGS

$sym11$_CSETF_TRANS_LINK_DATA_BINDINGS

public static final SubLSymbol $sym11$_CSETF_TRANS_LINK_DATA_BINDINGS

$sym12$TRANS_LINK_DATA_SUPPORTS

public static final SubLSymbol $sym12$TRANS_LINK_DATA_SUPPORTS

$sym13$_CSETF_TRANS_LINK_DATA_SUPPORTS

public static final SubLSymbol $sym13$_CSETF_TRANS_LINK_DATA_SUPPORTS

$sym14$TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY

public static final SubLSymbol $sym14$TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY

$sym15$_CSETF_TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY

public static final SubLSymbol $sym15$_CSETF_TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY

$kw16$HL_MODULE

public static final SubLSymbol $kw16$HL_MODULE

$kw17$BINDINGS

public static final SubLSymbol $kw17$BINDINGS

$kw18$SUPPORTS

public static final SubLSymbol $kw18$SUPPORTS

$kw19$NON_EXPLANATORY_SUBQUERY

public static final SubLSymbol $kw19$NON_EXPLANATORY_SUBQUERY

$str20$Invalid_slot__S_for_construction_

public static final SubLString $str20$Invalid_slot__S_for_construction_

$sym21$PROBLEM_P

public static final SubLSymbol $sym21$PROBLEM_P

$sym22$MAPPED_PROBLEM_P

public static final SubLSymbol $sym22$MAPPED_PROBLEM_P

$kw23$TRANSFORMATION

public static final SubLSymbol $kw23$TRANSFORMATION

$kw24$FREE

public static final SubLSymbol $kw24$FREE

$sym25$TRANSFORMATION_LINK_P

public static final SubLSymbol $sym25$TRANSFORMATION_LINK_P

$sym26$HL_MODULE_P

public static final SubLSymbol $sym26$HL_MODULE_P

$sym27$BINDING_LIST_P

public static final SubLSymbol $sym27$BINDING_LIST_P

$sym28$HL_JUSTIFICATION_P

public static final SubLSymbol $sym28$HL_JUSTIFICATION_P

$sym29$NON_EXPLANATORY_SUBQUERY_SPEC_P

public static final SubLSymbol $sym29$NON_EXPLANATORY_SUBQUERY_SPEC_P

$str30$No_tactic_found_for__S

public static final SubLString $str30$No_tactic_found_for__S

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

$sym33$STORE_VAR

public static final SubLSymbol $sym33$STORE_VAR

$sym34$CLET

public static final SubLSymbol $sym34$CLET

$list35

public static final SubLList $list35

$list36

public static final SubLList $list36

$list37

public static final SubLList $list37

$sym38$_NEGATION_BY_FAILURE_

public static final SubLSymbol $sym38$_NEGATION_BY_FAILURE_

$sym39$PROBLEM_STORE_NEGATION_BY_FAILURE_

public static final SubLSymbol $sym39$PROBLEM_STORE_NEGATION_BY_FAILURE_

$sym40$_DETERMINE_NEW_TRANSFORMATION_TACTICS_MODULE_

public static final SubLSymbol $sym40$_DETERMINE_NEW_TRANSFORMATION_TACTICS_MODULE_

$kw41$DETERMINE_NEW_TRANSFORMATION_TACTICS

public static final SubLSymbol $kw41$DETERMINE_NEW_TRANSFORMATION_TACTICS

$kw42$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw42$GROSSLY_INCOMPLETE

$kw43$SKIP

public static final SubLSymbol $kw43$SKIP

$sym44$TRANSFORMATION_GENERATOR_TACTIC_P

public static final SubLSymbol $sym44$TRANSFORMATION_GENERATOR_TACTIC_P

$sym45$TRANSFORMATION_PROOF_P

public static final SubLSymbol $sym45$TRANSFORMATION_PROOF_P

$str46$generalized_transformation_link_o

public static final SubLString $str46$generalized_transformation_link_o

$str47$generalized_transformation_proof_

public static final SubLString $str47$generalized_transformation_proof_

$list48

public static final SubLList $list48

$sym49$INFERENCE_EXCEPTED_ASSERTION_

public static final SubLSymbol $sym49$INFERENCE_EXCEPTED_ASSERTION_

$sym50$MEMOIZED_INFERENCE_EXCEPTED_ASSERTION_

public static final SubLSymbol $sym50$MEMOIZED_INFERENCE_EXCEPTED_ASSERTION_

$kw51$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw51$_MEMOIZED_ITEM_NOT_FOUND_

$sym52$SINGLE_LITERAL_PROBLEM_P

public static final SubLSymbol $sym52$SINGLE_LITERAL_PROBLEM_P

$kw53$TACTIC_SPECS

public static final SubLSymbol $kw53$TACTIC_SPECS

$kw54$TOTAL_PRODUCTIVITY

public static final SubLSymbol $kw54$TOTAL_PRODUCTIVITY

$str55$unexpected_tactic_specs_return_ty

public static final SubLString $str55$unexpected_tactic_specs_return_ty

$str56$pruningss__s

public static final SubLString $str56$pruning__s__s__s

$kw57$REMOVAL

public static final SubLSymbol $kw57$REMOVAL

$list58

public static final SubLList $list58

$sym59$TACTIC_VAR

public static final SubLSymbol $sym59$TACTIC_VAR

$sym60$WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym60$WITH_INFERENCE_MT_RELEVANCE

$sym61$_INFERENCE_EXPAND_HL_MODULE_

public static final SubLSymbol $sym61$_INFERENCE_EXPAND_HL_MODULE_

$sym62$TACTIC_HL_MODULE

public static final SubLSymbol $sym62$TACTIC_HL_MODULE

$sym63$_INFERENCE_EXPAND_SENSE_

public static final SubLSymbol $sym63$_INFERENCE_EXPAND_SENSE_

$sym64$WITH_PROBLEM_STORE_TRANSFORMATION_ASSUMPTIONS

public static final SubLSymbol $sym64$WITH_PROBLEM_STORE_TRANSFORMATION_ASSUMPTIONS

$sym65$TACTIC_STORE

public static final SubLSymbol $sym65$TACTIC_STORE

$str66$time_to_add_meta_transformation_s

public static final SubLString $str66$time_to_add_meta_transformation_s

$kw67$TRANSFORMATION_RULE_SELECT

public static final SubLSymbol $kw67$TRANSFORMATION_RULE_SELECT

$str68$transformation_tactic__S_already_

public static final SubLString $str68$transformation_tactic__S_already_

$sym69$HANDLE_TRANSFORMATION_ADD_NODE_FOR_EXPAND_RESULTS

public static final SubLSymbol $sym69$HANDLE_TRANSFORMATION_ADD_NODE_FOR_EXPAND_RESULTS

$kw70$NEG

public static final SubLSymbol $kw70$NEG

$kw71$POS

public static final SubLSymbol $kw71$POS

$list72

public static final SubLList $list72

$const73$termOfUnit

public static final SubLObject $const73$termOfUnit

$sym74$PROOF_P

public static final SubLSymbol $sym74$PROOF_P

$sym75$BINDINGS_P

public static final SubLSymbol $sym75$BINDINGS_P

$str76$Could_not_ground_out__s_and__s

public static final SubLString $str76$Could_not_ground_out__s_and__s

$str77$Could_not_unify_transformation_bi

public static final SubLString $str77$Could_not_unify_transformation_bi

$sym78$RULE_ASSERTION_

public static final SubLSymbol $sym78$RULE_ASSERTION_

$const79$InferencePSC

public static final SubLObject $const79$InferencePSC

$sym80$ASSERTION_P

public static final SubLSymbol $sym80$ASSERTION_P

$kw81$RULE

public static final SubLSymbol $kw81$RULE

$sym82$HL_VARIABLE_NOT_MENTIONED_IN_RULE_DNF_BUT_MENTIONED_IN_MERGE_DNF

public static final SubLSymbol $sym82$HL_VARIABLE_NOT_MENTIONED_IN_RULE_DNF_BUT_MENTIONED_IN_MERGE_DNF

$sym83$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P

public static final SubLSymbol $sym83$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P

$sym84$TRANSFORMATION_PROOF_ABNORMAL_

public static final SubLSymbol $sym84$TRANSFORMATION_PROOF_ABNORMAL_

$sym85$INFERENCE_BACKCHAIN_FORBIDDEN_UNLESS_ARG_CHOSEN_ARGNUMS_MEMOIZED

public static final SubLSymbol $sym85$INFERENCE_BACKCHAIN_FORBIDDEN_UNLESS_ARG_CHOSEN_ARGNUMS_MEMOIZED

$kw86$IGNORE

public static final SubLSymbol $kw86$IGNORE

$sym87$_

public static final SubLSymbol $sym87$_

$sym88$VARIABLE_ID

public static final SubLSymbol $sym88$VARIABLE_ID

$const89$genlRules

public static final SubLObject $const89$genlRules

Method Detail

transformation_link_data_print_function_trampoline

public static final SubLObject transformation_link_data_print_function_trampoline(SubLObject object,
                                                                                  SubLObject stream)

trans_link_data_hl_module

public static final SubLObject trans_link_data_hl_module(SubLObject object)

trans_link_data_bindings

public static final SubLObject trans_link_data_bindings(SubLObject object)

trans_link_data_supports

public static final SubLObject trans_link_data_supports(SubLObject object)

_csetf_trans_link_data_hl_module

public static final SubLObject _csetf_trans_link_data_hl_module(SubLObject object,
                                                                SubLObject value)

_csetf_trans_link_data_bindings

public static final SubLObject _csetf_trans_link_data_bindings(SubLObject object,
                                                               SubLObject value)

_csetf_trans_link_data_supports

public static final SubLObject _csetf_trans_link_data_supports(SubLObject object,
                                                               SubLObject value)

_csetf_trans_link_data_non_explanatory_subquery

public static final SubLObject _csetf_trans_link_data_non_explanatory_subquery(SubLObject object,
                                                                               SubLObject value)

make_transformation_link_data

public static final SubLObject make_transformation_link_data(SubLObject arglist)

new_transformation_link

public static final SubLObject new_transformation_link(SubLObject supported_problem,
                                                       SubLObject supporting_mapped_problem,
                                                       SubLObject hl_module,
                                                       SubLObject transformation_bindings,
                                                       SubLObject rule_assertion,
                                                       SubLObject more_supports,
                                                       SubLObject non_explanatory_subquery)

Returns:: transformation-link-p

new_transformation_link_int

public static final SubLObject new_transformation_link_int(SubLObject problem,
                                                           SubLObject hl_module,
                                                           SubLObject transformation_bindings,
                                                           SubLObject supports,
                                                           SubLObject non_explanatory_subquery)

Returns a new :transformation link with its data properties set to HL-MODULE, BINDINGS, and SUPPORTS, with a supported problem of PROBLEM, and no supporting problems yet.

new_transformation_link_data

public static final SubLObject new_transformation_link_data(SubLObject transformation_link)

transformation_link_hl_module

public static final SubLObject transformation_link_hl_module(SubLObject transformation_link)

transformation_link_bindings

public static final SubLObject transformation_link_bindings(SubLObject transformation_link)

The first elements of these bindings are in the space of TRANSFORMATION-LINK's supported problem, and their second elements are in the space of TRANSFORMATION-LINK's unique supporting problem.

transformation_link_supports

public static final SubLObject transformation_link_supports(SubLObject transformation_link)

transformation_link_rule_assertion

public static final SubLObject transformation_link_rule_assertion(SubLObject transformation_link)

set_transformation_link_hl_module

public static final SubLObject set_transformation_link_hl_module(SubLObject transformation_link,
                                                                 SubLObject hl_module)

set_transformation_link_bindings

public static final SubLObject set_transformation_link_bindings(SubLObject transformation_link,
                                                                SubLObject v_bindings)

set_transformation_link_supports

public static final SubLObject set_transformation_link_supports(SubLObject transformation_link,
                                                                SubLObject supports)

set_transformation_link_non_explanatory_subquery

public static final SubLObject set_transformation_link_non_explanatory_subquery(SubLObject transformation_link,
                                                                                SubLObject subquery)

transformation_link_tactic

public static final SubLObject transformation_link_tactic(SubLObject transformation_link)

transformation_link_supporting_mapped_problem

public static final SubLObject transformation_link_supporting_mapped_problem(SubLObject transformation_link)

Returns:: nil or mapped-problem-p

transformation_link_supporting_problem

public static final SubLObject transformation_link_supporting_problem(SubLObject transformation_link)

Returns:: nil or problem-p

transformation_link_supporting_variable_map

public static final SubLObject transformation_link_supporting_variable_map(SubLObject transformation_link)

Returns:: variable-map-p

transformation_link_transformation_mt

public static final SubLObject transformation_link_transformation_mt(SubLObject transformation_link)

meta_transformation_tactic_p

public static final SubLObject meta_transformation_tactic_p(SubLObject object)

add_tactic_to_determine_new_literal_transformation_tactics

public static final SubLObject add_tactic_to_determine_new_literal_transformation_tactics(SubLObject problem,
                                                                                          SubLObject asent,
                                                                                          SubLObject sense,
                                                                                          SubLObject mt)

First we add a tactic which, if executed, determines the rest of the transformation tactics for PROBLEM.

inference_backchain_forbidden_asentP

public static final SubLObject inference_backchain_forbidden_asentP(SubLObject asent,
                                                                    SubLObject mt)

new_meta_transformation_tactic

public static final SubLObject new_meta_transformation_tactic(SubLObject problem,
                                                              SubLObject asent,
                                                              SubLObject sense)

transformation_link_p

public static final SubLObject transformation_link_p(SubLObject object)

transformation_tactic_p

public static final SubLObject transformation_tactic_p(SubLObject tactic)

transformation_tactic_rule

public static final SubLObject transformation_tactic_rule(SubLObject transformation_tactic)

Returns:: rule-assertion?; the rule assertion associated with TACTIC temporarily sometimes returns NIL while transformation modules are in transition.

transformation_generator_tactic_p

public static final SubLObject transformation_generator_tactic_p(SubLObject object)

Returns:: booleanp; whether OBJECT is a transformation tactic that generates other transformation tactics.

transformation_generator_tactic_lookahead_rule

public static final SubLObject transformation_generator_tactic_lookahead_rule(SubLObject transformation_generator_tactic)

Return the next rule that TRANSFORMATION-GENERATOR-TACTIC would generate, if any.

transformation_tactic_lookahead_rule

public static final SubLObject transformation_tactic_lookahead_rule(SubLObject transformation_tactic)

Return the rule to use for lookahead heuristic analysis of TRANSFORMATION-TACTIC.

transformation_proof_p

public static final SubLObject transformation_proof_p(SubLObject object)

transformation_proof_rule_assertion

public static final SubLObject transformation_proof_rule_assertion(SubLObject proof)

transformation_proof_subproof

public static final SubLObject transformation_proof_subproof(SubLObject proof)

Returns:: nil or proof-p

generalized_transformation_link_p

public static final SubLObject generalized_transformation_link_p(SubLObject object)

generalized_transformation_link_rule_assertion

public static final SubLObject generalized_transformation_link_rule_assertion(SubLObject link)

generalized_transformation_link_unaffected_by_exceptionsP

public static final SubLObject generalized_transformation_link_unaffected_by_exceptionsP(SubLObject link)

generalized_transformation_proof_p

public static final SubLObject generalized_transformation_proof_p(SubLObject object)

generalized_transformation_proof_rule_assertion

public static final SubLObject generalized_transformation_proof_rule_assertion(SubLObject proof)

determine_rules_for_literal_transformation_tactics

public static final SubLObject determine_rules_for_literal_transformation_tactics(SubLObject problem,
                                                                                  SubLObject asent,
                                                                                  SubLObject hl_module)

inference_excepted_assertionP

public static final SubLObject inference_excepted_assertionP(SubLObject assertion)

memoized_inference_excepted_assertionP_internal

public static final SubLObject memoized_inference_excepted_assertionP_internal(SubLObject assertion,
                                                                               SubLObject mt)

memoized_inference_excepted_assertionP

public static final SubLObject memoized_inference_excepted_assertionP(SubLObject assertion,
                                                                      SubLObject mt)

problem_inference_and_non_continuable_problem_store_private

public static final SubLObject problem_inference_and_non_continuable_problem_store_private(SubLObject problem)

Given a problem get its inference if the problem store it is in is private for its inference Also return whether the problem store is private and the inference is non-continuable.

determine_literal_transformation_tactic_specs

public static final SubLObject determine_literal_transformation_tactic_specs(SubLObject asent,
                                                                             SubLObject sense,
                                                                             SubLObject disabled_modules)

Returns lists of the form (hl-module productivity), :complete is the assumed completeness

determine_literal_transformation_tactic_specs_int

public static final SubLObject determine_literal_transformation_tactic_specs_int(SubLObject asent,
                                                                                 SubLObject sense,
                                                                                 SubLObject disabled_modules,
                                                                                 SubLObject return_type)

Parameters:: RETURN-TYPE - keywordp; either :tactic-spec or :total-productivity. If :tactic-specs, returns lists of the form (hl-module productivity), where :complete is the assumed completeness. If :total-productivity, returns a productivity-p which is the sum of all the applicable productivities.

literal_level_transformation_tactic_p

public static final SubLObject literal_level_transformation_tactic_p(SubLObject tactic)

maybe_new_transformation_link

public static final SubLObject maybe_new_transformation_link(SubLObject supported_problem,
                                                             SubLObject supporting_mapped_problem,
                                                             SubLObject tactic,
                                                             SubLObject transformation_bindings,
                                                             SubLObject rule_assertion,
                                                             SubLObject more_supports,
                                                             SubLObject non_explanatory_subquery)

Returns:: nil or transformation-link-p Creates a new transformation link iff it would be interesting to do so.

recompute_thrown_away_due_to_new_transformation_link

public static final SubLObject recompute_thrown_away_due_to_new_transformation_link(SubLObject problem)

new_transformation_tactic

public static final SubLObject new_transformation_tactic(SubLObject problem,
                                                         SubLObject hl_module,
                                                         SubLObject productivity,
                                                         SubLObject rule)

compute_strategic_properties_of_transformation_tactic

public static final SubLObject compute_strategic_properties_of_transformation_tactic(SubLObject tactic,
                                                                                     SubLObject strategy)

execute_literal_level_transformation_tactic

public static final SubLObject execute_literal_level_transformation_tactic(SubLObject tactic,
                                                                           SubLObject mt,
                                                                           SubLObject asent,
                                                                           SubLObject sense)

maybe_make_transformation_tactic_progress_iterator

public static final SubLObject maybe_make_transformation_tactic_progress_iterator(SubLObject tactic,
                                                                                  SubLObject asent,
                                                                                  SubLObject sense)

maybe_make_meta_transformation_progress_iterator

public static final SubLObject maybe_make_meta_transformation_progress_iterator(SubLObject tactic,
                                                                                SubLObject asent,
                                                                                SubLObject sense)

maybe_make_transformation_rule_select_progress_iterator

public static final SubLObject maybe_make_transformation_rule_select_progress_iterator(SubLObject tactic,
                                                                                       SubLObject asent)

handle_one_transformation_tactic_rule_select_result

public static final SubLObject handle_one_transformation_tactic_rule_select_result(SubLObject transformation_tactic,
                                                                                   SubLObject rule)

maybe_make_transformation_expand_progress_iterator

public static final SubLObject maybe_make_transformation_expand_progress_iterator(SubLObject tactic,
                                                                                  SubLObject asent)

handle_transformation_add_node_for_expand_results

public static final SubLObject handle_transformation_add_node_for_expand_results(SubLObject rule_assertion,
                                                                                 SubLObject rule_pivot_asent,
                                                                                 SubLObject rule_pivot_sense,
                                                                                 SubLObject unification_bindings,
                                                                                 SubLObject unification_dependent_dnf,
                                                                                 SubLObject more_supports)

Parameters:: UNIFICATION-BINDINGS; - current tactic's problem vars -> something; UNIFICATION-DEPENDENT-DNF - the new transformed query

rule_assertion_worth_adding_type_constraintsP

public static final SubLObject rule_assertion_worth_adding_type_constraintsP(SubLObject rule)

transformation_additional_dont_care_constraints

public static final SubLObject transformation_additional_dont_care_constraints(SubLObject rule_pivot_asent,
                                                                               SubLObject unification_dependent_dnf,
                                                                               SubLObject rule_assertion,
                                                                               SubLObject unification_bindings)

nmerge_dnf

public static final SubLObject nmerge_dnf(SubLObject existing_dnf,
                                          SubLObject added_dnf)

Destructively modify EXISTING-DNF by merging ADDED-DNF into it. Return the modified EXISTING-DNF.

complete_execution_of_transformation_tactic

public static final SubLObject complete_execution_of_transformation_tactic(SubLObject tactic,
                                                                           SubLObject transformation_bindings,
                                                                           SubLObject rule_assertion,
                                                                           SubLObject more_supports,
                                                                           SubLObject unrestricted_transformation_dependent_dnf,
                                                                           SubLObject unrestricted_transformation_explanatory_dnf)

compute_transformation_non_explanatory_subquery

public static final SubLObject compute_transformation_non_explanatory_subquery(SubLObject unrestricted_transformation_dependent_dnf,
                                                                               SubLObject unrestricted_transformation_explanatory_dnf,
                                                                               SubLObject restricted_transformation_dependent_dnf,
                                                                               SubLObject transformation_bindings,
                                                                               SubLObject supporting_mapped_problem)

potentially_wf_transformation_dependent_query

public static final SubLObject potentially_wf_transformation_dependent_query(SubLObject dependent_query,
                                                                             SubLObject abduction_allowedP)

potentially_wf_restricted_transformation_dependent_asent

public static final SubLObject potentially_wf_restricted_transformation_dependent_asent(SubLObject contextualized_asent,
                                                                                        SubLObject sense,
                                                                                        SubLObject abduction_allowedP)

syntactically_valid_asent

public static final SubLObject syntactically_valid_asent(SubLObject asent)

new_transformation_proof

public static final SubLObject new_transformation_proof(SubLObject transformation_link,
                                                        SubLObject subproof,
                                                        SubLObject variable_map)

Parameters:: SUBPROOF - nil or proof-p; VARIABLE-MAP; - TRANSFORMATION-LINK's supporting problem -> TRANSFORMATION-LINK's extended supported problem
Returns:: 0 proof-p

compute_canonical_transformation_proof_bindings

public static final SubLObject compute_canonical_transformation_proof_bindings(SubLObject t_link_variable_map,
                                                                               SubLObject transformation_bindings,
                                                                               SubLObject supporting_subproof_bindings)

Parameters:: T-LINK-VARIABLE-MAP; - TRANSFORMATION-LINK's supporting problem -> TRANSFORMATION-LINK's extended supported problem; TRANSFORMATION-BINDINGS; - TRANSFORMATION-LINK's extended supported problem vars -> extended supported problem vars or new contents; SUPPORTING-SUBPROOF-BINDINGS; - TRANSFORMATION-LINK's supporting problem vars -> old contents

unification_dependent_dnf_to_transformation_dependent_dnf

public static final SubLObject unification_dependent_dnf_to_transformation_dependent_dnf(SubLObject unification_dependent_dnf)

unification_bindings_to_transformation_bindings

public static final SubLObject unification_bindings_to_transformation_bindings(SubLObject unification_bindings)

Parameters:: UNIFICATION-BINDINGS; - the bindings returned by @xref transformation-add-node. UNIFICATION-BINDINGS has the base variables (0-99) being the variables of the support (the rule), and the non-base vars (100-199) being the variables of the supported problem. This swaps the base and non-base variables. It also does a little bit of bindings simplification.

swap_variable_spaces_of_unification_bindings

public static final SubLObject swap_variable_spaces_of_unification_bindings(SubLObject unification_bindings)

Adds or subtracts 100 from all variables in UNIFICATION-BINDINGS. This is tied with the assumptions inside the transformation modules about how they call transformation-asent-unify.

transformation_proof_rule_bindings

public static final SubLObject transformation_proof_rule_bindings(SubLObject transformation_proof)

Returns:: bindings-p; TRANSFORMATION-LINK's rule assertion vars -> contents i.e. the variables in the TRANSFORMATION-LINK's rule assertion that were bound by SUBPROOF

compute_transformation_link_rule_bindings

public static final SubLObject compute_transformation_link_rule_bindings(SubLObject transformation_link,
                                                                         SubLObject supporting_subproof_bindings)

unify_transformation_and_subproof_bindings

public static final SubLObject unify_transformation_and_subproof_bindings(SubLObject transformation_bindings,
                                                                          SubLObject subproof_bindings)

Parameters:: TRANSFORMATION-BINDINGS; - TRANSFORMATION-LINK's extended supported problem vars -> extended supported problem vars or new contents; SUBPROOF-BINDINGS; - TRANSFORMATION-LINK's extended supported problem vars -> old contents This function recursively reduces all loops and dependencies between TRANSFORMATION-BINDINGS and SUBPROOF-BINDINGS until all bindings have fully-bound values.

extended_supported_problem_bindings_to_supported_problem_bindings

public static final SubLObject extended_supported_problem_bindings_to_supported_problem_bindings(SubLObject extended_supported_problem_bindings)

Extended supported problem bindings include both base and non-base variables; the base variables are the variables of the supported problem and the non-base variables are the variables of the rule assertion. This function filters out the non-base variables, leaving only the bindings whose variables are in the space of the supported problem. In other words:

Parameters:: EXTENDED-SUPPORTED-PROBLEM-BINDINGS; - TRANSFORMATION-LINK's extended supported problem bindings -> content
Returns:: SUPPORTED-PROBLEM-BINDINGS; TRANSFORMATION-LINK's supported problem bindings -> content

supported_problem_variable_p

public static final SubLObject supported_problem_variable_p(SubLObject variable)

extended_supported_problem_bindings_to_rule_bindings

public static final SubLObject extended_supported_problem_bindings_to_rule_bindings(SubLObject extended_supported_problem_bindings)

Extended supported problem bindings include both base and non-base variables; the base variables are the variables of the supported problem and the non-base variables are the variables of the rule assertion. This function filters out the base variables, leaving only the bindings whose variables are in the space of the rule assertion. In other words:

Parameters:: EXTENDED-SUPPORTED-PROBLEM-BINDINGS; - TRANSFORMATION-LINK's extended supported problem bindings -> content
Returns:: RULE-BINDINGS; TRANSFORMATION-LINK's rule assertion bindings -> content

rule_assertion_variable_p

public static final SubLObject rule_assertion_variable_p(SubLObject variable)

rule_assertion_has_some_pragmatic_requirementP

public static final SubLObject rule_assertion_has_some_pragmatic_requirementP(SubLObject rule_assertion,
                                                                              SubLObject mt)

Return T iff RULE-ASSERTION has some relevant #$pragmaticRequirement in MT

forward_rule_pragmatic_dnf

public static final SubLObject forward_rule_pragmatic_dnf(SubLObject rule,
                                                          SubLObject propagation_mt)

rule_assertion_pragmatic_requirements_dnf

public static final SubLObject rule_assertion_pragmatic_requirements_dnf(SubLObject rule_assertion,
                                                                         SubLObject mt)

Return a DNF clause expressing all the known #$pragmaticRequirements for RULE-ASSERTION in MT

merge_pragmatic_requirement

public static final SubLObject merge_pragmatic_requirement(SubLObject rule_assertion,
                                                           SubLObject pragma_assertion,
                                                           SubLObject merge_dnf)

Merge the pragmatic requirements for RULE-ASSERTION expressed in PRAGMA-ASSERTION into MERGE-DNF and return it.

compute_pragmatic_literal_for_merge

public static final SubLObject compute_pragmatic_literal_for_merge(SubLObject literal,
                                                                   SubLObject merge_dnf,
                                                                   SubLObject rule_dnf)

If LITERAL contains any HL variables that are not mentioned in RULE-DNF but _are_ mentioned in MERGE-DNF, returns a new literal which is LITERAL with those HL variables substituted with new HL variables which do not occur in either MERGE-DNF or RULE-DNF. Otherwise returns LITERAL.

hl_variable_not_mentioned_in_rule_dnf_but_mentioned_in_merge_dnf

public static final SubLObject hl_variable_not_mentioned_in_rule_dnf_but_mentioned_in_merge_dnf(SubLObject object)

bubble_up_proof_to_transformation_link

public static final SubLObject bubble_up_proof_to_transformation_link(SubLObject supporting_proof,
                                                                      SubLObject variable_map,
                                                                      SubLObject transformation_link)

transformation_proof_abnormalP_internal

public static final SubLObject transformation_proof_abnormalP_internal(SubLObject transformation_proof)

transformation_proof_abnormalP

public static final SubLObject transformation_proof_abnormalP(SubLObject transformation_proof)

transformation_proof_abnormal_intP

public static final SubLObject transformation_proof_abnormal_intP(SubLObject transformation_proof)

proof_depends_on_excepted_assertionP

public static final SubLObject proof_depends_on_excepted_assertionP(SubLObject proof)

supports_contain_excepted_assertionP

public static final SubLObject supports_contain_excepted_assertionP(SubLObject supports)

supports_contain_excepted_assertion_in_mtP

public static final SubLObject supports_contain_excepted_assertion_in_mtP(SubLObject supports,
                                                                          SubLObject mt)

genl_rules_enabledP

public static final SubLObject genl_rules_enabledP()

max_rules

public static final SubLObject max_rules(SubLObject rules,
                                         SubLObject mt)

Returns the most-general rules (via #$genlRules) among RULES, which are those rules that have no proper genlRule among RULES.

declare_inference_worker_transformation_file

public static final SubLObject declare_inference_worker_transformation_file()

init_inference_worker_transformation_file

public static final SubLObject init_inference_worker_transformation_file()

setup_inference_worker_transformation_file

public static final SubLObject setup_inference_worker_transformation_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.harness Class inference_worker_transformation

me

myName

$dtp_transformation_link_data$

$inference_transformation_type_checking_enabledP$

$sym0$TRANSFORMATION_LINK_DATA

$sym1$TRANSFORMATION_LINK_DATA_P

$list2

$list3

$list4

$list5

$sym6$DEFAULT_STRUCT_PRINT_FUNCTION

$sym7$TRANSFORMATION_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$TRANS_LINK_DATA_HL_MODULE

$sym9$_CSETF_TRANS_LINK_DATA_HL_MODULE

$sym10$TRANS_LINK_DATA_BINDINGS

$sym11$_CSETF_TRANS_LINK_DATA_BINDINGS

$sym12$TRANS_LINK_DATA_SUPPORTS

$sym13$_CSETF_TRANS_LINK_DATA_SUPPORTS

$sym14$TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY

$sym15$_CSETF_TRANS_LINK_DATA_NON_EXPLANATORY_SUBQUERY

$kw16$HL_MODULE

$kw17$BINDINGS

$kw18$SUPPORTS

$kw19$NON_EXPLANATORY_SUBQUERY

$str20$Invalid_slot__S_for_construction_

$sym21$PROBLEM_P

$sym22$MAPPED_PROBLEM_P

$kw23$TRANSFORMATION

$kw24$FREE

$sym25$TRANSFORMATION_LINK_P

$sym26$HL_MODULE_P

$sym27$BINDING_LIST_P

$sym28$HL_JUSTIFICATION_P

$sym29$NON_EXPLANATORY_SUBQUERY_SPEC_P

$str30$No_tactic_found_for__S

$list31

$list32

$sym33$STORE_VAR

$sym34$CLET

$list35

$list36

$list37

$sym38$_NEGATION_BY_FAILURE_

$sym39$PROBLEM_STORE_NEGATION_BY_FAILURE_

$sym40$_DETERMINE_NEW_TRANSFORMATION_TACTICS_MODULE_

$kw41$DETERMINE_NEW_TRANSFORMATION_TACTICS

$kw42$GROSSLY_INCOMPLETE

$kw43$SKIP

$sym44$TRANSFORMATION_GENERATOR_TACTIC_P

$sym45$TRANSFORMATION_PROOF_P

$str46$generalized_transformation_link_o

$str47$generalized_transformation_proof_

$list48

$sym49$INFERENCE_EXCEPTED_ASSERTION_

$sym50$MEMOIZED_INFERENCE_EXCEPTED_ASSERTION_

$kw51$_MEMOIZED_ITEM_NOT_FOUND_

$sym52$SINGLE_LITERAL_PROBLEM_P

$kw53$TACTIC_SPECS

$kw54$TOTAL_PRODUCTIVITY

$str55$unexpected_tactic_specs_return_ty

$str56$pruning__s__s__s

$kw57$REMOVAL

$list58

$sym59$TACTIC_VAR

$sym60$WITH_INFERENCE_MT_RELEVANCE

$sym61$_INFERENCE_EXPAND_HL_MODULE_

$sym62$TACTIC_HL_MODULE

$sym63$_INFERENCE_EXPAND_SENSE_

$sym64$WITH_PROBLEM_STORE_TRANSFORMATION_ASSUMPTIONS

$sym65$TACTIC_STORE

$str66$time_to_add_meta_transformation_s

$kw67$TRANSFORMATION_RULE_SELECT

$str68$transformation_tactic__S_already_

$sym69$HANDLE_TRANSFORMATION_ADD_NODE_FOR_EXPAND_RESULTS

$kw70$NEG

$kw71$POS

$list72

$const73$termOfUnit

$sym74$PROOF_P

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

$str56$pruningss__s