Difference between revisions of "Vulcan/SystemStatus"

From Knowitall
Jump to: navigation, search
(Inference Components)
(Inference Components)
Line 7: Line 7:
 
{| class="wikitable"
 
{| class="wikitable"
 
|-
 
|-
! Component !! Description !! I/O !! Status
+
! Component !! Description !! I/O !! Status !! To Do
 
|-
 
|-
| 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.
+
| 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.
 
|-
 
|-
 
| 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>Jena</b> evidence finder partly implemented. Produces a single derivation, which needs to be converted to axioms and rules. <br/><b>Tuple matcher</b> not implemented. <br/><b>Pattern matcher</b> implementation underway. Uses Open IE solr instance to find matching sentences.  
 
| 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>Jena</b> evidence finder partly implemented. Produces a single derivation, which needs to be converted to axioms and rules. <br/><b>Tuple matcher</b> not implemented. <br/><b>Pattern matcher</b> implementation underway. Uses Open IE solr instance to find matching sentences.  

Revision as of 06:41, 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.
Evidence Finder Provides evidence for the input proposition using weaker methods.
Note: Not using Jena as a evidence finder anymore. Tuffy is optimized for efficient inference.
Input: Proposition
Output: Rules/Axioms that derive the proposition (in one-step) weighted according to the confidence provided by each method.
Jena evidence finder partly implemented. Produces a single derivation, which needs to be converted to axioms and rules.
Tuple matcher not implemented.
Pattern matcher implementation underway. Uses Open IE solr instance to find matching sentences.
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 from RDF to MLN format.
End-to-End Driver Command line application. Input: Sentence asserting an answer choice.
Output:Score
Stub implemented.

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.