Natural Language Syntax and First Order Inference

Abstract

First order inference can be made more efficient by using non- standard syntax for first order logic. This paper shows how a fragment of English syntax under Montague semantics provides the foundation of a new inference procedure. This procedure seems more effective than corresponding procedures based on either classical syntax or our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English. (JHD)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1989
Accession Number
ADA219944

Entities

People

  • David Mcallester
  • Robert Givan

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Cognitive Science
  • Computer Programming
  • Computers
  • Engineering
  • Formal Languages
  • Guarantees
  • Language
  • Natural Languages
  • Notation
  • Polynomials
  • Programming Languages
  • Reasoning
  • Semantics
  • Standards

Readers

  • Computational Linguistics

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms
  • AI & ML - Machine Translation