Vulcan/SystemStatus

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

Inference Components

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. 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.	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.

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.