Difference between revisions of "Vulcan/SystemPrototype/OutputExamples"

From Knowitall
Jump to: navigation, search
(Q1)
Line 12: Line 12:
  
 
; Propositions + Output scores
 
; Propositions + Output scores
 +
 +
; Evidence
  
 
; Newly inferred facts
 
; Newly inferred facts
Line 21: Line 23:
  
 
; Propositions + Output scores
 
; Propositions + Output scores
 +
 +
; Evidence
  
 
; Newly inferred facts
 
; Newly inferred facts
  
 
; Relevant clauses (reachable from the input proposition)
 
; Relevant clauses (reachable from the input proposition)

Revision as of 07:22, 6 September 2013

Q1

Propositions + Output scores
Evidence
Newly inferred facts
Relevant clauses (reachable from the input proposition)

Q2

Propositions + Output scores
Evidence
Newly inferred facts
Relevant clauses (reachable from the input proposition)


Q3

Propositions + Output scores
Evidence
Newly inferred facts
Relevant clauses (reachable from the input proposition)