Interpreter (sigma-component 2.09 API)

java.lang.Object
- com.articulate.sigma.semRewrite.Interpreter

```
public class Interpreter
extends Object
```

Field Summary

Fields
Modifier and Type	Field and Description
`static boolean`	`addUnprocessed`
`boolean`	`autoir`
`static boolean`	`coref`
`static List<String>`	`days`
`String`	`fname`
`boolean`	`inference`
`static boolean`	`ir`
`static List<String>`	`months`
`boolean`	`question`
`static List<String>`	`qwords`
`RuleSet`	`rs`
`static boolean`	`showr`
`static boolean`	`showrhs`
`static boolean`	`simFlood`
`static TFIDF`	`tfidf`
`static int`	`timeOut_value`
`static boolean`	`verboseAnswer`
`static boolean`	`verboseParse`
`static boolean`	`verboseProof`

Constructor Summary

Constructors
Constructor and Description

Interpreter()

Interpreter(RuleSet rsin)

Constructors
Constructor and Description
`Interpreter()`
`Interpreter(RuleSet rsin)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`String`	`addQuantification(String form)`
`static void`	`addUnprocessed(ArrayList<String> kifoutput, CNF cnf)`
`static RuleSet`	`canon(RuleSet rsin)`
`static boolean`	`excluded(String word)`
`static List<String>`	`findWSD(List<String> clauses, Map<String,String> posMap, EntityTypeParser etp)`
`static String`	`formatAnswer(Formula query, List<String> inferenceAnswers, KB kb)` generates the answer to a query by replacing the variables with the results from the inference call
`String`	`fromKIFClauses(ArrayList<String> kifcs)`
`protected ArrayList<CNF>`	`getCNFInput(String input)` Method (mainly for testing) to get list of CNFs from input sentence.
`protected Document`	`getUserInputs()`
`void`	`initialize()`
`void`	`interpInter()`
`List<String>`	`interpret(String input)` Take in a any number of sentences and return kif strings of declaratives or answer to questions.
`ArrayList<String>`	`interpretCNF(ArrayList<CNF> inputs)`
`CNF`	`interpretGenCNF(String input)` Take in a single sentence and output CNF for further processing.
`CNF`	`interpretGenCNFBasic(String input)` Take in a single sentence and output CNF for further processing.
`String`	`interpretSingle(String input)` Take in a single sentence and output an English answer.
`static List<String>`	`lemmatizeResults(List<String> results, List<edu.stanford.nlp.ling.CoreLabel> tokens, ClauseSubstitutor substitutor)` Lemmatize the results of the dependency parser, WSD, etc.
`void`	`loadRules()`
`void`	`loadRules(String f)`
`static void`	`main(String[] args)`
`static String`	`postProcess(String s)`
`static void`	`preProcessQuestionWords(CNF inputs)`
`String`	`printKB(ArrayList<CNF> inputs)`
`static List<String>`	`processPhrasalVerbs(List<String> results)` Combine phrasal verbs in dependency parsing results.
`void`	`testAddQuantification()`
`static void`	`testGraphMatch()`
`static void`	`testInterpret()`
`static void`	`testPostProcess()`
`static void`	`testPreserve()` A test method
`static void`	`testQuestionPreprocess()`
`static void`	`testTimeDateExtraction()`
`static void`	`testUnify()`
`static void`	`testUnify2()`
`static void`	`testUnify3()`
`static void`	`testUnify4()`
`static void`	`testWSD()`
`String`	`toFOL(ArrayList<String> clauses)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

rs
```
public RuleSet rs
```

fname
```
public String fname
```

inference
```
public boolean inference
```

question
```
public boolean question
```

addUnprocessed
```
public static boolean addUnprocessed
```

verboseParse
```
public static boolean verboseParse
```

autoir
```
public boolean autoir
```

ir
```
public static boolean ir
```

simFlood
```
public static boolean simFlood
```

verboseAnswer
```
public static boolean verboseAnswer
```

verboseProof
```
public static boolean verboseProof
```

timeOut_value
```
public static int timeOut_value
```

showrhs
```
public static boolean showrhs
```

showr
```
public static boolean showr
```

coref
```
public static boolean coref
```

qwords
```
public static List<String> qwords
```

months
```
public static List<String> months
```

days
```
public static List<String> days
```

tfidf
```
public static TFIDF tfidf
```

Constructor Detail

Interpreter
```
public Interpreter()
```

Interpreter
```
public Interpreter(RuleSet rsin)
```

Method Detail

canon

public static RuleSet canon(RuleSet rsin)

getUserInputs
```
protected Document getUserInputs()
```

excluded

public static boolean excluded(String word)

findWSD

public static List<String> findWSD(List<String> clauses,
                                   Map<String,String> posMap,
                                   EntityTypeParser etp)

Returns:: a list of strings in the format sumo(Class,word-num) that specify the SUMO class of each word that isn't a stopword.

addQuantification

public String addQuantification(String form)

toFOL

public String toFOL(ArrayList<String> clauses)

interpret
```
public List<String> interpret(String input)
```
Take in a any number of sentences and return kif strings of declaratives or answer to questions.

interpretGenCNFBasic
```
public CNF interpretGenCNFBasic(String input)
```
Take in a single sentence and output CNF for further processing. Just create the dependency parse - no tense, number, part of speech, coref etc.

interpretGenCNF
```
public CNF interpretGenCNF(String input)
```
Take in a single sentence and output CNF for further processing.

interpretSingle
```
public String interpretSingle(String input)
```
Take in a single sentence and output an English answer. Sets question instance field based on input. Updates tfidf static field with input if input is not question. If first attempt using CNF clauses fails, tries tfidf for questions.

getCNFInput
```
protected ArrayList<CNF> getCNFInput(String input)
```
Method (mainly for testing) to get list of CNFs from input sentence.

Parameters:

input - string representing input sentence

Returns:

list of CNFs

processPhrasalVerbs

public static List<String> processPhrasalVerbs(List<String> results)

Combine phrasal verbs in dependency parsing results.

lemmatizeResults

public static List<String> lemmatizeResults(List<String> results,
                                            List<edu.stanford.nlp.ling.CoreLabel> tokens,
                                            ClauseSubstitutor substitutor)

Lemmatize the results of the dependency parser, WSD, etc.

printKB

public String printKB(ArrayList<CNF> inputs)

postProcess

public static String postProcess(String s)

preProcessQuestionWords

public static void preProcessQuestionWords(CNF inputs)

addUnprocessed

public static void addUnprocessed(ArrayList<String> kifoutput,
                                  CNF cnf)

interpretCNF

public ArrayList<String> interpretCNF(ArrayList<CNF> inputs)

fromKIFClauses
```
public String fromKIFClauses(ArrayList<String> kifcs)
```
Parameters:

kifcs - a list of String simple KIF clauses

Returns:

the response from the E prover, whether an acknowledgement of an assertion, or a formula with the answer bindings substituted in

formatAnswer

public static String formatAnswer(Formula query,
                                  List<String> inferenceAnswers,
                                  KB kb)

generates the answer to a query by replacing the variables with the results from the inference call

interpInter
```
public void interpInter()
```

loadRules
```
public void loadRules(String f)
```

loadRules
```
public void loadRules()
```

initialize

public void initialize()
                throws IOException

Throws:: IOException

testUnify
```
public static void testUnify()
```

testUnify2
```
public static void testUnify2()
```

testUnify3
```
public static void testUnify3()
```

testUnify4
```
public static void testUnify4()
```

testInterpret
```
public static void testInterpret()
```

testPreserve
```
public static void testPreserve()
```
A test method

testQuestionPreprocess

public static void testQuestionPreprocess()

testPostProcess
```
public static void testPostProcess()
```

testWSD
```
public static void testWSD()
```

testGraphMatch
```
public static void testGraphMatch()
```

testTimeDateExtraction

public static void testTimeDateExtraction()
                                   throws IOException

Throws:: IOException

testAddQuantification
```
public void testAddQuantification()
```

main

public static void main(String[] args)
                 throws IOException

Throws:: IOException

Class Interpreter

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

rs

fname

inference

question

addUnprocessed

verboseParse

autoir

ir

simFlood

verboseAnswer

verboseProof

timeOut_value

showrhs

showr

coref

qwords

months

days

tfidf

Constructor Detail

Interpreter

Interpreter

Method Detail

canon

getUserInputs

excluded

findWSD

addQuantification

toFOL

interpret

interpretGenCNFBasic

interpretGenCNF

interpretSingle

getCNFInput

processPhrasalVerbs

lemmatizeResults

printKB

postProcess

preProcessQuestionWords

addUnprocessed

interpretCNF

fromKIFClauses

formatAnswer

interpInter

loadRules

loadRules

initialize

testUnify

testUnify2

testUnify3

testUnify4

testInterpret

testPreserve

testQuestionPreprocess

testPostProcess

testWSD

testGraphMatch

testTimeDateExtraction

testAddQuantification

main