IW Meeting 2007 Sep 10

From Inference Web

agenda

• notes
  • cynthia's document has been submitted
• iw website
  • bug tracker -- http://iw.rpi.edu/mantis/
  • iw wiki -- http://iw.rpi.edu/wiki/
• tptp - paulo

notes

TPTP mapping

• basic mapping

 formulae ::=  langauge( name, conclusion, step ).
 step  ::=   role(rule, useful-info, antecedent-names). 

• issues
  • mapping from step to pml rule, handle status
  • TPTP langauge and pretty rendering
• references
  • TPTP syntax with notes
  • SZS Problem Status Ontology

action items

• remap inference-web.org to rpi
• paulo completes the mapping table, all review