Vulcan/MeetingNotes/Sep06 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. See steps involved in switching.

3. Met with Greg and discussed specs for TEF (Textual Evidence Finder).

• Query generation
• Tuple representation
• Scoring

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.

...