Difference between revisions of "Vulcan/MeetingNotes/Sep06 2013"
From Knowitall
(→Update) |
(→Update) |
||
| Line 1: | Line 1: | ||
== Update == | == Update == | ||
| − | 1. Wrote rules and axioms that work on the three questions. | + | 1. Wrote rules and axioms that work on the three questions. Adding two more. |
2. Switch(ing) to actual evidence instead of the made up ones. | 2. Switch(ing) to actual evidence instead of the made up ones. | ||
Revision as of 23:08, 5 September 2013
Update
1. Wrote rules and axioms that work on the three questions. Adding two more.
2. Switch(ing) to actual evidence instead of the made up ones.
3. Met with Greg and discussed specs for TEF (Textual Evidence Finder).
To Do
1. Figure out how to do have externally defined functions as predicates in Tuffy.
2. Spec out knowledge requirements and mismatch with current capabilities.
...
