com.cyc.cycjava.cycl
Class assertions_interface

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class assertions_interface
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLList	$list12
static SubLList	$list14
static SubLList	$list15
static SubLList	$list18
static SubLList	$list21
static SubLList	$list24
static SubLList	$list27
static SubLList	$list30
static SubLList	$list33
static SubLList	$list36
static SubLList	$list39
static SubLList	$list4
static SubLList	$list42
static SubLList	$list45
static SubLList	$list48
static SubLList	$list51
static SubLList	$list54
static SubLList	$list59
static SubLList	$list6
static SubLList	$list62
static SubLList	$list64
static SubLList	$list67
static SubLList	$list69
static SubLList	$list7
static SubLList	$list72
static SubLList	$list74
static SubLList	$list77
static SubLList	$list79
static SubLList	$list82
static SubLList	$list84
static SubLList	$list87
static SubLList	$list89
static SubLList	$list91
static SubLList	$list93
static SubLList	$list96
static SubLList	$list98
static SubLString	$str100$Return_the_arguments_for_ASSERTIO
static SubLString	$str102$Return_the_dependents_of_ASSERTIO
static SubLString	$str13$Remove_ASSERTION_from_the_KB_
static SubLString	$str17$Return_the_CNF_for_ASSERTION_
static SubLString	$str20$Return_the_CNF_for_ASSERTION_or_N
static SubLString	$str23$Return_the_MT_for_ASSERTION_
static SubLString	$str26$Return_the_assertion_with_CNF_and
static SubLString	$str29$Return_T_iff_ASSERTION_is_a_groun
static SubLString	$str32$Returns_the_HL_clause_of_ASSERTIO
static SubLString	$str35$Returns_a_CNF_or_GAF_HL_formula_
static SubLString	$str38$Return_the_direction_of_ASSERTION
static SubLString	$str41$Return_the_current_truth_of_ASSER
static SubLString	$str44$Return_the_current_argumentation_
static SubLString	$str47$Return_the_variable_names_for_ASS
static SubLString	$str5$Create_a_new_assertion_with_CNF_i
static SubLString	$str50$Return_the_asserted_by_bookkeepin
static SubLString	$str53$Return_the_asserted_when_bookkeep
static SubLString	$str56$Return_the_asserted_why_bookkeepi
static SubLString	$str58$Return_the_asserted_second_bookke
static SubLString	$str63$Change_direction_of_ASSERTION_to_
static SubLString	$str68$Change_the_truth_of_ASSERTION_to_
static SubLString	$str73$Change_the_strength_of_ASSERTION_
static SubLString	$str78$Change_the_variable_names_for_ASS
static SubLString	$str83$Set_the_asserted_by_bookkeeping_i
static SubLString	$str88$Set_the_asserted_when_bookkeeping
static SubLString	$str92$Set_the_asserted_why_bookkeeping_
static SubLString	$str97$Set_the_asserted_second_bookkeepi
static SubLSymbol	$sym0$CNF_P
static SubLSymbol	$sym1$HLMT_P
static SubLSymbol	$sym10$KB_REMOVE_ASSERTION
static SubLSymbol	$sym101$KB_ASSERTION_DEPENDENTS
static SubLSymbol	$sym11$QUOTE
static SubLSymbol	$sym16$KB_ASSERTION_CNF
static SubLSymbol	$sym19$KB_POSSIBLY_ASSERTION_CNF
static SubLSymbol	$sym2$KB_CREATE_ASSERTION
static SubLSymbol	$sym22$KB_ASSERTION_MT
static SubLSymbol	$sym25$KB_LOOKUP_ASSERTION
static SubLSymbol	$sym28$KB_GAF_ASSERTION_
static SubLSymbol	$sym3$_EXIT
static SubLSymbol	$sym31$KB_ASSERTION_GAF_HL_FORMULA
static SubLSymbol	$sym34$KB_ASSERTION_CONS
static SubLSymbol	$sym37$KB_ASSERTION_DIRECTION
static SubLSymbol	$sym40$KB_ASSERTION_TRUTH
static SubLSymbol	$sym43$KB_ASSERTION_STRENGTH
static SubLSymbol	$sym46$KB_ASSERTION_VARIABLE_NAMES
static SubLSymbol	$sym49$KB_ASSERTION_ASSERTED_BY
static SubLSymbol	$sym52$KB_ASSERTION_ASSERTED_WHEN
static SubLSymbol	$sym55$KB_ASSERTION_ASSERTED_WHY
static SubLSymbol	$sym57$KB_ASSERTION_ASSERTED_SECOND
static SubLSymbol	$sym60$DIRECTION_P
static SubLSymbol	$sym61$KB_SET_ASSERTION_DIRECTION
static SubLSymbol	$sym65$TRUTH_P
static SubLSymbol	$sym66$KB_SET_ASSERTION_TRUTH
static SubLSymbol	$sym70$EL_STRENGTH_P
static SubLSymbol	$sym71$KB_SET_ASSERTION_STRENGTH
static SubLSymbol	$sym75$LISTP
static SubLSymbol	$sym76$KB_SET_ASSERTION_VARIABLE_NAMES
static SubLSymbol	$sym8$KB_CREATE_ASSERTION_KB_STORE
static SubLSymbol	$sym80$FORT_P
static SubLSymbol	$sym81$KB_SET_ASSERTION_ASSERTED_BY
static SubLSymbol	$sym85$UNIVERSAL_DATE_P
static SubLSymbol	$sym86$KB_SET_ASSERTION_ASSERTED_WHEN
static SubLSymbol	$sym9$ASSERTION_P
static SubLSymbol	$sym90$KB_SET_ASSERTION_ASSERTED_WHY
static SubLSymbol	$sym94$UNIVERSAL_SECOND_P
static SubLSymbol	$sym95$KB_SET_ASSERTION_ASSERTED_SECOND
static SubLSymbol	$sym99$KB_ASSERTION_ARGUMENTS
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_assertions_interface_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_assertions_interface_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kb_assertion_arguments(SubLObject assertion) Return the arguments for ASSERTION.
static SubLObject	kb_assertion_asserted_by(SubLObject assertion) Return the asserted-by bookkeeping info for ASSERTION.
static SubLObject	kb_assertion_asserted_second(SubLObject assertion) Return the asserted-second bookkeeping info for ASSERTION.
static SubLObject	kb_assertion_asserted_when(SubLObject assertion) Return the asserted-when bookkeeping info for ASSERTION.
static SubLObject	kb_assertion_asserted_why(SubLObject assertion) Return the asserted-why bookkeeping info for ASSERTION.
static SubLObject	kb_assertion_cnf(SubLObject assertion) Return the CNF for ASSERTION.
static SubLObject	kb_assertion_cons(SubLObject assertion) Returns a CNF or GAF HL formula.
static SubLObject	kb_assertion_dependents(SubLObject assertion) Return the dependents of ASSERTION.
static SubLObject	kb_assertion_direction(SubLObject assertion) Return the direction of ASSERTION (either :backward, :forward or :code).
static SubLObject	kb_assertion_gaf_hl_formula(SubLObject assertion) Returns the HL clause of ASSERTION if it's a gaf, otherwise returns nil.
static SubLObject	kb_assertion_mt(SubLObject assertion) Return the MT for ASSERTION.
static SubLObject	kb_assertion_strength(SubLObject assertion) Return the current argumentation strength of ASSERTION -- either :monotonic, :default, or :unknown.
static SubLObject	kb_assertion_truth(SubLObject assertion) Return the current truth of ASSERTION -- either :true :false or :unknown.
static SubLObject	kb_assertion_variable_names(SubLObject assertion) Return the variable names for ASSERTION.
static SubLObject	kb_create_assertion_local(SubLObject cnf, SubLObject mt)
static SubLObject	kb_create_assertion(SubLObject cnf, SubLObject mt) Create a new assertion with CNF in MT.
static SubLObject	kb_gaf_assertionP(SubLObject assertion) Return T iff ASSERTION is a ground atomic formula (gaf).
static SubLObject	kb_lookup_assertion(SubLObject cnf, SubLObject mt) Return the assertion with CNF and MT, if it exists.
static SubLObject	kb_possibly_assertion_cnf(SubLObject assertion) Return the CNF for ASSERTION or NIL.
static SubLObject	kb_remove_assertion(SubLObject assertion) Remove ASSERTION from the KB.
static SubLObject	kb_set_assertion_asserted_by(SubLObject assertion, SubLObject assertor) Set the asserted-by bookkeeping info for ASSERTION to ASSERTOR.
static SubLObject	kb_set_assertion_asserted_second(SubLObject assertion, SubLObject universal_second) Set the asserted-second bookkeeping info for ASSERTION to UNIVERSAL-SECOND.
static SubLObject	kb_set_assertion_asserted_when(SubLObject assertion, SubLObject universal_date) Set the asserted-when bookkeeping info for ASSERTION to UNIVERSAL-DATE.
static SubLObject	kb_set_assertion_asserted_why(SubLObject assertion, SubLObject reason) Set the asserted-why bookkeeping info for ASSERTION to REASON.
static SubLObject	kb_set_assertion_direction(SubLObject assertion, SubLObject new_direction) Change direction of ASSERTION to NEW-DIRECTION.
static SubLObject	kb_set_assertion_strength(SubLObject assertion, SubLObject new_strength) Change the strength of ASSERTION to NEW-STRENGTH.
static SubLObject	kb_set_assertion_truth(SubLObject assertion, SubLObject new_truth) Change the truth of ASSERTION to NEW-TRUTH.
static SubLObject	kb_set_assertion_variable_names(SubLObject assertion, SubLObject new_variable_names) Change the variable names for ASSERTION to NEW-VARIABLE-NAMES.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_assertions_interface_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

$sym0$CNF_P

public static final SubLSymbol $sym0$CNF_P

$sym1$HLMT_P

public static final SubLSymbol $sym1$HLMT_P

$sym2$KB_CREATE_ASSERTION

public static final SubLSymbol $sym2$KB_CREATE_ASSERTION

$sym3$_EXIT

public static final SubLSymbol $sym3$_EXIT

$list4

public static final SubLList $list4

$str5$Create_a_new_assertion_with_CNF_i

public static final SubLString $str5$Create_a_new_assertion_with_CNF_i

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$sym8$KB_CREATE_ASSERTION_KB_STORE

public static final SubLSymbol $sym8$KB_CREATE_ASSERTION_KB_STORE

$sym9$ASSERTION_P

public static final SubLSymbol $sym9$ASSERTION_P

$sym10$KB_REMOVE_ASSERTION

public static final SubLSymbol $sym10$KB_REMOVE_ASSERTION

$sym11$QUOTE

public static final SubLSymbol $sym11$QUOTE

$list12

public static final SubLList $list12

$str13$Remove_ASSERTION_from_the_KB_

public static final SubLString $str13$Remove_ASSERTION_from_the_KB_

$list14

public static final SubLList $list14

$list15

public static final SubLList $list15

$sym16$KB_ASSERTION_CNF

public static final SubLSymbol $sym16$KB_ASSERTION_CNF

$str17$Return_the_CNF_for_ASSERTION_

public static final SubLString $str17$Return_the_CNF_for_ASSERTION_

$list18

public static final SubLList $list18

$sym19$KB_POSSIBLY_ASSERTION_CNF

public static final SubLSymbol $sym19$KB_POSSIBLY_ASSERTION_CNF

$str20$Return_the_CNF_for_ASSERTION_or_N

public static final SubLString $str20$Return_the_CNF_for_ASSERTION_or_N

$list21

public static final SubLList $list21

$sym22$KB_ASSERTION_MT

public static final SubLSymbol $sym22$KB_ASSERTION_MT

$str23$Return_the_MT_for_ASSERTION_

public static final SubLString $str23$Return_the_MT_for_ASSERTION_

$list24

public static final SubLList $list24

$sym25$KB_LOOKUP_ASSERTION

public static final SubLSymbol $sym25$KB_LOOKUP_ASSERTION

$str26$Return_the_assertion_with_CNF_and

public static final SubLString $str26$Return_the_assertion_with_CNF_and

$list27

public static final SubLList $list27

$sym28$KB_GAF_ASSERTION_

public static final SubLSymbol $sym28$KB_GAF_ASSERTION_

$str29$Return_T_iff_ASSERTION_is_a_groun

public static final SubLString $str29$Return_T_iff_ASSERTION_is_a_groun

$list30

public static final SubLList $list30

$sym31$KB_ASSERTION_GAF_HL_FORMULA

public static final SubLSymbol $sym31$KB_ASSERTION_GAF_HL_FORMULA

$str32$Returns_the_HL_clause_of_ASSERTIO

public static final SubLString $str32$Returns_the_HL_clause_of_ASSERTIO

$list33

public static final SubLList $list33

$sym34$KB_ASSERTION_CONS

public static final SubLSymbol $sym34$KB_ASSERTION_CONS

$str35$Returns_a_CNF_or_GAF_HL_formula_

public static final SubLString $str35$Returns_a_CNF_or_GAF_HL_formula_

$list36

public static final SubLList $list36

$sym37$KB_ASSERTION_DIRECTION

public static final SubLSymbol $sym37$KB_ASSERTION_DIRECTION

$str38$Return_the_direction_of_ASSERTION

public static final SubLString $str38$Return_the_direction_of_ASSERTION

$list39

public static final SubLList $list39

$sym40$KB_ASSERTION_TRUTH

public static final SubLSymbol $sym40$KB_ASSERTION_TRUTH

$str41$Return_the_current_truth_of_ASSER

public static final SubLString $str41$Return_the_current_truth_of_ASSER

$list42

public static final SubLList $list42

$sym43$KB_ASSERTION_STRENGTH

public static final SubLSymbol $sym43$KB_ASSERTION_STRENGTH

$str44$Return_the_current_argumentation_

public static final SubLString $str44$Return_the_current_argumentation_

$list45

public static final SubLList $list45

$sym46$KB_ASSERTION_VARIABLE_NAMES

public static final SubLSymbol $sym46$KB_ASSERTION_VARIABLE_NAMES

$str47$Return_the_variable_names_for_ASS

public static final SubLString $str47$Return_the_variable_names_for_ASS

$list48

public static final SubLList $list48

$sym49$KB_ASSERTION_ASSERTED_BY

public static final SubLSymbol $sym49$KB_ASSERTION_ASSERTED_BY

$str50$Return_the_asserted_by_bookkeepin

public static final SubLString $str50$Return_the_asserted_by_bookkeepin

$list51

public static final SubLList $list51

$sym52$KB_ASSERTION_ASSERTED_WHEN

public static final SubLSymbol $sym52$KB_ASSERTION_ASSERTED_WHEN

$str53$Return_the_asserted_when_bookkeep

public static final SubLString $str53$Return_the_asserted_when_bookkeep

$list54

public static final SubLList $list54

$sym55$KB_ASSERTION_ASSERTED_WHY

public static final SubLSymbol $sym55$KB_ASSERTION_ASSERTED_WHY

$str56$Return_the_asserted_why_bookkeepi

public static final SubLString $str56$Return_the_asserted_why_bookkeepi

$sym57$KB_ASSERTION_ASSERTED_SECOND

public static final SubLSymbol $sym57$KB_ASSERTION_ASSERTED_SECOND

$str58$Return_the_asserted_second_bookke

public static final SubLString $str58$Return_the_asserted_second_bookke

$list59

public static final SubLList $list59

$sym60$DIRECTION_P

public static final SubLSymbol $sym60$DIRECTION_P

$sym61$KB_SET_ASSERTION_DIRECTION

public static final SubLSymbol $sym61$KB_SET_ASSERTION_DIRECTION

$list62

public static final SubLList $list62

$str63$Change_direction_of_ASSERTION_to_

public static final SubLString $str63$Change_direction_of_ASSERTION_to_

$list64

public static final SubLList $list64

$sym65$TRUTH_P

public static final SubLSymbol $sym65$TRUTH_P

$sym66$KB_SET_ASSERTION_TRUTH

public static final SubLSymbol $sym66$KB_SET_ASSERTION_TRUTH

$list67

public static final SubLList $list67

$str68$Change_the_truth_of_ASSERTION_to_

public static final SubLString $str68$Change_the_truth_of_ASSERTION_to_

$list69

public static final SubLList $list69

$sym70$EL_STRENGTH_P

public static final SubLSymbol $sym70$EL_STRENGTH_P

$sym71$KB_SET_ASSERTION_STRENGTH

public static final SubLSymbol $sym71$KB_SET_ASSERTION_STRENGTH

$list72

public static final SubLList $list72

$str73$Change_the_strength_of_ASSERTION_

public static final SubLString $str73$Change_the_strength_of_ASSERTION_

$list74

public static final SubLList $list74

$sym75$LISTP

public static final SubLSymbol $sym75$LISTP

$sym76$KB_SET_ASSERTION_VARIABLE_NAMES

public static final SubLSymbol $sym76$KB_SET_ASSERTION_VARIABLE_NAMES

$list77

public static final SubLList $list77

$str78$Change_the_variable_names_for_ASS

public static final SubLString $str78$Change_the_variable_names_for_ASS

$list79

public static final SubLList $list79

$sym80$FORT_P

public static final SubLSymbol $sym80$FORT_P

$sym81$KB_SET_ASSERTION_ASSERTED_BY

public static final SubLSymbol $sym81$KB_SET_ASSERTION_ASSERTED_BY

$list82

public static final SubLList $list82

$str83$Set_the_asserted_by_bookkeeping_i

public static final SubLString $str83$Set_the_asserted_by_bookkeeping_i

$list84

public static final SubLList $list84

$sym85$UNIVERSAL_DATE_P

public static final SubLSymbol $sym85$UNIVERSAL_DATE_P

$sym86$KB_SET_ASSERTION_ASSERTED_WHEN

public static final SubLSymbol $sym86$KB_SET_ASSERTION_ASSERTED_WHEN

$list87

public static final SubLList $list87

$str88$Set_the_asserted_when_bookkeeping

public static final SubLString $str88$Set_the_asserted_when_bookkeeping

$list89

public static final SubLList $list89

$sym90$KB_SET_ASSERTION_ASSERTED_WHY

public static final SubLSymbol $sym90$KB_SET_ASSERTION_ASSERTED_WHY

$list91

public static final SubLList $list91

$str92$Set_the_asserted_why_bookkeeping_

public static final SubLString $str92$Set_the_asserted_why_bookkeeping_

$list93

public static final SubLList $list93

$sym94$UNIVERSAL_SECOND_P

public static final SubLSymbol $sym94$UNIVERSAL_SECOND_P

$sym95$KB_SET_ASSERTION_ASSERTED_SECOND

public static final SubLSymbol $sym95$KB_SET_ASSERTION_ASSERTED_SECOND

$list96

public static final SubLList $list96

$str97$Set_the_asserted_second_bookkeepi

public static final SubLString $str97$Set_the_asserted_second_bookkeepi

$list98

public static final SubLList $list98

$sym99$KB_ASSERTION_ARGUMENTS

public static final SubLSymbol $sym99$KB_ASSERTION_ARGUMENTS

$str100$Return_the_arguments_for_ASSERTIO

public static final SubLString $str100$Return_the_arguments_for_ASSERTIO

$sym101$KB_ASSERTION_DEPENDENTS

public static final SubLSymbol $sym101$KB_ASSERTION_DEPENDENTS

$str102$Return_the_dependents_of_ASSERTIO

public static final SubLString $str102$Return_the_dependents_of_ASSERTIO

Method Detail

kb_create_assertion

public static final SubLObject kb_create_assertion(SubLObject cnf,
                                                   SubLObject mt)

Create a new assertion with CNF in MT.

kb_create_assertion_local

public static final SubLObject kb_create_assertion_local(SubLObject cnf,
                                                         SubLObject mt)

kb_remove_assertion

public static final SubLObject kb_remove_assertion(SubLObject assertion)

Remove ASSERTION from the KB.

kb_assertion_cnf

public static final SubLObject kb_assertion_cnf(SubLObject assertion)

Return the CNF for ASSERTION.

kb_possibly_assertion_cnf

public static final SubLObject kb_possibly_assertion_cnf(SubLObject assertion)

Return the CNF for ASSERTION or NIL.

kb_assertion_mt

public static final SubLObject kb_assertion_mt(SubLObject assertion)

Return the MT for ASSERTION.

kb_lookup_assertion

public static final SubLObject kb_lookup_assertion(SubLObject cnf,
                                                   SubLObject mt)

Return the assertion with CNF and MT, if it exists. Return NIL otherwise.

kb_gaf_assertionP

public static final SubLObject kb_gaf_assertionP(SubLObject assertion)

Return T iff ASSERTION is a ground atomic formula (gaf).

kb_assertion_gaf_hl_formula

public static final SubLObject kb_assertion_gaf_hl_formula(SubLObject assertion)

Returns the HL clause of ASSERTION if it's a gaf, otherwise returns nil. Ignores the truth - i.e. returns instead of (#$not ) for negated gafs.

kb_assertion_cons

public static final SubLObject kb_assertion_cons(SubLObject assertion)

Returns a CNF or GAF HL formula.

kb_assertion_direction

public static final SubLObject kb_assertion_direction(SubLObject assertion)

Return the direction of ASSERTION (either :backward, :forward or :code).

kb_assertion_truth

public static final SubLObject kb_assertion_truth(SubLObject assertion)

Return the current truth of ASSERTION -- either :true :false or :unknown.

kb_assertion_strength

public static final SubLObject kb_assertion_strength(SubLObject assertion)

Return the current argumentation strength of ASSERTION -- either :monotonic, :default, or :unknown.

kb_assertion_variable_names

public static final SubLObject kb_assertion_variable_names(SubLObject assertion)

Return the variable names for ASSERTION.

kb_assertion_asserted_by

public static final SubLObject kb_assertion_asserted_by(SubLObject assertion)

Return the asserted-by bookkeeping info for ASSERTION.

kb_assertion_asserted_when

public static final SubLObject kb_assertion_asserted_when(SubLObject assertion)

Return the asserted-when bookkeeping info for ASSERTION.

kb_assertion_asserted_why

public static final SubLObject kb_assertion_asserted_why(SubLObject assertion)

Return the asserted-why bookkeeping info for ASSERTION.

kb_assertion_asserted_second

public static final SubLObject kb_assertion_asserted_second(SubLObject assertion)

Return the asserted-second bookkeeping info for ASSERTION.

kb_set_assertion_direction

public static final SubLObject kb_set_assertion_direction(SubLObject assertion,
                                                          SubLObject new_direction)

Change direction of ASSERTION to NEW-DIRECTION.

kb_set_assertion_truth

public static final SubLObject kb_set_assertion_truth(SubLObject assertion,
                                                      SubLObject new_truth)

Change the truth of ASSERTION to NEW-TRUTH.

kb_set_assertion_strength

public static final SubLObject kb_set_assertion_strength(SubLObject assertion,
                                                         SubLObject new_strength)

Change the strength of ASSERTION to NEW-STRENGTH.

kb_set_assertion_variable_names

public static final SubLObject kb_set_assertion_variable_names(SubLObject assertion,
                                                               SubLObject new_variable_names)

Change the variable names for ASSERTION to NEW-VARIABLE-NAMES.

kb_set_assertion_asserted_by

public static final SubLObject kb_set_assertion_asserted_by(SubLObject assertion,
                                                            SubLObject assertor)

Set the asserted-by bookkeeping info for ASSERTION to ASSERTOR.

kb_set_assertion_asserted_when

public static final SubLObject kb_set_assertion_asserted_when(SubLObject assertion,
                                                              SubLObject universal_date)

Set the asserted-when bookkeeping info for ASSERTION to UNIVERSAL-DATE.

kb_set_assertion_asserted_why

public static final SubLObject kb_set_assertion_asserted_why(SubLObject assertion,
                                                             SubLObject reason)

Set the asserted-why bookkeeping info for ASSERTION to REASON.

kb_set_assertion_asserted_second

public static final SubLObject kb_set_assertion_asserted_second(SubLObject assertion,
                                                                SubLObject universal_second)

Set the asserted-second bookkeeping info for ASSERTION to UNIVERSAL-SECOND.

kb_assertion_arguments

public static final SubLObject kb_assertion_arguments(SubLObject assertion)

Return the arguments for ASSERTION.

kb_assertion_dependents

public static final SubLObject kb_assertion_dependents(SubLObject assertion)

Return the dependents of ASSERTION.

declare_assertions_interface_file

public static final SubLObject declare_assertions_interface_file()

init_assertions_interface_file

public static final SubLObject init_assertions_interface_file()

setup_assertions_interface_file

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