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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_kernel
extends SubLTranslatedFile

Nested Class Summary

static class

inference_kernel.$inference_bindings_hl_to_el$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw0$BROWSABLE_
static SubLSymbol	$kw13$CONDITIONAL_SENTENCE_
static SubLSymbol	$kw15$NON_EXPLANATORY_SENTENCE
static SubLSymbol	$kw21$INFERENCE_ERROR
static SubLSymbol	$kw23$ANSWER
static SubLSymbol	$kw24$BINDINGS
static SubLSymbol	$kw25$SUPPORTS
static SubLSymbol	$kw26$BINDINGS_AND_SUPPORTS
static SubLSymbol	$kw28$BINDINGS_AND_HYPOTHETICAL_BINDINGS
static SubLSymbol	$kw33$SKIP
static SubLSymbol	$kw34$ILL_FORMED
static SubLSymbol	$kw35$TAUTOLOGY
static SubLSymbol	$kw36$CONTRADICTION
static SubLSymbol	$kw39$HL
static SubLSymbol	$kw4$INFERENCE_ABORT_TARGET
static SubLSymbol	$kw5$NON_TRIVIAL
static SubLSymbol	$kw6$ABORT
static SubLSymbol	$kw7$COMPLETE_USER_TIME
static SubLSymbol	$kw8$COMPLETE_SYSTEM_TIME
static SubLSymbol	$kw9$COMPLETE_TOTAL_TIME
static SubLList	$list27
static SubLList	$list31
static SubLList	$list42
static SubLSymbol	$new_cyc_trivial_query_enabledP$ Temporary control variable.
static SubLString	$str20$Inference_was_destroyed_while_run
static SubLString	$str29$Unexpected_return_type_specified_
static SubLString	$str30$Ill_formed__template_return_type_
static SubLString	$str37$Unexpected_inference_status__s
static SubLSymbol	$sym1$PROPERTY_LIST_P
static SubLSymbol	$sym10$LISTP
static SubLSymbol	$sym11$POSSIBLY_INFERENCE_SENTENCE_P
static SubLSymbol	$sym12$QUERY_STATIC_OR_META_PROPERTIES_P
static SubLSymbol	$sym14$DNF_P
static SubLSymbol	$sym16$PROBLEM_STORE_PROPERTY_P
static SubLSymbol	$sym17$CONTINUABLE_INFERENCE_P
static SubLSymbol	$sym18$QUERY_DYNAMIC_PROPERTIES_P
static SubLSymbol	$sym19$INFERENCE_P
static SubLSymbol	$sym2$QUERY_PROPERTY_P
static SubLSymbol	$sym22$INFERENCE_ERROR_HANDLER
static SubLSymbol	$sym3$POSSIBLY_MT_P
static SubLSymbol	$sym32$FORMAT
static SubLSymbol	$sym38$INFERENCE_ANSWER_LANGUAGE_P
static SubLSymbol	$sym40$INFERENCE_ANSWER_BINDINGS
static SubLSymbol	$sym41$INFERENCE_ANSWER_EL_BINDINGS
static SubLSymbol	$sym43$CONVERT_HL_SUPPORT_TO_EL_SUPPORT
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	continue_inference_int(SubLObject inference, SubLObject input_dynamic_properties, SubLObject overridden_dynamic_properties)
static SubLObject	declare_inference_kernel_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	extract_problem_store_properties_from_query_static_properties(SubLObject query_static_properties)
static SubLObject	extract_some_inference_properties(SubLObject query_static_properties)
static SubLObject	inference_answer_el_bindings(SubLObject answer)
static SubLObject	inference_answer_hl_to_el(SubLObject expression)
static SubLObject	inference_bindings_hl_to_el(SubLObject hl_bindings)
static SubLObject	inference_one_result_from_bindings_via_template(SubLObject v_bindings, SubLObject template)
static SubLObject	inference_postprocess(SubLObject inference)
static SubLObject	inference_result_from_answers_via_template(SubLObject answers, SubLObject template)
static SubLObject	inference_result_from_answers(SubLObject inference, SubLObject answers)
static SubLObject	inference_update_properties(SubLObject inference, SubLObject input_dynamic_properties, SubLObject query_dynamic_properties)
static SubLObject	init_inference_kernel_file()
static SubLObject	initialize_inference_properties(SubLObject inference, SubLObject input_static_properties, SubLObject inference_static_properties, SubLObject query_static_properties)
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	new_continuable_inference_from_dnf_int(SubLObject dnf, SubLObject mt, SubLObject scoped_vars, SubLObject input_static_properties, SubLObject query_static_properties)
static SubLObject	new_continuable_inference_int(SubLObject sentence, SubLObject mt, SubLObject input_static_properties, SubLObject query_static_properties)
static SubLObject	new_cyc_query_from_dnf(SubLObject dnf, SubLObject mt, SubLObject scoped_vars, SubLObject query_properties) Like @xref new-cyc-query except skips the canonicalization step by taking a canonicalized DNF as input.
static SubLObject	new_cyc_query_int(SubLObject inference, SubLObject input_dynamic_properties, SubLObject query_dynamic_properties, SubLObject problem_store_privateP)
static SubLObject	new_cyc_query(SubLObject sentence, SubLObject mt, SubLObject query_properties) Creates, runs, and destroys an inference.
static SubLObject	problem_store_from_properties(SubLObject static_properties)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_kernel_file()
static SubLObject	update_query_metrics_wrt_timing_info(SubLObject metrics, SubLObject timing_info)

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

$new_cyc_trivial_query_enabledP$

public static SubLSymbol $new_cyc_trivial_query_enabledP$

Temporary control variable. When non-nil, new-cyc-query uses new-cyc-trivial-query-int for trivial queries. Eventually should stay T.

$kw0$BROWSABLE_

public static final SubLSymbol $kw0$BROWSABLE_

$sym1$PROPERTY_LIST_P

public static final SubLSymbol $sym1$PROPERTY_LIST_P

$sym2$QUERY_PROPERTY_P

public static final SubLSymbol $sym2$QUERY_PROPERTY_P

$sym3$POSSIBLY_MT_P

public static final SubLSymbol $sym3$POSSIBLY_MT_P

$kw4$INFERENCE_ABORT_TARGET

public static final SubLSymbol $kw4$INFERENCE_ABORT_TARGET

$kw5$NON_TRIVIAL

public static final SubLSymbol $kw5$NON_TRIVIAL

$kw6$ABORT

public static final SubLSymbol $kw6$ABORT

$kw7$COMPLETE_USER_TIME

public static final SubLSymbol $kw7$COMPLETE_USER_TIME

$kw8$COMPLETE_SYSTEM_TIME

public static final SubLSymbol $kw8$COMPLETE_SYSTEM_TIME

$kw9$COMPLETE_TOTAL_TIME

public static final SubLSymbol $kw9$COMPLETE_TOTAL_TIME

$sym10$LISTP

public static final SubLSymbol $sym10$LISTP

$sym11$POSSIBLY_INFERENCE_SENTENCE_P

public static final SubLSymbol $sym11$POSSIBLY_INFERENCE_SENTENCE_P

$sym12$QUERY_STATIC_OR_META_PROPERTIES_P

public static final SubLSymbol $sym12$QUERY_STATIC_OR_META_PROPERTIES_P

$kw13$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw13$CONDITIONAL_SENTENCE_

$sym14$DNF_P

public static final SubLSymbol $sym14$DNF_P

$kw15$NON_EXPLANATORY_SENTENCE

public static final SubLSymbol $kw15$NON_EXPLANATORY_SENTENCE

$sym16$PROBLEM_STORE_PROPERTY_P

public static final SubLSymbol $sym16$PROBLEM_STORE_PROPERTY_P

$sym17$CONTINUABLE_INFERENCE_P

public static final SubLSymbol $sym17$CONTINUABLE_INFERENCE_P

$sym18$QUERY_DYNAMIC_PROPERTIES_P

public static final SubLSymbol $sym18$QUERY_DYNAMIC_PROPERTIES_P

$sym19$INFERENCE_P

public static final SubLSymbol $sym19$INFERENCE_P

$str20$Inference_was_destroyed_while_run

public static final SubLString $str20$Inference_was_destroyed_while_run

$kw21$INFERENCE_ERROR

public static final SubLSymbol $kw21$INFERENCE_ERROR

$sym22$INFERENCE_ERROR_HANDLER

public static final SubLSymbol $sym22$INFERENCE_ERROR_HANDLER

$kw23$ANSWER

public static final SubLSymbol $kw23$ANSWER

$kw24$BINDINGS

public static final SubLSymbol $kw24$BINDINGS

$kw25$SUPPORTS

public static final SubLSymbol $kw25$SUPPORTS

$kw26$BINDINGS_AND_SUPPORTS

public static final SubLSymbol $kw26$BINDINGS_AND_SUPPORTS

$list27

public static final SubLList $list27

$kw28$BINDINGS_AND_HYPOTHETICAL_BINDINGS

public static final SubLSymbol $kw28$BINDINGS_AND_HYPOTHETICAL_BINDINGS

$str29$Unexpected_return_type_specified_

public static final SubLString $str29$Unexpected_return_type_specified_

$str30$Ill_formed__template_return_type_

public static final SubLString $str30$Ill_formed__template_return_type_

$list31

public static final SubLList $list31

$sym32$FORMAT

public static final SubLSymbol $sym32$FORMAT

$kw33$SKIP

public static final SubLSymbol $kw33$SKIP

$kw34$ILL_FORMED

public static final SubLSymbol $kw34$ILL_FORMED

$kw35$TAUTOLOGY

public static final SubLSymbol $kw35$TAUTOLOGY

$kw36$CONTRADICTION

public static final SubLSymbol $kw36$CONTRADICTION

$str37$Unexpected_inference_status__s

public static final SubLString $str37$Unexpected_inference_status__s

$sym38$INFERENCE_ANSWER_LANGUAGE_P

public static final SubLSymbol $sym38$INFERENCE_ANSWER_LANGUAGE_P

$kw39$HL

public static final SubLSymbol $kw39$HL

$sym40$INFERENCE_ANSWER_BINDINGS

public static final SubLSymbol $sym40$INFERENCE_ANSWER_BINDINGS

$sym41$INFERENCE_ANSWER_EL_BINDINGS

public static final SubLSymbol $sym41$INFERENCE_ANSWER_EL_BINDINGS

$list42

public static final SubLList $list42

$sym43$CONVERT_HL_SUPPORT_TO_EL_SUPPORT

public static final SubLSymbol $sym43$CONVERT_HL_SUPPORT_TO_EL_SUPPORT

Method Detail

new_cyc_query

public static final SubLObject new_cyc_query(SubLObject sentence,
                                             SubLObject mt,
                                             SubLObject query_properties)

Creates, runs, and destroys an inference. Returns the results, whose format is specified by the :return property of QUERY-PROPERTIES. If :problem-store is specified in QUERY-PROPERTIES, uses that store, otherwise creates a new one and destroys it afterwards.

Parameters:

QUERY-PROPERTIES - query-properties-p; see the definition of query-properties-p for explanations of all query properties.

Returns:

0 results, format specified by :return property

update_query_metrics_wrt_timing_info

public static final SubLObject update_query_metrics_wrt_timing_info(SubLObject metrics,
                                                                    SubLObject timing_info)

new_cyc_query_from_dnf

public static final SubLObject new_cyc_query_from_dnf(SubLObject dnf,
                                                      SubLObject mt,
                                                      SubLObject scoped_vars,
                                                      SubLObject query_properties)

Like @xref new-cyc-query except skips the canonicalization step by taking a canonicalized DNF as input.

Parameters:

SCOPED-VARS; - the variables assumed to be scoped (i.e. not free) in DNF.

QUERY-PROPERTIES - query-properties-p; see the definition of query-properties-p for explanations of all query properties.

new_cyc_query_int

public static final SubLObject new_cyc_query_int(SubLObject inference,
                                                 SubLObject input_dynamic_properties,
                                                 SubLObject query_dynamic_properties,
                                                 SubLObject problem_store_privateP)

new_continuable_inference_int

public static final SubLObject new_continuable_inference_int(SubLObject sentence,
                                                             SubLObject mt,
                                                             SubLObject input_static_properties,
                                                             SubLObject query_static_properties)

new_continuable_inference_from_dnf_int

public static final SubLObject new_continuable_inference_from_dnf_int(SubLObject dnf,
                                                                      SubLObject mt,
                                                                      SubLObject scoped_vars,
                                                                      SubLObject input_static_properties,
                                                                      SubLObject query_static_properties)

extract_some_inference_properties

public static final SubLObject extract_some_inference_properties(SubLObject query_static_properties)

initialize_inference_properties

public static final SubLObject initialize_inference_properties(SubLObject inference,
                                                               SubLObject input_static_properties,
                                                               SubLObject inference_static_properties,
                                                               SubLObject query_static_properties)

problem_store_from_properties

public static final SubLObject problem_store_from_properties(SubLObject static_properties)

extract_problem_store_properties_from_query_static_properties

public static final SubLObject extract_problem_store_properties_from_query_static_properties(SubLObject query_static_properties)

continue_inference_int

public static final SubLObject continue_inference_int(SubLObject inference,
                                                      SubLObject input_dynamic_properties,
                                                      SubLObject overridden_dynamic_properties)

inference_update_properties

public static final SubLObject inference_update_properties(SubLObject inference,
                                                           SubLObject input_dynamic_properties,
                                                           SubLObject query_dynamic_properties)

inference_postprocess

public static final SubLObject inference_postprocess(SubLObject inference)

inference_result_from_answers

public static final SubLObject inference_result_from_answers(SubLObject inference,
                                                             SubLObject answers)

inference_result_from_answers_via_template

public static final SubLObject inference_result_from_answers_via_template(SubLObject answers,
                                                                          SubLObject template)

inference_one_result_from_bindings_via_template

public static final SubLObject inference_one_result_from_bindings_via_template(SubLObject v_bindings,
                                                                               SubLObject template)

inference_answer_el_bindings

public static final SubLObject inference_answer_el_bindings(SubLObject answer)

inference_bindings_hl_to_el

public static final SubLObject inference_bindings_hl_to_el(SubLObject hl_bindings)

inference_answer_hl_to_el

public static final SubLObject inference_answer_hl_to_el(SubLObject expression)

declare_inference_kernel_file

public static final SubLObject declare_inference_kernel_file()

init_inference_kernel_file

public static final SubLObject init_inference_kernel_file()

setup_inference_kernel_file

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