com.cyc.cycjava.cycl.inference.harness
Class forward
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.harness.forward
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class forward
- extends SubLTranslatedFile
| 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 |
add_empty_forward_propagation_result(SubLObject target_asent,
SubLObject target_truth,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
|
static SubLObject |
add_forward_deductions_from_supports(SubLObject propagation_mt,
SubLObject concluded_asent,
SubLObject concluded_truth,
SubLObject concluded_supports)
|
static SubLObject |
add_forward_propagation_result(SubLObject target_asent,
SubLObject target_truth,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports,
SubLObject forward_result)
|
static SubLObject |
all_forward_support_mt_combinations(SubLObject supports)
|
static SubLObject |
clear_current_forward_inference_environment()
|
static SubLObject |
clear_current_forward_problem_store()
Clear and destroy the current forward problem store (if any) |
static SubLObject |
clear_forward_inference_environment(SubLObject environment)
|
static SubLObject |
compute_all_mt_and_support_combinations(SubLObject supports)
|
static SubLObject |
compute_decontextualized_support_combinations(SubLObject supports)
|
static SubLObject |
compute_mts_from_supports(SubLObject supports,
SubLObject require_from_listP)
From SUPPORTS, compute the microtheories in which such an argument should be placed. |
static SubLObject |
constraint_ruleP(SubLObject rule,
SubLObject mt)
Return T iff RULE is a rule assertion labelled as a #$constraint in MT |
static SubLObject |
current_forward_inference_environment()
|
static SubLObject |
current_forward_inference_rule()
|
static SubLObject |
declare_forward_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
destroy_forward_problem_store(SubLObject store)
|
static SubLObject |
filter_forward_pragmatic_dnf(SubLObject pragmatic_dnf)
Removes #$forwardNonTriggerLiteral pos-lits from PRAGMATIC-DNF. |
static SubLObject |
forward_inference_all_rules_allowedP()
|
static SubLObject |
forward_inference_allowed_rules()
|
static SubLObject |
forward_inference_assertibles_queue()
|
static SubLObject |
forward_inference_query_properties(SubLObject pragmatic_dnf,
SubLObject overriding_query_properties)
|
static SubLObject |
forward_inference_rule_allowedP(SubLObject rule)
|
static SubLObject |
forward_inference_shares_same_problem_storeP()
|
static SubLObject |
forward_mt_placements_from_support_mts(SubLObject mts,
SubLObject require_from_listP)
|
static SubLObject |
forward_propagate_assertion(SubLObject assertion,
SubLObject propagation_mt)
|
static SubLObject |
forward_propagate_dnf(SubLObject query_dnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject target_asent,
SubLObject target_truth,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
|
static SubLObject |
forward_propagate_gaf_expansions(SubLObject source_asent,
SubLObject source_sense,
SubLObject propagation_mt,
SubLObject source_gaf_assertion)
|
static SubLObject |
forward_propagate_gaf_internal(SubLObject trigger_asent,
SubLObject examine_asent,
SubLObject examine_sense,
SubLObject propagation_mt,
SubLObject rule,
SubLObject trigger_supports)
|
static SubLObject |
forward_propagate_gaf(SubLObject source_gaf_assertion,
SubLObject propagation_mt)
|
static SubLObject |
forward_propagate_rule(SubLObject rule,
SubLObject propagation_mt)
|
static SubLObject |
forward_propagation_supports_doomedP(SubLObject rule,
SubLObject trigger_supports)
|
static SubLObject |
forward_support_mt_combinations(SubLObject support)
|
static SubLObject |
get_forward_inference_environment()
|
static SubLObject |
get_forward_problem_store()
|
static SubLObject |
handle_forward_deduction_in_mt_as_assertible_int(SubLObject cnf,
SubLObject mt,
SubLObject supports,
SubLObject variable_map)
|
static SubLObject |
handle_forward_deduction_in_mt_as_assertible(SubLObject asent,
SubLObject truth,
SubLObject mt,
SubLObject supports)
|
static SubLObject |
handle_forward_deduction_in_mt(SubLObject asent,
SubLObject truth,
SubLObject mt,
SubLObject supports)
|
static SubLObject |
handle_forward_propagation_from_gaf(SubLObject examine_asent,
SubLObject remainder_neg_lits,
SubLObject remainder_pos_lits,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
Assume TRIGGER-ASENT is the sentence that triggered this forward propagation. |
static SubLObject |
handle_forward_propagation(SubLObject rule_remainder_cnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
|
static SubLObject |
handle_one_forward_propagation(SubLObject query_dnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject target_asent,
SubLObject target_truth,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
|
static SubLObject |
init_forward_file()
|
static SubLObject |
initialize_forward_inference_environment()
Initialize global forward inference environment. |
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
make_forward_trigger_supports(SubLObject source_gaf_assertion,
SubLObject additional_supports)
|
static SubLObject |
new_forward_concluded_supports(SubLObject rule,
SubLObject trigger_supports,
SubLObject inference_supports)
Combine RULE, TRIGGER-SUPPORTS and INFERENCE-SUPPORTS (if any)
into a single list of support-p that represents one complete justification for
a new forward conclusion. |
static SubLObject |
new_forward_inference_environment()
|
static SubLObject |
new_forward_problem_store()
|
static SubLObject |
new_forward_query_from_dnf(SubLObject query_dnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject overriding_query_properties)
|
static SubLObject |
note_new_forward_assertible(SubLObject hl_assertible)
|
static SubLObject |
perform_forward_inference()
Exhaustively complete all pending forward inference |
static SubLObject |
queue_forward_assertion(SubLObject assertion)
|
static SubLObject |
remqueue_forward_assertion(SubLObject assertion)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
semantically_valid_forward_dnf(SubLObject dnf,
SubLObject propagation_mt)
|
static SubLObject |
separate_supports_for_mt_placement(SubLObject supports)
Separate SUPPORTS into two lists, which are returned as multiple values: |
static SubLObject |
setup_forward_file()
|
static SubLObject |
some_support_combinations_extensionally_possible(SubLObject supports)
|
static SubLObject |
some_support_combinations_theoretically_possible(SubLObject supports)
We don't care whether there exists an mt that can see all the SUPPORTS,
but could there possibly exist one? This should return t most of the time,
unless two of the supports are in negationMts of each other or something. |
static SubLObject |
syntactically_valid_forward_non_trigger_asents(SubLObject dnf)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$require_cached_gaf_mt_from_supports$
public static SubLSymbol $require_cached_gaf_mt_from_supports$
- Whether forward inference requires that a computed placement mt for
a forward deduction be the mt of one of its supports.
$forward_inference_browsing_callback$
public static SubLSymbol $forward_inference_browsing_callback$
- A function-spec-p to call on each browsable forward inference.
It will be passed an inference-p as its arg1 (the forward inference object)
and a rule-assertion? as its arg2 (the forward rule being used).
$forward_inference_browsing_callback_more_infoP$
public static SubLSymbol $forward_inference_browsing_callback_more_infoP$
- Optionally, store more info about each forward inference by passing it to the callback. Additions are stored in a plist and are: target-asent target-truth trigger-bindings trigger-supports forward-results. @see forward-propagate-dnf.
$tracing_forward_inference$
public static SubLSymbol $tracing_forward_inference$
$type_filter_forward_dnf$
public static SubLSymbol $type_filter_forward_dnf$
- Should we bother to type-filter a prospective forward DNF.
$assume_forward_deduction_is_wfP$
public static SubLSymbol $assume_forward_deduction_is_wfP$
- When non-NIL, the deductions that result from forward inference are assumed to be WFF.
$verify_some_support_combinations_possible$
public static SubLSymbol $verify_some_support_combinations_possible$
$list0
public static final SubLList $list0
$sym1$CLET
public static final SubLSymbol $sym1$CLET
$sym2$_FORWARD_INFERENCE_GAF_
public static final SubLSymbol $sym2$_FORWARD_INFERENCE_GAF_
$list3
public static final SubLList $list3
$sym4$_FORWARD_INFERENCE_RULE_
public static final SubLSymbol $sym4$_FORWARD_INFERENCE_RULE_
$list5
public static final SubLList $list5
$sym6$ASSERTION_P
public static final SubLSymbol $sym6$ASSERTION_P
$str7$___S
public static final SubLString $str7$___S
$str8$Forward_inference_recursion_probl
public static final SubLString $str8$Forward_inference_recursion_probl
$const9$InferencePSC
public static final SubLObject $const9$InferencePSC
$str10$Invalid_attempt_to_reuse_memoizat
public static final SubLString $str10$Invalid_attempt_to_reuse_memoizat
$str11$_s_was_removed_by_its_own_forward
public static final SubLString $str11$_s_was_removed_by_its_own_forward
$sym12$INVALID_ASSERTION_
public static final SubLSymbol $sym12$INVALID_ASSERTION_
$str13$invalid_hl_assertible__s_encounte
public static final SubLString $str13$invalid_hl_assertible__s_encounte
$kw14$POS
public static final SubLSymbol $kw14$POS
$list15
public static final SubLList $list15
$kw16$NEG
public static final SubLSymbol $kw16$NEG
$kw17$ALL
public static final SubLSymbol $kw17$ALL
$const18$creationTemplateFORTs
public static final SubLObject $const18$creationTemplateFORTs
$kw19$TRUE
public static final SubLSymbol $kw19$TRUE
$sym20$_TEMPLATE
public static final SubLSymbol $sym20$_TEMPLATE
$const21$genlCreationTemplate
public static final SubLObject $const21$genlCreationTemplate
$list22
public static final SubLList $list22
$const23$EverythingPSC
public static final SubLObject $const23$EverythingPSC
$const24$creationTemplateAllowableRules
public static final SubLObject $const24$creationTemplateAllowableRules
$const25$creationTemplateAllowsAllRulesFro
public static final SubLObject $const25$creationTemplateAllowsAllRulesFro
$kw26$MT
public static final SubLSymbol $kw26$MT
$kw27$RULE
public static final SubLSymbol $kw27$RULE
$kw28$BROAD_MT
public static final SubLSymbol $kw28$BROAD_MT
$str29$do_broad_mt_index
public static final SubLString $str29$do_broad_mt_index
$sym30$STRINGP
public static final SubLSymbol $sym30$STRINGP
$kw31$SKIP
public static final SubLSymbol $kw31$SKIP
$kw32$FALSE
public static final SubLSymbol $kw32$FALSE
$kw33$INFERENCE_REJECTED
public static final SubLSymbol $kw33$INFERENCE_REJECTED
$sym34$FORWARD_NON_TRIGGER_LITERAL_LIT_
public static final SubLSymbol $sym34$FORWARD_NON_TRIGGER_LITERAL_LIT_
$kw35$TARGET_ASENT
public static final SubLSymbol $kw35$TARGET_ASENT
$kw36$TARGET_TRUTH
public static final SubLSymbol $kw36$TARGET_TRUTH
$kw37$TRIGGER_BINDINGS
public static final SubLSymbol $kw37$TRIGGER_BINDINGS
$kw38$TRIGGER_SUPPORTS
public static final SubLSymbol $kw38$TRIGGER_SUPPORTS
$kw39$FORWARD_RESULTS
public static final SubLSymbol $kw39$FORWARD_RESULTS
$str40$Tried_to_do_forward_inference_out
public static final SubLString $str40$Tried_to_do_forward_inference_out
$kw41$PROBLEM_STORE
public static final SubLSymbol $kw41$PROBLEM_STORE
$kw42$NON_EXPLANATORY_SENTENCE
public static final SubLSymbol $kw42$NON_EXPLANATORY_SENTENCE
$kw43$ALLOW_INDETERMINATE_RESULTS_
public static final SubLSymbol $kw43$ALLOW_INDETERMINATE_RESULTS_
$kw44$BROWSABLE_
public static final SubLSymbol $kw44$BROWSABLE_
$kw45$BLOCK_
public static final SubLSymbol $kw45$BLOCK_
$kw46$PRODUCTIVITY_LIMIT
public static final SubLSymbol $kw46$PRODUCTIVITY_LIMIT
$kw47$PROBABLY_APPROXIMATELY_DONE
public static final SubLSymbol $kw47$PROBABLY_APPROXIMATELY_DONE
$kw48$MAX_TIME
public static final SubLSymbol $kw48$MAX_TIME
$kw49$RESULT_UNIQUENESS
public static final SubLSymbol $kw49$RESULT_UNIQUENESS
$kw50$PROOF
public static final SubLSymbol $kw50$PROOF
$kw51$RETURN
public static final SubLSymbol $kw51$RETURN
$kw52$BINDINGS_AND_SUPPORTS
public static final SubLSymbol $kw52$BINDINGS_AND_SUPPORTS
$kw53$NEW_TERMS_ALLOWED_
public static final SubLSymbol $kw53$NEW_TERMS_ALLOWED_
$list54
public static final SubLList $list54
$list55
public static final SubLList $list55
$list56
public static final SubLList $list56
$list57
public static final SubLList $list57
$str58$Canonicalization_of__s_in__s_inva
public static final SubLString $str58$Canonicalization_of__s_in__s_inva
$list59
public static final SubLList $list59
$sym60$CNF_P
public static final SubLSymbol $sym60$CNF_P
$kw61$FORWARD
public static final SubLSymbol $kw61$FORWARD
$const62$constraint
public static final SubLObject $const62$constraint
$const63$False
public static final SubLObject $const63$False
$const64$True
public static final SubLObject $const64$True
$const65$forwardNonTriggerLiteral
public static final SubLObject $const65$forwardNonTriggerLiteral
$sym66$SUPPORT_MT
public static final SubLSymbol $sym66$SUPPORT_MT
$sym67$HLMT_EQUAL
public static final SubLSymbol $sym67$HLMT_EQUAL
$sym68$FORWARD_LEAFY_MT_P
public static final SubLSymbol $sym68$FORWARD_LEAFY_MT_P
$sym69$FORWARD_POSSIBLY_SOME_COMMON_SPEC_MT_
public static final SubLSymbol $sym69$FORWARD_POSSIBLY_SOME_COMMON_SPEC_MT_
$list70
public static final SubLList $list70
$kw71$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw71$_MEMOIZED_ITEM_NOT_FOUND_
$sym72$ASSERTION_MT
public static final SubLSymbol $sym72$ASSERTION_MT
$list73
public static final SubLList $list73
$sym74$CONS
public static final SubLSymbol $sym74$CONS
$sym75$SPEC_MT_
public static final SubLSymbol $sym75$SPEC_MT_
current_forward_inference_environment
public static final SubLObject current_forward_inference_environment()
get_forward_inference_environment
public static final SubLObject get_forward_inference_environment()
clear_forward_inference_environment
public static final SubLObject clear_forward_inference_environment(SubLObject environment)
new_forward_inference_environment
public static final SubLObject new_forward_inference_environment()
initialize_forward_inference_environment
public static final SubLObject initialize_forward_inference_environment()
- Initialize global forward inference environment.
current_forward_inference_rule
public static final SubLObject current_forward_inference_rule()
new_forward_problem_store
public static final SubLObject new_forward_problem_store()
- Returns:
- problem-store-p ; a new problem-store suitable for forward inference.
destroy_forward_problem_store
public static final SubLObject destroy_forward_problem_store(SubLObject store)
forward_inference_shares_same_problem_storeP
public static final SubLObject forward_inference_shares_same_problem_storeP()
get_forward_problem_store
public static final SubLObject get_forward_problem_store()
clear_current_forward_problem_store
public static final SubLObject clear_current_forward_problem_store()
- Clear and destroy the current forward problem store (if any)
clear_current_forward_inference_environment
public static final SubLObject clear_current_forward_inference_environment()
queue_forward_assertion
public static final SubLObject queue_forward_assertion(SubLObject assertion)
remqueue_forward_assertion
public static final SubLObject remqueue_forward_assertion(SubLObject assertion)
perform_forward_inference
public static final SubLObject perform_forward_inference()
- Exhaustively complete all pending forward inference
forward_inference_assertibles_queue
public static final SubLObject forward_inference_assertibles_queue()
note_new_forward_assertible
public static final SubLObject note_new_forward_assertible(SubLObject hl_assertible)
forward_propagate_assertion
public static final SubLObject forward_propagate_assertion(SubLObject assertion,
SubLObject propagation_mt)
forward_propagate_rule
public static final SubLObject forward_propagate_rule(SubLObject rule,
SubLObject propagation_mt)
forward_propagate_gaf
public static final SubLObject forward_propagate_gaf(SubLObject source_gaf_assertion,
SubLObject propagation_mt)
forward_propagate_gaf_expansions
public static final SubLObject forward_propagate_gaf_expansions(SubLObject source_asent,
SubLObject source_sense,
SubLObject propagation_mt,
SubLObject source_gaf_assertion)
make_forward_trigger_supports
public static final SubLObject make_forward_trigger_supports(SubLObject source_gaf_assertion,
SubLObject additional_supports)
forward_inference_allowed_rules
public static final SubLObject forward_inference_allowed_rules()
forward_inference_all_rules_allowedP
public static final SubLObject forward_inference_all_rules_allowedP()
forward_inference_rule_allowedP
public static final SubLObject forward_inference_rule_allowedP(SubLObject rule)
forward_propagate_gaf_internal
public static final SubLObject forward_propagate_gaf_internal(SubLObject trigger_asent,
SubLObject examine_asent,
SubLObject examine_sense,
SubLObject propagation_mt,
SubLObject rule,
SubLObject trigger_supports)
handle_forward_propagation_from_gaf
public static final SubLObject handle_forward_propagation_from_gaf(SubLObject examine_asent,
SubLObject remainder_neg_lits,
SubLObject remainder_pos_lits,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
- Assume TRIGGER-ASENT is the sentence that triggered this forward propagation.
- Parameters:
EXAMINE-ASENT; - the literal of RULE that unified with TRIGGER-ASENTREMAINDER-NEG-LITS; - the other neg-lits of RULE, minus EXAMINE-ASENT (if TRIGGER-ASENT is a neg-lit).REMAINDER-POS-LITS; - the other pos-lits of RULE, minus EXAMINE-ASENT (if TRIGGER-ASENT is a pos-lit).PRAGMATIC-DNF; - a DNF of additional pragmatic constraints on RULE in PROPAGATION-MT.PROPAGATION-MT; - the microtheory of the forward inference propagation.TRIGGER-BINDINGS; - bindings resulting from unifying the TRIGGER-ASENT with EXAMINE-ASENT from RULE.RULE; - the rule assertion that being triggerd by the TRIGGER-ASENT.TRIGGER-SUPPORTS; - the supports that justify TRIGGER-ASENT.
handle_forward_propagation
public static final SubLObject handle_forward_propagation(SubLObject rule_remainder_cnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
handle_one_forward_propagation
public static final SubLObject handle_one_forward_propagation(SubLObject query_dnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject target_asent,
SubLObject target_truth,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
filter_forward_pragmatic_dnf
public static final SubLObject filter_forward_pragmatic_dnf(SubLObject pragmatic_dnf)
- Removes #$forwardNonTriggerLiteral pos-lits from PRAGMATIC-DNF.
forward_propagate_dnf
public static final SubLObject forward_propagate_dnf(SubLObject query_dnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject target_asent,
SubLObject target_truth,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
new_forward_query_from_dnf
public static final SubLObject new_forward_query_from_dnf(SubLObject query_dnf,
SubLObject pragmatic_dnf,
SubLObject propagation_mt,
SubLObject overriding_query_properties)
forward_inference_query_properties
public static final SubLObject forward_inference_query_properties(SubLObject pragmatic_dnf,
SubLObject overriding_query_properties)
add_forward_propagation_result
public static final SubLObject add_forward_propagation_result(SubLObject target_asent,
SubLObject target_truth,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports,
SubLObject forward_result)
add_empty_forward_propagation_result
public static final SubLObject add_empty_forward_propagation_result(SubLObject target_asent,
SubLObject target_truth,
SubLObject propagation_mt,
SubLObject trigger_bindings,
SubLObject rule,
SubLObject trigger_supports)
new_forward_concluded_supports
public static final SubLObject new_forward_concluded_supports(SubLObject rule,
SubLObject trigger_supports,
SubLObject inference_supports)
- Combine RULE, TRIGGER-SUPPORTS and INFERENCE-SUPPORTS (if any)
into a single list of support-p that represents one complete justification for
a new forward conclusion.
add_forward_deductions_from_supports
public static final SubLObject add_forward_deductions_from_supports(SubLObject propagation_mt,
SubLObject concluded_asent,
SubLObject concluded_truth,
SubLObject concluded_supports)
handle_forward_deduction_in_mt
public static final SubLObject handle_forward_deduction_in_mt(SubLObject asent,
SubLObject truth,
SubLObject mt,
SubLObject supports)
handle_forward_deduction_in_mt_as_assertible
public static final SubLObject handle_forward_deduction_in_mt_as_assertible(SubLObject asent,
SubLObject truth,
SubLObject mt,
SubLObject supports)
handle_forward_deduction_in_mt_as_assertible_int
public static final SubLObject handle_forward_deduction_in_mt_as_assertible_int(SubLObject cnf,
SubLObject mt,
SubLObject supports,
SubLObject variable_map)
constraint_ruleP
public static final SubLObject constraint_ruleP(SubLObject rule,
SubLObject mt)
- Return T iff RULE is a rule assertion labelled as a #$constraint in MT
syntactically_valid_forward_non_trigger_asents
public static final SubLObject syntactically_valid_forward_non_trigger_asents(SubLObject dnf)
semantically_valid_forward_dnf
public static final SubLObject semantically_valid_forward_dnf(SubLObject dnf,
SubLObject propagation_mt)
forward_propagation_supports_doomedP
public static final SubLObject forward_propagation_supports_doomedP(SubLObject rule,
SubLObject trigger_supports)
compute_all_mt_and_support_combinations
public static final SubLObject compute_all_mt_and_support_combinations(SubLObject supports)
compute_decontextualized_support_combinations
public static final SubLObject compute_decontextualized_support_combinations(SubLObject supports)
some_support_combinations_theoretically_possible
public static final SubLObject some_support_combinations_theoretically_possible(SubLObject supports)
- We don't care whether there exists an mt that can see all the SUPPORTS,
but could there possibly exist one? This should return t most of the time,
unless two of the supports are in negationMts of each other or something.
some_support_combinations_extensionally_possible
public static final SubLObject some_support_combinations_extensionally_possible(SubLObject supports)
all_forward_support_mt_combinations
public static final SubLObject all_forward_support_mt_combinations(SubLObject supports)
forward_support_mt_combinations
public static final SubLObject forward_support_mt_combinations(SubLObject support)
compute_mts_from_supports
public static final SubLObject compute_mts_from_supports(SubLObject supports,
SubLObject require_from_listP)
- From SUPPORTS, compute the microtheories in which such an argument should be placed.
separate_supports_for_mt_placement
public static final SubLObject separate_supports_for_mt_placement(SubLObject supports)
- Separate SUPPORTS into two lists, which are returned as multiple values:
- Returns:
- 0 ; supports where we can safely assume the support is WFF.
forward_mt_placements_from_support_mts
public static final SubLObject forward_mt_placements_from_support_mts(SubLObject mts,
SubLObject require_from_listP)
declare_forward_file
public static final SubLObject declare_forward_file()
init_forward_file
public static final SubLObject init_forward_file()
setup_forward_file
public static final SubLObject setup_forward_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.