com.cyc.cycjava.cycl
Class kb_control_vars

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.kb_control_vars

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class kb_control_vars
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$backchain_forbidden_unless_arg_chosen$
static SubLObject	$const1$backchainForbiddenWhenUnboundInAr
static SubLSymbol	$forward_inference_allowed_rules$ When a value other than :all, the list of the only rules allowed for forward inference.
static SubLSymbol	$forward_inference_enabledP$
static SubLSymbol	$forward_inference_environment$ Environment used for performing forward inference.
static SubLSymbol	$forward_inference_time_cutoff$ Amount of time we are willing to spend on each forward inference.
static SubLSymbol	$forward_propagate_from_negations$ Do we allow forward propagation from negated gafs.
static SubLSymbol	$forward_propagate_to_negations$ Do we allow conclusion of negated gafs in forward propagation.
static SubLSymbol	$hl_transcript_operations$ A list of the operations noted by the HL storage modules
static SubLSymbol	$kw19$ALL
static SubLSymbol	$recording_hl_transcript_operationsP$ Whether the HL storage modules should store the operations they perform
static SubLSymbol	$recursive_ist_justificationsP$ Do we give full justifications for ist gafs?
static SubLSymbol	$relax_type_restrictions_for_nats$
static SubLString	$str2$_a__a__
static SubLSymbol	$sym0$_BACKCHAIN_FORBIDDEN_UNLESS_ARG_CHOSEN_
static SubLSymbol	$sym10$_THESAURUS_KB_LOADED__
static SubLSymbol	$sym11$_QUANT_KB_LOADED__
static SubLSymbol	$sym12$_TIME_KB_LOADED__
static SubLSymbol	$sym13$_DATE_KB_LOADED__
static SubLSymbol	$sym14$_CYC_TASK_SCHEDULER_KB_LOADED__
static SubLSymbol	$sym15$_WORDNET_KB_LOADED__
static SubLSymbol	$sym16$_CYC_SECURE_KB_LOADED__
static SubLSymbol	$sym17$_PLANNER_KB_LOADED__
static SubLSymbol	$sym18$_KCT_KB_LOADED__
static SubLSymbol	$sym20$_FORWARD_INFERENCE_ENVIRONMENT_
static SubLSymbol	$sym21$RECORD_HL_TRANSCRIPT_OPERATION
static SubLSymbol	$sym22$POSSIBLY_RECORD_HL_TRANSCRIPT_OPERATION
static SubLSymbol	$sym3$_REFORMULATOR_KB_LOADED__
static SubLSymbol	$sym4$_SKSI_KB_LOADED__
static SubLSymbol	$sym5$_PARAPHRASE_KB_LOADED__
static SubLSymbol	$sym6$_NL_KB_LOADED__
static SubLSymbol	$sym7$_LEXICON_KB_LOADED__
static SubLSymbol	$sym8$_RTP_KB_LOADED__
static SubLSymbol	$sym9$_RKF_KB_LOADED__
static SubLSymbol	$within_assertion_forward_propagationP$
static SubLSymbol	$within_forward_inferenceP$
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_kb_control_vars_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_kb_control_vars_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kct_kb_loaded_p() Is the portion of the KB necessary for KCTs loaded? There is currently no code analogue of this KB feature.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_kb_control_vars_file()
static SubLObject	unset_kct_kb_loaded()
static SubLObject	within_forward_inferenceP()

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

$backchain_forbidden_unless_arg_chosen$

public static SubLSymbol $backchain_forbidden_unless_arg_chosen$

$forward_inference_enabledP$

public static SubLSymbol $forward_inference_enabledP$

$forward_propagate_from_negations$

public static SubLSymbol $forward_propagate_from_negations$

Do we allow forward propagation from negated gafs.

$forward_propagate_to_negations$

public static SubLSymbol $forward_propagate_to_negations$

Do we allow conclusion of negated gafs in forward propagation.

$within_forward_inferenceP$

public static SubLSymbol $within_forward_inferenceP$

$within_assertion_forward_propagationP$

public static SubLSymbol $within_assertion_forward_propagationP$

$relax_type_restrictions_for_nats$

public static SubLSymbol $relax_type_restrictions_for_nats$

$forward_inference_time_cutoff$

public static SubLSymbol $forward_inference_time_cutoff$

Amount of time we are willing to spend on each forward inference. NIL means unlimited time.

$forward_inference_allowed_rules$

public static SubLSymbol $forward_inference_allowed_rules$

When a value other than :all, the list of the only rules allowed for forward inference.

$forward_inference_environment$

public static SubLSymbol $forward_inference_environment$

Environment used for performing forward inference.

$recursive_ist_justificationsP$

public static SubLSymbol $recursive_ist_justificationsP$

Do we give full justifications for ist gafs?

$recording_hl_transcript_operationsP$

public static SubLSymbol $recording_hl_transcript_operationsP$

Whether the HL storage modules should store the operations they perform

$hl_transcript_operations$

public static SubLSymbol $hl_transcript_operations$

A list of the operations noted by the HL storage modules

$sym0$_BACKCHAIN_FORBIDDEN_UNLESS_ARG_CHOSEN_

public static final SubLSymbol $sym0$_BACKCHAIN_FORBIDDEN_UNLESS_ARG_CHOSEN_

$const1$backchainForbiddenWhenUnboundInAr

public static final SubLObject $const1$backchainForbiddenWhenUnboundInAr

$str2$_a__a__

public static final SubLString $str2$_a__a__

$sym3$_REFORMULATOR_KB_LOADED__

public static final SubLSymbol $sym3$_REFORMULATOR_KB_LOADED__

$sym4$_SKSI_KB_LOADED__

public static final SubLSymbol $sym4$_SKSI_KB_LOADED__

$sym5$_PARAPHRASE_KB_LOADED__

public static final SubLSymbol $sym5$_PARAPHRASE_KB_LOADED__

$sym6$_NL_KB_LOADED__

public static final SubLSymbol $sym6$_NL_KB_LOADED__

$sym7$_LEXICON_KB_LOADED__

public static final SubLSymbol $sym7$_LEXICON_KB_LOADED__

$sym8$_RTP_KB_LOADED__

public static final SubLSymbol $sym8$_RTP_KB_LOADED__

$sym9$_RKF_KB_LOADED__

public static final SubLSymbol $sym9$_RKF_KB_LOADED__

$sym10$_THESAURUS_KB_LOADED__

public static final SubLSymbol $sym10$_THESAURUS_KB_LOADED__

$sym11$_QUANT_KB_LOADED__

public static final SubLSymbol $sym11$_QUANT_KB_LOADED__

$sym12$_TIME_KB_LOADED__

public static final SubLSymbol $sym12$_TIME_KB_LOADED__

$sym13$_DATE_KB_LOADED__

public static final SubLSymbol $sym13$_DATE_KB_LOADED__

$sym14$_CYC_TASK_SCHEDULER_KB_LOADED__

public static final SubLSymbol $sym14$_CYC_TASK_SCHEDULER_KB_LOADED__

$sym15$_WORDNET_KB_LOADED__

public static final SubLSymbol $sym15$_WORDNET_KB_LOADED__

$sym16$_CYC_SECURE_KB_LOADED__

public static final SubLSymbol $sym16$_CYC_SECURE_KB_LOADED__

$sym17$_PLANNER_KB_LOADED__

public static final SubLSymbol $sym17$_PLANNER_KB_LOADED__

$sym18$_KCT_KB_LOADED__

public static final SubLSymbol $sym18$_KCT_KB_LOADED__

$kw19$ALL

public static final SubLSymbol $kw19$ALL

$sym20$_FORWARD_INFERENCE_ENVIRONMENT_

public static final SubLSymbol $sym20$_FORWARD_INFERENCE_ENVIRONMENT_

$sym21$RECORD_HL_TRANSCRIPT_OPERATION

public static final SubLSymbol $sym21$RECORD_HL_TRANSCRIPT_OPERATION

$sym22$POSSIBLY_RECORD_HL_TRANSCRIPT_OPERATION

public static final SubLSymbol $sym22$POSSIBLY_RECORD_HL_TRANSCRIPT_OPERATION

Method Detail

kct_kb_loaded_p

public static final SubLObject kct_kb_loaded_p()

Is the portion of the KB necessary for KCTs loaded? There is currently no code analogue of this KB feature.

unset_kct_kb_loaded

public static final SubLObject unset_kct_kb_loaded()

within_forward_inferenceP

public static final SubLObject within_forward_inferenceP()

declare_kb_control_vars_file

public static final SubLObject declare_kb_control_vars_file()

init_kb_control_vars_file

public static final SubLObject init_kb_control_vars_file()

setup_kb_control_vars_file

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