Vulcan/MeetingNotes/Sep06 2013
From Knowitall
Update
1. Wrote rules and axioms that work on the three questions.
2. Switch(ing) to actual evidence instead of the made up ones.
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.
...