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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_abduction_utilities
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$abductive_strategy_type$ The strategy type that is best suited for an abductive inference.
static SubLObject	$const14$notAbducibleWRTTypeInArg
static SubLObject	$const15$isa
static SubLObject	$const16$termOfUnit
static SubLObject	$const3$nonAbducibleSentence
static SubLObject	$const4$NonAbducibleRelation
static SubLObject	$const5$NonAbduciblePredicate
static SubLObject	$const6$NonAbducibleCollection
static SubLObject	$const7$notAbducibleForArg
static SubLObject	$const9$notAbducibleWRTValueInArg
static SubLInteger	$int61$_100
static SubLInteger	$int64$100
static SubLSymbol	$kw0$POS
static SubLSymbol	$kw1$IGNORE
static SubLSymbol	$kw10$GAF_ARG
static SubLSymbol	$kw11$GAF
static SubLSymbol	$kw12$PREDICATE_EXTENT
static SubLSymbol	$kw13$OVERLAP
static SubLSymbol	$kw18$FALSE
static SubLSymbol	$kw19$NEG
static SubLSymbol	$kw20$ABDUCTIVE
static SubLSymbol	$kw39$REMOVAL
static SubLSymbol	$kw40$TRANSFORMATION
static SubLSymbol	$kw43$ALLOW_OTHER_KEYS
static SubLSymbol	$kw44$TACTIC
static SubLSymbol	$kw45$DONE
static SubLSymbol	$kw57$STRATEGIC_PRODUCTIVITY
static SubLSymbol	$kw59$DELAY_ABDUCTION
static SubLSymbol	$kw62$RULE_ABDUCTIVE_UTILITY
static SubLSymbol	$kw65$LOOP
static SubLSymbol	$kw8$TRUE
static SubLList	$list17
static SubLList	$list2
static SubLList	$list21
static SubLList	$list27
static SubLList	$list37
static SubLList	$list38
static SubLList	$list41
static SubLList	$list42
static SubLList	$list58
static SubLList	$list60
static SubLList	$list63
static SubLString	$str56$_S_is_not_a_transformation_strate
static SubLSymbol	$sym22$ABDUCTIVE_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_REMOVAL_
static SubLSymbol	$sym23$ABDUCTIVE_STRATEGY_PEEK_STRATEGEM_WRT_REMOVAL
static SubLSymbol	$sym24$ABDUCTIVE_STRATEGY_NO_NEW_ROOTS_
static SubLSymbol	$sym25$ABDUCTIVE_STRATEGY_PEEK_NEW_ROOT
static SubLSymbol	$sym26$ABDUCTIVE_STRATEGY_CHOOSES_TO_THROW_AWAY_NEW_ROOT_
static SubLSymbol	$sym28$ABDUCTIVE_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION_
static SubLSymbol	$sym29$ABDUCTIVE_STRATEGY_PEEK_STRATEGEM_WRT_TRANSFORMATION
static SubLSymbol	$sym30$ABDUCTIVE_STRATEGY_P
static SubLSymbol	$sym31$ABDUCTIVE_STRATEGY_ACTIVATE_STRATEGEM_WRT_REMOVAL
static SubLSymbol	$sym32$ABDUCTIVE_STRATEGY_POP_STRATEGEM_WRT_REMOVAL
static SubLSymbol	$sym33$ABDUCTIVE_STRATEGY_ADD_NEW_ROOT
static SubLSymbol	$sym34$ABDUCTIVE_STRATEGY_POP_NEW_ROOT
static SubLSymbol	$sym35$ABDUCTIVE_STRATEGY_ACTIVATE_STRATEGEM_WRT_TRANSFORMATION
static SubLSymbol	$sym36$ABDUCTIVE_STRATEGY_POP_STRATEGEM_WRT_TRANSFORMATION
static SubLSymbol	$sym46$DO_STRATEGIC_HEURISTICS
static SubLSymbol	$sym47$PWHEN
static SubLSymbol	$sym48$ABDUCTIVE_TACTICIAN_STRATEGIC_HEURISTIC_
static SubLSymbol	$sym49$DO_ABDUCTIVE_TACTICIAN_STRATEGIC_HEURISTICS
static SubLSymbol	$sym50$REMOVAL_STRATEGEM_P
static SubLSymbol	$sym51$TRANSFORMATION_TACTIC_P
static SubLSymbol	$sym52$TRANSFORMATION_LINK_P
static SubLSymbol	$sym53$LOGICAL_TACTIC_P
static SubLSymbol	$sym54$TACTIC_P
static SubLSymbol	$sym55$STRATEGEM_P
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	abductive_strategy_p(SubLObject object)
static SubLObject	declare_inference_abduction_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_abduction_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	reject_proof_due_to_non_abducible_ruleP(SubLObject link, SubLObject supported_problem, SubLObject subproofs)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_abduction_utilities_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

$abductive_strategy_type$

public static SubLSymbol $abductive_strategy_type$

The strategy type that is best suited for an abductive inference.

$kw0$POS

public static final SubLSymbol $kw0$POS

$kw1$IGNORE

public static final SubLSymbol $kw1$IGNORE

$list2

public static final SubLList $list2

$const3$nonAbducibleSentence

public static final SubLObject $const3$nonAbducibleSentence

$const4$NonAbducibleRelation

public static final SubLObject $const4$NonAbducibleRelation

$const5$NonAbduciblePredicate

public static final SubLObject $const5$NonAbduciblePredicate

$const6$NonAbducibleCollection

public static final SubLObject $const6$NonAbducibleCollection

$const7$notAbducibleForArg

public static final SubLObject $const7$notAbducibleForArg

$kw8$TRUE

public static final SubLSymbol $kw8$TRUE

$const9$notAbducibleWRTValueInArg

public static final SubLObject $const9$notAbducibleWRTValueInArg

$kw10$GAF_ARG

public static final SubLSymbol $kw10$GAF_ARG

$kw11$GAF

public static final SubLSymbol $kw11$GAF

$kw12$PREDICATE_EXTENT

public static final SubLSymbol $kw12$PREDICATE_EXTENT

$kw13$OVERLAP

public static final SubLSymbol $kw13$OVERLAP

$const14$notAbducibleWRTTypeInArg

public static final SubLObject $const14$notAbducibleWRTTypeInArg

$const15$isa

public static final SubLObject $const15$isa

$const16$termOfUnit

public static final SubLObject $const16$termOfUnit

$list17

public static final SubLList $list17

$kw18$FALSE

public static final SubLSymbol $kw18$FALSE

$kw19$NEG

public static final SubLSymbol $kw19$NEG

$kw20$ABDUCTIVE

public static final SubLSymbol $kw20$ABDUCTIVE

$list21

public static final SubLList $list21

$sym22$ABDUCTIVE_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_REMOVAL_

public static final SubLSymbol $sym22$ABDUCTIVE_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_REMOVAL_

$sym23$ABDUCTIVE_STRATEGY_PEEK_STRATEGEM_WRT_REMOVAL

public static final SubLSymbol $sym23$ABDUCTIVE_STRATEGY_PEEK_STRATEGEM_WRT_REMOVAL

$sym24$ABDUCTIVE_STRATEGY_NO_NEW_ROOTS_

public static final SubLSymbol $sym24$ABDUCTIVE_STRATEGY_NO_NEW_ROOTS_

$sym25$ABDUCTIVE_STRATEGY_PEEK_NEW_ROOT

public static final SubLSymbol $sym25$ABDUCTIVE_STRATEGY_PEEK_NEW_ROOT

$sym26$ABDUCTIVE_STRATEGY_CHOOSES_TO_THROW_AWAY_NEW_ROOT_

public static final SubLSymbol $sym26$ABDUCTIVE_STRATEGY_CHOOSES_TO_THROW_AWAY_NEW_ROOT_

$list27

public static final SubLList $list27

$sym28$ABDUCTIVE_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION_

public static final SubLSymbol $sym28$ABDUCTIVE_STRATEGY_NO_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION_

$sym29$ABDUCTIVE_STRATEGY_PEEK_STRATEGEM_WRT_TRANSFORMATION

public static final SubLSymbol $sym29$ABDUCTIVE_STRATEGY_PEEK_STRATEGEM_WRT_TRANSFORMATION

$sym30$ABDUCTIVE_STRATEGY_P

public static final SubLSymbol $sym30$ABDUCTIVE_STRATEGY_P

$sym31$ABDUCTIVE_STRATEGY_ACTIVATE_STRATEGEM_WRT_REMOVAL

public static final SubLSymbol $sym31$ABDUCTIVE_STRATEGY_ACTIVATE_STRATEGEM_WRT_REMOVAL

$sym32$ABDUCTIVE_STRATEGY_POP_STRATEGEM_WRT_REMOVAL

public static final SubLSymbol $sym32$ABDUCTIVE_STRATEGY_POP_STRATEGEM_WRT_REMOVAL

$sym33$ABDUCTIVE_STRATEGY_ADD_NEW_ROOT

public static final SubLSymbol $sym33$ABDUCTIVE_STRATEGY_ADD_NEW_ROOT

$sym34$ABDUCTIVE_STRATEGY_POP_NEW_ROOT

public static final SubLSymbol $sym34$ABDUCTIVE_STRATEGY_POP_NEW_ROOT

$sym35$ABDUCTIVE_STRATEGY_ACTIVATE_STRATEGEM_WRT_TRANSFORMATION

public static final SubLSymbol $sym35$ABDUCTIVE_STRATEGY_ACTIVATE_STRATEGEM_WRT_TRANSFORMATION

$sym36$ABDUCTIVE_STRATEGY_POP_STRATEGEM_WRT_TRANSFORMATION

public static final SubLSymbol $sym36$ABDUCTIVE_STRATEGY_POP_STRATEGEM_WRT_TRANSFORMATION

$list37

public static final SubLList $list37

$list38

public static final SubLList $list38

$kw39$REMOVAL

public static final SubLSymbol $kw39$REMOVAL

$kw40$TRANSFORMATION

public static final SubLSymbol $kw40$TRANSFORMATION

$list41

public static final SubLList $list41

$list42

public static final SubLList $list42

$kw43$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw43$ALLOW_OTHER_KEYS

$kw44$TACTIC

public static final SubLSymbol $kw44$TACTIC

$kw45$DONE

public static final SubLSymbol $kw45$DONE

$sym46$DO_STRATEGIC_HEURISTICS

public static final SubLSymbol $sym46$DO_STRATEGIC_HEURISTICS

$sym47$PWHEN

public static final SubLSymbol $sym47$PWHEN

$sym48$ABDUCTIVE_TACTICIAN_STRATEGIC_HEURISTIC_

public static final SubLSymbol $sym48$ABDUCTIVE_TACTICIAN_STRATEGIC_HEURISTIC_

$sym49$DO_ABDUCTIVE_TACTICIAN_STRATEGIC_HEURISTICS

public static final SubLSymbol $sym49$DO_ABDUCTIVE_TACTICIAN_STRATEGIC_HEURISTICS

$sym50$REMOVAL_STRATEGEM_P

public static final SubLSymbol $sym50$REMOVAL_STRATEGEM_P

$sym51$TRANSFORMATION_TACTIC_P

public static final SubLSymbol $sym51$TRANSFORMATION_TACTIC_P

$sym52$TRANSFORMATION_LINK_P

public static final SubLSymbol $sym52$TRANSFORMATION_LINK_P

$sym53$LOGICAL_TACTIC_P

public static final SubLSymbol $sym53$LOGICAL_TACTIC_P

$sym54$TACTIC_P

public static final SubLSymbol $sym54$TACTIC_P

$sym55$STRATEGEM_P

public static final SubLSymbol $sym55$STRATEGEM_P

$str56$_S_is_not_a_transformation_strate

public static final SubLString $str56$_S_is_not_a_transformation_strate

$kw57$STRATEGIC_PRODUCTIVITY

public static final SubLSymbol $kw57$STRATEGIC_PRODUCTIVITY

$list58

public static final SubLList $list58

$kw59$DELAY_ABDUCTION

public static final SubLSymbol $kw59$DELAY_ABDUCTION

$list60

public static final SubLList $list60

$int61$_100

public static final SubLInteger $int61$_100

$kw62$RULE_ABDUCTIVE_UTILITY

public static final SubLSymbol $kw62$RULE_ABDUCTIVE_UTILITY

$list63

public static final SubLList $list63

$int64$100

public static final SubLInteger $int64$100

$kw65$LOOP

public static final SubLSymbol $kw65$LOOP

Method Detail

reject_proof_due_to_non_abducible_ruleP

public static final SubLObject reject_proof_due_to_non_abducible_ruleP(SubLObject link,
                                                                       SubLObject supported_problem,
                                                                       SubLObject subproofs)

abductive_strategy_p

public static final SubLObject abductive_strategy_p(SubLObject object)

declare_inference_abduction_utilities_file

public static final SubLObject declare_inference_abduction_utilities_file()

init_inference_abduction_utilities_file

public static final SubLObject init_inference_abduction_utilities_file()

setup_inference_abduction_utilities_file

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