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

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.inference.harness.argumentation
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class argumentation
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $kw0$TRUE
           
static SubLSymbol $kw10$TRUE_MON
           
static SubLSymbol $kw12$FALSE_MON
           
static SubLSymbol $kw14$TRUE_DEF
           
static SubLSymbol $kw15$FALSE_DEF
           
static SubLSymbol $kw18$SUPPORTS
           
static SubLSymbol $kw19$TV
           
static SubLSymbol $kw5$UNKNOWN
           
static SubLSymbol $kw6$DEFAULT
           
static SubLSymbol $kw7$MONOTONIC
           
static SubLList $list1
           
static SubLString $str16$Use__unknown
           
static SubLString $str17$_S_results_in_a_contradiction_
           
static SubLString $str3$_s_attempted_to_change_its_truth_
           
static SubLSymbol $sym11$ARGUMENT_TV
           
static SubLSymbol $sym13$ASSERTED_ARGUMENT_P
           
static SubLSymbol $sym2$DEDUCTION_P
           
static SubLSymbol $sym20$TMS_DEDUCTION_SPEC_P
           
static SubLSymbol $sym21$TMS_DEDUCTION_SPEC_TV
           
static SubLSymbol $sym4$ASSERTION_P
           
static SubLSymbol $sym8$NON_DOTTED_LIST_P
           
static SubLSymbol $sym9$ARGUMENT_P
           
static SubLSymbol $tms_treat_monotonic_contradiction_as_unknownP$
          When non-nil, monotonic contradictions during argumentation are simply treated as :UNKNOWN rather than erroring.
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 compute_assertion_tv(SubLObject assertion)
           
static SubLObject compute_supports_tv(SubLObject supports, SubLObject truth)
           
static SubLObject declare_argumentation_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_argumentation_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject perform_argumentation(SubLObject v_arguments)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_argumentation_file()
           
static SubLObject strength_combine(SubLObject strength1, SubLObject strength2)
           
 
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

$tms_treat_monotonic_contradiction_as_unknownP$

public static SubLSymbol $tms_treat_monotonic_contradiction_as_unknownP$
When non-nil, monotonic contradictions during argumentation are simply treated as :UNKNOWN rather than erroring.


$kw0$TRUE

public static final SubLSymbol $kw0$TRUE

$list1

public static final SubLList $list1

$sym2$DEDUCTION_P

public static final SubLSymbol $sym2$DEDUCTION_P

$str3$_s_attempted_to_change_its_truth_

public static final SubLString $str3$_s_attempted_to_change_its_truth_

$sym4$ASSERTION_P

public static final SubLSymbol $sym4$ASSERTION_P

$kw5$UNKNOWN

public static final SubLSymbol $kw5$UNKNOWN

$kw6$DEFAULT

public static final SubLSymbol $kw6$DEFAULT

$kw7$MONOTONIC

public static final SubLSymbol $kw7$MONOTONIC

$sym8$NON_DOTTED_LIST_P

public static final SubLSymbol $sym8$NON_DOTTED_LIST_P

$sym9$ARGUMENT_P

public static final SubLSymbol $sym9$ARGUMENT_P

$kw10$TRUE_MON

public static final SubLSymbol $kw10$TRUE_MON

$sym11$ARGUMENT_TV

public static final SubLSymbol $sym11$ARGUMENT_TV

$kw12$FALSE_MON

public static final SubLSymbol $kw12$FALSE_MON

$sym13$ASSERTED_ARGUMENT_P

public static final SubLSymbol $sym13$ASSERTED_ARGUMENT_P

$kw14$TRUE_DEF

public static final SubLSymbol $kw14$TRUE_DEF

$kw15$FALSE_DEF

public static final SubLSymbol $kw15$FALSE_DEF

$str16$Use__unknown

public static final SubLString $str16$Use__unknown

$str17$_S_results_in_a_contradiction_

public static final SubLString $str17$_S_results_in_a_contradiction_

$kw18$SUPPORTS

public static final SubLSymbol $kw18$SUPPORTS

$kw19$TV

public static final SubLSymbol $kw19$TV

$sym20$TMS_DEDUCTION_SPEC_P

public static final SubLSymbol $sym20$TMS_DEDUCTION_SPEC_P

$sym21$TMS_DEDUCTION_SPEC_TV

public static final SubLSymbol $sym21$TMS_DEDUCTION_SPEC_TV
Method Detail

compute_supports_tv

public static final SubLObject compute_supports_tv(SubLObject supports,
                                                   SubLObject truth)

compute_assertion_tv

public static final SubLObject compute_assertion_tv(SubLObject assertion)

strength_combine

public static final SubLObject strength_combine(SubLObject strength1,
                                                SubLObject strength2)

perform_argumentation

public static final SubLObject perform_argumentation(SubLObject v_arguments)
Returns:
tv-p

declare_argumentation_file

public static final SubLObject declare_argumentation_file()

init_argumentation_file

public static final SubLObject init_argumentation_file()

setup_argumentation_file

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