Difference between revisions of "Vulcan/SystemPrototype/OutputExamples"
From Knowitall
(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)