Accession Number:

AD0744990

Title:

Computational Logic. A Progress Report

Descriptive Note:

Semi-annual technical rept. no. 1, 1 Sep 1971-31 May 1972

Corporate Author:

SYRACUSE UNIV NY

Personal Author(s):

Report Date:

1972-06-01

Pagination or Media Count:

23.0

Abstract:

The report describes the research work that is in progress in the Computational Logic Project at Syracuse University. A general introduction to the whole subject area is presented in the opening section, in which an attempt is made to view the field in a broad perspective and to relate it to the concerns of computer science and of artificial intelligence. The sections which follow the introduction are brief accounts of the particular problems which are currently under investigation. These problems are all related, in various ways, to the effort to design computational methods of inference-making for certain formal languages. Author

Subject Categories:

  • Theoretical Mathematics
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE