com.cyc.cycjava.cycl.inference.harness
Class removal_tactician_motivation
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.harness.removal_tactician_motivation
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class removal_tactician_motivation
- 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 |
declare_removal_tactician_motivation_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_removal_tactician_motivation_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
removal_strategy_activate_problem(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_categorize_connected_conjunction_tactics(SubLObject strategy,
SubLObject problem,
SubLObject problem_set_asideP,
SubLObject problem_thrown_awayP)
|
static SubLObject |
removal_strategy_categorize_motivation_strategems(SubLObject strategy,
SubLObject problem,
SubLObject problem_set_asideP,
SubLObject problem_thrown_awayP)
|
static SubLObject |
removal_strategy_categorize_removal_tactics(SubLObject strategy,
SubLObject problem,
SubLObject problem_set_asideP,
SubLObject problem_thrown_awayP)
Possible non-complete removal tactics should be in the reverse intended activation order |
static SubLObject |
removal_strategy_categorize_strategems(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_chooses_not_to_activate_problemP(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_chooses_not_to_examine_problemP(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_commits_to_no_removal_backtrackingP(SubLObject strategy,
SubLObject committed_tactic,
SubLObject committed_tactic_preference_level)
|
static SubLObject |
removal_strategy_consider_that_problem_could_be_strategically_pending(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_deactivate_strategem(SubLObject strategy,
SubLObject strategem)
|
static SubLObject |
removal_strategy_deems_conjunctive_tactic_spec_betterP(SubLObject strategy,
SubLObject candidate_tactic,
SubLObject candidate_tactic_productivity,
SubLObject candidate_tactic_preference,
SubLObject candidate_tactic_module_spec,
SubLObject candidate_tactic_literal_count,
SubLObject committed_tactic,
SubLObject committed_tactic_productivity,
SubLObject committed_tactic_preference,
SubLObject committed_tactic_module_spec,
SubLObject committed_tactic_literal_count)
|
static SubLObject |
removal_strategy_link_motivates_lookahead_problemP(SubLObject strategy,
SubLObject link)
|
static SubLObject |
removal_strategy_link_motivates_problemP(SubLObject strategy,
SubLObject link,
SubLObject problem)
|
static SubLObject |
removal_strategy_logical_tactic_removal_backtracking_cheapP(SubLObject logical_tactic,
SubLObject strategy)
|
static SubLObject |
removal_strategy_make_problem_pending(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_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 |
removal_strategy_note_new_tactic_possible(SubLObject strategy,
SubLObject tactic)
|
static SubLObject |
removal_strategy_note_new_tactic(SubLObject strategy,
SubLObject tactic)
|
static SubLObject |
removal_strategy_note_split_tactics_strategically_possible(SubLObject strategy,
SubLObject split_tactics)
|
static SubLObject |
removal_strategy_possibly_activate_problem(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_possibly_activate_strategems(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_possibly_deactivate_problem(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_possibly_propagate_motivation_to_link_head(SubLObject strategy,
SubLObject link_head)
|
static SubLObject |
removal_strategy_possibly_propagate_motivation_to_problem(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_possibly_propagate_proof_spec_to_restricted_non_focals(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_problem_is_the_rest_of_a_join_orderedP(SubLObject problem,
SubLObject strategy)
|
static SubLObject |
removal_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 |
removal_strategy_propagate_motivation_to_link_head(SubLObject strategy,
SubLObject link_head)
|
static SubLObject |
removal_strategy_reactivate_executable_strategem(SubLObject strategy,
SubLObject strategem)
|
static SubLObject |
removal_strategy_strategically_deactivate_strategem(SubLObject strategy,
SubLObject strategem)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_removal_tactician_motivation_file()
|
| 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
$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$REMOVAL_STRATEGY_DEACTIVATE_STRATEGEM
public static final SubLSymbol $sym5$REMOVAL_STRATEGY_DEACTIVATE_STRATEGEM
$sym6$REMOVAL_STRATEGY_POSSIBLY_DEACTIVATE_PROBLEM
public static final SubLSymbol $sym6$REMOVAL_STRATEGY_POSSIBLY_DEACTIVATE_PROBLEM
$sym7$MOTIVATION_STRATEGEM_P
public static final SubLSymbol $sym7$MOTIVATION_STRATEGEM_P
$sym8$REMOVAL_STRATEGY_P
public static final SubLSymbol $sym8$REMOVAL_STRATEGY_P
$kw9$JOIN_ORDERED
public static final SubLSymbol $kw9$JOIN_ORDERED
$kw10$PROVEN
public static final SubLSymbol $kw10$PROVEN
$kw11$RESTRICTION
public static final SubLSymbol $kw11$RESTRICTION
$kw12$REWRITE
public static final SubLSymbol $kw12$REWRITE
$sym13$PROBLEM_P
public static final SubLSymbol $sym13$PROBLEM_P
$kw14$REMOVAL
public static final SubLSymbol $kw14$REMOVAL
$list15
public static final SubLList $list15
$sym16$REMOVAL_STRATEGY_NOTE_NEW_TACTIC
public static final SubLSymbol $sym16$REMOVAL_STRATEGY_NOTE_NEW_TACTIC
$sym17$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_
public static final SubLSymbol $sym17$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_
$sym18$REMOVAL_STRATEGY_NOTE_SPLIT_TACTICS_STRATEGICALLY_POSSIBLE
public static final SubLSymbol $sym18$REMOVAL_STRATEGY_NOTE_SPLIT_TACTICS_STRATEGICALLY_POSSIBLE
$kw19$META_STRUCTURAL
public static final SubLSymbol $kw19$META_STRUCTURAL
$kw20$GENERALIZED_REMOVAL_OR_REWRITE
public static final SubLSymbol $kw20$GENERALIZED_REMOVAL_OR_REWRITE
$kw21$POSSIBLE
public static final SubLSymbol $kw21$POSSIBLE
$kw22$COMPLETE
public static final SubLSymbol $kw22$COMPLETE
$kw23$INCOMPLETE
public static final SubLSymbol $kw23$INCOMPLETE
$kw24$GROSSLY_INCOMPLETE
public static final SubLSymbol $kw24$GROSSLY_INCOMPLETE
$sym25$TACTIC_STRATEGIC_PRODUCTIVITY__
public static final SubLSymbol $sym25$TACTIC_STRATEGIC_PRODUCTIVITY__
$kw26$DISJUNCTIVE
public static final SubLSymbol $kw26$DISJUNCTIVE
$kw27$SPLIT
public static final SubLSymbol $kw27$SPLIT
$kw28$NON_DISCARDED
public static final SubLSymbol $kw28$NON_DISCARDED
$kw29$POSITIVE_INFINITY
public static final SubLSymbol $kw29$POSITIVE_INFINITY
$kw30$DISALLOWED
public static final SubLSymbol $kw30$DISALLOWED
$kw31$CONNECTED_CONJUNCTION
public static final SubLSymbol $kw31$CONNECTED_CONJUNCTION
$kw32$JOIN
public static final SubLSymbol $kw32$JOIN
$kw33$PREFERRED
public static final SubLSymbol $kw33$PREFERRED
$sym34$SPLIT_TACTIC_P
public static final SubLSymbol $sym34$SPLIT_TACTIC_P
$sym35$EXECUTABLE_STRATEGEM_P
public static final SubLSymbol $sym35$EXECUTABLE_STRATEGEM_P
$sym36$REMOVAL_STRATEGEM_P
public static final SubLSymbol $sym36$REMOVAL_STRATEGEM_P
$sym37$REMOVAL_STRATEGY_CONSIDER_THAT_PROBLEM_COULD_BE_STRATEGICALLY_PEN
public static final SubLSymbol $sym37$REMOVAL_STRATEGY_CONSIDER_THAT_PROBLEM_COULD_BE_STRATEGICALLY_PEN
removal_strategy_possibly_propagate_motivation_to_link_head
public static final SubLObject removal_strategy_possibly_propagate_motivation_to_link_head(SubLObject strategy,
SubLObject link_head)
- Returns:
- booleanp
removal_strategy_propagate_motivation_to_link_head
public static final SubLObject removal_strategy_propagate_motivation_to_link_head(SubLObject strategy,
SubLObject link_head)
removal_strategy_link_motivates_problemP
public static final SubLObject removal_strategy_link_motivates_problemP(SubLObject strategy,
SubLObject link,
SubLObject problem)
- Returns:
- booleanp
removal_strategy_link_motivates_lookahead_problemP
public static final SubLObject removal_strategy_link_motivates_lookahead_problemP(SubLObject strategy,
SubLObject link)
- Returns:
- booleanp
removal_strategy_possibly_propagate_motivation_to_problem
public static final SubLObject removal_strategy_possibly_propagate_motivation_to_problem(SubLObject strategy,
SubLObject problem)
- Returns:
- booleanp
removal_strategy_possibly_activate_problem
public static final SubLObject removal_strategy_possibly_activate_problem(SubLObject strategy,
SubLObject problem)
- Returns:
- booleanp; whether STRATEGY chose to activate PROBLEM.
removal_strategy_problem_is_the_rest_of_a_removalP
public static final SubLObject removal_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.
removal_strategy_problem_is_the_rest_of_a_join_orderedP
public static final SubLObject removal_strategy_problem_is_the_rest_of_a_join_orderedP(SubLObject problem,
SubLObject strategy)
removal_strategy_possibly_propagate_proof_spec_to_restricted_non_focals
public static final SubLObject removal_strategy_possibly_propagate_proof_spec_to_restricted_non_focals(SubLObject strategy,
SubLObject problem)
removal_strategy_motivates_problem_via_rewriteP
public static final SubLObject removal_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.
removal_strategy_chooses_not_to_examine_problemP
public static final SubLObject removal_strategy_chooses_not_to_examine_problemP(SubLObject strategy,
SubLObject problem)
removal_strategy_chooses_not_to_activate_problemP
public static final SubLObject removal_strategy_chooses_not_to_activate_problemP(SubLObject strategy,
SubLObject problem)
removal_strategy_activate_problem
public static final SubLObject removal_strategy_activate_problem(SubLObject strategy,
SubLObject problem)
removal_strategy_possibly_activate_strategems
public static final SubLObject removal_strategy_possibly_activate_strategems(SubLObject strategy,
SubLObject problem)
removal_strategy_note_new_tactic
public static final SubLObject removal_strategy_note_new_tactic(SubLObject strategy,
SubLObject tactic)
removal_strategy_note_split_tactics_strategically_possible
public static final SubLObject removal_strategy_note_split_tactics_strategically_possible(SubLObject strategy,
SubLObject split_tactics)
removal_strategy_note_new_tactic_possible
public static final SubLObject removal_strategy_note_new_tactic_possible(SubLObject strategy,
SubLObject tactic)
removal_strategy_categorize_strategems
public static final SubLObject removal_strategy_categorize_strategems(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.
removal_strategy_categorize_motivation_strategems
public static final SubLObject removal_strategy_categorize_motivation_strategems(SubLObject strategy,
SubLObject problem,
SubLObject problem_set_asideP,
SubLObject problem_thrown_awayP)
removal_strategy_categorize_removal_tactics
public static final SubLObject removal_strategy_categorize_removal_tactics(SubLObject strategy,
SubLObject problem,
SubLObject problem_set_asideP,
SubLObject problem_thrown_awayP)
- Possible non-complete removal tactics should be in the reverse intended activation order
removal_strategy_categorize_connected_conjunction_tactics
public static final SubLObject removal_strategy_categorize_connected_conjunction_tactics(SubLObject strategy,
SubLObject problem,
SubLObject problem_set_asideP,
SubLObject problem_thrown_awayP)
removal_strategy_deems_conjunctive_tactic_spec_betterP
public static final SubLObject removal_strategy_deems_conjunctive_tactic_spec_betterP(SubLObject strategy,
SubLObject candidate_tactic,
SubLObject candidate_tactic_productivity,
SubLObject candidate_tactic_preference,
SubLObject candidate_tactic_module_spec,
SubLObject candidate_tactic_literal_count,
SubLObject committed_tactic,
SubLObject committed_tactic_productivity,
SubLObject committed_tactic_preference,
SubLObject committed_tactic_module_spec,
SubLObject committed_tactic_literal_count)
removal_strategy_commits_to_no_removal_backtrackingP
public static final SubLObject removal_strategy_commits_to_no_removal_backtrackingP(SubLObject strategy,
SubLObject committed_tactic,
SubLObject committed_tactic_preference_level)
removal_strategy_logical_tactic_removal_backtracking_cheapP
public static final SubLObject removal_strategy_logical_tactic_removal_backtracking_cheapP(SubLObject logical_tactic,
SubLObject strategy)
removal_strategy_reactivate_executable_strategem
public static final SubLObject removal_strategy_reactivate_executable_strategem(SubLObject strategy,
SubLObject strategem)
removal_strategy_strategically_deactivate_strategem
public static final SubLObject removal_strategy_strategically_deactivate_strategem(SubLObject strategy,
SubLObject strategem)
removal_strategy_deactivate_strategem
public static final SubLObject removal_strategy_deactivate_strategem(SubLObject strategy,
SubLObject strategem)
removal_strategy_possibly_deactivate_problem
public static final SubLObject removal_strategy_possibly_deactivate_problem(SubLObject strategy,
SubLObject problem)
removal_strategy_consider_that_problem_could_be_strategically_pending
public static final SubLObject removal_strategy_consider_that_problem_could_be_strategically_pending(SubLObject strategy,
SubLObject problem)
removal_strategy_make_problem_pending
public static final SubLObject removal_strategy_make_problem_pending(SubLObject strategy,
SubLObject problem)
declare_removal_tactician_motivation_file
public static final SubLObject declare_removal_tactician_motivation_file()
init_removal_tactician_motivation_file
public static final SubLObject init_removal_tactician_motivation_file()
setup_removal_tactician_motivation_file
public static final SubLObject setup_removal_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.