Difference between revisions of "Vulcan/SystemPrototype/OutputExamples"

From Knowitall
Jump to: navigation, search
(Created page with "== Q1 == ; Propositions + Output scores ; Newly inferred facts ; Relevant clauses (reachable from the input proposition) == Q2 == ; Propositions + Output scores ; Newly i...")
 
(Q1)
Line 2: Line 2:
  
 
; Propositions + Output scores
 
; Propositions + Output scores
 +
 +
; Evidence
  
 
; Newly inferred facts
 
; Newly inferred facts

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
Newly inferred facts
Relevant clauses (reachable from the input proposition)


Q3

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