Accession Number : AD0713841

Title :   REPRESENTING NATURAL-LANGUAGE INFORMATION IN PREDICATE CALCULUS,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Sandewall,Erik J.

Report Date : JUL 1970

Pagination or Media Count : 27

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)

Descriptors :   (*MATHEMATICAL LOGIC, *SEMANTICS), (*ARTIFICIAL INTELLIGENCE, FEASIBILITY STUDIES), ALGEBRAS

Subject Categories : Linguistics
      Theoretical Mathematics
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE