Commenting Proofs.

Abstract

This paper constitutes a summary of a seminar entitled 'Commenting Proofs' given at the Artificial Intelligence Lab in 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.

Document Details

Document Type
Technical Report
Publication Date
May 01, 1974
Accession Number
ADA011838

Entities

People

  • James R. Geiser

Organizations

  • Massachusetts Institute of Technology

Tags

DTIC Thesaurus Topics

  • Applied Computer Science
  • Artificial Intelligence
  • Automatic
  • Computer Science
  • Computing-Related Activities
  • Debugging

Readers

  • Academic Conference Management
  • Computational Linguistics

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy