IW Meeting 2009-04-30

From Inference Web

• 2009-04-30
• IW Meeting 2009-04-23

agenda

• review todo list of previous meeting IW Meeting 2009-04-23#todo
• Combine_proof_example_2 backtracking

---

• proof quality metric discussion
• funding discussion
• iwsearch
• inference web infrastructure
  • wiki
  • api version
  • watchdog
  • SVN and issue tracker

notes

• back-tracking principles
  • keep the published proofs intact (all agreed)
  • tradeoff: minimize PML infrastructure change VS. minimize additional data duplication
  • paulo: space is cheap. (but the CPU time is not cheap when the space/computing requirement is exponential)

todo

• todo - paulo will send email about the pml2 encoding on issues we should discuss
• rename proposal isExplanationOf to hasOriginalProof
• todo next time - discuss the "new encoding" section. we will evaluate with respect to the principles above.
• geoff will miss the next meeting.
• geoff to find our similar work in horn clause/Prolog programming domain (as we see the connection between proof combining and derivations in Prolog).