Accession Number:

AD0713841

Title:

REPRESENTING NATURAL-LANGUAGE INFORMATION IN PREDICATE CALCULUS,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1970-07-01

Pagination or Media Count:

27.0

Abstract:

A set of general conventions are proposed for representing natural language information in many- sorted first order predicate calculus. The purpose is to provide a testing-ground for existing theorem-proving programs. Author

Subject Categories:

  • Linguistics
  • Theoretical Mathematics
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE