REPRESENTING NATURAL-LANGUAGE INFORMATION IN PREDICATE CALCULUS,

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)

Document Details

• Document Type: Technical Report
• Publication Date: Jul 01, 1970
• Accession Number: AD0713841

Entities

People

• Erik J. Sandewall

Organizations

• Stanford University

Tags

DTIC Thesaurus Topics

• Artificial Intelligence
• Calculus
• Formal Languages
• Language
• Natural Languages

Readers

• Computational Linguistics