IW Meeting 2009-10-08

From Inference Web

• 2009-10-08
• IW Meeting 2009-10-01

agenda

1. TPTP-IW demo discussion Combine_and_Improve_TPTP_Proofs

• cynthia update to EP 1.1
• cynthia's rule naming issues

• demo examples
  • EP1.1 was not helped by SOS, so Li changed to EP and Otter
  • Li also found EP and Faust helping each other
  • Does it make sense to check how different versions of EP helps each other?

• is the demo page complete? shall we add more examples or start a new demo

• what statistics and metrics shall we use iw:TPTP-IW#Topic:_proof_quality_metric

• demo page layout
  • ProbeIt links
  • Iwbrowser linking to other tools?

• semantic equivalence, is "$false|$false" the same as "$false" ?

notes

• yet another problem, some reasoners still don't have rule name
  • FAUST, http://inference-web.org/test/svgzoom.php?url=http://inference-web.org/test/tptp-iw/EP-Faust/PUZ001-1/Faust---1.0/answer_improve_root.svg&cwidth=1385&cheight=739
  • we will name it "Told"

• change graphics
  • invhouse for axioms (leaf node)
  • change direction of arcs

• geoff will report EP and Faust

• browser linking to other browser
  • local browser to iwbrowser, probeit