Paper: Parsing As Deduction

ACL ID P83-1021
Title Parsing As Deduction
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1983

By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which 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.