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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_tactician_utilities
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw1$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw13$TACTICAL
static SubLSymbol	$kw14$NEG
static SubLSymbol	$kw19$GENERALIZED_REMOVAL
static SubLSymbol	$kw20$REMOVAL
static SubLSymbol	$kw23$DISPREFERRED
static SubLSymbol	$kw24$LOGICAL
static SubLSymbol	$kw3$GROSSLY_DISPREFERRED
static SubLSymbol	$kw5$PREFERRED
static SubLSymbol	$kw8$DISALLOWED
static SubLList	$list21
static SubLList	$list22
static SubLString	$str10$single_negative_literal
static SubLString	$str11$problem_has_a_complete_non_ignore
static SubLString	$str12$problem_has_executed_a_complete_r
static SubLString	$str15$unknown
static SubLString	$str18$Unexpected_strategy_type__s
static SubLString	$str4$removal_is_not_allowed_in_the_pro
static SubLString	$str6$problem_is_closed
static SubLString	$str7$no_variables_have_any_hope_of_get
static SubLString	$str9$problem_has_no_removal_allowed_or
static SubLSymbol	$sym0$MEMOIZED_PROBLEM_GLOBAL_PREFERENCE_LEVEL
static SubLSymbol	$sym16$TRANSFORMATION_TACTIC_P
static SubLSymbol	$sym17$TACTIC_P
static SubLSymbol	$sym2$STRATEGIC_CONTEXT_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	declare_inference_tactician_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_tactician_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	literal_count_scaling_factor(SubLObject literal_count) Assumes zero b-values
static SubLObject	magic_wand_tacticP(SubLObject tactic, SubLObject strategic_context)
static SubLObject	memoized_problem_global_preference_level_internal(SubLObject problem, SubLObject strategic_context, SubLObject shared_variables)
static SubLObject	memoized_problem_global_preference_level(SubLObject problem, SubLObject strategic_context, SubLObject shared_variables)
static SubLObject	module_scaling_factor(SubLObject module_spec) Assumes zero b-values
static SubLObject	multi_literal_problem_global_preference_level(SubLObject problem, SubLObject strategic_context)
static SubLObject	multi_literal_problem_tactics_to_activate(SubLObject problem, SubLObject strategic_context)
static SubLObject	preference_scaling_factor(SubLObject preference_level) Assumes zero b-values
static SubLObject	problem_global_preference_level(SubLObject problem, SubLObject strategic_context, SubLObject shared_variables)
static SubLObject	problem_has_no_allowed_or_executed_tactics_wrt_removalP(SubLObject problem, SubLObject strategic_context) Return T iff PROBLEM has no removal-relevant tactic with a completeness of anything other than :impossible or a preference of anything other than :disallowed.
static SubLObject	problem_has_some_complete_non_thrown_away_removal_tacticP(SubLObject problem, SubLObject strategic_context) Return T iff PROBLEM has some :complete non-thrown-away removal tactic.
static SubLObject	removal_unhappiness(SubLObject productivity, SubLObject module_spec, SubLObject preference_level, SubLObject literal_count) Assumes zero b-values
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	scale_unhappiness(SubLObject unhappiness, SubLObject scaling_factor)
static SubLObject	setup_inference_tactician_utilities_file()
static SubLObject	single_negative_literal_problem_p(SubLObject problem)
static SubLObject	strategy_deems_conjunctive_tactic_spec_betterP(SubLObject candidate_tactic_productivity, SubLObject candidate_tactic_preference, SubLObject candidate_tactic_module_spec, SubLObject candidate_tactic_literal_count, SubLObject committed_tactic_productivity, SubLObject committed_tactic_preference, SubLObject committed_tactic_module_spec, SubLObject committed_tactic_literal_count)
static SubLObject	tactic_strictly_less_preferred_than_some_siblingP(SubLObject tactic, SubLObject strategic_context)
static SubLObject	under_magic_wand_max_preference_levelP(SubLObject preference_level)

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

$sym0$MEMOIZED_PROBLEM_GLOBAL_PREFERENCE_LEVEL

public static final SubLSymbol $sym0$MEMOIZED_PROBLEM_GLOBAL_PREFERENCE_LEVEL

$kw1$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw1$_MEMOIZED_ITEM_NOT_FOUND_

$sym2$STRATEGIC_CONTEXT_P

public static final SubLSymbol $sym2$STRATEGIC_CONTEXT_P

$kw3$GROSSLY_DISPREFERRED

public static final SubLSymbol $kw3$GROSSLY_DISPREFERRED

$str4$removal_is_not_allowed_in_the_pro

public static final SubLString $str4$removal_is_not_allowed_in_the_pro

$kw5$PREFERRED

public static final SubLSymbol $kw5$PREFERRED

$str6$problem_is_closed

public static final SubLString $str6$problem_is_closed

$str7$no_variables_have_any_hope_of_get

public static final SubLString $str7$no_variables_have_any_hope_of_get

$kw8$DISALLOWED

public static final SubLSymbol $kw8$DISALLOWED

$str9$problem_has_no_removal_allowed_or

public static final SubLString $str9$problem_has_no_removal_allowed_or

$str10$single_negative_literal

public static final SubLString $str10$single_negative_literal

$str11$problem_has_a_complete_non_ignore

public static final SubLString $str11$problem_has_a_complete_non_ignore

$str12$problem_has_executed_a_complete_r

public static final SubLString $str12$problem_has_executed_a_complete_r

$kw13$TACTICAL

public static final SubLSymbol $kw13$TACTICAL

$kw14$NEG

public static final SubLSymbol $kw14$NEG

$str15$unknown

public static final SubLString $str15$unknown

$sym16$TRANSFORMATION_TACTIC_P

public static final SubLSymbol $sym16$TRANSFORMATION_TACTIC_P

$sym17$TACTIC_P

public static final SubLSymbol $sym17$TACTIC_P

$str18$Unexpected_strategy_type__s

public static final SubLString $str18$Unexpected_strategy_type__s

$kw19$GENERALIZED_REMOVAL

public static final SubLSymbol $kw19$GENERALIZED_REMOVAL

$kw20$REMOVAL

public static final SubLSymbol $kw20$REMOVAL

$list21

public static final SubLList $list21

$list22

public static final SubLList $list22

$kw23$DISPREFERRED

public static final SubLSymbol $kw23$DISPREFERRED

$kw24$LOGICAL

public static final SubLSymbol $kw24$LOGICAL

Method Detail

memoized_problem_global_preference_level_internal

public static final SubLObject memoized_problem_global_preference_level_internal(SubLObject problem,
                                                                                 SubLObject strategic_context,
                                                                                 SubLObject shared_variables)

memoized_problem_global_preference_level

public static final SubLObject memoized_problem_global_preference_level(SubLObject problem,
                                                                        SubLObject strategic_context,
                                                                        SubLObject shared_variables)

problem_global_preference_level

public static final SubLObject problem_global_preference_level(SubLObject problem,
                                                               SubLObject strategic_context,
                                                               SubLObject shared_variables)

single_negative_literal_problem_p

public static final SubLObject single_negative_literal_problem_p(SubLObject problem)

multi_literal_problem_global_preference_level

public static final SubLObject multi_literal_problem_global_preference_level(SubLObject problem,
                                                                             SubLObject strategic_context)

multi_literal_problem_tactics_to_activate

public static final SubLObject multi_literal_problem_tactics_to_activate(SubLObject problem,
                                                                         SubLObject strategic_context)

problem_has_some_complete_non_thrown_away_removal_tacticP

public static final SubLObject problem_has_some_complete_non_thrown_away_removal_tacticP(SubLObject problem,
                                                                                         SubLObject strategic_context)

Return T iff PROBLEM has some :complete non-thrown-away removal tactic.

problem_has_no_allowed_or_executed_tactics_wrt_removalP

public static final SubLObject problem_has_no_allowed_or_executed_tactics_wrt_removalP(SubLObject problem,
                                                                                       SubLObject strategic_context)

Return T iff PROBLEM has no removal-relevant tactic with a completeness of anything other than :impossible or a preference of anything other than :disallowed.

removal_unhappiness

public static final SubLObject removal_unhappiness(SubLObject productivity,
                                                   SubLObject module_spec,
                                                   SubLObject preference_level,
                                                   SubLObject literal_count)

Assumes zero b-values

scale_unhappiness

public static final SubLObject scale_unhappiness(SubLObject unhappiness,
                                                 SubLObject scaling_factor)

module_scaling_factor

public static final SubLObject module_scaling_factor(SubLObject module_spec)

Assumes zero b-values

preference_scaling_factor

public static final SubLObject preference_scaling_factor(SubLObject preference_level)

Assumes zero b-values

literal_count_scaling_factor

public static final SubLObject literal_count_scaling_factor(SubLObject literal_count)

Assumes zero b-values

strategy_deems_conjunctive_tactic_spec_betterP

public static final SubLObject strategy_deems_conjunctive_tactic_spec_betterP(SubLObject candidate_tactic_productivity,
                                                                              SubLObject candidate_tactic_preference,
                                                                              SubLObject candidate_tactic_module_spec,
                                                                              SubLObject candidate_tactic_literal_count,
                                                                              SubLObject committed_tactic_productivity,
                                                                              SubLObject committed_tactic_preference,
                                                                              SubLObject committed_tactic_module_spec,
                                                                              SubLObject committed_tactic_literal_count)

Returns:

booleanp; whether it prefers a CANDIDATE-TACTIC's PRODUCTIVITY, PREFERENCE, MODULE-SPEC and LITERAL-COUNT values over those of a COMMITTED-TACTIC.

magic_wand_tacticP

public static final SubLObject magic_wand_tacticP(SubLObject tactic,
                                                  SubLObject strategic_context)

under_magic_wand_max_preference_levelP

public static final SubLObject under_magic_wand_max_preference_levelP(SubLObject preference_level)

tactic_strictly_less_preferred_than_some_siblingP

public static final SubLObject tactic_strictly_less_preferred_than_some_siblingP(SubLObject tactic,
                                                                                 SubLObject strategic_context)

declare_inference_tactician_utilities_file

public static final SubLObject declare_inference_tactician_utilities_file()

init_inference_tactician_utilities_file

public static final SubLObject init_inference_tactician_utilities_file()

setup_inference_tactician_utilities_file

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