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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_balanced_tactician_motivation
extends SubLTranslatedFile

Nested Class Summary

static class

inference_balanced_tactician_motivation.$balanced_strategy_possibly_activate_problem$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$balanced_strategy_new_roots_check_for_t_on_jo_linkP$ It seems correct to ensure that the motivating join-ordered link has T before using it to motivate the creation of a new root.
static SubLSymbol	$balanced_strategy_new_roots_triggered_by_t_on_jo_linkP$ There ought to be two triggers for new root creation via an RT link: the motivation transformation link getting T, or the motivating join-ordered link getting T.
static SubLSymbol	$kw10$TRANSFORMATION
static SubLSymbol	$kw11$RESIDUAL_TRANSFORMATION
static SubLSymbol	$kw12$JOIN_ORDERED
static SubLSymbol	$kw13$LOGICAL
static SubLSymbol	$kw14$REMOVAL
static SubLSymbol	$kw15$NEW_ROOT
static SubLSymbol	$kw17$SPLIT
static SubLSymbol	$kw18$UNION
static SubLSymbol	$kw19$PROVEN
static SubLSymbol	$kw21$REWRITE
static SubLSymbol	$kw31$META_STRUCTURAL
static SubLSymbol	$kw32$GENERALIZED_REMOVAL_OR_REWRITE
static SubLSymbol	$kw33$POSSIBLE
static SubLSymbol	$kw34$COMPLETE
static SubLSymbol	$kw35$INCOMPLETE
static SubLSymbol	$kw36$GROSSLY_INCOMPLETE
static SubLSymbol	$kw38$DISJUNCTIVE
static SubLSymbol	$kw39$NON_DISCARDED
static SubLSymbol	$kw40$POSITIVE_INFINITY
static SubLSymbol	$kw41$DISALLOWED
static SubLSymbol	$kw42$CONNECTED_CONJUNCTION
static SubLSymbol	$kw43$JOIN
static SubLSymbol	$kw44$PREFERRED
static SubLSymbol	$kw9$RESTRICTION
static SubLList	$list0
static SubLList	$list23
static SubLList	$list27
static SubLList	$list28
static SubLString	$str16$unexpected_motivation__s
static SubLString	$str20$_s_tried_to_propagate_T_to__s_but
static SubLString	$str30$time_to_categorize_strategems_wrt
static SubLSymbol	$sym1$PROBLEM
static SubLSymbol	$sym2$STRATEGEM_VAR
static SubLSymbol	$sym22$PROBLEM_P
static SubLSymbol	$sym24$BALANCED_STRATEGY_NOTE_NEW_TACTIC
static SubLSymbol	$sym25$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_
static SubLSymbol	$sym26$BALANCED_STRATEGY_NOTE_SPLIT_TACTICS_STRATEGICALLY_POSSIBLE
static SubLSymbol	$sym29$BALANCED_STRATEGY_MOTIVATION_P
static SubLSymbol	$sym3$CLET
static SubLSymbol	$sym37$TACTIC_STRATEGIC_PRODUCTIVITY__
static SubLSymbol	$sym4$STRATEGEM_PROBLEM
static SubLSymbol	$sym45$SPLIT_TACTIC_P
static SubLSymbol	$sym46$EXECUTABLE_STRATEGEM_P
static SubLSymbol	$sym47$REMOVAL_STRATEGEM_P
static SubLSymbol	$sym48$TRANSFORMATION_STRATEGEM_P
static SubLSymbol	$sym49$PROBLEM_LINK_P
static SubLSymbol	$sym5$BALANCED_STRATEGY_DEACTIVATE_STRATEGEM
static SubLSymbol	$sym6$BALANCED_STRATEGY_POSSIBLY_DEACTIVATE_PROBLEM
static SubLSymbol	$sym7$MOTIVATION_STRATEGEM_P
static SubLSymbol	$sym8$BALANCED_STRATEGY_P
static SubLFile	me
static java.lang.String	myName

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

EMPTY_SUBL_OBJECT_ARRAY

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

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

Method Summary

static SubLObject	balanced_strategy_activate_problem_wrt_new_root(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_activate_problem_wrt_removal(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_activate_problem_wrt_transformation(SubLObject strategy, SubLObject problem) add all transformation strategems to the R-box or set-asides.
static SubLObject	balanced_strategy_activate_transformation_link(SubLObject strategy, SubLObject transformation_link)
static SubLObject	balanced_strategy_categorize_connected_conjunction_tactics_wrt_removal(SubLObject strategy, SubLObject problem, SubLObject problem_set_aside_wrt_removalP, SubLObject problem_thrown_away_wrt_removalP)
static SubLObject	balanced_strategy_categorize_motivation_strategems_wrt_removal(SubLObject strategy, SubLObject problem, SubLObject problem_set_aside_wrt_removalP, SubLObject problem_thrown_away_wrt_removalP)
static SubLObject	balanced_strategy_categorize_removal_tactics_wrt_removal(SubLObject strategy, SubLObject problem, SubLObject problem_set_aside_wrt_removalP, SubLObject problem_thrown_away_wrt_removalP) Possible non-complete removal tactics should be in the reverse intended activation order
static SubLObject	balanced_strategy_categorize_strategems_wrt_removal(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_categorize_strategems_wrt_transformation(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_chooses_not_to_activate_problem_wrt_new_rootP(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_chooses_not_to_activate_problem_wrt_removalP(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_chooses_not_to_activate_problem_wrt_transformationP(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_chooses_not_to_activate_problemP(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_chooses_not_to_examine_problemP(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_chooses_to_make_d_a_new_rootP(SubLObject strategy, SubLObject t_link)
static SubLObject	balanced_strategy_chooses_to_propagate_new_root_motivation_to_restricted_non_focal_problemP(SubLObject strategy, SubLObject problem, SubLObject join_ordered_link)
static SubLObject	balanced_strategy_commits_to_no_removal_backtrackingP(SubLObject strategy, SubLObject committed_tactic, SubLObject committed_tactic_preference_level)
static SubLObject	balanced_strategy_consider_that_problem_could_be_strategically_pending(SubLObject strategy, SubLObject problem, SubLObject motivation)
static SubLObject	balanced_strategy_consider_that_problem_could_be_strategically_totally_pending(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_deactivate_strategem_wrt_removal(SubLObject strategy, SubLObject removal_strategem)
static SubLObject	balanced_strategy_deactivate_strategem_wrt_transformation(SubLObject strategy, SubLObject transformation_strategem)
static SubLObject	balanced_strategy_deactivate_strategem(SubLObject strategy, SubLObject strategem, SubLObject motivation)
static SubLObject	balanced_strategy_early_removal_linkP(SubLObject strategy, SubLObject link) you're join-ordered, you have R, your supported problem has N, your lookahead problem is complete, you're cheap, and you're open.
static SubLObject	balanced_strategy_link_motivates_lookahead_problemP(SubLObject strategy, SubLObject link, SubLObject motivation)
static SubLObject	balanced_strategy_link_motivates_problemP(SubLObject strategy, SubLObject link, SubLObject motivation, SubLObject problem)
static SubLObject	balanced_strategy_logical_tactic_removal_backtracking_cheapP(SubLObject logical_tactic, SubLObject strategy)
static SubLObject	balanced_strategy_make_problem_pending(SubLObject strategy, SubLObject problem, SubLObject motivation)
static SubLObject	balanced_strategy_motivates_problem_via_rewriteP(SubLObject strategy, SubLObject problem) if you are a supporting rewritten problem of a rewrite link whose supported problem has R, you get R.
static SubLObject	balanced_strategy_note_argument_link_added(SubLObject strategy, SubLObject link)
static SubLObject	balanced_strategy_note_new_tactic_possible(SubLObject strategy, SubLObject tactic)
static SubLObject	balanced_strategy_note_new_tactic(SubLObject strategy, SubLObject tactic)
static SubLObject	balanced_strategy_possibly_activate_problem_wrt_new_root(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_activate_problem_wrt_removal(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_activate_problem_wrt_transformation(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_activate_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_activate_strategems_wrt_new_root(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_activate_strategems_wrt_removal(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_activate_strategems_wrt_transformation(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_activate_transformation_link(SubLObject strategy, SubLObject transformation_link)
static SubLObject	balanced_strategy_possibly_deactivate_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_make_new_root(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_propagate_motivation_to_link_head(SubLObject strategy, SubLObject motivation, SubLObject link_head)
static SubLObject	balanced_strategy_possibly_propagate_motivation_to_problem(SubLObject strategy, SubLObject motivation, SubLObject problem)
static SubLObject	balanced_strategy_possibly_propagate_new_root_motivation_to_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_propagate_proof_spec_to_restricted_non_focals(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_propagate_removal_motivation_to_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_possibly_propagate_transformation_motivation_to_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_problem_is_the_rest_of_a_join_orderedP(SubLObject problem, SubLObject strategy)
static SubLObject	balanced_strategy_problem_is_the_rest_of_a_removalP(SubLObject problem, SubLObject strategy) if you are a restricted non-focal problem of some (open?) join-ordered link which has R, you get R.
static SubLObject	balanced_strategy_problem_is_the_rest_of_an_early_removalP(SubLObject problem, SubLObject strategy) if you are a restricted non-focal problem of some early removal link, you get N.
static SubLObject	balanced_strategy_propagate_motivation_to_link_head(SubLObject strategy, SubLObject motivation, SubLObject link_head)
static SubLObject	balanced_strategy_propagate_new_root_motivation_to_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_propagate_removal_motivation_to_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_propagate_transformation_motivation_to_problem(SubLObject strategy, SubLObject problem)
static SubLObject	balanced_strategy_propagate_transformation_motivation_to_transformation_link(SubLObject strategy, SubLObject t_link)
static SubLObject	balanced_strategy_reactivate_executable_strategem(SubLObject strategy, SubLObject strategem)
static SubLObject	balanced_strategy_residual_conjunction_new_root_candidates(SubLObject strategy, SubLObject t_link)
static SubLObject	balanced_strategy_strategically_deactivate_strategem(SubLObject strategy, SubLObject strategem, SubLObject motivation)
static SubLObject	balanced_strategy_treats_restricted_non_focal_as_new_rootP(SubLObject strategy, SubLObject join_ordered_link)
static SubLObject	declare_inference_balanced_tactician_motivation_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_balanced_tactician_motivation_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_motivation_file()

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

extractFunctionNamed

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

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

Methods inherited from class java.lang.Object

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

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$balanced_strategy_new_roots_triggered_by_t_on_jo_linkP$

public static SubLSymbol $balanced_strategy_new_roots_triggered_by_t_on_jo_linkP$

There ought to be two triggers for new root creation via an RT link: the motivation transformation link getting T, or the motivating join-ordered link getting T. Leviathan experiments indicated that we actually gain more completeness by refraining from triggering via join-ordered T, but more recent work requires this to be T for correctness.

$balanced_strategy_new_roots_check_for_t_on_jo_linkP$

public static SubLSymbol $balanced_strategy_new_roots_check_for_t_on_jo_linkP$

It seems correct to ensure that the motivating join-ordered link has T before using it to motivate the creation of a new root. However, turning this to NIL causes 13 haystacks to become answerable. Leviathan @todo investigate why, and try to come up with a more principled fix.

$list0

public static final SubLList $list0

$sym1$PROBLEM

public static final SubLSymbol $sym1$PROBLEM

$sym2$STRATEGEM_VAR

public static final SubLSymbol $sym2$STRATEGEM_VAR

$sym3$CLET

public static final SubLSymbol $sym3$CLET

$sym4$STRATEGEM_PROBLEM

public static final SubLSymbol $sym4$STRATEGEM_PROBLEM

$sym5$BALANCED_STRATEGY_DEACTIVATE_STRATEGEM

public static final SubLSymbol $sym5$BALANCED_STRATEGY_DEACTIVATE_STRATEGEM

$sym6$BALANCED_STRATEGY_POSSIBLY_DEACTIVATE_PROBLEM

public static final SubLSymbol $sym6$BALANCED_STRATEGY_POSSIBLY_DEACTIVATE_PROBLEM

$sym7$MOTIVATION_STRATEGEM_P

public static final SubLSymbol $sym7$MOTIVATION_STRATEGEM_P

$sym8$BALANCED_STRATEGY_P

public static final SubLSymbol $sym8$BALANCED_STRATEGY_P

$kw9$RESTRICTION

public static final SubLSymbol $kw9$RESTRICTION

$kw10$TRANSFORMATION

public static final SubLSymbol $kw10$TRANSFORMATION

$kw11$RESIDUAL_TRANSFORMATION

public static final SubLSymbol $kw11$RESIDUAL_TRANSFORMATION

$kw12$JOIN_ORDERED

public static final SubLSymbol $kw12$JOIN_ORDERED

$kw13$LOGICAL

public static final SubLSymbol $kw13$LOGICAL

$kw14$REMOVAL

public static final SubLSymbol $kw14$REMOVAL

$kw15$NEW_ROOT

public static final SubLSymbol $kw15$NEW_ROOT

$str16$unexpected_motivation__s

public static final SubLString $str16$unexpected_motivation__s

$kw17$SPLIT

public static final SubLSymbol $kw17$SPLIT

$kw18$UNION

public static final SubLSymbol $kw18$UNION

$kw19$PROVEN

public static final SubLSymbol $kw19$PROVEN

$str20$_s_tried_to_propagate_T_to__s_but

public static final SubLString $str20$_s_tried_to_propagate_T_to__s_but

$kw21$REWRITE

public static final SubLSymbol $kw21$REWRITE

$sym22$PROBLEM_P

public static final SubLSymbol $sym22$PROBLEM_P

$list23

public static final SubLList $list23

$sym24$BALANCED_STRATEGY_NOTE_NEW_TACTIC

public static final SubLSymbol $sym24$BALANCED_STRATEGY_NOTE_NEW_TACTIC

$sym25$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_

public static final SubLSymbol $sym25$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_

$sym26$BALANCED_STRATEGY_NOTE_SPLIT_TACTICS_STRATEGICALLY_POSSIBLE

public static final SubLSymbol $sym26$BALANCED_STRATEGY_NOTE_SPLIT_TACTICS_STRATEGICALLY_POSSIBLE

$list27

public static final SubLList $list27

$list28

public static final SubLList $list28

$sym29$BALANCED_STRATEGY_MOTIVATION_P

public static final SubLSymbol $sym29$BALANCED_STRATEGY_MOTIVATION_P

$str30$time_to_categorize_strategems_wrt

public static final SubLString $str30$time_to_categorize_strategems_wrt

$kw31$META_STRUCTURAL

public static final SubLSymbol $kw31$META_STRUCTURAL

$kw32$GENERALIZED_REMOVAL_OR_REWRITE

public static final SubLSymbol $kw32$GENERALIZED_REMOVAL_OR_REWRITE

$kw33$POSSIBLE

public static final SubLSymbol $kw33$POSSIBLE

$kw34$COMPLETE

public static final SubLSymbol $kw34$COMPLETE

$kw35$INCOMPLETE

public static final SubLSymbol $kw35$INCOMPLETE

$kw36$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw36$GROSSLY_INCOMPLETE

$sym37$TACTIC_STRATEGIC_PRODUCTIVITY__

public static final SubLSymbol $sym37$TACTIC_STRATEGIC_PRODUCTIVITY__

$kw38$DISJUNCTIVE

public static final SubLSymbol $kw38$DISJUNCTIVE

$kw39$NON_DISCARDED

public static final SubLSymbol $kw39$NON_DISCARDED

$kw40$POSITIVE_INFINITY

public static final SubLSymbol $kw40$POSITIVE_INFINITY

$kw41$DISALLOWED

public static final SubLSymbol $kw41$DISALLOWED

$kw42$CONNECTED_CONJUNCTION

public static final SubLSymbol $kw42$CONNECTED_CONJUNCTION

$kw43$JOIN

public static final SubLSymbol $kw43$JOIN

$kw44$PREFERRED

public static final SubLSymbol $kw44$PREFERRED

$sym45$SPLIT_TACTIC_P

public static final SubLSymbol $sym45$SPLIT_TACTIC_P

$sym46$EXECUTABLE_STRATEGEM_P

public static final SubLSymbol $sym46$EXECUTABLE_STRATEGEM_P

$sym47$REMOVAL_STRATEGEM_P

public static final SubLSymbol $sym47$REMOVAL_STRATEGEM_P

$sym48$TRANSFORMATION_STRATEGEM_P

public static final SubLSymbol $sym48$TRANSFORMATION_STRATEGEM_P

$sym49$PROBLEM_LINK_P

public static final SubLSymbol $sym49$PROBLEM_LINK_P

Method Detail

balanced_strategy_possibly_propagate_motivation_to_link_head

public static final SubLObject balanced_strategy_possibly_propagate_motivation_to_link_head(SubLObject strategy,
                                                                                            SubLObject motivation,
                                                                                            SubLObject link_head)

Returns:

booleanp

balanced_strategy_propagate_motivation_to_link_head

public static final SubLObject balanced_strategy_propagate_motivation_to_link_head(SubLObject strategy,
                                                                                   SubLObject motivation,
                                                                                   SubLObject link_head)

balanced_strategy_propagate_transformation_motivation_to_transformation_link

public static final SubLObject balanced_strategy_propagate_transformation_motivation_to_transformation_link(SubLObject strategy,
                                                                                                            SubLObject t_link)

balanced_strategy_chooses_to_make_d_a_new_rootP

public static final SubLObject balanced_strategy_chooses_to_make_d_a_new_rootP(SubLObject strategy,
                                                                               SubLObject t_link)

Returns:

booleanp; whether STRATEGY chooses that 'D', rather than '(^ A D), should be a new root. 'D' is the supporting transformed problem of T-LINK, and '(^ A D) is a residual conjunction problem of some residual transformation argument link of D.

balanced_strategy_residual_conjunction_new_root_candidates

public static final SubLObject balanced_strategy_residual_conjunction_new_root_candidates(SubLObject strategy,
                                                                                          SubLObject t_link)

balanced_strategy_link_motivates_problemP

public static final SubLObject balanced_strategy_link_motivates_problemP(SubLObject strategy,
                                                                         SubLObject link,
                                                                         SubLObject motivation,
                                                                         SubLObject problem)

Returns:

booleanp

balanced_strategy_link_motivates_lookahead_problemP

public static final SubLObject balanced_strategy_link_motivates_lookahead_problemP(SubLObject strategy,
                                                                                   SubLObject link,
                                                                                   SubLObject motivation)

Returns:

booleanp

balanced_strategy_possibly_propagate_motivation_to_problem

public static final SubLObject balanced_strategy_possibly_propagate_motivation_to_problem(SubLObject strategy,
                                                                                          SubLObject motivation,
                                                                                          SubLObject problem)

Returns:

booleanp

balanced_strategy_possibly_make_new_root

public static final SubLObject balanced_strategy_possibly_make_new_root(SubLObject strategy,
                                                                        SubLObject problem)

Returns:

booleanp

balanced_strategy_possibly_propagate_new_root_motivation_to_problem

public static final SubLObject balanced_strategy_possibly_propagate_new_root_motivation_to_problem(SubLObject strategy,
                                                                                                   SubLObject problem)

Returns:

booleanp

balanced_strategy_propagate_new_root_motivation_to_problem

public static final SubLObject balanced_strategy_propagate_new_root_motivation_to_problem(SubLObject strategy,
                                                                                          SubLObject problem)

balanced_strategy_possibly_propagate_removal_motivation_to_problem

public static final SubLObject balanced_strategy_possibly_propagate_removal_motivation_to_problem(SubLObject strategy,
                                                                                                  SubLObject problem)

Returns:

booleanp

balanced_strategy_propagate_removal_motivation_to_problem

public static final SubLObject balanced_strategy_propagate_removal_motivation_to_problem(SubLObject strategy,
                                                                                         SubLObject problem)

balanced_strategy_possibly_propagate_transformation_motivation_to_problem

public static final SubLObject balanced_strategy_possibly_propagate_transformation_motivation_to_problem(SubLObject strategy,
                                                                                                         SubLObject problem)

Returns:

booleanp

balanced_strategy_propagate_transformation_motivation_to_problem

public static final SubLObject balanced_strategy_propagate_transformation_motivation_to_problem(SubLObject strategy,
                                                                                                SubLObject problem)

balanced_strategy_possibly_activate_problem

public static final SubLObject balanced_strategy_possibly_activate_problem(SubLObject strategy,
                                                                           SubLObject problem)

Returns:

booleanp; whether STRATEGY chose to activate PROBLEM.

balanced_strategy_problem_is_the_rest_of_a_removalP

public static final SubLObject balanced_strategy_problem_is_the_rest_of_a_removalP(SubLObject problem,
                                                                                   SubLObject strategy)

if you are a restricted non-focal problem of some (open?) join-ordered link which has R, you get R. you're the rest of a removal.

balanced_strategy_problem_is_the_rest_of_an_early_removalP

public static final SubLObject balanced_strategy_problem_is_the_rest_of_an_early_removalP(SubLObject problem,
                                                                                          SubLObject strategy)

if you are a restricted non-focal problem of some early removal link, you get N. you're the rest of an early removal.

balanced_strategy_problem_is_the_rest_of_a_join_orderedP

public static final SubLObject balanced_strategy_problem_is_the_rest_of_a_join_orderedP(SubLObject problem,
                                                                                        SubLObject strategy)

balanced_strategy_possibly_propagate_proof_spec_to_restricted_non_focals

public static final SubLObject balanced_strategy_possibly_propagate_proof_spec_to_restricted_non_focals(SubLObject strategy,
                                                                                                        SubLObject problem)

balanced_strategy_motivates_problem_via_rewriteP

public static final SubLObject balanced_strategy_motivates_problem_via_rewriteP(SubLObject strategy,
                                                                                SubLObject problem)

if you are a supporting rewritten problem of a rewrite link whose supported problem has R, you get R.

balanced_strategy_chooses_to_propagate_new_root_motivation_to_restricted_non_focal_problemP

public static final SubLObject balanced_strategy_chooses_to_propagate_new_root_motivation_to_restricted_non_focal_problemP(SubLObject strategy,
                                                                                                                           SubLObject problem,
                                                                                                                           SubLObject join_ordered_link)

balanced_strategy_treats_restricted_non_focal_as_new_rootP

public static final SubLObject balanced_strategy_treats_restricted_non_focal_as_new_rootP(SubLObject strategy,
                                                                                          SubLObject join_ordered_link)

balanced_strategy_chooses_not_to_examine_problemP

public static final SubLObject balanced_strategy_chooses_not_to_examine_problemP(SubLObject strategy,
                                                                                 SubLObject problem)

balanced_strategy_chooses_not_to_activate_problemP

public static final SubLObject balanced_strategy_chooses_not_to_activate_problemP(SubLObject strategy,
                                                                                  SubLObject problem)

balanced_strategy_chooses_not_to_activate_problem_wrt_new_rootP

public static final SubLObject balanced_strategy_chooses_not_to_activate_problem_wrt_new_rootP(SubLObject strategy,
                                                                                               SubLObject problem)

balanced_strategy_chooses_not_to_activate_problem_wrt_removalP

public static final SubLObject balanced_strategy_chooses_not_to_activate_problem_wrt_removalP(SubLObject strategy,
                                                                                              SubLObject problem)

balanced_strategy_chooses_not_to_activate_problem_wrt_transformationP

public static final SubLObject balanced_strategy_chooses_not_to_activate_problem_wrt_transformationP(SubLObject strategy,
                                                                                                     SubLObject problem)

balanced_strategy_possibly_activate_problem_wrt_new_root

public static final SubLObject balanced_strategy_possibly_activate_problem_wrt_new_root(SubLObject strategy,
                                                                                        SubLObject problem)

balanced_strategy_possibly_activate_problem_wrt_removal

public static final SubLObject balanced_strategy_possibly_activate_problem_wrt_removal(SubLObject strategy,
                                                                                       SubLObject problem)

balanced_strategy_possibly_activate_problem_wrt_transformation

public static final SubLObject balanced_strategy_possibly_activate_problem_wrt_transformation(SubLObject strategy,
                                                                                              SubLObject problem)

balanced_strategy_activate_problem_wrt_new_root

public static final SubLObject balanced_strategy_activate_problem_wrt_new_root(SubLObject strategy,
                                                                               SubLObject problem)

balanced_strategy_activate_problem_wrt_removal

public static final SubLObject balanced_strategy_activate_problem_wrt_removal(SubLObject strategy,
                                                                              SubLObject problem)

balanced_strategy_activate_problem_wrt_transformation

public static final SubLObject balanced_strategy_activate_problem_wrt_transformation(SubLObject strategy,
                                                                                     SubLObject problem)

add all transformation strategems to the R-box or set-asides.

Returns:

booleanp; T unless STRATEGY chooses to throw away PROBLEM.

balanced_strategy_possibly_activate_strategems_wrt_new_root

public static final SubLObject balanced_strategy_possibly_activate_strategems_wrt_new_root(SubLObject strategy,
                                                                                           SubLObject problem)

balanced_strategy_possibly_activate_strategems_wrt_removal

public static final SubLObject balanced_strategy_possibly_activate_strategems_wrt_removal(SubLObject strategy,
                                                                                          SubLObject problem)

balanced_strategy_possibly_activate_strategems_wrt_transformation

public static final SubLObject balanced_strategy_possibly_activate_strategems_wrt_transformation(SubLObject strategy,
                                                                                                 SubLObject problem)

balanced_strategy_note_argument_link_added

public static final SubLObject balanced_strategy_note_argument_link_added(SubLObject strategy,
                                                                          SubLObject link)

balanced_strategy_possibly_activate_transformation_link

public static final SubLObject balanced_strategy_possibly_activate_transformation_link(SubLObject strategy,
                                                                                       SubLObject transformation_link)

balanced_strategy_activate_transformation_link

public static final SubLObject balanced_strategy_activate_transformation_link(SubLObject strategy,
                                                                              SubLObject transformation_link)

balanced_strategy_note_new_tactic

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

balanced_strategy_note_new_tactic_possible

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

balanced_strategy_categorize_strategems_wrt_removal

public static final SubLObject balanced_strategy_categorize_strategems_wrt_removal(SubLObject strategy,
                                                                                   SubLObject problem)

Returns:

0 listp of strategem-p; an ordered list of strategems on PROBLEM which STRATEGY may want to activate wrt removal. Strategems are ordered in intended order of activation.

balanced_strategy_categorize_motivation_strategems_wrt_removal

public static final SubLObject balanced_strategy_categorize_motivation_strategems_wrt_removal(SubLObject strategy,
                                                                                              SubLObject problem,
                                                                                              SubLObject problem_set_aside_wrt_removalP,
                                                                                              SubLObject problem_thrown_away_wrt_removalP)

balanced_strategy_categorize_removal_tactics_wrt_removal

public static final SubLObject balanced_strategy_categorize_removal_tactics_wrt_removal(SubLObject strategy,
                                                                                        SubLObject problem,
                                                                                        SubLObject problem_set_aside_wrt_removalP,
                                                                                        SubLObject problem_thrown_away_wrt_removalP)

Possible non-complete removal tactics should be in the reverse intended activation order

balanced_strategy_categorize_connected_conjunction_tactics_wrt_removal

public static final SubLObject balanced_strategy_categorize_connected_conjunction_tactics_wrt_removal(SubLObject strategy,
                                                                                                      SubLObject problem,
                                                                                                      SubLObject problem_set_aside_wrt_removalP,
                                                                                                      SubLObject problem_thrown_away_wrt_removalP)

balanced_strategy_commits_to_no_removal_backtrackingP

public static final SubLObject balanced_strategy_commits_to_no_removal_backtrackingP(SubLObject strategy,
                                                                                     SubLObject committed_tactic,
                                                                                     SubLObject committed_tactic_preference_level)

balanced_strategy_categorize_strategems_wrt_transformation

public static final SubLObject balanced_strategy_categorize_strategems_wrt_transformation(SubLObject strategy,
                                                                                          SubLObject problem)

Returns:

0 listp of strategem-p; an ordered list of strategems on PROBLEM which STRATEGY may want to activate wrt transformation. Strategems are ordered in intended order of activation.

balanced_strategy_logical_tactic_removal_backtracking_cheapP

public static final SubLObject balanced_strategy_logical_tactic_removal_backtracking_cheapP(SubLObject logical_tactic,
                                                                                            SubLObject strategy)

balanced_strategy_reactivate_executable_strategem

public static final SubLObject balanced_strategy_reactivate_executable_strategem(SubLObject strategy,
                                                                                 SubLObject strategem)

balanced_strategy_strategically_deactivate_strategem

public static final SubLObject balanced_strategy_strategically_deactivate_strategem(SubLObject strategy,
                                                                                    SubLObject strategem,
                                                                                    SubLObject motivation)

balanced_strategy_deactivate_strategem

public static final SubLObject balanced_strategy_deactivate_strategem(SubLObject strategy,
                                                                      SubLObject strategem,
                                                                      SubLObject motivation)

balanced_strategy_deactivate_strategem_wrt_removal

public static final SubLObject balanced_strategy_deactivate_strategem_wrt_removal(SubLObject strategy,
                                                                                  SubLObject removal_strategem)

balanced_strategy_deactivate_strategem_wrt_transformation

public static final SubLObject balanced_strategy_deactivate_strategem_wrt_transformation(SubLObject strategy,
                                                                                         SubLObject transformation_strategem)

balanced_strategy_possibly_deactivate_problem

public static final SubLObject balanced_strategy_possibly_deactivate_problem(SubLObject strategy,
                                                                             SubLObject problem)

balanced_strategy_consider_that_problem_could_be_strategically_totally_pending

public static final SubLObject balanced_strategy_consider_that_problem_could_be_strategically_totally_pending(SubLObject strategy,
                                                                                                              SubLObject problem)

balanced_strategy_consider_that_problem_could_be_strategically_pending

public static final SubLObject balanced_strategy_consider_that_problem_could_be_strategically_pending(SubLObject strategy,
                                                                                                      SubLObject problem,
                                                                                                      SubLObject motivation)

balanced_strategy_make_problem_pending

public static final SubLObject balanced_strategy_make_problem_pending(SubLObject strategy,
                                                                      SubLObject problem,
                                                                      SubLObject motivation)

balanced_strategy_early_removal_linkP

public static final SubLObject balanced_strategy_early_removal_linkP(SubLObject strategy,
                                                                     SubLObject link)

you're join-ordered, you have R, your supported problem has N, your lookahead problem is complete, you're cheap, and you're open.

declare_inference_balanced_tactician_motivation_file

public static final SubLObject declare_inference_balanced_tactician_motivation_file()

init_inference_balanced_tactician_motivation_file

public static final SubLObject init_inference_balanced_tactician_motivation_file()

setup_inference_balanced_tactician_motivation_file

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