TPTP-IW (Project)
From Inference Web
(Redirected from TPTP-IW)
| ||
Contents |
People
Research
Knowledge Representation
- (geoff, cynthia, paulo) convert TPTP to PML and back
- (paulo) backtracking the provenance of combined proofs, it is related to explanation interface
- (li) make PML proofs part of linked data
Knowledge Discovery
- (Geoff) compute equivalence of nodes in proof
- equivalence of skolem formulae
- (li, honglei) search the optimal proof from the combined proofs and evaluate its complexity
- (geoff, li, cynthia) derive quantitative metrics for evaluating proof quality. Note - there may be multiple dimensions for use in evaluation, thus there may be no single best proof
- (li) compute and present the difference between two linked proofs
- (todo) identify combinable proofs: now we have mizar - working on it, automate this process ?
Resources
- TPTP project
- Linked Proofs Dataset - a dataset we used for our research
- Combine and Improve TPTP Proofs - a demo on how TPTP proofs can be improved.
Log
- (July 21,2008) The new TPTP-PML tools demo. http://www.cs.miami.edu/~geoff/Guest/
Facts about TPTP-IW (Project)RDF feed
| Dcterms:description | we investigate converting, linking, combining, improving proofs from TPTP library on the Inference Web. |
| Dcterms:modified | 2010-3-11 |
| Dcterms:relation | Inference web + |
| Foaf:name | Linking Thousands Proofs on the Inference Web |
| Participant | Deborah L. McGuinness +, Geoff Sutcliffe +, Li Ding +, Cynthia Chang +, and Paulo Pinheiro da Silva + |
| Skos:altLabel | Linking Thousands Proofs on the Inference Web + |
