public abstract class DT_Abstract2 extends DT_Abstract1
Learned_DT
DT_Abstract1.ScoreObj
Modifier and Type | Field and Description |
---|---|
static java.util.ArrayList<java.lang.Object> |
bothSexPreds |
static java.util.ArrayList<java.lang.Object> |
femalePreds |
static java.util.ArrayList<java.lang.Object> |
kinTypePreds |
static java.util.ArrayList<java.lang.Object> |
kinTypeSymbols |
static java.util.ArrayList<java.lang.Object> |
malePreds |
static java.util.ArrayList<java.lang.Object> |
neuterPreds |
static java.util.ArrayList<java.lang.Object> |
pluralKTPreds |
static java.util.ArrayList<java.lang.Object> |
pluralKTSymbols |
addrTerms, current, issuesForUser, primitiveCodes, primPredNames, standardMacroTree
Constructor and Description |
---|
DT_Abstract2() |
Modifier and Type | Method and Description |
---|---|
boolean |
allTermsDefined(java.lang.String umbTerm,
java.util.ArrayList<java.lang.Object> subTerms) |
void |
analyzeSynonymsAndUmbrellas()
Analyze all the IssuesForUser generated as part of learning round.
|
boolean |
compare2(Dyad dad,
ClauseBody cb,
java.lang.String kinTerm) |
FeatureVectorObj |
computeFeatureVector(java.util.ArrayList<java.lang.Object> egoList)
This method is called during analysis of the Library's Domain Theories.
|
PredCategory |
determineCategory(java.lang.String symbol) |
boolean |
distinctDefsProposed(java.lang.String first,
java.lang.String second) |
boolean |
egoGenderSpecified(Literal lit) |
java.util.ArrayList<java.lang.Object> |
expandStruct(java.lang.String structStr) |
void |
findHiddenNeuterEgos()
This method may only be called after examples have been generated.
|
void |
findOverlappingTerms(java.util.ArrayList<java.lang.Object> egoList)
This method may only be called after examples have been generated.
|
void |
generateIndexes() |
java.util.ArrayList<java.lang.Object> |
listSetIntersectionOfStrings(java.util.ArrayList<java.lang.Object> list1,
java.util.ArrayList<java.lang.Object> list2) |
static java.util.ArrayList<java.lang.Object> |
loadBothSex() |
static java.util.ArrayList<java.lang.Object> |
loadFemales() |
static java.util.ArrayList<java.lang.Object> |
loadKTPreds() |
static java.util.ArrayList<java.lang.Object> |
loadKTSymbols() |
static java.util.ArrayList<java.lang.Object> |
loadMales() |
static java.util.ArrayList<java.lang.Object> |
loadNeuters() |
static java.util.ArrayList<java.lang.Object> |
loadPluralKTPreds() |
static java.util.ArrayList<java.lang.Object> |
loadPluralKTSymbols() |
void |
matchDyads() |
void |
mergeUDPs()
Make sure that all UDPs recorded on this DomainTheory are also
recorded on the Context's 'official' list.
|
static java.lang.String |
predToSymbol(java.lang.String pred) |
void |
resolveSynonymsInDyads()
If any dyads on dyadsUndefined are for known synonyms, change them to
dyads for the base term shown on the synonyms TMap.
|
boolean |
searchFor(java.lang.String term,
java.util.ArrayList<java.lang.Object> subTerms) |
java.util.TreeSet |
setIntersection(java.util.ArrayList<java.lang.Object> sets) |
static java.lang.String |
symbolToPred(java.lang.String symbol) |
void |
validateSynonymsAndUmbrellas()
Check the synonyms and umbrella terms for this DT.
|
addTerm, addTerm, countLeaves, equivalentLists, fillInNames, fit, found, foundInSigStr, harvestLeaves, isEmpty, isPrimOrMacro, isSupersetOf, loadPrimitiveCodes, makeExampleDyad, makeExampleGEDCOMFile, maleAndFemaleCreatedHeThem, mergeNestedTrees, mergeTrees, nonTerm, notFound, printableBaseTerm, printableTerm, toSILKString, toString, toThyFile
public static java.util.ArrayList<java.lang.Object> neuterPreds
public static java.util.ArrayList<java.lang.Object> malePreds
public static java.util.ArrayList<java.lang.Object> femalePreds
public static java.util.ArrayList<java.lang.Object> bothSexPreds
public static java.util.ArrayList<java.lang.Object> kinTypeSymbols
public static java.util.ArrayList<java.lang.Object> kinTypePreds
public static java.util.ArrayList<java.lang.Object> pluralKTPreds
public static java.util.ArrayList<java.lang.Object> pluralKTSymbols
public static java.util.ArrayList<java.lang.Object> loadNeuters()
public static java.util.ArrayList<java.lang.Object> loadMales()
public static java.util.ArrayList<java.lang.Object> loadFemales()
public static java.util.ArrayList<java.lang.Object> loadBothSex()
public static java.util.ArrayList<java.lang.Object> loadKTSymbols()
public static java.util.ArrayList<java.lang.Object> loadKTPreds()
public static java.util.ArrayList<java.lang.Object> loadPluralKTPreds()
public static java.util.ArrayList<java.lang.Object> loadPluralKTSymbols()
public static java.lang.String symbolToPred(java.lang.String symbol) throws KSInternalErrorException
KSInternalErrorException
public static java.lang.String predToSymbol(java.lang.String pred) throws KSInternalErrorException
KSInternalErrorException
public PredCategory determineCategory(java.lang.String symbol)
public boolean allTermsDefined(java.lang.String umbTerm, java.util.ArrayList<java.lang.Object> subTerms)
public void generateIndexes() throws KSBadHornClauseException, KSInternalErrorException, KSParsingErrorException, java.io.FileNotFoundException, KSConstraintInconsistency, java.lang.ClassNotFoundException, JavaSystemException
KSBadHornClauseException
KSInternalErrorException
KSParsingErrorException
java.io.FileNotFoundException
KSConstraintInconsistency
java.lang.ClassNotFoundException
JavaSystemException
public FeatureVectorObj computeFeatureVector(java.util.ArrayList<java.lang.Object> egoList) throws KSInternalErrorException, KSBadHornClauseException, KSInternalErrorException, KSConstraintInconsistency, java.lang.ClassNotFoundException
KSInternalErrorException
KSBadHornClauseException
KSConstraintInconsistency
java.lang.ClassNotFoundException
public void validateSynonymsAndUmbrellas() throws KSConstraintInconsistency
KSConstraintInconsistency
public boolean searchFor(java.lang.String term, java.util.ArrayList<java.lang.Object> subTerms)
public void resolveSynonymsInDyads()
public void analyzeSynonymsAndUmbrellas()
public boolean distinctDefsProposed(java.lang.String first, java.lang.String second)
public void findOverlappingTerms(java.util.ArrayList<java.lang.Object> egoList) throws KSBadHornClauseException, KSInternalErrorException, KSConstraintInconsistency, KSNoChainOfRelations2Alter, java.lang.ClassNotFoundException
egoList
- an ArrayList of all the EgosKSBadHornClauseException
KSInternalErrorException
KSConstraintInconsistency
KSNoChainOfRelations2Alter
java.lang.ClassNotFoundException
public void findHiddenNeuterEgos() throws KSInternalErrorException
KSInternalErrorException
public boolean egoGenderSpecified(Literal lit)
public java.util.ArrayList<java.lang.Object> expandStruct(java.lang.String structStr) throws KSInternalErrorException
KSInternalErrorException
public void mergeUDPs()
public java.util.ArrayList<java.lang.Object> listSetIntersectionOfStrings(java.util.ArrayList<java.lang.Object> list1, java.util.ArrayList<java.lang.Object> list2)
public void matchDyads() throws JavaSystemException, KSBadHornClauseException, KSNoChainOfRelations2Alter, KSInternalErrorException, KSConstraintInconsistency, java.lang.ClassNotFoundException, java.io.FileNotFoundException
JavaSystemException
KSBadHornClauseException
KSNoChainOfRelations2Alter
KSInternalErrorException
KSConstraintInconsistency
java.lang.ClassNotFoundException
java.io.FileNotFoundException
public boolean compare2(Dyad dad, ClauseBody cb, java.lang.String kinTerm) throws KSBadHornClauseException, KSNoChainOfRelations2Alter, KSInternalErrorException, KSConstraintInconsistency, java.lang.ClassNotFoundException
KSBadHornClauseException
KSNoChainOfRelations2Alter
KSInternalErrorException
KSConstraintInconsistency
java.lang.ClassNotFoundException
public java.util.TreeSet setIntersection(java.util.ArrayList<java.lang.Object> sets)