IW Meeting 2008-12-22

From Inference Web

Jump to: navigation, search

agenda

  • clarify research problem in combining proof
    • a report generated by honglei File:Combine-2008-12-22.pdf, probably we should look Li's draft instead
    • a draft generated by Li
    • discuss the glossary
    • IJCAI's deadline Jan 7(abstract), Jan 12 (Web and Knowledge-based Information Systems, Information Integration, Semantic Web)


  • cynthia's progress on more examples
    • how many do we have? and what is the statistics?
 http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/Faust---1.0/combined20.tptp
 http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/Metis---2.1/combined20.tptp
 http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.0/combined20.tptp
 http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/Vampire---9.0/combined20.tptp

Notes

  • combining proof- current status:
  • we have shown an example that the combined proof uses a different set of axioms, to find a different justification, which will make the conclusion more trustworthy.

another proof that combines mentis and otter

Glossary

other

  • justification


proof

  • sentence (well-formed formula)
  • inference step
  • inference engine
  • inference rule
  • conclusion
  • data source
  • grounded sentence (direct assertion)

DAG

  • source
  • sink
  • vertex (vertices)
  • edge
  • directed edge
Personal tools
Navigation