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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_tactician
extends SubLTranslatedFile

Nested Class Summary

static class	inference_tactician.$happiness_G$BinaryFunction
static class	inference_tactician.$strategy_sort_predicateP$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const47$termChosen
static SubLSymbol	$kw0$DO_ONE_STEP
static SubLSymbol	$kw1$DONE_
static SubLSymbol	$kw11$ALLOW_OTHER_KEYS
static SubLSymbol	$kw12$STATUS
static SubLSymbol	$kw13$HL_MODULE
static SubLSymbol	$kw14$TYPE
static SubLSymbol	$kw15$DONE
static SubLSymbol	$kw16$REMOVAL
static SubLSymbol	$kw17$GENERALIZED_REMOVAL
static SubLSymbol	$kw18$TRANSFORMATION
static SubLSymbol	$kw2$POSSIBLY_ACTIVATE_PROBLEM
static SubLSymbol	$kw29$JOIN_ORDERED
static SubLSymbol	$kw3$NEW_ARGUMENT_LINK
static SubLSymbol	$kw30$CONNECTED_CONJUNCTION
static SubLSymbol	$kw35$COMPLETE
static SubLSymbol	$kw39$EARLY_REMOVAL_PRODUCTIVITY_LIMIT
static SubLSymbol	$kw40$SKSI
static SubLSymbol	$kw41$QUIESCE
static SubLSymbol	$kw42$THROW_AWAY_UNINTERESTING_SET_ASIDES
static SubLSymbol	$kw43$CONTINUATION_POSSIBLE_
static SubLSymbol	$kw44$NEG
static SubLSymbol	$kw46$POS
static SubLSymbol	$kw49$RESIDUAL_TRANSFORMATION
static SubLSymbol	$kw50$RESTRICTION
static SubLSymbol	$kw52$NEGATIVE_INFINITY
static SubLSymbol	$kw55$ERROR
static SubLSymbol	$kw60$INITIALIZE_PROPERTIES
static SubLSymbol	$kw62$UPDATE_PROPERTIES
static SubLSymbol	$kw64$INFERENCE_DYNAMIC_PROPERTIES_UPDATED
static SubLSymbol	$kw66$INITIAL_RELEVANT_STRATEGIES
static SubLSymbol	$kw67$SPLIT_TACTICS_POSSIBLE
static SubLSymbol	$kw68$NEW_TACTIC
static SubLSymbol	$kw69$PROBLEM_NOTHING_TO_DO_
static SubLSymbol	$kw70$PROBLEM_COULD_BE_PENDING
static SubLSymbol	$kw71$RECONSIDER_SET_ASIDES
static SubLSymbol	$kw72$PEEK_NEXT_STRATEGEM
static SubLSymbol	$kw74$MOTIVATE_STRATEGEM
static SubLSymbol	$kw75$ACTIVATE_STRATEGEM
static SubLSymbol	$kw76$LINK_HEAD_MOTIVATED_
static SubLSymbol	$kw78$RECONSIDER_SPLIT_SET_ASIDES
static SubLSymbol	$kw8$TACTICAL
static SubLList	$list10
static SubLList	$list45
static SubLList	$list9
static SubLSymbol	$set_aside_non_continuable_implies_throw_awayP$ Whether :set-aside plus non-continuable should be strengthened to :throw-away
static SubLString	$str51$Unexpected_strategem_type__s
static SubLString	$str56$No_object_stack_for_happiness__S
static SubLString	$str57$No_objects_for_happiness__S
static SubLString	$str58$Removed__S_but__S_was_lowest_happ
static SubLSymbol	$sym19$DO_PROBLEM_TACTICS
static SubLSymbol	$sym20$IGNORE
static SubLSymbol	$sym21$PROBLEM_VAR
static SubLSymbol	$sym22$TYPE_VAR
static SubLSymbol	$sym23$SUBSUMING_JOIN_ORDERED_TACTICS
static SubLSymbol	$sym24$CLET
static SubLSymbol	$sym25$PROBLEM_MAXIMAL_SUBSUMING_MULTI_FOCAL_LITERAL_JOIN_ORDERED_TACTIC
static SubLSymbol	$sym26$PUNLESS
static SubLSymbol	$sym27$SOME_SUBSUMING_JOIN_ORDERED_TACTIC_
static SubLSymbol	$sym28$DO_PROBLEM_UNSUBSUMED_CONNECTED_CONJUNCTION_TACTICS
static SubLSymbol	$sym31$JOIN_ORDERED_TACTIC_SUBSUMES_
static SubLSymbol	$sym32$TACTIC_P
static SubLSymbol	$sym33$TACTIC_PRODUCTIVITY_AND_COMPLETENESS_WORSE_
static SubLSymbol	$sym34$TACTIC_PRODUCTIVITY_AND_COMPLETENESS_SUFFICIENTLY_GOOD_
static SubLSymbol	$sym36$TACTIC_PRODUCTIVITY_LOWER_
static SubLSymbol	$sym37$TACTIC_PRODUCTIVITY_HIGHER_
static SubLSymbol	$sym38$TACTIC_PRODUCTIVITY_SUFFICIENTLY_GOOD_
static SubLSymbol	$sym4$STRATEGY_P
static SubLSymbol	$sym48$VARIABLE_P
static SubLSymbol	$sym5$STRATEGY_SORT_PREDICATE_
static SubLSymbol	$sym53$HAPPINESS__
static SubLSymbol	$sym54$HAPPINESS_P
static SubLSymbol	$sym59$PROBLEM_HAPPINESS_INDEX_P
static SubLSymbol	$sym6$TACTIC_STRATEGIC_PRODUCTIVITY__
static SubLSymbol	$sym61$DEFAULT_STRATEGY_INITIALIZE_PROPERTIES
static SubLSymbol	$sym63$DEFAULT_STRATEGY_UPDATE_PROPERTIES
static SubLSymbol	$sym65$DEFAULT_STRATEGY_NOTE_INFERENCE_DYNAMIC_PROPERTIES_UPDATED
static SubLSymbol	$sym7$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_
static SubLSymbol	$sym73$STRATEGEM_P
static SubLSymbol	$sym77$SPLIT_TACTIC_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	better_term_chosen_handlingP()
static SubLObject	clear_strategy_step_count()
static SubLObject	controlling_strategic_context(SubLObject strategic_context)
static SubLObject	controlling_strategy(SubLObject strategy)
static SubLObject	controlling_strategyP(SubLObject strategy)
static SubLObject	declare_inference_tactician_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	default_strategy_initial_relevant_strategies(SubLObject strategy)
static SubLObject	default_strategy_initialize_properties(SubLObject strategy, SubLObject strategy_static_properties)
static SubLObject	default_strategy_note_inference_dynamic_properties_updated(SubLObject strategy)
static SubLObject	default_strategy_update_properties(SubLObject strategy, SubLObject strategy_dynamic_properties)
static SubLObject	executable_strategem_p(SubLObject object)
static SubLObject	happiness_E(SubLObject happiness1, SubLObject happiness2)
static SubLObject	happiness_G(SubLObject happiness1, SubLObject happiness2)
static SubLObject	happiness_L(SubLObject happiness1, SubLObject happiness2)
static SubLObject	inference_strategy_type(SubLObject strategy_type, SubLObject plist) Declares a strategy type to the inference engine.
static SubLObject	init_inference_tactician_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	logical_tactic_better_wrt_removalP(SubLObject logical_tactic1, SubLObject logical_tactic2, SubLObject strategy)
static SubLObject	logical_tactic_lookahead_problem_wrt_removal(SubLObject logical_tactic, SubLObject strategy)
static SubLObject	motivation_strategem_link_p(SubLObject object) Strategems that make a new root.
static SubLObject	new_problem_happiness_index()
static SubLObject	problem_happiness_index_add(SubLObject happiness_index, SubLObject happiness, SubLObject object)
static SubLObject	problem_happiness_index_empty_p(SubLObject happiness_index)
static SubLObject	problem_happiness_index_next(SubLObject happiness_index)
static SubLObject	problem_happiness_index_peek(SubLObject happiness_index)
static SubLObject	problem_maximal_subsuming_multi_focal_literal_join_ordered_tactics(SubLObject problem, SubLObject relevant_tactic_type)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_tactician_file()
static SubLObject	some_subsuming_join_ordered_tacticP(SubLObject join_ordered_tactic, SubLObject subsuming_join_ordered_tactics, SubLObject strategic_context)
static SubLObject	strategem_invalid_p(SubLObject strategem)
static SubLObject	strategem_problem(SubLObject strategem)
static SubLObject	strategy_consider_that_problem_could_be_no_good(SubLObject strategy, SubLObject problem, SubLObject consider_deepP, SubLObject consider_transformation_tacticsP)
static SubLObject	strategy_consider_that_problem_could_be_strategically_pending(SubLObject strategy, SubLObject problem)
static SubLObject	strategy_continuation_possibleP(SubLObject strategy)
static SubLObject	strategy_controls_problem_storeP(SubLObject strategy)
static SubLObject	strategy_do_one_step(SubLObject strategy)
static SubLObject	strategy_doneP(SubLObject strategy)
static SubLObject	strategy_execute_tactic(SubLObject strategy, SubLObject tactic) Execute TACTIC under the control of STRATEGY.
static SubLObject	strategy_initial_relevant_strategies(SubLObject strategy) By default, this is simply the list (STRATEGY), but can be overridden
static SubLObject	strategy_initialize_properties(SubLObject strategy, SubLObject strategy_static_properties)
static SubLObject	strategy_no_possible_strategems_for_problemP(SubLObject strategy, SubLObject problem)
static SubLObject	strategy_note_argument_link_added(SubLObject strategy, SubLObject link) Gets called actually before stuff starts propagating from LINK
static SubLObject	strategy_note_inference_dynamic_properties_updated(SubLObject strategy) Callback for STRATEGY to note that its inference's dynamic properties have been updated.
static SubLObject	strategy_note_new_tactic(SubLObject strategy, SubLObject tactic) Depending on what type of tactic TACTIC is, compute its strategic properties wrt STRATEGY.
static SubLObject	strategy_note_split_tactics_strategically_possible(SubLObject strategy, SubLObject split_tactics)
static SubLObject	strategy_note_tactic_discarded(SubLObject strategy, SubLObject tactic)
static SubLObject	strategy_note_tactic_finished(SubLObject strategy, SubLObject tactic) Called after all A-Brain consequences of a tactic have been followed through.
static SubLObject	strategy_possibly_activate_problem(SubLObject strategy, SubLObject problem)
static SubLObject	strategy_possibly_auto_prune(SubLObject strategy)
static SubLObject	strategy_possibly_execute_tactic(SubLObject strategy, SubLObject tactic)
static SubLObject	strategy_sets_aside_all_transformationP(SubLObject strategy) Return T iff STRATEGY would set aside all transformation.
static SubLObject	strategy_sort_predicateP(SubLObject object1, SubLObject object2)
static SubLObject	strategy_sort(SubLObject strategy, SubLObject sequence, SubLObject predicate) Stable-sort SEQUENCE wrt STRATEGY using PREDICATE as the comparison function.
static SubLObject	strategy_throw_away_uninteresting_set_asides(SubLObject strategy)
static SubLObject	strategy_throws_away_all_transformationP(SubLObject strategy) Return T iff STRATEGY would throw away all transformation.
static SubLObject	strategy_type_dispatch_handler(SubLObject strategy_type, SubLObject method_type)
static SubLObject	strategy_update_properties(SubLObject strategy, SubLObject strategy_dynamic_properties)
static SubLObject	substrategyP(SubLObject strategy)
static SubLObject	tactic_strategic_productivity_L(SubLObject tactic1, SubLObject tactic2, SubLObject strategy)

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

$set_aside_non_continuable_implies_throw_awayP$

public static SubLSymbol $set_aside_non_continuable_implies_throw_awayP$

Whether :set-aside plus non-continuable should be strengthened to :throw-away

$kw0$DO_ONE_STEP

public static final SubLSymbol $kw0$DO_ONE_STEP

$kw1$DONE_

public static final SubLSymbol $kw1$DONE_

$kw2$POSSIBLY_ACTIVATE_PROBLEM

public static final SubLSymbol $kw2$POSSIBLY_ACTIVATE_PROBLEM

$kw3$NEW_ARGUMENT_LINK

public static final SubLSymbol $kw3$NEW_ARGUMENT_LINK

$sym4$STRATEGY_P

public static final SubLSymbol $sym4$STRATEGY_P

$sym5$STRATEGY_SORT_PREDICATE_

public static final SubLSymbol $sym5$STRATEGY_SORT_PREDICATE_

$sym6$TACTIC_STRATEGIC_PRODUCTIVITY__

public static final SubLSymbol $sym6$TACTIC_STRATEGIC_PRODUCTIVITY__

$sym7$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_

public static final SubLSymbol $sym7$LOGICAL_TACTIC_BETTER_WRT_REMOVAL_

$kw8$TACTICAL

public static final SubLSymbol $kw8$TACTICAL

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$kw11$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw11$ALLOW_OTHER_KEYS

$kw12$STATUS

public static final SubLSymbol $kw12$STATUS

$kw13$HL_MODULE

public static final SubLSymbol $kw13$HL_MODULE

$kw14$TYPE

public static final SubLSymbol $kw14$TYPE

$kw15$DONE

public static final SubLSymbol $kw15$DONE

$kw16$REMOVAL

public static final SubLSymbol $kw16$REMOVAL

$kw17$GENERALIZED_REMOVAL

public static final SubLSymbol $kw17$GENERALIZED_REMOVAL

$kw18$TRANSFORMATION

public static final SubLSymbol $kw18$TRANSFORMATION

$sym19$DO_PROBLEM_TACTICS

public static final SubLSymbol $sym19$DO_PROBLEM_TACTICS

$sym20$IGNORE

public static final SubLSymbol $sym20$IGNORE

$sym21$PROBLEM_VAR

public static final SubLSymbol $sym21$PROBLEM_VAR

$sym22$TYPE_VAR

public static final SubLSymbol $sym22$TYPE_VAR

$sym23$SUBSUMING_JOIN_ORDERED_TACTICS

public static final SubLSymbol $sym23$SUBSUMING_JOIN_ORDERED_TACTICS

$sym24$CLET

public static final SubLSymbol $sym24$CLET

$sym25$PROBLEM_MAXIMAL_SUBSUMING_MULTI_FOCAL_LITERAL_JOIN_ORDERED_TACTIC

public static final SubLSymbol $sym25$PROBLEM_MAXIMAL_SUBSUMING_MULTI_FOCAL_LITERAL_JOIN_ORDERED_TACTIC

$sym26$PUNLESS

public static final SubLSymbol $sym26$PUNLESS

$sym27$SOME_SUBSUMING_JOIN_ORDERED_TACTIC_

public static final SubLSymbol $sym27$SOME_SUBSUMING_JOIN_ORDERED_TACTIC_

$sym28$DO_PROBLEM_UNSUBSUMED_CONNECTED_CONJUNCTION_TACTICS

public static final SubLSymbol $sym28$DO_PROBLEM_UNSUBSUMED_CONNECTED_CONJUNCTION_TACTICS

$kw29$JOIN_ORDERED

public static final SubLSymbol $kw29$JOIN_ORDERED

$kw30$CONNECTED_CONJUNCTION

public static final SubLSymbol $kw30$CONNECTED_CONJUNCTION

$sym31$JOIN_ORDERED_TACTIC_SUBSUMES_

public static final SubLSymbol $sym31$JOIN_ORDERED_TACTIC_SUBSUMES_

$sym32$TACTIC_P

public static final SubLSymbol $sym32$TACTIC_P

$sym33$TACTIC_PRODUCTIVITY_AND_COMPLETENESS_WORSE_

public static final SubLSymbol $sym33$TACTIC_PRODUCTIVITY_AND_COMPLETENESS_WORSE_

$sym34$TACTIC_PRODUCTIVITY_AND_COMPLETENESS_SUFFICIENTLY_GOOD_

public static final SubLSymbol $sym34$TACTIC_PRODUCTIVITY_AND_COMPLETENESS_SUFFICIENTLY_GOOD_

$kw35$COMPLETE

public static final SubLSymbol $kw35$COMPLETE

$sym36$TACTIC_PRODUCTIVITY_LOWER_

public static final SubLSymbol $sym36$TACTIC_PRODUCTIVITY_LOWER_

$sym37$TACTIC_PRODUCTIVITY_HIGHER_

public static final SubLSymbol $sym37$TACTIC_PRODUCTIVITY_HIGHER_

$sym38$TACTIC_PRODUCTIVITY_SUFFICIENTLY_GOOD_

public static final SubLSymbol $sym38$TACTIC_PRODUCTIVITY_SUFFICIENTLY_GOOD_

$kw39$EARLY_REMOVAL_PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw39$EARLY_REMOVAL_PRODUCTIVITY_LIMIT

$kw40$SKSI

public static final SubLSymbol $kw40$SKSI

$kw41$QUIESCE

public static final SubLSymbol $kw41$QUIESCE

$kw42$THROW_AWAY_UNINTERESTING_SET_ASIDES

public static final SubLSymbol $kw42$THROW_AWAY_UNINTERESTING_SET_ASIDES

$kw43$CONTINUATION_POSSIBLE_

public static final SubLSymbol $kw43$CONTINUATION_POSSIBLE_

$kw44$NEG

public static final SubLSymbol $kw44$NEG

$list45

public static final SubLList $list45

$kw46$POS

public static final SubLSymbol $kw46$POS

$const47$termChosen

public static final SubLObject $const47$termChosen

$sym48$VARIABLE_P

public static final SubLSymbol $sym48$VARIABLE_P

$kw49$RESIDUAL_TRANSFORMATION

public static final SubLSymbol $kw49$RESIDUAL_TRANSFORMATION

$kw50$RESTRICTION

public static final SubLSymbol $kw50$RESTRICTION

$str51$Unexpected_strategem_type__s

public static final SubLString $str51$Unexpected_strategem_type__s

$kw52$NEGATIVE_INFINITY

public static final SubLSymbol $kw52$NEGATIVE_INFINITY

$sym53$HAPPINESS__

public static final SubLSymbol $sym53$HAPPINESS__

$sym54$HAPPINESS_P

public static final SubLSymbol $sym54$HAPPINESS_P

$kw55$ERROR

public static final SubLSymbol $kw55$ERROR

$str56$No_object_stack_for_happiness__S

public static final SubLString $str56$No_object_stack_for_happiness__S

$str57$No_objects_for_happiness__S

public static final SubLString $str57$No_objects_for_happiness__S

$str58$Removed__S_but__S_was_lowest_happ

public static final SubLString $str58$Removed__S_but__S_was_lowest_happ

$sym59$PROBLEM_HAPPINESS_INDEX_P

public static final SubLSymbol $sym59$PROBLEM_HAPPINESS_INDEX_P

$kw60$INITIALIZE_PROPERTIES

public static final SubLSymbol $kw60$INITIALIZE_PROPERTIES

$sym61$DEFAULT_STRATEGY_INITIALIZE_PROPERTIES

public static final SubLSymbol $sym61$DEFAULT_STRATEGY_INITIALIZE_PROPERTIES

$kw62$UPDATE_PROPERTIES

public static final SubLSymbol $kw62$UPDATE_PROPERTIES

$sym63$DEFAULT_STRATEGY_UPDATE_PROPERTIES

public static final SubLSymbol $sym63$DEFAULT_STRATEGY_UPDATE_PROPERTIES

$kw64$INFERENCE_DYNAMIC_PROPERTIES_UPDATED

public static final SubLSymbol $kw64$INFERENCE_DYNAMIC_PROPERTIES_UPDATED

$sym65$DEFAULT_STRATEGY_NOTE_INFERENCE_DYNAMIC_PROPERTIES_UPDATED

public static final SubLSymbol $sym65$DEFAULT_STRATEGY_NOTE_INFERENCE_DYNAMIC_PROPERTIES_UPDATED

$kw66$INITIAL_RELEVANT_STRATEGIES

public static final SubLSymbol $kw66$INITIAL_RELEVANT_STRATEGIES

$kw67$SPLIT_TACTICS_POSSIBLE

public static final SubLSymbol $kw67$SPLIT_TACTICS_POSSIBLE

$kw68$NEW_TACTIC

public static final SubLSymbol $kw68$NEW_TACTIC

$kw69$PROBLEM_NOTHING_TO_DO_

public static final SubLSymbol $kw69$PROBLEM_NOTHING_TO_DO_

$kw70$PROBLEM_COULD_BE_PENDING

public static final SubLSymbol $kw70$PROBLEM_COULD_BE_PENDING

$kw71$RECONSIDER_SET_ASIDES

public static final SubLSymbol $kw71$RECONSIDER_SET_ASIDES

$kw72$PEEK_NEXT_STRATEGEM

public static final SubLSymbol $kw72$PEEK_NEXT_STRATEGEM

$sym73$STRATEGEM_P

public static final SubLSymbol $sym73$STRATEGEM_P

$kw74$MOTIVATE_STRATEGEM

public static final SubLSymbol $kw74$MOTIVATE_STRATEGEM

$kw75$ACTIVATE_STRATEGEM

public static final SubLSymbol $kw75$ACTIVATE_STRATEGEM

$kw76$LINK_HEAD_MOTIVATED_

public static final SubLSymbol $kw76$LINK_HEAD_MOTIVATED_

$sym77$SPLIT_TACTIC_P

public static final SubLSymbol $sym77$SPLIT_TACTIC_P

$kw78$RECONSIDER_SPLIT_SET_ASIDES

public static final SubLSymbol $kw78$RECONSIDER_SPLIT_SET_ASIDES

Method Detail

strategy_do_one_step

public static final SubLObject strategy_do_one_step(SubLObject strategy)

strategy_doneP

public static final SubLObject strategy_doneP(SubLObject strategy)

strategy_note_tactic_finished

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

Called after all A-Brain consequences of a tactic have been followed through.

strategy_possibly_activate_problem

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

strategy_note_argument_link_added

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

Gets called actually before stuff starts propagating from LINK

clear_strategy_step_count

public static final SubLObject clear_strategy_step_count()

strategy_possibly_auto_prune

public static final SubLObject strategy_possibly_auto_prune(SubLObject strategy)

strategy_sort

public static final SubLObject strategy_sort(SubLObject strategy,
                                             SubLObject sequence,
                                             SubLObject predicate)

Stable-sort SEQUENCE wrt STRATEGY using PREDICATE as the comparison function. PREDICATE must have an arg-signature of (OBJ1 OBJ2 STRATEGY).

strategy_sort_predicateP

public static final SubLObject strategy_sort_predicateP(SubLObject object1,
                                                        SubLObject object2)

tactic_strategic_productivity_L

public static final SubLObject tactic_strategic_productivity_L(SubLObject tactic1,
                                                               SubLObject tactic2,
                                                               SubLObject strategy)

logical_tactic_better_wrt_removalP

public static final SubLObject logical_tactic_better_wrt_removalP(SubLObject logical_tactic1,
                                                                  SubLObject logical_tactic2,
                                                                  SubLObject strategy)

logical_tactic_lookahead_problem_wrt_removal

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

controlling_strategic_context

public static final SubLObject controlling_strategic_context(SubLObject strategic_context)

Returns:

strategy-p or :tactical

See Also:

controlling-strategy

controlling_strategy

public static final SubLObject controlling_strategy(SubLObject strategy)

Returns:

strategy-p; the controlling strategy of STRATEGY. May be STRATEGY itself if STRATEGY is not a substrategy of some other strategy.

controlling_strategyP

public static final SubLObject controlling_strategyP(SubLObject strategy)

Returns:

booleanp; whether STRATEGY is a substrategy of some other strategy.

substrategyP

public static final SubLObject substrategyP(SubLObject strategy)

Returns:

booleanp; whether STRATEGY is a substrategy of some other strategy.

strategy_controls_problem_storeP

public static final SubLObject strategy_controls_problem_storeP(SubLObject strategy)

problem_maximal_subsuming_multi_focal_literal_join_ordered_tactics

public static final SubLObject problem_maximal_subsuming_multi_focal_literal_join_ordered_tactics(SubLObject problem,
                                                                                                  SubLObject relevant_tactic_type)

some_subsuming_join_ordered_tacticP

public static final SubLObject some_subsuming_join_ordered_tacticP(SubLObject join_ordered_tactic,
                                                                   SubLObject subsuming_join_ordered_tactics,
                                                                   SubLObject strategic_context)

strategy_execute_tactic

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

Execute TACTIC under the control of STRATEGY. Return TACTIC.

strategy_possibly_execute_tactic

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

Returns:

booleanp; whether STRATEGY actually just executed TACTIC.

strategy_throw_away_uninteresting_set_asides

public static final SubLObject strategy_throw_away_uninteresting_set_asides(SubLObject strategy)

strategy_throws_away_all_transformationP

public static final SubLObject strategy_throws_away_all_transformationP(SubLObject strategy)

Return T iff STRATEGY would throw away all transformation.

strategy_sets_aside_all_transformationP

public static final SubLObject strategy_sets_aside_all_transformationP(SubLObject strategy)

Return T iff STRATEGY would set aside all transformation.

strategy_continuation_possibleP

public static final SubLObject strategy_continuation_possibleP(SubLObject strategy)

Returns:

booleanp; Whether STRATEGY deems continuation possible. This is usually true whenn STRATEGY has some set-aside problems to continue work on.

better_term_chosen_handlingP

public static final SubLObject better_term_chosen_handlingP()

executable_strategem_p

public static final SubLObject executable_strategem_p(SubLObject object)

strategem_invalid_p

public static final SubLObject strategem_invalid_p(SubLObject strategem)

strategem_problem

public static final SubLObject strategem_problem(SubLObject strategem)

Returns:

nil or problem-p. It will be NIL for an answer link

motivation_strategem_link_p

public static final SubLObject motivation_strategem_link_p(SubLObject object)

Strategems that make a new root. The answer link is a special case of a new root, because the root problem doesn't necessarily have T.

inference_strategy_type

public static final SubLObject inference_strategy_type(SubLObject strategy_type,
                                                       SubLObject plist)

Declares a strategy type to the inference engine.

strategy_type_dispatch_handler

public static final SubLObject strategy_type_dispatch_handler(SubLObject strategy_type,
                                                              SubLObject method_type)

Returns:

function-spec-p

happiness_E

public static final SubLObject happiness_E(SubLObject happiness1,
                                           SubLObject happiness2)

happiness_L

public static final SubLObject happiness_L(SubLObject happiness1,
                                           SubLObject happiness2)

happiness_G

public static final SubLObject happiness_G(SubLObject happiness1,
                                           SubLObject happiness2)

new_problem_happiness_index

public static final SubLObject new_problem_happiness_index()

problem_happiness_index_empty_p

public static final SubLObject problem_happiness_index_empty_p(SubLObject happiness_index)

problem_happiness_index_add

public static final SubLObject problem_happiness_index_add(SubLObject happiness_index,
                                                           SubLObject happiness,
                                                           SubLObject object)

problem_happiness_index_peek

public static final SubLObject problem_happiness_index_peek(SubLObject happiness_index)

problem_happiness_index_next

public static final SubLObject problem_happiness_index_next(SubLObject happiness_index)

strategy_initialize_properties

public static final SubLObject strategy_initialize_properties(SubLObject strategy,
                                                              SubLObject strategy_static_properties)

default_strategy_initialize_properties

public static final SubLObject default_strategy_initialize_properties(SubLObject strategy,
                                                                      SubLObject strategy_static_properties)

strategy_update_properties

public static final SubLObject strategy_update_properties(SubLObject strategy,
                                                          SubLObject strategy_dynamic_properties)

default_strategy_update_properties

public static final SubLObject default_strategy_update_properties(SubLObject strategy,
                                                                  SubLObject strategy_dynamic_properties)

strategy_note_inference_dynamic_properties_updated

public static final SubLObject strategy_note_inference_dynamic_properties_updated(SubLObject strategy)

Callback for STRATEGY to note that its inference's dynamic properties have been updated.

default_strategy_note_inference_dynamic_properties_updated

public static final SubLObject default_strategy_note_inference_dynamic_properties_updated(SubLObject strategy)

strategy_initial_relevant_strategies

public static final SubLObject strategy_initial_relevant_strategies(SubLObject strategy)

By default, this is simply the list (STRATEGY), but can be overridden

default_strategy_initial_relevant_strategies

public static final SubLObject default_strategy_initial_relevant_strategies(SubLObject strategy)

strategy_note_split_tactics_strategically_possible

public static final SubLObject strategy_note_split_tactics_strategically_possible(SubLObject strategy,
                                                                                  SubLObject split_tactics)

strategy_note_tactic_discarded

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

strategy_note_new_tactic

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

Depending on what type of tactic TACTIC is, compute its strategic properties wrt STRATEGY.

strategy_no_possible_strategems_for_problemP

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

strategy_consider_that_problem_could_be_strategically_pending

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

strategy_consider_that_problem_could_be_no_good

public static final SubLObject strategy_consider_that_problem_could_be_no_good(SubLObject strategy,
                                                                               SubLObject problem,
                                                                               SubLObject consider_deepP,
                                                                               SubLObject consider_transformation_tacticsP)

declare_inference_tactician_file

public static final SubLObject declare_inference_tactician_file()

init_inference_tactician_file

public static final SubLObject init_inference_tactician_file()

setup_inference_tactician_file

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