- acceptLit(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Take a list of expected literal strings.
- acceptLit(String) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Take a list of expected literal strings.
- acceptTok(String) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Take an expected token type.
- acceptTok(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Take a list of expected token types.
- addAllSenses(HashMap<String, Integer>) - Method in class com.articulate.sigma.Hotel
-
- addBatchConfig(String, int) - Static method in class com.articulate.sigma.EProver
-
Update batch specification file.
- addChildElement(SimpleElement) - Method in class com.articulate.sigma.SimpleElement
-
- addConceptSentiment(HashMap<String, Integer>) - Method in class com.articulate.sigma.Hotel
-
- addConceptSentimentScores(HashMap<String, Integer>, String, int) - Static method in class com.articulate.sigma.DB
-
Add new scores to existing scores.
- addConstituent(String) - Method in class com.articulate.sigma.KB
-
Add a new KB constituent by reading in the file, and then merging
the formulas with the existing set of formulas.
- addConsumedCaseRole(CaseRole) - Method in class com.articulate.sigma.nlg.SVOElement
-
- addDocGenControlBits(int) - Method in class com.articulate.sigma.DocGen
-
Adds val via bitwise OR to the int value that represents the
bit values used to control the document generation process for
this DocGen instance.
- addDocGenControlBits(String) - Method in class com.articulate.sigma.DocGen
-
Adds via bitwise OR the bit value corresponding to token to the
int value that represents the bit values used to control the
document generation process for this DocGen instance.
- addInput(String) - Method in class com.articulate.sigma.nlp.TFIDF
-
add a new document to the set
- addKB(String) - Method in class com.articulate.sigma.KBmanager
-
Create a new empty KB with a name.
- addKB(String, boolean) - Method in class com.articulate.sigma.KBmanager
-
- addNode(String, HashMap<String, DependencyConverter.Node>) - Method in class com.articulate.sigma.DependencyConverter
-
- addProject(String) - Method in class com.articulate.sigma.User
-
- address - Variable in class com.articulate.sigma.Hotel
-
- address2 - Variable in class com.articulate.sigma.Hotel
-
- addRole(String, String) - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Add a new role/entity pair to this event.
- addToCurrProperties(String, SumoProcessEntityProperty) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Add the given key - property pair to the properties of the current stack element.
- addToDoubleMapList(TreeMap, String, String, String) - Static method in class com.articulate.sigma.Diagnostics
-
Add a key to a map and a key, value to the map
corresponding to the key.
- addToFile(String, ArrayList<String>, String) - Static method in class com.articulate.sigma.SUMOKBtoTPTPKB
-
- addToMapList(TreeMap, String, String) - Static method in class com.articulate.sigma.Diagnostics
-
Add a key to a map and a value to the ArrayList corresponding
to the key.
- addTypeRestrictions(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Add clauses for every variable in the antecedent to restrict its
type to the type restrictions defined on every relation in which
it appears.
- addUnprocessed - Static variable in class com.articulate.sigma.semRewrite.Interpreter
-
- addUnprocessed(ArrayList<String>, CNF) - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- addUser(User) - Method in class com.articulate.sigma.PasswordService
-
- addUtterance(String) - Method in class com.articulate.sigma.Document
-
Inserts a new utterance or utterances into the document updating coreferencing of the document.
- addWordIndex(int) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
-
- ADJECTIVE - Static variable in class com.articulate.sigma.WordNet
-
- ADJECTIVE_SATELLITE - Static variable in class com.articulate.sigma.WordNet
-
- adjectiveDocumentationHash - Variable in class com.articulate.sigma.WordNet
-
- adjectiveSUMOHash - Variable in class com.articulate.sigma.WordNet
-
- adjectiveSynsetHash - Variable in class com.articulate.sigma.WordNet
-
- ADMIN_ROLE - Static variable in class com.articulate.sigma.PasswordService
-
- ADVERB - Static variable in class com.articulate.sigma.WordNet
-
- adverbDocumentationHash - Variable in class com.articulate.sigma.WordNet
-
- adverbSUMOHash - Variable in class com.articulate.sigma.WordNet
-
- adverbSynsetHash - Variable in class com.articulate.sigma.WordNet
-
- afterExecute(CCheck, Throwable) - Method in class com.articulate.sigma.CCheckManager
-
Removes the KB from the list of kbs currently being checked, and add it to the checkedKBs list.
- allAvailableLanguages() - Method in class com.articulate.sigma.KBmanager
-
Get the the complete list of languages available in all KBs
- allCapsToSUMOID(String) - Static method in class com.articulate.sigma.StringUtil
-
- allowedTerms - Static variable in class com.articulate.sigma.EditGUI
-
- alphaList - Variable in class com.articulate.sigma.DocGen
-
A TreeMap of TreeMaps of ArrayLists where the keys are
uppercase single characters (of term formats or headwords) and
the values are TreeMaps with a key of the term formats or
headwords and ArrayList values of the actual term names.
- amenities - Variable in class com.articulate.sigma.Hotel
-
- amenityTerms - Static variable in class com.articulate.sigma.DB
-
- AND - Static variable in class com.articulate.sigma.Formula
-
- andOr - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- annotate(String) - Method in class com.articulate.sigma.nlp.pipeline.Pipeline
-
- aOrAn(String) - Static method in class com.articulate.sigma.nlg.Noun
-
Look at first letter of input to determine whether it should be preceded by "a" or "an".
- append(Formula) - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'append' of the formulas
Note that this operation has no side effect on the Formula.
- applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.Clause
-
- applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.CNF
-
Apply variable substitutions to this set of clauses
- applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.Literal
-
- applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.RHS
-
Apply variable substitutions to this set of clauses
TODO: note that a replace for ?A will erroneously match ?AB
- applyBindingSelf(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.Literal
-
Apply variable substitutions to a literal
- areaServed - Variable in class com.articulate.sigma.Hotel
-
- areFormulaArgsProcessed() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Are all the formula arguments processed in some way? Note that this method
is called when the relevant args are not held at top of stack, but at top - 1.
- areFormulaArgsProcessed(StackElement) - Static method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Have all the formula arguments for the given stack element been processed in some way?
- arg1 - Variable in class com.articulate.sigma.semRewrite.Literal
-
- arg2 - Variable in class com.articulate.sigma.semRewrite.Literal
-
- argsInit(Formula, List<String>) - Method in class com.articulate.sigma.nlg.StackElement
-
Init the formulaArgs for this StackElement.
- argumentsToArrayList(int) - Method in class com.articulate.sigma.Formula
-
Return all the arguments in a simple formula as a list, starting
at the given argument.
- arityTest() - Static method in class com.articulate.sigma.PredVarInst
-
This method tries to remove literals from the Formula that
match litArr.
- arrayListToSpacedString(ArrayList<String>) - Static method in class com.articulate.sigma.StringUtil
-
Convert an arbitrary string to a legal KIF identifier by
substituting dashes for illegal characters.
- asCSV() - Method in class com.articulate.sigma.Hotel
-
- asCSVHeader() - Static method in class com.articulate.sigma.Hotel
-
- ask(String, int, String) - Method in class com.articulate.sigma.KB
-
Returns an ArrayList containing the Formulas that match the
request.
- ask(String, int, int) - Method in class com.articulate.sigma.KB
-
Submits a query to the inference engine.
- askEngine(String, int, int, InferenceEngine) - Method in class com.articulate.sigma.KB
-
Submits a query to specified InferenceEngine object.
- askLEO(String, int, int, String) - Method in class com.articulate.sigma.KB
-
Submits a query to the LEO inference engine.
- askNoProof(String, int, int) - Method in class com.articulate.sigma.KB
-
Submits a query to the inference engine.
- askSInE(String, int, int) - Method in class com.articulate.sigma.KB
-
Submits a query to the SInE inference engine.
- askWithLiteral(List<String>) - Method in class com.articulate.sigma.KB
-
This method retrieves Formulas by asking the query expression
queryLit, and returns the results, if any, in an ArrayList.
- askWithLiteral(Formula) - Method in class com.articulate.sigma.KB
-
This method retrieves formulas by asking the query expression
queryLit, and returns the results, if any, in an ArrayList.
- askWithPredicateSubsumption(String, int, String) - Method in class com.articulate.sigma.KB
-
Returns an ArrayList containing the Formulae retrieved,
possibly via multiple asks that recursively use relation and
all of its subrelations.
- askWithRestriction(int, String, int, String) - Method in class com.articulate.sigma.KB
-
- askWithTwoRestrictions(int, String, int, String, int, String) - Method in class com.articulate.sigma.KB
-
Returns an ArrayList of Formulas in which the two terms
provided appear in the indicated argument positions.
- ASPECT_PERFECT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- ASPECT_PROGRESSIVE - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- ASPECT_PROGRESSIVE_PERFECT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- assertFacts(KB, TreeMap<String, ArrayList<String>>, String) - Static method in class com.articulate.sigma.EditGUI
-
Interpret a map as a key relation name and ArrayList of values as arguments.
- assertFormula(String) - Method in class com.articulate.sigma.EProver
-
Add an assertion for inference.
- assertFormula(String, KB, EProver, ArrayList<Formula>, boolean) - Method in class com.articulate.sigma.EProver
-
Add an assertion for inference.
- assertFormula(String) - Method in class com.articulate.sigma.InferenceEngine
-
Add an assertion.
- assertFormula(String) - Method in class com.articulate.sigma.SInE
-
- assertFormula(String) - Method in class com.articulate.sigma.Vampire
-
Add an assertion.
- asSUMORelationID(String) - Static method in class com.articulate.sigma.StringUtil
-
- atom(String) - Static method in class com.articulate.sigma.Formula
-
Test whether the String is a LISP atom.
- atom() - Method in class com.articulate.sigma.Formula
-
Test whether the Formula is a LISP atom.
- attribute - Variable in class com.articulate.sigma.AVPair
-
- attributes - Variable in class com.articulate.sigma.BasicXMLelement
-
The attributes of the tag in key=value form
- autoir - Variable in class com.articulate.sigma.semRewrite.Interpreter
-
- availableFormalLanguages - Static variable in class com.articulate.sigma.HTMLformatter
-
- availableLanguages() - Method in class com.articulate.sigma.KB
-
Get an ArrayList of Strings containing the language identifiers
of available natural language formatting templates.
- AVPair - Class in com.articulate.sigma
-
- AVPair() - Constructor for class com.articulate.sigma.AVPair
-
- axiom - Variable in class com.articulate.sigma.ProofStep
-
A String containing a valid KIF expression, that is the axiom
expressing the conclusion of this proof step.