com.cyc.cycjava.cycl
Class czer_meta

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class czer_meta
extends SubLTranslatedFile

Nested Class Summary

static class	czer_meta.$clear_meta_relation_somewhereP$ZeroArityFunction
static class	czer_meta.$clear_possibly_meta_relation_somewhereP_cached$ZeroArityFunction
static class	czer_meta.$el_meta_formulaP$BinaryFunction
static class	czer_meta.$el_meta_formulaP$UnaryFunction
static class	czer_meta.$ground_el_meta_formulaP$BinaryFunction
static class	czer_meta.$ground_el_meta_formulaP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const24$True
static SubLObject	$const25$False
static SubLObject	$const9$EverythingPSC
static SubLSymbol	$kw12$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw16$DEFAULT
static SubLSymbol	$kw22$ASSERT
static SubLSymbol	$kw30$IGNORE
static SubLSymbol	$kw32$REGULARIZE
static SubLList	$list21
static SubLString	$str23$Cannot_set_tense_czer_to_invalid_
static SubLString	$str29$invalid_meta_arg___s
static SubLSymbol	$sym0$EL_VAR_
static SubLSymbol	$sym1$TRUE
static SubLSymbol	$sym10$_META_RELATION_SOMEWHERE__CACHING_STATE_
static SubLSymbol	$sym11$CLEAR_META_RELATION_SOMEWHERE_
static SubLSymbol	$sym13$POSSIBLY_META_RELATION_SOMEWHERE__CACHED
static SubLSymbol	$sym14$_POSSIBLY_META_RELATION_SOMEWHERE__CACHED_CACHING_STATE_
static SubLSymbol	$sym15$CLEAR_POSSIBLY_META_RELATION_SOMEWHERE__CACHED
static SubLSymbol	$sym17$CACHED_FIND_ASSERTIONS_CYCL
static SubLSymbol	$sym18$_CACHED_FIND_ASSERTIONS_CYCL_CACHING_STATE_
static SubLSymbol	$sym19$RECANONICALIZED_CANDIDATE_ASSERTION_EQUALS_CNF_
static SubLSymbol	$sym2$GAF_ASSERTION_
static SubLSymbol	$sym20$RECANONICALIZED_CANDIDATE_ASSERTION_EQUALS_GAF_
static SubLSymbol	$sym26$EL_META_FORMULA_
static SubLSymbol	$sym27$EXPRESS_AS_META_FORMULA
static SubLSymbol	$sym28$GROUND_EL_META_FORMULA_
static SubLSymbol	$sym3$RULE_ASSERTION_
static SubLSymbol	$sym31$KB_ASSERTION_
static SubLSymbol	$sym4$ASSERTED_ASSERTION_
static SubLSymbol	$sym5$DEDUCED_ASSERTION_
static SubLSymbol	$sym6$NL_SEMANTIC_ASSERTION_
static SubLSymbol	$sym7$META_RELATION_SOMEWHERE_
static SubLSymbol	$sym8$RELEVANT_MT_IS_EVERYTHING
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	canon_cnfs_sentence(SubLObject sentence, SubLObject canon_gafP, SubLObject mt)
static SubLObject	canon_versions_sentence(SubLObject sentence, SubLObject mt)
static SubLObject	canonicalize_meta_clauses(SubLObject v_clauses)
static SubLObject	clear_cached_find_assertions_cycl()
static SubLObject	declare_czer_meta_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	distributing_meta_literalP(SubLObject literal)
static SubLObject	distributing_meta_proposition_clauseP(SubLObject clause)
static SubLObject	find_assertion_cycl(SubLObject sentence, SubLObject mt) May return an arbitrary assertion if more than one assertion matches SENTENCE.
static SubLObject	find_assertions_cycl_int_2(SubLObject sentence, SubLObject mt, SubLObject include_genl_mtsP)
static SubLObject	find_assertions_cycl_int(SubLObject sentence, SubLObject mt, SubLObject include_genl_mtsP)
static SubLObject	find_assertions_cycl(SubLObject sentence, SubLObject mt) Finds a list of assertions in the KB which match the EL sentence SENTENCE.
static SubLObject	find_assertions_from_cnf(SubLObject cnf, SubLObject blist, SubLObject mt, SubLObject include_genl_mtsP)
static SubLObject	find_kb_assertions(SubLObject sentence, SubLObject mt)
static SubLObject	init_czer_meta_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	meta_proposition_clauseP(SubLObject clause)
static SubLObject	robust_assertion_lookupP() returns t iff we want to look up assertions robustly (by recanonicalization of assertions already existing in the KB).
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_czer_meta_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$EL_VAR_

public static final SubLSymbol $sym0$EL_VAR_

$sym1$TRUE

public static final SubLSymbol $sym1$TRUE

$sym2$GAF_ASSERTION_

public static final SubLSymbol $sym2$GAF_ASSERTION_

$sym3$RULE_ASSERTION_

public static final SubLSymbol $sym3$RULE_ASSERTION_

$sym4$ASSERTED_ASSERTION_

public static final SubLSymbol $sym4$ASSERTED_ASSERTION_

$sym5$DEDUCED_ASSERTION_

public static final SubLSymbol $sym5$DEDUCED_ASSERTION_

$sym6$NL_SEMANTIC_ASSERTION_

public static final SubLSymbol $sym6$NL_SEMANTIC_ASSERTION_

$sym7$META_RELATION_SOMEWHERE_

public static final SubLSymbol $sym7$META_RELATION_SOMEWHERE_

$sym8$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym8$RELEVANT_MT_IS_EVERYTHING

$const9$EverythingPSC

public static final SubLObject $const9$EverythingPSC

$sym10$_META_RELATION_SOMEWHERE__CACHING_STATE_

public static final SubLSymbol $sym10$_META_RELATION_SOMEWHERE__CACHING_STATE_

$sym11$CLEAR_META_RELATION_SOMEWHERE_

public static final SubLSymbol $sym11$CLEAR_META_RELATION_SOMEWHERE_

$kw12$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw12$_MEMOIZED_ITEM_NOT_FOUND_

$sym13$POSSIBLY_META_RELATION_SOMEWHERE__CACHED

public static final SubLSymbol $sym13$POSSIBLY_META_RELATION_SOMEWHERE__CACHED

$sym14$_POSSIBLY_META_RELATION_SOMEWHERE__CACHED_CACHING_STATE_

public static final SubLSymbol $sym14$_POSSIBLY_META_RELATION_SOMEWHERE__CACHED_CACHING_STATE_

$sym15$CLEAR_POSSIBLY_META_RELATION_SOMEWHERE__CACHED

public static final SubLSymbol $sym15$CLEAR_POSSIBLY_META_RELATION_SOMEWHERE__CACHED

$kw16$DEFAULT

public static final SubLSymbol $kw16$DEFAULT

$sym17$CACHED_FIND_ASSERTIONS_CYCL

public static final SubLSymbol $sym17$CACHED_FIND_ASSERTIONS_CYCL

$sym18$_CACHED_FIND_ASSERTIONS_CYCL_CACHING_STATE_

public static final SubLSymbol $sym18$_CACHED_FIND_ASSERTIONS_CYCL_CACHING_STATE_

$sym19$RECANONICALIZED_CANDIDATE_ASSERTION_EQUALS_CNF_

public static final SubLSymbol $sym19$RECANONICALIZED_CANDIDATE_ASSERTION_EQUALS_CNF_

$sym20$RECANONICALIZED_CANDIDATE_ASSERTION_EQUALS_GAF_

public static final SubLSymbol $sym20$RECANONICALIZED_CANDIDATE_ASSERTION_EQUALS_GAF_

$list21

public static final SubLList $list21

$kw22$ASSERT

public static final SubLSymbol $kw22$ASSERT

$str23$Cannot_set_tense_czer_to_invalid_

public static final SubLString $str23$Cannot_set_tense_czer_to_invalid_

$const24$True

public static final SubLObject $const24$True

$const25$False

public static final SubLObject $const25$False

$sym26$EL_META_FORMULA_

public static final SubLSymbol $sym26$EL_META_FORMULA_

$sym27$EXPRESS_AS_META_FORMULA

public static final SubLSymbol $sym27$EXPRESS_AS_META_FORMULA

$sym28$GROUND_EL_META_FORMULA_

public static final SubLSymbol $sym28$GROUND_EL_META_FORMULA_

$str29$invalid_meta_arg___s

public static final SubLString $str29$invalid_meta_arg___s

$kw30$IGNORE

public static final SubLSymbol $kw30$IGNORE

$sym31$KB_ASSERTION_

public static final SubLSymbol $sym31$KB_ASSERTION_

$kw32$REGULARIZE

public static final SubLSymbol $kw32$REGULARIZE

Method Detail

find_assertion_cycl

public static final SubLObject find_assertion_cycl(SubLObject sentence,
                                                   SubLObject mt)

May return an arbitrary assertion if more than one assertion matches SENTENCE.

find_kb_assertions

public static final SubLObject find_kb_assertions(SubLObject sentence,
                                                  SubLObject mt)

robust_assertion_lookupP

public static final SubLObject robust_assertion_lookupP()

returns t iff we want to look up assertions robustly (by recanonicalization of assertions already existing in the KB). This can be set to t or nil by the global variable *robust-assertion-lookup*, but can also be set to :default. If it's set to :default, it used to be t iff we're in the canonicalizer, the wff-checker, or the recanonicalizer, but now (after Nov 2002) the default is nil. It's too inefficient to try this by default; the problem should be solved at its root by recanonicalizing the uncanonical assertions.

find_assertions_cycl

public static final SubLObject find_assertions_cycl(SubLObject sentence,
                                                    SubLObject mt)

Finds a list of assertions in the KB which match the EL sentence SENTENCE. It does this by finding the best index, then looping through that index and using *cnf-matching-predicate* to check the equality of the canonical version of SENTENCE and the cnf expansion of each assertion. Assumes that the assertions in the KB are in canonical form, unless robust-assertion-lookup? is true.

Returns:

0 list; a list of assertions

See Also:

robust-assertion-lookup?

clear_cached_find_assertions_cycl

public static final SubLObject clear_cached_find_assertions_cycl()

find_assertions_cycl_int

public static final SubLObject find_assertions_cycl_int(SubLObject sentence,
                                                        SubLObject mt,
                                                        SubLObject include_genl_mtsP)

find_assertions_cycl_int_2

public static final SubLObject find_assertions_cycl_int_2(SubLObject sentence,
                                                          SubLObject mt,
                                                          SubLObject include_genl_mtsP)

Returns:

0 a list of assertions found corresponding to SENTENCE in MT

find_assertions_from_cnf

public static final SubLObject find_assertions_from_cnf(SubLObject cnf,
                                                        SubLObject blist,
                                                        SubLObject mt,
                                                        SubLObject include_genl_mtsP)

canon_versions_sentence

public static final SubLObject canon_versions_sentence(SubLObject sentence,
                                                       SubLObject mt)

canon_cnfs_sentence

public static final SubLObject canon_cnfs_sentence(SubLObject sentence,
                                                   SubLObject canon_gafP,
                                                   SubLObject mt)

canonicalize_meta_clauses

public static final SubLObject canonicalize_meta_clauses(SubLObject v_clauses)

meta_proposition_clauseP

public static final SubLObject meta_proposition_clauseP(SubLObject clause)

distributing_meta_proposition_clauseP

public static final SubLObject distributing_meta_proposition_clauseP(SubLObject clause)

Returns:

boolean; t iff CLAUSE consists of exactly one pos-lit which is both a @xref meta-literal? and a @xref distributing-meta-literal?. If this returns true, CLAUSE will be canonicalized into a list of clauses with the formula args replaced by kb assertions.

distributing_meta_literalP

public static final SubLObject distributing_meta_literalP(SubLObject literal)

declare_czer_meta_file

public static final SubLObject declare_czer_meta_file()

init_czer_meta_file

public static final SubLObject init_czer_meta_file()

setup_czer_meta_file

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