Accession Number:

ADA460960

Title:

Parsing as Deduction

Descriptive Note:

Conference paper

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER

Report Date:

1983-06-01

Pagination or Media Count:

10.0

Abstract:

By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained that encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses. The efficiency of this approach for an interesting class of grammars is discussed.

Subject Categories:

  • Linguistics
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE