Difference between revisions of "Vulcan/MeetingNotes/Sep06 2013"
From Knowitall
(→Update) |
|||
| Line 3: | Line 3: | ||
1. Wrote rules and axioms that work on the three questions. | 1. Wrote rules and axioms that work on the three questions. | ||
| − | 2. Switch(ing) to actual evidence instead of the made up ones. | + | 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 == | == To Do == | ||
Revision as of 20:26, 5 September 2013
Update
1. Wrote rules and axioms that work on the three questions.
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.
...
