Difference between revisions of "Vulcan/SystemStatus"

Revision as of 03:23, 16 August 2013

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

System Architecture: Online 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.	Not implemented. Previous iteration had a Jena implementation that is scrapped.
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.

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.

@@ Line 1: / Line 1: @@
 The system consists of <b>Inference</b> (online) and <b>Axiom and Rule generation</b> (offline) components.
-== Online Components ==
+== Inference Components ==
 [[File:Sys-arch-online.jpg|frame|center|alt=System Architecture|System Architecture: Online components]]
@@ Line 18: / Line 18: @@
 |}
-== Offline Components ==
+== Axiom and Rule Generation Components ==
 [[File:Offline-sys-arch.jpg|frame|center|alt=System Architecture|System Architecture: Offline components]]