Difference between revisions of "Vulcan/SystemStatus"

From Knowitall
Jump to: navigation, search
(Inference Components)
(Inference Components)
Line 11: Line 11:
 
| Proposition Extractor || Extracts propositions to be verified by the system || Input: Sentence asserting the answer choice.<br/> Output: A proposition represented as a open IE tuple. || <b>Stub implemented: </b> Sentence piped into Open IE 4.0. Output tuples that fit a specified pattern are converted into a proposition. || Select the best tuple. Stem, normalize, extract polarity, handle n-ary tuples.
 
| Proposition Extractor || Extracts propositions to be verified by the system || Input: Sentence asserting the answer choice.<br/> Output: A proposition represented as a open IE tuple. || <b>Stub implemented: </b> Sentence piped into Open IE 4.0. Output tuples that fit a specified pattern are converted into a proposition. || Select the best tuple. Stem, normalize, extract polarity, handle n-ary tuples.
 
|-
 
|-
| Evidence Finder || Provides evidence for the input proposition using <i>weaker</i> methods. <br/><span style="background-color:yellow"><b>Note: Not using Jena as a evidence finder anymore. Tuffy is optimized for efficient inference.</b></span> || Input: Proposition <br/>Output: Rules/Axioms that derive the proposition (in one-step) weighted according to the confidence provided by each method.  || <b>Tuple matcher</b> implementation underway. Uses Open IE solr instance to find matching sentences/tuples.<br/><b>Pattern matcher</b> not implemented.<br/><b>Jena</b> evidence finder partly implemented. Produces a single derivation, which needs to be converted to axioms and rules.  || Implement pattern matching, improve tuple matching, add scores.
+
| Evidence Finder || Provides evidence for the input proposition using <i>weaker</i> methods.|| Input: Proposition <br/>Output: Rules/Axioms that derive the proposition (in one-step) weighted according to the confidence provided by each method.  || <b>Tuple matcher</b> implementation underway. Uses Open IE solr instance to find matching sentences/tuples.<br/><b>Pattern matcher</b> not implemented.<br/><b>Jena</b> evidence finder partly implemented. Produces a single derivation, which needs to be converted to axioms and rules. <span style="background-color:yellow"><b>Note: Not using Jena as a evidence finder anymore. Tuffy is optimized for efficient inference.</b></span> || Implement pattern matching, improve tuple matching, add scores.
 
|-
 
|-
 
| MLN Instance Generator || Converts the evidence into MLN input format. || Input:Axioms/Rules from weaker methods.<br/>Output:Translated into Tuffy's input format.<br/> || <b>Stub implemented:</b> Does a faithful translation to MLN syntax. || Fix bug in predicate definitions.
 
| MLN Instance Generator || Converts the evidence into MLN input format. || Input:Axioms/Rules from weaker methods.<br/>Output:Translated into Tuffy's input format.<br/> || <b>Stub implemented:</b> Does a faithful translation to MLN syntax. || Fix bug in predicate definitions.

Revision as of 06:49, 16 August 2013

The system consists of Inference (online) and Axiom and Rule generation (offline) components.

Inference Components

System Architecture
System Architecture: Online components
Component Description I/O Status To Do
Proposition Extractor Extracts propositions to be verified by the system Input: Sentence asserting the answer choice.
Output: A proposition represented as a open IE tuple.
Stub implemented: Sentence piped into Open IE 4.0. Output tuples that fit a specified pattern are converted into a proposition. Select the best tuple. Stem, normalize, extract polarity, handle n-ary tuples.
Evidence Finder Provides evidence for the input proposition using weaker methods. Input: Proposition
Output: Rules/Axioms that derive the proposition (in one-step) weighted according to the confidence provided by each method.
Tuple matcher implementation underway. Uses Open IE solr instance to find matching sentences/tuples.
Pattern matcher not implemented.
Jena evidence finder partly implemented. Produces a single derivation, which needs to be converted to axioms and rules. Note: Not using Jena as a evidence finder anymore. Tuffy is optimized for efficient inference.
Implement pattern matching, improve tuple matching, add scores.
MLN Instance Generator Converts the evidence into MLN input format. Input:Axioms/Rules from weaker methods.
Output:Translated into Tuffy's input format.
Stub implemented: Does a faithful translation to MLN syntax. Fix bug in predicate definitions.
End-to-End Driver Command line application. Input: Sentence asserting an answer choice.
Output:Score
Stub implemented. Create web interface.

Axiom and Rule Generation Components

System Architecture
System Architecture: Offline components
Component Description I/O Status
Axioms Extractor Generates axioms from multiple knowledge sources. Input:
Output:
None.
Rules Generator Uses second order rule templates to generate first-order inference rules. Input:
Output:
None.