com.cyc.cycjava.cycl.inference.harness
Class inference_balanced_tactician_strategic_uninterestingness
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.harness.inference_balanced_tactician_strategic_uninterestingness
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class inference_balanced_tactician_strategic_uninterestingness
- 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 |
balanced_strategy_chooses_to_set_aside_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject problem_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_set_aside_connected_conjunction_link_wrt_removalP(SubLObject strategy,
SubLObject link)
|
static SubLObject |
balanced_strategy_chooses_to_set_aside_join_ordered_tactic_due_to_conjunctive_removalP(SubLObject strategy,
SubLObject jo_tactic,
SubLObject problem_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_set_aside_linkP(SubLObject strategy,
SubLObject link,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject thrown_away_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_set_aside_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that can be cached. |
static SubLObject |
balanced_strategy_chooses_to_set_aside_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
balanced_strategy_chooses_to_set_aside_problemP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_set_aside_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject thrown_away_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_set_aside_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that can be cached. |
static SubLObject |
balanced_strategy_chooses_to_set_aside_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic,
SubLObject motivation)
|
static SubLObject |
balanced_strategy_chooses_to_set_aside_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
balanced_strategy_chooses_to_set_aside_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject problem_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_connected_conjunction_link_wrt_removalP(SubLObject strategy,
SubLObject link)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_linkP(SubLObject strategy,
SubLObject link,
SubLObject motivation,
SubLObject problem_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_lookahead_problemP(SubLObject strategy,
SubLObject lookahead_problem,
SubLObject motivation)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_meta_removal_tactic_wrt_removalP(SubLObject strategy,
SubLObject meta_removal_tactic)
STRATEGY should throw away META-REMOVAL-TACTIC if it has a sibling tactic that is tactically possible but disallowed by STRATEGY,
because then the intended completeness of META-REMOVAL-TACTIC is inapplicable. |
static SubLObject |
balanced_strategy_chooses_to_throw_away_new_rootP(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP)
The parts of throw-away reasoning that can be cached. |
static SubLObject |
balanced_strategy_chooses_to_throw_away_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP)
The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
balanced_strategy_chooses_to_throw_away_problemP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject motivation,
SubLObject problem_already_consideredP)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
The parts of throw-away reasoning that can be cached. |
static SubLObject |
balanced_strategy_chooses_to_throw_away_tactic_hl_module_wrt_motivationP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation)
Return T iff STRATEGY throws away all tactics involving the HL module of TACTIC wrt MOTIVATION. |
static SubLObject |
balanced_strategy_chooses_to_throw_away_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic,
SubLObject motivation)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
balanced_strategy_chooses_to_throw_away_tactic_with_sibling_simplification_tacticP(SubLObject tactic)
|
static SubLObject |
balanced_strategy_chooses_to_throw_away_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
|
static SubLObject |
balanced_strategy_deems_tactic_harmless_wrt_removal_motivationP(SubLObject strategy,
SubLObject tactic)
|
static SubLObject |
balanced_strategy_default_chooses_to_throw_away_new_rootP(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
balanced_strategy_last_uninterestingness_explanation()
|
static SubLObject |
balanced_strategy_link_has_sibling_early_removal_linkP(SubLObject strategy,
SubLObject link)
|
static SubLObject |
balanced_strategy_problem_thrown_awayP(SubLObject strategy,
SubLObject problem,
SubLObject motivation)
|
static SubLObject |
balanced_strategy_reconsider_set_asides(SubLObject strategy)
|
static SubLObject |
balanced_strategy_set_aside_non_continuable_implies_throw_away_problemP(SubLObject problem,
SubLObject motivation)
Whether :set-aside plus non-continuable should be strengthened to :throw-away for PROBLEM. |
static SubLObject |
balanced_strategy_set_aside_non_continuable_implies_throw_away_tacticP(SubLObject tactic,
SubLObject motivation)
Whether :set-aside plus non-continuable should be strengthened to :throw-away for TACTIC. |
static SubLObject |
balanced_strategy_set_aside_problems_to_reconsider(SubLObject strategy)
|
static SubLObject |
balanced_strategy_tactic_set_asideP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation)
|
static SubLObject |
balanced_strategy_tactic_thrown_awayP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation)
|
static SubLObject |
balanced_strategy_throw_away_uninteresting_set_asides_int(SubLObject strategy)
|
static SubLObject |
balanced_strategy_throw_away_uninteresting_set_asides(SubLObject strategy)
|
static SubLObject |
balanced_strategy_transformation_tactic_generated_enoughP(SubLObject strategy,
SubLObject tactic)
|
static SubLObject |
declare_inference_balanced_tactician_strategic_uninterestingness_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_inference_balanced_tactician_strategic_uninterestingness_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_inference_balanced_tactician_strategic_uninterestingness_file()
|
static SubLObject |
why_balanced_strategy_chooses_to_ignore_new_root(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
why_balanced_strategy_chooses_to_ignore_strategem(SubLObject strategy,
SubLObject strategem,
SubLObject motivation)
|
| 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
$balanced_strategy_gathering_uninterestingness_explanationsP$
public static SubLSymbol $balanced_strategy_gathering_uninterestingness_explanationsP$
- Whether we are gathering explanations of strategic uninterestingness
$balanced_strategy_weaken_split_tactic_set_aside_policyP$
public static SubLSymbol $balanced_strategy_weaken_split_tactic_set_aside_policyP$
- Temporary control parameter;
When non-nil, the set-aside policy for split tactics is weakened to be more conservative.
$list0
public static final SubLList $list0
$sym1$CLET
public static final SubLSymbol $sym1$CLET
$list2
public static final SubLList $list2
$sym3$BALANCED_STRATEGY_NOTE_UNINTERESTINGNESS_EXPLANATION
public static final SubLSymbol $sym3$BALANCED_STRATEGY_NOTE_UNINTERESTINGNESS_EXPLANATION
$sym4$BALANCED_STRATEGY_POSSIBLY_NOTE_UNINTERESTINGNESS_EXPLANATION
public static final SubLSymbol $sym4$BALANCED_STRATEGY_POSSIBLY_NOTE_UNINTERESTINGNESS_EXPLANATION
$sym5$BALANCED_STRATEGY_UNINTERESTINGNESS_EXPLANATION_P
public static final SubLSymbol $sym5$BALANCED_STRATEGY_UNINTERESTINGNESS_EXPLANATION_P
$list6
public static final SubLList $list6
$list7
public static final SubLList $list7
$kw8$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw8$ALLOW_OTHER_KEYS
$kw9$PROBLEM
public static final SubLSymbol $kw9$PROBLEM
$kw10$TACTIC
public static final SubLSymbol $kw10$TACTIC
$kw11$LINK
public static final SubLSymbol $kw11$LINK
$kw12$SUBEXPLANATION
public static final SubLSymbol $kw12$SUBEXPLANATION
$sym13$PWHEN
public static final SubLSymbol $sym13$PWHEN
$sym14$_BALANCED_STRATEGY_GATHERING_UNINTERESTINGNESS_EXPLANATIONS__
public static final SubLSymbol $sym14$_BALANCED_STRATEGY_GATHERING_UNINTERESTINGNESS_EXPLANATIONS__
$list15
public static final SubLList $list15
$list16
public static final SubLList $list16
$sym17$BALANCED_STRATEGY_UNINTERESTINGNESS_EXPLANATION_TYPE_P
public static final SubLSymbol $sym17$BALANCED_STRATEGY_UNINTERESTINGNESS_EXPLANATION_TYPE_P
$sym18$PROBLEM_P
public static final SubLSymbol $sym18$PROBLEM_P
$sym19$TACTIC_P
public static final SubLSymbol $sym19$TACTIC_P
$sym20$PROBLEM_LINK_P
public static final SubLSymbol $sym20$PROBLEM_LINK_P
$kw21$REMOVAL
public static final SubLSymbol $kw21$REMOVAL
$sym22$BALANCED_STRATEGY_MOTIVATION_P
public static final SubLSymbol $sym22$BALANCED_STRATEGY_MOTIVATION_P
$kw23$PROBLEM_HAS_NO_ACTIVATIBLE_REMOVAL_STRATEGEMS
public static final SubLSymbol $kw23$PROBLEM_HAS_NO_ACTIVATIBLE_REMOVAL_STRATEGEMS
$kw24$TRANSFORMATION
public static final SubLSymbol $kw24$TRANSFORMATION
$kw25$PROBLEM_HAS_NO_ACTIVATIBLE_TRANSFORMATION_STRATEGEMS
public static final SubLSymbol $kw25$PROBLEM_HAS_NO_ACTIVATIBLE_TRANSFORMATION_STRATEGEMS
$kw26$PROBLEM_ALREADY_THROWN_AWAY
public static final SubLSymbol $kw26$PROBLEM_ALREADY_THROWN_AWAY
$kw27$STRATEGY_THROWS_AWAY_ALL_TRANSFORMATION
public static final SubLSymbol $kw27$STRATEGY_THROWS_AWAY_ALL_TRANSFORMATION
$kw28$ALL_TACTICS_THROWN_AWAY
public static final SubLSymbol $kw28$ALL_TACTICS_THROWN_AWAY
$kw29$PROBLEM_STRATEGY_NOT_CONTINUABLE
public static final SubLSymbol $kw29$PROBLEM_STRATEGY_NOT_CONTINUABLE
$kw30$PROBLEM_HAS_NO_TRANSFORMATION_TACTICS
public static final SubLSymbol $kw30$PROBLEM_HAS_NO_TRANSFORMATION_TACTICS
$sym31$ABDUCED_TERM_P
public static final SubLSymbol $sym31$ABDUCED_TERM_P
$kw32$DONT_TRANSFORM_ON_PROBLEM_WITH_ABDUCED_TERM
public static final SubLSymbol $kw32$DONT_TRANSFORM_ON_PROBLEM_WITH_ABDUCED_TERM
$kw33$TACTIC_ALREADY_THROWN_AWAY
public static final SubLSymbol $kw33$TACTIC_ALREADY_THROWN_AWAY
$kw34$TACTIC_HL_MODULE_THROWN_AWAY
public static final SubLSymbol $kw34$TACTIC_HL_MODULE_THROWN_AWAY
$kw35$META_REMOVAL_TACTIC_THROWN_AWAY
public static final SubLSymbol $kw35$META_REMOVAL_TACTIC_THROWN_AWAY
$kw36$TACTIC_THROWN_AWAY_BECAUSE_PROBLEM_THROWN_AWAY
public static final SubLSymbol $kw36$TACTIC_THROWN_AWAY_BECAUSE_PROBLEM_THROWN_AWAY
$str37$tactic_is_impossible
public static final SubLString $str37$tactic_is_impossible
$kw38$TACTIC_THROWN_AWAY_BECAUSE_LOOKAHEAD_PROBLEM_THROWN_AWAY
public static final SubLSymbol $kw38$TACTIC_THROWN_AWAY_BECAUSE_LOOKAHEAD_PROBLEM_THROWN_AWAY
$kw39$TACTIC_GENERATED_ENOUGH
public static final SubLSymbol $kw39$TACTIC_GENERATED_ENOUGH
$kw40$TACTIC_STRATEGY_NOT_CONTINUABLE
public static final SubLSymbol $kw40$TACTIC_STRATEGY_NOT_CONTINUABLE
$kw41$DONT_DO_ABDUCTION_ON_GOOD_PROBLEM
public static final SubLSymbol $kw41$DONT_DO_ABDUCTION_ON_GOOD_PROBLEM
$kw42$PROBLEM_HAS_NON_ABDUCIBLE_RULE_TRANSFORMATION_LINK
public static final SubLSymbol $kw42$PROBLEM_HAS_NON_ABDUCIBLE_RULE_TRANSFORMATION_LINK
$kw43$TACTIC_THROWN_AWAY_BECAUSE_COMPLETE_SIBLING_CONJUNCTIVE_REMOVAL
public static final SubLSymbol $kw43$TACTIC_THROWN_AWAY_BECAUSE_COMPLETE_SIBLING_CONJUNCTIVE_REMOVAL
$str44$tactic_is_disallowed
public static final SubLString $str44$tactic_is_disallowed
$kw45$TACTIC_THROWN_AWAY_BECAUSE_SIBLING_BACKCHAIN_REQUIRED
public static final SubLSymbol $kw45$TACTIC_THROWN_AWAY_BECAUSE_SIBLING_BACKCHAIN_REQUIRED
$kw46$TACTIC_THROWN_AWAY_BECAUSE_SIBLING_IS_A_SIMPLIFICATION
public static final SubLSymbol $kw46$TACTIC_THROWN_AWAY_BECAUSE_SIBLING_IS_A_SIMPLIFICATION
$kw47$LINK_SUPPORTED_PROBLEM_THROWN_AWAY
public static final SubLSymbol $kw47$LINK_SUPPORTED_PROBLEM_THROWN_AWAY
$kw48$SIBLING_EARLY_REMOVAL_LINK
public static final SubLSymbol $kw48$SIBLING_EARLY_REMOVAL_LINK
$kw49$LINK_RULE_DISALLOWED
public static final SubLSymbol $kw49$LINK_RULE_DISALLOWED
$kw50$INVALID
public static final SubLSymbol $kw50$INVALID
$kw51$THROW_AWAY
public static final SubLSymbol $kw51$THROW_AWAY
$kw52$THROW_AWAY_NEW_ROOT
public static final SubLSymbol $kw52$THROW_AWAY_NEW_ROOT
$kw53$NEW_ROOT_PENDING_WRT_MOTIVATION
public static final SubLSymbol $kw53$NEW_ROOT_PENDING_WRT_MOTIVATION
$kw54$PROBLEM_ALREADY_SET_ASIDE
public static final SubLSymbol $kw54$PROBLEM_ALREADY_SET_ASIDE
$kw55$STRATEGY_SETS_ASIDE_ALL_TRANSFORMATION
public static final SubLSymbol $kw55$STRATEGY_SETS_ASIDE_ALL_TRANSFORMATION
$kw56$ALL_TACTICS_SET_ASIDE
public static final SubLSymbol $kw56$ALL_TACTICS_SET_ASIDE
$kw57$TACTIC_ALREADY_SET_ASIDE
public static final SubLSymbol $kw57$TACTIC_ALREADY_SET_ASIDE
$kw58$TACTIC_SET_ASIDE_BECAUSE_PROBLEM_SET_ASIDE
public static final SubLSymbol $kw58$TACTIC_SET_ASIDE_BECAUSE_PROBLEM_SET_ASIDE
$kw59$TACTIC_SET_ASIDE_BECAUSE_LOOKAHEAD_PROBLEM_SET_ASIDE
public static final SubLSymbol $kw59$TACTIC_SET_ASIDE_BECAUSE_LOOKAHEAD_PROBLEM_SET_ASIDE
$kw60$LOGICAL_TACTIC_EXCEEDS_MAX_TRANSFORMATION_DEPTH
public static final SubLSymbol $kw60$LOGICAL_TACTIC_EXCEEDS_MAX_TRANSFORMATION_DEPTH
$kw61$JOIN_ORDERED_TACTIC_LEADS_TO_SET_ASIDE_CONJUNCTIVE_REMOVALS
public static final SubLSymbol $kw61$JOIN_ORDERED_TACTIC_LEADS_TO_SET_ASIDE_CONJUNCTIVE_REMOVALS
$kw62$LINK_SUPPORTED_PROBLEM_SET_ASIDE
public static final SubLSymbol $kw62$LINK_SUPPORTED_PROBLEM_SET_ASIDE
$kw63$SET_ASIDE
public static final SubLSymbol $kw63$SET_ASIDE
$kw64$IRRELEVANT
public static final SubLSymbol $kw64$IRRELEVANT
$kw65$REMOVAL_CONJUNCTIVE
public static final SubLSymbol $kw65$REMOVAL_CONJUNCTIVE
$sym66$BALANCED_STRATEGY_PREFERRED_BACKCHAIN_REQUIRED_JOIN_ORDERED_TACTI
public static final SubLSymbol $sym66$BALANCED_STRATEGY_PREFERRED_BACKCHAIN_REQUIRED_JOIN_ORDERED_TACTI
$kw67$UNDETERMINED
public static final SubLSymbol $kw67$UNDETERMINED
$kw68$POSITIVE_INFINITY
public static final SubLSymbol $kw68$POSITIVE_INFINITY
$kw69$JOIN_ORDERED
public static final SubLSymbol $kw69$JOIN_ORDERED
$kw70$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw70$_MEMOIZED_ITEM_NOT_FOUND_
$list71
public static final SubLList $list71
$sym72$BALANCED_STRATEGY_P
public static final SubLSymbol $sym72$BALANCED_STRATEGY_P
$kw73$SPLIT
public static final SubLSymbol $kw73$SPLIT
$kw74$SPLIT_TACTIC_THROWN_AWAY_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
public static final SubLSymbol $kw74$SPLIT_TACTIC_THROWN_AWAY_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
$kw75$EARLY_REMOVAL_LINK
public static final SubLSymbol $kw75$EARLY_REMOVAL_LINK
$kw76$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_SET_ASIDE
public static final SubLSymbol $kw76$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_SET_ASIDE
$kw77$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
public static final SubLSymbol $kw77$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
$kw78$GENERALIZED_REMOVAL
public static final SubLSymbol $kw78$GENERALIZED_REMOVAL
$kw79$POSSIBLE
public static final SubLSymbol $kw79$POSSIBLE
$sym80$_
public static final SubLSymbol $sym80$_
$sym81$PROBLEM_SUID
public static final SubLSymbol $sym81$PROBLEM_SUID
balanced_strategy_last_uninterestingness_explanation
public static final SubLObject balanced_strategy_last_uninterestingness_explanation()
balanced_strategy_set_aside_non_continuable_implies_throw_away_tacticP
public static final SubLObject balanced_strategy_set_aside_non_continuable_implies_throw_away_tacticP(SubLObject tactic,
SubLObject motivation)
- Whether :set-aside plus non-continuable should be strengthened to :throw-away for TACTIC.
This is usually T except for special circumstances, e.g. split tactic removal lookahead when transformation is allowed.
balanced_strategy_set_aside_non_continuable_implies_throw_away_problemP
public static final SubLObject balanced_strategy_set_aside_non_continuable_implies_throw_away_problemP(SubLObject problem,
SubLObject motivation)
- Whether :set-aside plus non-continuable should be strengthened to :throw-away for PROBLEM.
This is usually T except for special circumstances, e.g. if PROBLEM is a split problem and transformation is allowed.
balanced_strategy_chooses_to_throw_away_problemP
public static final SubLObject balanced_strategy_chooses_to_throw_away_problemP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP)
- Returns:
- booleanp; whether STRATEGY, after careful deliberation, chooses to throw away PROBLEM wrt MOTIVATION.
balanced_strategy_chooses_to_throw_away_problem_uncacheableP
public static final SubLObject balanced_strategy_chooses_to_throw_away_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP)
- The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
balanced_strategy_chooses_to_throw_away_problem_cacheableP
public static final SubLObject balanced_strategy_chooses_to_throw_away_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP)
- The parts of throw-away reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
balanced_strategy_chooses_to_throw_away_strategemP
public static final SubLObject balanced_strategy_chooses_to_throw_away_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject motivation,
SubLObject problem_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the problem of STRATEGEM
might be thrown away wrt MOTIVATION. If T, the analysis will not be redone.
balanced_strategy_chooses_to_throw_away_tacticP
public static final SubLObject balanced_strategy_chooses_to_throw_away_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the problem of TACTIC
might be thrown away wrt MOTIVATION. If T, the analysis will not be redone.
balanced_strategy_chooses_to_throw_away_tactic_uncacheableP
public static final SubLObject balanced_strategy_chooses_to_throw_away_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
- The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
balanced_strategy_chooses_to_throw_away_tactic_cacheableP
public static final SubLObject balanced_strategy_chooses_to_throw_away_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
- The parts of throw-away reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
balanced_strategy_chooses_to_throw_away_tactic_with_sibling_simplification_tacticP
public static final SubLObject balanced_strategy_chooses_to_throw_away_tactic_with_sibling_simplification_tacticP(SubLObject tactic)
balanced_strategy_chooses_to_throw_away_linkP
public static final SubLObject balanced_strategy_chooses_to_throw_away_linkP(SubLObject strategy,
SubLObject link,
SubLObject motivation,
SubLObject problem_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the supported problem of LINK
might be thrown away wrt MOTIVATION. If T, the analysis will not be redone.
why_balanced_strategy_chooses_to_ignore_new_root
public static final SubLObject why_balanced_strategy_chooses_to_ignore_new_root(SubLObject strategy,
SubLObject problem)
balanced_strategy_chooses_to_throw_away_new_rootP
public static final SubLObject balanced_strategy_chooses_to_throw_away_new_rootP(SubLObject strategy,
SubLObject problem)
balanced_strategy_default_chooses_to_throw_away_new_rootP
public static final SubLObject balanced_strategy_default_chooses_to_throw_away_new_rootP(SubLObject strategy,
SubLObject problem)
balanced_strategy_chooses_to_set_aside_problemP
public static final SubLObject balanced_strategy_chooses_to_set_aside_problemP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
- Returns:
- booleanp; whether STRATEGY, after careful deliberation, chooses to set aside PROBLEM wrt MOTIVATION.
balanced_strategy_chooses_to_set_aside_problem_uncacheableP
public static final SubLObject balanced_strategy_chooses_to_set_aside_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
balanced_strategy_chooses_to_set_aside_problem_cacheableP
public static final SubLObject balanced_strategy_chooses_to_set_aside_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
balanced_strategy_chooses_to_set_aside_strategemP
public static final SubLObject balanced_strategy_chooses_to_set_aside_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject thrown_away_already_consideredP)
balanced_strategy_chooses_to_set_aside_tacticP
public static final SubLObject balanced_strategy_chooses_to_set_aside_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the problem of TACTIC
might be set aside wrt MOTIVATION. If T, the analysis will not be redone.THROWN-AWAY-ALREADY-CONSIDERED?; - don't redo work if this is being called from balanced-strategy-chooses-to-throw-away-tactic?
balanced_strategy_chooses_to_set_aside_tactic_uncacheableP
public static final SubLObject balanced_strategy_chooses_to_set_aside_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
balanced_strategy_chooses_to_set_aside_tactic_cacheableP
public static final SubLObject balanced_strategy_chooses_to_set_aside_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
balanced_strategy_transformation_tactic_generated_enoughP
public static final SubLObject balanced_strategy_transformation_tactic_generated_enoughP(SubLObject strategy,
SubLObject tactic)
- Returns:
- booleanp; whether STRATEGY deems that TACTIC has already generated enough transformation
tactics. TACTIC must be a transformation tactic generator tactic, like TRANS-PREDICATE-POS.
balanced_strategy_chooses_to_set_aside_linkP
public static final SubLObject balanced_strategy_chooses_to_set_aside_linkP(SubLObject strategy,
SubLObject link,
SubLObject motivation,
SubLObject problem_already_consideredP,
SubLObject thrown_away_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the supported problem of LINK
might be set aside wrt MOTIVATION. If T, the analysis will not be redone.
why_balanced_strategy_chooses_to_ignore_strategem
public static final SubLObject why_balanced_strategy_chooses_to_ignore_strategem(SubLObject strategy,
SubLObject strategem,
SubLObject motivation)
- Returns:
- strategic-uninterestingness-reason-p
balanced_strategy_chooses_to_throw_away_all_tacticsP
public static final SubLObject balanced_strategy_chooses_to_throw_away_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject problem_already_consideredP)
balanced_strategy_chooses_to_set_aside_all_tacticsP
public static final SubLObject balanced_strategy_chooses_to_set_aside_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject motivation,
SubLObject problem_already_consideredP)
balanced_strategy_chooses_to_set_aside_join_ordered_tactic_due_to_conjunctive_removalP
public static final SubLObject balanced_strategy_chooses_to_set_aside_join_ordered_tactic_due_to_conjunctive_removalP(SubLObject strategy,
SubLObject jo_tactic,
SubLObject problem_already_consideredP)
balanced_strategy_chooses_to_throw_away_connected_conjunction_link_wrt_removalP
public static final SubLObject balanced_strategy_chooses_to_throw_away_connected_conjunction_link_wrt_removalP(SubLObject strategy,
SubLObject link)
balanced_strategy_chooses_to_set_aside_connected_conjunction_link_wrt_removalP
public static final SubLObject balanced_strategy_chooses_to_set_aside_connected_conjunction_link_wrt_removalP(SubLObject strategy,
SubLObject link)
balanced_strategy_chooses_to_throw_away_tactic_hl_module_wrt_motivationP
public static final SubLObject balanced_strategy_chooses_to_throw_away_tactic_hl_module_wrt_motivationP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation)
- Return T iff STRATEGY throws away all tactics involving the HL module of TACTIC wrt MOTIVATION.
balanced_strategy_problem_thrown_awayP
public static final SubLObject balanced_strategy_problem_thrown_awayP(SubLObject strategy,
SubLObject problem,
SubLObject motivation)
- Returns:
- booleanp; whether PROBLEM has MOTIVATION according to STRATEGY,
but is no longer active or set-aside.
balanced_strategy_tactic_thrown_awayP
public static final SubLObject balanced_strategy_tactic_thrown_awayP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation)
balanced_strategy_tactic_set_asideP
public static final SubLObject balanced_strategy_tactic_set_asideP(SubLObject strategy,
SubLObject tactic,
SubLObject motivation)
balanced_strategy_deems_tactic_harmless_wrt_removal_motivationP
public static final SubLObject balanced_strategy_deems_tactic_harmless_wrt_removal_motivationP(SubLObject strategy,
SubLObject tactic)
- Returns:
- booleanp; whether STRATEGY deems it harmless to propagate removal motivation to TACTIC,
even if it appears pointless to do so. One such case is the 'law of R',
which states that if TACTIC is a logical tactic whose lookahead problem(s) have R,
then it can't hurt to give R to TACTIC. This is occasionally necessary, in cases of massive
problem reuse, to trigger the propagation of R to some argument* link via transformation
and/or residual transformation.
balanced_strategy_chooses_to_throw_away_tactic_lookahead_problemP
public static final SubLObject balanced_strategy_chooses_to_throw_away_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic,
SubLObject motivation)
balanced_strategy_chooses_to_throw_away_lookahead_problemP
public static final SubLObject balanced_strategy_chooses_to_throw_away_lookahead_problemP(SubLObject strategy,
SubLObject lookahead_problem,
SubLObject motivation)
balanced_strategy_link_has_sibling_early_removal_linkP
public static final SubLObject balanced_strategy_link_has_sibling_early_removal_linkP(SubLObject strategy,
SubLObject link)
balanced_strategy_chooses_to_set_aside_tactic_lookahead_problemP
public static final SubLObject balanced_strategy_chooses_to_set_aside_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic,
SubLObject motivation)
balanced_strategy_chooses_to_throw_away_meta_removal_tactic_wrt_removalP
public static final SubLObject balanced_strategy_chooses_to_throw_away_meta_removal_tactic_wrt_removalP(SubLObject strategy,
SubLObject meta_removal_tactic)
- STRATEGY should throw away META-REMOVAL-TACTIC if it has a sibling tactic that is tactically possible but disallowed by STRATEGY,
because then the intended completeness of META-REMOVAL-TACTIC is inapplicable.
balanced_strategy_throw_away_uninteresting_set_asides
public static final SubLObject balanced_strategy_throw_away_uninteresting_set_asides(SubLObject strategy)
balanced_strategy_throw_away_uninteresting_set_asides_int
public static final SubLObject balanced_strategy_throw_away_uninteresting_set_asides_int(SubLObject strategy)
balanced_strategy_reconsider_set_asides
public static final SubLObject balanced_strategy_reconsider_set_asides(SubLObject strategy)
balanced_strategy_set_aside_problems_to_reconsider
public static final SubLObject balanced_strategy_set_aside_problems_to_reconsider(SubLObject strategy)
declare_inference_balanced_tactician_strategic_uninterestingness_file
public static final SubLObject declare_inference_balanced_tactician_strategic_uninterestingness_file()
init_inference_balanced_tactician_strategic_uninterestingness_file
public static final SubLObject init_inference_balanced_tactician_strategic_uninterestingness_file()
setup_inference_balanced_tactician_strategic_uninterestingness_file
public static final SubLObject setup_inference_balanced_tactician_strategic_uninterestingness_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.