# IW Meeting 2008-12-22

### From Inference Web

## agenda

- review last meeting IW Meeting 2008-12-16

- 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:
- cynthia has worked on 6 problems (http://inference-web.org/tmp/122208.html)
- currently, we can 40% improvement
- Geoff has generated another 20 new problems (from 6 reasoners)

- 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.

## 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