Vulcan/MeetingNotes/Sep06 2013

Update

1. Wrote rules and axioms that work on the three questions. Adding two more.

2. Started a plan for converting the prototype system into a working system. See steps involved.

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.

...