Commenting Proofs
Author(s)
Geiser, James R.
DownloadAIM-309.ps (1.094Mb)
Additional downloads
Metadata
Show full item recordAbstract
This paper constitutes a summary of a seminar entitled "Commenting Proofs" given a the Artificial Intelligence Laboratory during the spring of 1974. The work is concerned with new syntactic structures in formal proofs which derive from their pragmatic and semantic aspects. It is a synthesis of elements from Yessenin-Volpin's foundational studies and developments in Artificial Intelligence concerned with commenting programs and the use of this idea in automatic debugging procedures.
Date issued
1974-05-01Other identifiers
AIM-309
Series/Report no.
AIM-309