Different Proofs are Good Proofs

Sutcliffe, Geoff; Chang, Cynthia; Ding, Li; McGuinness, Deborah; Pinheiro, Paulo

Author

Sutcliffe, Geoff; Chang, Cynthia; Ding, Li; McGuinness, Deborah; Pinheiro, Paulo

Other Contributors

Date Issued

2010-07-20

Subject

Inference Web

Degree

Terms of Use

Metadata

Show full item record

URI

http://archive.tw.rpi.edu/media/latest/2010SC10EMSQMSSSEE.pdf; https://hdl.handle.net/20.500.13015/4617

Abstract

In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs, and evaluate the measurements to determine differences between the proofs. This paper discounts the approach of ranking proofs by their measured proof artifacts, and takes the position that different proofs are good proofs. The position is based on proofs in the TSTP solution library, which are generated by Automated Theorem Proving (ATP) systems applied to first-order logic problems in the TPTP problem library.;