inference

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_czer
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_czer.$inference_contextualized_asent_L$BinaryFunction`
`static class`	`inference_czer.$non_contiguous_hl_varP$UnaryFunction`
`static class`	`inference_czer.$non_fixed_variable_p$UnaryFunction`
`static class`	`inference_czer.$possibly_note_hl_var_contiguity_pair$UnaryFunction`
`static class`	`inference_czer.$variable_token$UnaryFunction`
`static class`	`inference_czer.$variable_token$ZeroArityFunction`

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

Field Summary
`static SubLObject`	`$const16$CommutativeRelation`
`static SubLObject`	`$const17$PartiallyCommutativeRelation`
`static SubLObject`	`$const2$False`
`static SubLObject`	`$const3$True`
`static SubLObject`	`$const4$trueSentence`
`static SubLObject`	`$const49$ist`
`static SubLObject`	`$const59$and`
`static SubLObject`	`$const6$elementOf`
`static SubLObject`	`$const61$assertionDirection`
`static SubLObject`	`$const62$constraint`
`static SubLObject`	`$const63$highlyRelevantAssertion`
`static SubLObject`	`$const64$irrelevantAssertion`
`static SubLObject`	`$const65$knownAntecedentRule`
`static SubLObject`	`$const66$queryExtentCached`
`static SubLObject`	`$const67$genlRules`
`static SubLObject`	`$const8$isa`
`static SubLSymbol`	`$kw14$INFERENCE_CZER_FIXED_VARIABLE`
`static SubLSymbol`	`$kw15$CACHE_MISS`
`static SubLSymbol`	`$kw22$NOT_UNIQUE`
`static SubLSymbol`	`$kw25$LAMBDA`
`static SubLSymbol`	`$kw28$REQUIRE_EQUAL`
`static SubLSymbol`	`$kw29$POLICY_VIOLATION`
`static SubLSymbol`	`$kw30$COMPUTE_INTERSECTION`
`static SubLSymbol`	`$kw31$COMPUTE_UNION`
`static SubLSymbol`	`$kw34$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw35$ILL_FORMED`
`static SubLSymbol`	`$kw40$UNINITIALIZED`
`static SubLSymbol`	`$kw45$UNSPECIFIED`
`static SubLSymbol`	`$kw46$DNF`
`static SubLSymbol`	`$kw47$CNF`
`static SubLSymbol`	`$kw50$CONJUNCTION`
`static SubLSymbol`	`$kw51$DISJUNCTION`
`static SubLSymbol`	`$kw52$NEG`
`static SubLSymbol`	`$kw53$POS`
`static SubLSymbol`	`$kw58$IGNORE`
`static SubLList`	`$list1`
`static SubLList`	`$list20`
`static SubLList`	`$list23`
`static SubLList`	`$list37`
`static SubLList`	`$list38`
`static SubLList`	`$list39`
`static SubLList`	`$list41`
`static SubLList`	`$list5`
`static SubLList`	`$list56`
`static SubLList`	`$list7`
`static SubLString`	`$str11$The_type_of_object__a_cannot_be_s`
`static SubLString`	`$str12$Got_a_CycL_term_of_unknown_infere`
`static SubLString`	`$str19$var`
`static SubLString`	`$str32$Unexpected_inference_disjunction_`
`static SubLString`	`$str36$Got_a_czer_result_of_unexpected_t`
`static SubLString`	`$str44$Something_weird_happened_when_try`
`static SubLString`	`$str57$Can_t_canonicalize_hypothesis__S`
`static SubLSymbol`	`$sym0$INFERENCE_SIMPLIFY_NEGATED_TRUE_SENTENCE`
`static SubLSymbol`	`$sym10$INFERENCE_CONTEXTUALIZED_ASENT__`
`static SubLSymbol`	`$sym13$NON_FIXED_VARIABLE_P`
`static SubLSymbol`	`$sym18$_VARIABLE_TOKEN_`
`static SubLSymbol`	`$sym21$VARIABLE_TOKEN`
`static SubLSymbol`	`$sym24$VARIABLE_P`
`static SubLSymbol`	`$sym26$NON_CONTIGUOUS_HL_VAR_`
`static SubLSymbol`	`$sym27$POSSIBLY_NOTE_HL_VAR_CONTIGUITY_PAIR`
`static SubLSymbol`	`$sym33$INFERENCE_CANONICALIZE_ASK_MEMOIZED`
`static SubLSymbol`	`$sym42$INFERENCE_TERM__`
`static SubLSymbol`	`$sym43$EL_VARIABLE_P`
`static SubLSymbol`	`$sym48$IST_SENTENCE_WITH_CHLMT_P`
`static SubLSymbol`	`$sym54$_`
`static SubLSymbol`	`$sym55$CDR`
`static SubLSymbol`	`$sym60$EL_CONJUNCTION_P`
`static SubLSymbol`	`$sym9$INFERENCE_CLAUSE__`
`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

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`	`all_hl_vars_contiguous_and_in_orderP(SubLObject contextualized_dnf_clauses)`
`static SubLObject`	`at_least_partially_commutative_contextualized_asent_p(SubLObject contextualized_asent)`
`static SubLObject`	`canonicalize_contextualized_clause(SubLObject contextualized_clause, SubLObject disjunction_free_el_vars_policy)`
`static SubLObject`	`canonicalize_free_el_var_ordering(SubLObject free_el_vars, SubLObject cycl_query)` Sort FREE-EL-VARS based on the apperance order of EL variables in CYCL-QUERY.
`static SubLObject`	`canonicalize_problem_query(SubLObject query)` Used every time a new problem is about to be created.
`static SubLObject`	`contextualize_clause(SubLObject clause, SubLObject mt, SubLObject disjunction_free_el_vars_policy)`
`static SubLObject`	`contextualized_asent_formula(SubLObject contextualized_asent, SubLObject clause_level_mt)`
`static SubLObject`	`contextualized_clause_conjunction_formula(SubLObject contextualized_clause, SubLObject clause_level_mt)`
`static SubLObject`	`contextualized_clause_formula(SubLObject contextualized_clause, SubLObject clause_level_mt, SubLObject type)` Uncanonicalize CONTEXTUALIZED-CLAUSE into an equivalent CycL sentence.
`static SubLObject`	`contextualized_clause_juncts_formula(SubLObject contextualized_clause, SubLObject clause_level_mt, SubLObject type)`
`static SubLObject`	`contextualized_dnf_clause_common_mt(SubLObject contextualized_dnf_clause)` Return the shared MT for CONTEXTUALIZED-DNF-CLAUSE if there is one, otherwise #$BaseKB.
`static SubLObject`	`contextualized_dnf_clause_formula(SubLObject contextualized_dnf_clause, SubLObject clause_level_mt)` Uncanonicalize CONTEXTUALIZED-DNF-CLAUSE into an equivalent CycL sentence.
`static SubLObject`	`contextualized_neg_lits(SubLObject contextualized_clause)`
`static SubLObject`	`contextualized_pos_lits(SubLObject contextualized_clause)`
`static SubLObject`	`contiguize_hl_vars_in_clauses(SubLObject contextualized_dnf_clauses)` Destructive
`static SubLObject`	`convert_to_hl_contextualized_asent(SubLObject asent, SubLObject mt)`
`static SubLObject`	`convert_to_hl_contextualized_asents(SubLObject asents, SubLObject mt)`
`static SubLObject`	`declare_inference_czer_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`delete_duplicate_sorted_literals(SubLObject literals)`
`static SubLObject`	`determine_best_clause_level_mt(SubLObject contextualized_clause)`
`static SubLObject`	`determine_best_clauses_level_mt(SubLObject contextualized_clauses)`
`static SubLObject`	`dnf_and_mt_to_hl_query(SubLObject dnf_clause, SubLObject mt)`
`static SubLObject`	`fixed_variable_id(SubLObject fixed_var)`
`static SubLObject`	`fixed_variable_p(SubLObject object)` An HL variable that is a member of inference-czer-fixed-vars-table
`static SubLObject`	`fully_fixed_p(SubLObject tree)`
`static SubLObject`	`hl_var_contiguity_alist(SubLObject contextualized_dnf_clauses)` A mapping from old to new.
`static SubLObject`	`identity_variable_map(SubLObject largest_var_num)`
`static SubLObject`	`inference_awesome_sort_contextualized_literals_iterative(SubLObject already_sorted_literals, SubLObject not_yet_sorted_literals)`
`static SubLObject`	`inference_awesome_sort_contextualized_literals(SubLObject literals)`
`static SubLObject`	`inference_canonicalize_ask_int(SubLObject cycl_query, SubLObject mt, SubLObject disjunction_free_el_vars_policy)` Computes the hl-query based on CYCL-QUERY and MT This is only used for the initial input to the inference
`static SubLObject`	`inference_canonicalize_ask_memoized_internal(SubLObject cycl_query, SubLObject mt, SubLObject disjunction_free_el_vars_policy)`
`static SubLObject`	`inference_canonicalize_ask_memoized(SubLObject cycl_query, SubLObject mt, SubLObject disjunction_free_el_vars_policy)`
`static SubLObject`	`inference_constant_L(SubLObject constant1, SubLObject constant2)`
`static SubLObject`	`inference_contextualized_asent_L(SubLObject asent1, SubLObject asent2)`
`static SubLObject`	`inference_czer_at_least_partially_commutative_relation_p(SubLObject pred)`
`static SubLObject`	`inference_czer_not_at_all_commutative_relation_p(SubLObject pred)`
`static SubLObject`	`inference_delete_duplicate_clauses(SubLObject contextualized_dnf_clauses)`
`static SubLObject`	`inference_delete_duplicate_literals(SubLObject contextualized_dnf_clauses)`
`static SubLObject`	`inference_formula_L(SubLObject formula1, SubLObject formula2)`
`static SubLObject`	`inference_fully_fixed_literals(SubLObject not_yet_sorted_literals)` Return any literals that are fully fixed.
`static SubLObject`	`inference_list_L(SubLObject list1, SubLObject list2)`
`static SubLObject`	`inference_simple_sort_contextualized_literals(SubLObject literals)`
`static SubLObject`	`inference_simplify_contextualized_asent(SubLObject contextualized_asent)`
`static SubLObject`	`inference_simplify_contextualized_dnf_clause(SubLObject contextualized_clause)` Destructive.
`static SubLObject`	`inference_simplify_problem_query(SubLObject contextualized_dnf_clauses)` Destructive.
`static SubLObject`	`inference_sort_clauses_and_literals(SubLObject contextualized_dnf_clauses)` Treats variables as opaque.
`static SubLObject`	`inference_sort_contextualized_clause_literals(SubLObject contextualized_clause)`
`static SubLObject`	`inference_sort_contextualized_literals(SubLObject literals)`
`static SubLObject`	`inference_standardize_canonicalize_ask_result(SubLObject czer_result, SubLObject disjunction_free_el_vars_policy, SubLObject cycl_query)`
`static SubLObject`	`inference_term_G(SubLObject term1, SubLObject term2)`
`static SubLObject`	`inference_term_L(SubLObject term1, SubLObject term2)`
`static SubLObject`	`inference_term_type_code(SubLObject v_term)`
`static SubLObject`	`inference_unique_commutative_literals(SubLObject not_yet_sorted_literals)` Sort commutative literals by their predicates and fort bags.
`static SubLObject`	`inference_uniquely_constrained_literals(SubLObject not_yet_sorted_literals)` Returns literals with not-at-all-commutative predicates that appear uniquely in NOT-YET-SORTED-LITERALS assuming that all non-fixed variables are considered to be equal.
`static SubLObject`	`inference_update_fixed_vars_table(SubLObject new_uniquely_constrained_literals)` Assumes inference-czer-fixed-vars-table is bound
`static SubLObject`	`init_inference_czer_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`non_contiguous_hl_varP(SubLObject object)`
`static SubLObject`	`non_fixed_variable_p(SubLObject object)` An HL variable that is not a member of inference-czer-fixed-vars-table
`static SubLObject`	`not_at_all_commutative_contextualized_asent_p(SubLObject contextualized_asent)`
`static SubLObject`	`pick_some_awesome_lits(SubLObject not_yet_sorted_literals, SubLObject skip_fully_fixedP)` Result is top-level destructible.
`static SubLObject`	`possibly_note_hl_var_contiguity_pair(SubLObject object)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_inference_czer_file()`
`static SubLObject`	`var_tokenized_contextualized_asent_predicate(SubLObject contextualized_asent)`
`static SubLObject`	`variable_token(SubLObject dummy)`

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$INFERENCE_SIMPLIFY_NEGATED_TRUE_SENTENCE

public static final SubLSymbol $sym0$INFERENCE_SIMPLIFY_NEGATED_TRUE_SENTENCE

$list1

public static final SubLList $list1

$const2$False

public static final SubLObject $const2$False

$const3$True

public static final SubLObject $const3$True

$const4$trueSentence

public static final SubLObject $const4$trueSentence

$list5

public static final SubLList $list5

$const6$elementOf

public static final SubLObject $const6$elementOf

$list7

public static final SubLList $list7

$const8$isa

public static final SubLObject $const8$isa

$sym9$INFERENCE_CLAUSE__

public static final SubLSymbol $sym9$INFERENCE_CLAUSE__

$sym10$INFERENCE_CONTEXTUALIZED_ASENT__

public static final SubLSymbol $sym10$INFERENCE_CONTEXTUALIZED_ASENT__

$str11$The_type_of_object__a_cannot_be_s

public static final SubLString $str11$The_type_of_object__a_cannot_be_s

$str12$Got_a_CycL_term_of_unknown_infere

public static final SubLString $str12$Got_a_CycL_term_of_unknown_infere

$sym13$NON_FIXED_VARIABLE_P

public static final SubLSymbol $sym13$NON_FIXED_VARIABLE_P

$kw14$INFERENCE_CZER_FIXED_VARIABLE

public static final SubLSymbol $kw14$INFERENCE_CZER_FIXED_VARIABLE

$kw15$CACHE_MISS

public static final SubLSymbol $kw15$CACHE_MISS

$const16$CommutativeRelation

public static final SubLObject $const16$CommutativeRelation

$const17$PartiallyCommutativeRelation

public static final SubLObject $const17$PartiallyCommutativeRelation

$sym18$_VARIABLE_TOKEN_

public static final SubLSymbol $sym18$_VARIABLE_TOKEN_

$str19$var

public static final SubLString $str19$var

$list20

public static final SubLList $list20

$sym21$VARIABLE_TOKEN

public static final SubLSymbol $sym21$VARIABLE_TOKEN

$kw22$NOT_UNIQUE

public static final SubLSymbol $kw22$NOT_UNIQUE

$list23

public static final SubLList $list23

$sym24$VARIABLE_P

public static final SubLSymbol $sym24$VARIABLE_P

$kw25$LAMBDA

public static final SubLSymbol $kw25$LAMBDA

$sym26$NON_CONTIGUOUS_HL_VAR_

public static final SubLSymbol $sym26$NON_CONTIGUOUS_HL_VAR_

$sym27$POSSIBLY_NOTE_HL_VAR_CONTIGUITY_PAIR

public static final SubLSymbol $sym27$POSSIBLY_NOTE_HL_VAR_CONTIGUITY_PAIR

$kw28$REQUIRE_EQUAL

public static final SubLSymbol $kw28$REQUIRE_EQUAL

$kw29$POLICY_VIOLATION

public static final SubLSymbol $kw29$POLICY_VIOLATION

$kw30$COMPUTE_INTERSECTION

public static final SubLSymbol $kw30$COMPUTE_INTERSECTION

$kw31$COMPUTE_UNION

public static final SubLSymbol $kw31$COMPUTE_UNION

$str32$Unexpected_inference_disjunction_

public static final SubLString $str32$Unexpected_inference_disjunction_

$sym33$INFERENCE_CANONICALIZE_ASK_MEMOIZED

public static final SubLSymbol $sym33$INFERENCE_CANONICALIZE_ASK_MEMOIZED

$kw34$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw34$_MEMOIZED_ITEM_NOT_FOUND_

$kw35$ILL_FORMED

public static final SubLSymbol $kw35$ILL_FORMED

$str36$Got_a_czer_result_of_unexpected_t

public static final SubLString $str36$Got_a_czer_result_of_unexpected_t

$list37

public static final SubLList $list37

$list38

public static final SubLList $list38

$list39

public static final SubLList $list39

$kw40$UNINITIALIZED

public static final SubLSymbol $kw40$UNINITIALIZED

$list41

public static final SubLList $list41

$sym42$INFERENCE_TERM__

public static final SubLSymbol $sym42$INFERENCE_TERM__

$sym43$EL_VARIABLE_P

public static final SubLSymbol $sym43$EL_VARIABLE_P

$str44$Something_weird_happened_when_try

public static final SubLString $str44$Something_weird_happened_when_try

$kw45$UNSPECIFIED

public static final SubLSymbol $kw45$UNSPECIFIED

$kw46$DNF

public static final SubLSymbol $kw46$DNF

$kw47$CNF

public static final SubLSymbol $kw47$CNF

$sym48$IST_SENTENCE_WITH_CHLMT_P

public static final SubLSymbol $sym48$IST_SENTENCE_WITH_CHLMT_P

$const49$ist

public static final SubLObject $const49$ist

$kw50$CONJUNCTION

public static final SubLSymbol $kw50$CONJUNCTION

$kw51$DISJUNCTION

public static final SubLSymbol $kw51$DISJUNCTION

$kw52$NEG

public static final SubLSymbol $kw52$NEG

$kw53$POS

public static final SubLSymbol $kw53$POS

$sym54$_

public static final SubLSymbol $sym54$_

$sym55$CDR

public static final SubLSymbol $sym55$CDR

$list56

public static final SubLList $list56

$str57$Can_t_canonicalize_hypothesis__S

public static final SubLString $str57$Can_t_canonicalize_hypothesis__S

$kw58$IGNORE

public static final SubLSymbol $kw58$IGNORE

$const59$and

public static final SubLObject $const59$and

$sym60$EL_CONJUNCTION_P

public static final SubLSymbol $sym60$EL_CONJUNCTION_P

$const61$assertionDirection

public static final SubLObject $const61$assertionDirection

$const62$constraint

public static final SubLObject $const62$constraint

$const63$highlyRelevantAssertion

public static final SubLObject $const63$highlyRelevantAssertion

$const64$irrelevantAssertion

public static final SubLObject $const64$irrelevantAssertion

$const65$knownAntecedentRule

public static final SubLObject $const65$knownAntecedentRule

$const66$queryExtentCached

public static final SubLObject $const66$queryExtentCached

$const67$genlRules

public static final SubLObject $const67$genlRules

Method Detail

canonicalize_problem_query

public static final SubLObject canonicalize_problem_query(SubLObject query)

Used every time a new problem is about to be created.

inference_delete_duplicate_literals

public static final SubLObject inference_delete_duplicate_literals(SubLObject contextualized_dnf_clauses)

inference_delete_duplicate_clauses

public static final SubLObject inference_delete_duplicate_clauses(SubLObject contextualized_dnf_clauses)

delete_duplicate_sorted_literals

public static final SubLObject delete_duplicate_sorted_literals(SubLObject literals)

inference_simplify_problem_query

public static final SubLObject inference_simplify_problem_query(SubLObject contextualized_dnf_clauses)

Destructive.

inference_simplify_contextualized_dnf_clause

public static final SubLObject inference_simplify_contextualized_dnf_clause(SubLObject contextualized_clause)

Destructive.

inference_simplify_contextualized_asent

public static final SubLObject inference_simplify_contextualized_asent(SubLObject contextualized_asent)

inference_sort_clauses_and_literals

public static final SubLObject inference_sort_clauses_and_literals(SubLObject contextualized_dnf_clauses)

Treats variables as opaque. Destructive.

inference_sort_contextualized_clause_literals

public static final SubLObject inference_sort_contextualized_clause_literals(SubLObject contextualized_clause)

inference_sort_contextualized_literals

public static final SubLObject inference_sort_contextualized_literals(SubLObject literals)

inference_simple_sort_contextualized_literals

public static final SubLObject inference_simple_sort_contextualized_literals(SubLObject literals)

inference_contextualized_asent_L

public static final SubLObject inference_contextualized_asent_L(SubLObject asent1,
                                                                SubLObject asent2)

inference_list_L

public static final SubLObject inference_list_L(SubLObject list1,
                                                SubLObject list2)

inference_formula_L

public static final SubLObject inference_formula_L(SubLObject formula1,
                                                   SubLObject formula2)

inference_term_L

public static final SubLObject inference_term_L(SubLObject term1,
                                                SubLObject term2)

inference_term_G

public static final SubLObject inference_term_G(SubLObject term1,
                                                SubLObject term2)

inference_term_type_code

public static final SubLObject inference_term_type_code(SubLObject v_term)

inference_constant_L

public static final SubLObject inference_constant_L(SubLObject constant1,
                                                    SubLObject constant2)

non_fixed_variable_p

public static final SubLObject non_fixed_variable_p(SubLObject object)

An HL variable that is not a member of *inference-czer-fixed-vars-table*

fixed_variable_p

public static final SubLObject fixed_variable_p(SubLObject object)

An HL variable that is a member of *inference-czer-fixed-vars-table*

fully_fixed_p

public static final SubLObject fully_fixed_p(SubLObject tree)

fixed_variable_id

public static final SubLObject fixed_variable_id(SubLObject fixed_var)

inference_czer_at_least_partially_commutative_relation_p

public static final SubLObject inference_czer_at_least_partially_commutative_relation_p(SubLObject pred)

inference_czer_not_at_all_commutative_relation_p

public static final SubLObject inference_czer_not_at_all_commutative_relation_p(SubLObject pred)

not_at_all_commutative_contextualized_asent_p

public static final SubLObject not_at_all_commutative_contextualized_asent_p(SubLObject contextualized_asent)

at_least_partially_commutative_contextualized_asent_p

public static final SubLObject at_least_partially_commutative_contextualized_asent_p(SubLObject contextualized_asent)

inference_awesome_sort_contextualized_literals

public static final SubLObject inference_awesome_sort_contextualized_literals(SubLObject literals)

inference_awesome_sort_contextualized_literals_iterative

public static final SubLObject inference_awesome_sort_contextualized_literals_iterative(SubLObject already_sorted_literals,
                                                                                        SubLObject not_yet_sorted_literals)

pick_some_awesome_lits

public static final SubLObject pick_some_awesome_lits(SubLObject not_yet_sorted_literals,
                                                      SubLObject skip_fully_fixedP)

Result is top-level destructible. Result is sorted and awesome.

Parameters:: SKIP-FULLY-FIXED? - booleanp; if we just got some fully fixed literals last time, we won't get any this time.

inference_fully_fixed_literals

public static final SubLObject inference_fully_fixed_literals(SubLObject not_yet_sorted_literals)

Return any literals that are fully fixed. Fully fixed means fully bound or a fixed variable. Assumes *inference-czer-fixed-vars-table* is bound.

variable_token

public static final SubLObject variable_token(SubLObject dummy)

var_tokenized_contextualized_asent_predicate

public static final SubLObject var_tokenized_contextualized_asent_predicate(SubLObject contextualized_asent)

inference_unique_commutative_literals

public static final SubLObject inference_unique_commutative_literals(SubLObject not_yet_sorted_literals)

Sort commutative literals by their predicates and fort bags. This is pretty conservative, especially wrt partial commutativity, but much better than nothing.

inference_uniquely_constrained_literals

public static final SubLObject inference_uniquely_constrained_literals(SubLObject not_yet_sorted_literals)

Returns literals with not-at-all-commutative predicates that appear uniquely in NOT-YET-SORTED-LITERALS assuming that all non-fixed variables are considered to be equal. Assumes *inference-czer-fixed-vars-table* is bound.

inference_update_fixed_vars_table

public static final SubLObject inference_update_fixed_vars_table(SubLObject new_uniquely_constrained_literals)

Assumes *inference-czer-fixed-vars-table* is bound

contiguize_hl_vars_in_clauses

public static final SubLObject contiguize_hl_vars_in_clauses(SubLObject contextualized_dnf_clauses)

Destructive

identity_variable_map

public static final SubLObject identity_variable_map(SubLObject largest_var_num)

non_contiguous_hl_varP

public static final SubLObject non_contiguous_hl_varP(SubLObject object)

all_hl_vars_contiguous_and_in_orderP

public static final SubLObject all_hl_vars_contiguous_and_in_orderP(SubLObject contextualized_dnf_clauses)

possibly_note_hl_var_contiguity_pair

public static final SubLObject possibly_note_hl_var_contiguity_pair(SubLObject object)

hl_var_contiguity_alist

public static final SubLObject hl_var_contiguity_alist(SubLObject contextualized_dnf_clauses)

A mapping from old to new. Will be flipped later.

inference_canonicalize_ask_memoized_internal

public static final SubLObject inference_canonicalize_ask_memoized_internal(SubLObject cycl_query,
                                                                            SubLObject mt,
                                                                            SubLObject disjunction_free_el_vars_policy)

inference_canonicalize_ask_memoized

public static final SubLObject inference_canonicalize_ask_memoized(SubLObject cycl_query,
                                                                   SubLObject mt,
                                                                   SubLObject disjunction_free_el_vars_policy)

inference_canonicalize_ask_int

public static final SubLObject inference_canonicalize_ask_int(SubLObject cycl_query,
                                                              SubLObject mt,
                                                              SubLObject disjunction_free_el_vars_policy)

Computes the hl-query based on CYCL-QUERY and MT This is only used for the initial input to the inference

Returns:: 0 :ill-formed, problem-query-p, or cycl-truth-value-p

inference_standardize_canonicalize_ask_result

public static final SubLObject inference_standardize_canonicalize_ask_result(SubLObject czer_result,
                                                                             SubLObject disjunction_free_el_vars_policy,
                                                                             SubLObject cycl_query)

canonicalize_free_el_var_ordering

public static final SubLObject canonicalize_free_el_var_ordering(SubLObject free_el_vars,
                                                                 SubLObject cycl_query)

Sort FREE-EL-VARS based on the apperance order of EL variables in CYCL-QUERY.

dnf_and_mt_to_hl_query

public static final SubLObject dnf_and_mt_to_hl_query(SubLObject dnf_clause,
                                                      SubLObject mt)

Returns:: problem-query-p

contextualize_clause

public static final SubLObject contextualize_clause(SubLObject clause,
                                                    SubLObject mt,
                                                    SubLObject disjunction_free_el_vars_policy)

canonicalize_contextualized_clause

public static final SubLObject canonicalize_contextualized_clause(SubLObject contextualized_clause,
                                                                  SubLObject disjunction_free_el_vars_policy)

convert_to_hl_contextualized_asents

public static final SubLObject convert_to_hl_contextualized_asents(SubLObject asents,
                                                                   SubLObject mt)

convert_to_hl_contextualized_asent

public static final SubLObject convert_to_hl_contextualized_asent(SubLObject asent,
                                                                  SubLObject mt)

Returns:: hl-contextualized-asent-p

contextualized_dnf_clause_formula

public static final SubLObject contextualized_dnf_clause_formula(SubLObject contextualized_dnf_clause,
                                                                 SubLObject clause_level_mt)

Uncanonicalize CONTEXTUALIZED-DNF-CLAUSE into an equivalent CycL sentence.

Returns:: el-sentence-p

contextualized_dnf_clause_common_mt

public static final SubLObject contextualized_dnf_clause_common_mt(SubLObject contextualized_dnf_clause)

Return the shared MT for CONTEXTUALIZED-DNF-CLAUSE if there is one, otherwise #$BaseKB. Be conservative.

contextualized_clause_formula

public static final SubLObject contextualized_clause_formula(SubLObject contextualized_clause,
                                                             SubLObject clause_level_mt,
                                                             SubLObject type)

Uncanonicalize CONTEXTUALIZED-CLAUSE into an equivalent CycL sentence.

Parameters:: TYPE - keywordp; either :DNF or :CNF.
Returns:: el-sentence-p

contextualized_neg_lits

public static final SubLObject contextualized_neg_lits(SubLObject contextualized_clause)

contextualized_pos_lits

public static final SubLObject contextualized_pos_lits(SubLObject contextualized_clause)

contextualized_asent_formula

public static final SubLObject contextualized_asent_formula(SubLObject contextualized_asent,
                                                            SubLObject clause_level_mt)

Returns:: EL-FORMULA-P; A decontextualized version of CONTEXTUALIZED-ASENT, assuming CLAUSE-LEVEL-MT if specified.

contextualized_clause_conjunction_formula

public static final SubLObject contextualized_clause_conjunction_formula(SubLObject contextualized_clause,
                                                                         SubLObject clause_level_mt)

Parameters:: CONTEXTUALIZED-CLAUSE - clause-p; a logical conjunction.
Returns:: EL-SENTENCE-P representation of CONTEXTUALIZED-CLAUSE assuming CLAUSE-LEVEL-MT.

contextualized_clause_juncts_formula

public static final SubLObject contextualized_clause_juncts_formula(SubLObject contextualized_clause,
                                                                    SubLObject clause_level_mt,
                                                                    SubLObject type)

determine_best_clause_level_mt

public static final SubLObject determine_best_clause_level_mt(SubLObject contextualized_clause)

determine_best_clauses_level_mt

public static final SubLObject determine_best_clauses_level_mt(SubLObject contextualized_clauses)

declare_inference_czer_file

public static final SubLObject declare_inference_czer_file()

init_inference_czer_file

public static final SubLObject init_inference_czer_file()

setup_inference_czer_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

me

myName

$sym0$INFERENCE_SIMPLIFY_NEGATED_TRUE_SENTENCE

$list1

$const2$False

$const3$True

$const4$trueSentence

$list5

$const6$elementOf

$list7

$const8$isa

$sym9$INFERENCE_CLAUSE__

$sym10$INFERENCE_CONTEXTUALIZED_ASENT__

$str11$The_type_of_object__a_cannot_be_s

$str12$Got_a_CycL_term_of_unknown_infere

$sym13$NON_FIXED_VARIABLE_P

$kw14$INFERENCE_CZER_FIXED_VARIABLE

$kw15$CACHE_MISS

$const16$CommutativeRelation

$const17$PartiallyCommutativeRelation

$sym18$_VARIABLE_TOKEN_

$str19$var

$list20

$sym21$VARIABLE_TOKEN

$kw22$NOT_UNIQUE

$list23

$sym24$VARIABLE_P

$kw25$LAMBDA

$sym26$NON_CONTIGUOUS_HL_VAR_

$sym27$POSSIBLY_NOTE_HL_VAR_CONTIGUITY_PAIR

$kw28$REQUIRE_EQUAL

$kw29$POLICY_VIOLATION

$kw30$COMPUTE_INTERSECTION

$kw31$COMPUTE_UNION

$str32$Unexpected_inference_disjunction_

$sym33$INFERENCE_CANONICALIZE_ASK_MEMOIZED

$kw34$_MEMOIZED_ITEM_NOT_FOUND_

$kw35$ILL_FORMED

$str36$Got_a_czer_result_of_unexpected_t

$list37

$list38

$list39

$kw40$UNINITIALIZED

$list41

$sym42$INFERENCE_TERM__

$sym43$EL_VARIABLE_P

$str44$Something_weird_happened_when_try

$kw45$UNSPECIFIED

$kw46$DNF

$kw47$CNF

$sym48$IST_SENTENCE_WITH_CHLMT_P

$const49$ist

$kw50$CONJUNCTION

$kw51$DISJUNCTION

$kw52$NEG

$kw53$POS

$sym54$_

$sym55$CDR

$list56

$str57$Can_t_canonicalize_hypothesis__S

$kw58$IGNORE

$const59$and

$sym60$EL_CONJUNCTION_P

$const61$assertionDirection

$const62$constraint

$const63$highlyRelevantAssertion

$const64$irrelevantAssertion

$const65$knownAntecedentRule

$const66$queryExtentCached

$const67$genlRules

canonicalize_problem_query

inference_delete_duplicate_literals

inference_delete_duplicate_clauses

delete_duplicate_sorted_literals

inference_simplify_problem_query

inference_simplify_contextualized_dnf_clause

inference_simplify_contextualized_asent

inference_sort_clauses_and_literals

inference_sort_contextualized_clause_literals

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