Formal Grammars as Models of Logic Derivations.

Abstract

Context-free attribute grammars are proposed as derivational models for proofs in the predicate calculus. The new representation is developed and its correspondence to resolution-based clause interconnectivity graphs is established. The new representation may be used to transform a predicate calculus characterization of a problem into a regular algebra characterization of the solutions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 31, 1977
Accession Number
ADA045234

Entities

People

  • Sharon Sickel

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Autonomy
  • Counter IED
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Calculus
  • California
  • Construction
  • Context Free Grammars
  • Formal Languages
  • Grammars
  • Information Science
  • Language
  • Machine Learning
  • Military Research
  • Naval Operations
  • New York
  • Production
  • Residuals
  • Sequences
  • Terminals

Fields of Study

  • Mathematics

Readers

  • Computational Linguistics