Difference between revisions of "Vulcan/MeetingNotes/Sep06 2013"
From Knowitall
(Initial page) |
|||
| Line 5: | Line 5: | ||
2. Switch(ing) to actual evidence instead of the made up ones. | 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. | ||
| + | |||
| + | ... | ||
== Agenda == | == Agenda == | ||
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.
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.
...
