Difference between revisions of "Vulcan/SystemStatus"
From Knowitall
(→Inference Components) |
|||
Line 11: | Line 11: | ||
| 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. || <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. 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. | ||
|- | |- | ||
− | | 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> | + | | 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>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> uses Open IE solr instance to find matching sentences. |
|- | |- | ||
| MLN Instance Generator || Converts the evidence into MLN input format. || Input: Facts as RDF triples, and rules in N3 notation. || <b>Stub implemented:</b> Does a faithful translation from RDF to MLN format. | | MLN Instance Generator || Converts the evidence into MLN input format. || Input: Facts as RDF triples, and rules in N3 notation. || <b>Stub implemented:</b> Does a faithful translation from RDF to MLN format. |
Revision as of 03:34, 16 August 2013
The system consists of Inference (online) and Axiom and Rule generation (offline) components.
Inference Components
Component | Description | I/O | Status |
---|---|---|---|
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. |
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. |
Jena evidence finder partly implemented. Produces a single derivation, which needs to be converted to axioms and rules. Tuple matcher not implemented. Pattern matcher uses Open IE solr instance to find matching sentences. |
MLN Instance Generator | Converts the evidence into MLN input format. | Input: Facts as RDF triples, and rules in N3 notation. | 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
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. |