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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_balanced_tactician_execution
extends SubLTranslatedFile

Nested Class Summary

static class	inference_balanced_tactician_execution.$balanced_strategy_default_select_best_strategem$UnaryFunction
static class	inference_balanced_tactician_execution.$balanced_strategy_do_one_step$UnaryFunction
static class	inference_balanced_tactician_execution.$balanced_strategy_doneP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$balanced_strategy_prune_current_new_root_wrt_removal_timeout$
static SubLSymbol	$balanced_strategy_removal_tactic_iterativity_enabledP$ If this is NIL, removal tactics will always be executed exhaustively before moving on to other tactics.
static SubLSymbol	$kw0$UNINTERESTING
static SubLSymbol	$kw1$DONE
static SubLSymbol	$kw10$THROW_AWAY
static SubLSymbol	$kw13$INTERESTING
static SubLSymbol	$kw4$SELECT_BEST_STRATEGEM
static SubLSymbol	$kw5$REMOVAL
static SubLSymbol	$kw6$TRANSFORMATION
static SubLSymbol	$kw7$NEW_ROOT
static SubLSymbol	$kw9$SET_ASIDE
static SubLString	$str14$We_expect_to_only_propagate_T_to_
static SubLString	$str15$_S_was_an_unexpected_strategem
static SubLString	$str16$unexpected_motivation__s
static SubLString	$str2$_s_says_it_s_done__but_its_T_box_
static SubLString	$str3$_s_says_it_s_done__but_its_R_box_
static SubLSymbol	$sym11$STRATEGEM_P
static SubLSymbol	$sym12$BALANCED_STRATEGY_MOTIVATION_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_default_select_best_strategem(SubLObject strategy)
static SubLObject	balanced_strategy_do_one_step_int(SubLObject strategy)
static SubLObject	balanced_strategy_do_one_step(SubLObject strategy)
static SubLObject	balanced_strategy_doneP(SubLObject strategy)
static SubLObject	balanced_strategy_execute_content_tactic(SubLObject strategy, SubLObject content_tactic)
static SubLObject	balanced_strategy_execute_executable_strategem(SubLObject strategy, SubLObject strategem)
static SubLObject	balanced_strategy_execute_strategem(SubLObject strategy, SubLObject strategem, SubLObject motivation)
static SubLObject	balanced_strategy_execute_tactic(SubLObject strategy, SubLObject tactic)
static SubLObject	balanced_strategy_handle_new_root(SubLObject strategy, SubLObject new_root, SubLObject motivation)
static SubLObject	balanced_strategy_new_root_next_motivation(SubLObject strategy, SubLObject new_root)
static SubLObject	balanced_strategy_possibly_prune_current_new_root_wrt_removal(SubLObject strategy)
static SubLObject	balanced_strategy_quiesce_new_root(SubLObject strategy)
static SubLObject	balanced_strategy_quiesce_wrt_removal(SubLObject strategy)
static SubLObject	balanced_strategy_quiesce_wrt_transformation(SubLObject strategy)
static SubLObject	balanced_strategy_select_best_strategem(SubLObject strategy)
static SubLObject	declare_inference_balanced_tactician_execution_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_balanced_tactician_execution_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_execution_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_removal_tactic_iterativity_enabledP$

public static SubLSymbol $balanced_strategy_removal_tactic_iterativity_enabledP$

If this is NIL, removal tactics will always be executed exhaustively before moving on to other tactics. Useful for experimentation, very bad for time to first answer.

$balanced_strategy_prune_current_new_root_wrt_removal_timeout$

public static SubLSymbol $balanced_strategy_prune_current_new_root_wrt_removal_timeout$

$kw0$UNINTERESTING

public static final SubLSymbol $kw0$UNINTERESTING

$kw1$DONE

public static final SubLSymbol $kw1$DONE

$str2$_s_says_it_s_done__but_its_T_box_

public static final SubLString $str2$_s_says_it_s_done__but_its_T_box_

$str3$_s_says_it_s_done__but_its_R_box_

public static final SubLString $str3$_s_says_it_s_done__but_its_R_box_

$kw4$SELECT_BEST_STRATEGEM

public static final SubLSymbol $kw4$SELECT_BEST_STRATEGEM

$kw5$REMOVAL

public static final SubLSymbol $kw5$REMOVAL

$kw6$TRANSFORMATION

public static final SubLSymbol $kw6$TRANSFORMATION

$kw7$NEW_ROOT

public static final SubLSymbol $kw7$NEW_ROOT

$sym8$BALANCED_STRATEGY_P

public static final SubLSymbol $sym8$BALANCED_STRATEGY_P

$kw9$SET_ASIDE

public static final SubLSymbol $kw9$SET_ASIDE

$kw10$THROW_AWAY

public static final SubLSymbol $kw10$THROW_AWAY

$sym11$STRATEGEM_P

public static final SubLSymbol $sym11$STRATEGEM_P

$sym12$BALANCED_STRATEGY_MOTIVATION_P

public static final SubLSymbol $sym12$BALANCED_STRATEGY_MOTIVATION_P

$kw13$INTERESTING

public static final SubLSymbol $kw13$INTERESTING

$str14$We_expect_to_only_propagate_T_to_

public static final SubLString $str14$We_expect_to_only_propagate_T_to_

$str15$_S_was_an_unexpected_strategem

public static final SubLString $str15$_S_was_an_unexpected_strategem

$str16$unexpected_motivation__s

public static final SubLString $str16$unexpected_motivation__s

Method Detail

balanced_strategy_doneP

public static final SubLObject balanced_strategy_doneP(SubLObject strategy)

balanced_strategy_do_one_step

public static final SubLObject balanced_strategy_do_one_step(SubLObject strategy)

balanced_strategy_do_one_step_int

public static final SubLObject balanced_strategy_do_one_step_int(SubLObject strategy)

Returns:

one of (:done :interesting, :uninteresting)

balanced_strategy_select_best_strategem

public static final SubLObject balanced_strategy_select_best_strategem(SubLObject strategy)

Returns:

0 strategem-p

balanced_strategy_default_select_best_strategem

public static final SubLObject balanced_strategy_default_select_best_strategem(SubLObject strategy)

balanced_strategy_new_root_next_motivation

public static final SubLObject balanced_strategy_new_root_next_motivation(SubLObject strategy,
                                                                          SubLObject new_root)

balanced_strategy_quiesce_wrt_removal

public static final SubLObject balanced_strategy_quiesce_wrt_removal(SubLObject strategy)

Returns:

nil or strategem-p

balanced_strategy_quiesce_new_root

public static final SubLObject balanced_strategy_quiesce_new_root(SubLObject strategy)

Returns:

nil or strategem-p

balanced_strategy_quiesce_wrt_transformation

public static final SubLObject balanced_strategy_quiesce_wrt_transformation(SubLObject strategy)

Returns:

nil or strategem-p

balanced_strategy_execute_strategem

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

Returns:

one of (:interesting, :uninteresting)

balanced_strategy_execute_tactic

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

balanced_strategy_execute_content_tactic

public static final SubLObject balanced_strategy_execute_content_tactic(SubLObject strategy,
                                                                        SubLObject content_tactic)

balanced_strategy_execute_executable_strategem

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

balanced_strategy_handle_new_root

public static final SubLObject balanced_strategy_handle_new_root(SubLObject strategy,
                                                                 SubLObject new_root,
                                                                 SubLObject motivation)

balanced_strategy_possibly_prune_current_new_root_wrt_removal

public static final SubLObject balanced_strategy_possibly_prune_current_new_root_wrt_removal(SubLObject strategy)

declare_inference_balanced_tactician_execution_file

public static final SubLObject declare_inference_balanced_tactician_execution_file()

init_inference_balanced_tactician_execution_file

public static final SubLObject init_inference_balanced_tactician_execution_file()

setup_inference_balanced_tactician_execution_file

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