TAILIEUCHUNG - Báo cáo khoa học: "PARSING AS DEDUCTION"

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. 1. I n t r o d u c t i o n The aim of this paper is to explore the relationship between parsing and deduction. The basic notion, which goes back to Kowaiski (Kowalski, 1980} and Colmerauer {Colmeraucr, 1978), h'zs seen a very. | PARSING AS DEDUCTION1 Fernando c. N. Pereira David H. D. Warren Artificial Intelligence Center SRI International 333 Ravenswood Ave. Menlo Park CA 04025 Abstract 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. 1. Introduction The aim of this paper is to explore the relationship between parsing and deduction. The basic notion which goes back to Kowalski Kowalski 1980 and Colmerauer Colmerauer 1978 has seen a very efficient if limited realization in the use of the logic programming language Prolog for parsing Colmerauer 1978 Pereira and Warren 1980 . The connection between parsing and deduction was developed further in the design of the Earley Deduction proof procedure Warren 1975 which will also be discussed at length here. Investigation of the connection between parsing and deduction yields several important benefits A theoretically clean mechanism to connect parsing with the inference needed for semantic interpretation. Handling of gaps and unbounded dependencies on the fly without adding special mechanisms to the parser. A reinterpretation and generalization of chart parsing that abstracts from unessential data-structure details. Techniques that are applicable to parsing in related formalisms not directly based on logic. This work was partially supported by the Defense Advanced Research Projects Agency under Contract N00039-80-C-0575 with the Naval Electronic Systems Command. The views and conclusions contained in this article are those of the authors and should not be interpreted as representative OĨ the official policies either expressed or implied of the Defense Advanced Research Projects Agency or the L nited States Government. Elucidation of parsing complexity .

• Báo cáo khoa học
• PARSING AS DEDUCTION
• Fernando C
• N
• Pereira
• David H
• D
• Warren
• scientific reports
• model language
• process natural language
• Memoisation for Glue Language Deduction
• Categorial Parsing
• Mark Hepple
• báo cáo khoa học
• mô hình ngôn ngữ
• xử lý ngôn ngữ tự nhiên
• PARSING AS NATURAL DEDUCTION
• Esther KSnig
• Long Papers
• Dialog Control
• Natural Language System
• Dialog Control in a Natural Language System
• Expanding the Horizons
• Natural Language Interfaces
• Phil Hayes
• PROSPECTS OR PRACTICAL
• NATURAL LANGUAGE SYSTEMS
• Workshops
• NATURAL LANGUAGE
• INTERACTION WITH MACHINES
• COMPUTER INTEBFACE DESIGN MURRAY TUROFF DEPARTMENT OF COMPUTER
• IiVFORMATION SCIENCE IIEW JERSEY INSTITUTE OF TECHNOLOGY
• EVALUATION OF NATURAL LANGUAGE
• INTERFACES TO DATABASE SYSTEMS
• A PANEL DISCUSSION
• database query system
• J
• Norwood Crout
• INTERFACES TO DATA BASE SYSTEMS
• Bozena Henisz
• INTERPRETING NATURAL LANGUAGE
• DATABASE UPDATES
• S
• Jermld Kaplan Jim David
• TRANSPORTABLE NATURAL LANGUAGE
• INTERFACES TO DATABASES
• Gary G
• Hendrlx and William H
• Lewis
• DATABASES THEORETICAL
• TECHNICAL ISSUES
• TRANSPORTABLE NATURAL LANGUAGE INTERFACES
• PROBLEMS AND TECHNIQUES
• Barbara J
• Grosz
• THEORETICAL TECHNICAL ISSUES
• NATURAL LANGUAGE ACCESS TO DATABASES
• R
• Petrick
• Domain Independent
• Database Access Systems
• ISSUES IN NATURAL LANGUAGE
• ACCESS TO DATABASES
• A LOGIC PROGRAMMING PERSPECTIVE
• Sharon C
• Salveter David Maier
• PLANNING NATURAL LANGUAGE
• EXPRESSIONS REFERRING
• Douglas E
• Appelt
• THE TEXT SYSTEM
• NATURAL LANGUAGE GENERATION
• Kathleen R
• M
• MENTING A DATABASE
• KNOWLEDGE REPRESENTATION
• THE KEY TO THE SELECTION PROBLEM
• E
• Jeffrey Conklin David D
• McDonald
• A KNOWLEDGE ENGINEERING
• NATURAL LANGUAGE UNDERSTANDING
• Stuart C
• Shapiro
• NATURAL LANGUAGE TEXTS
• NECESSARILY GRAMMATICAL
• EVEN COMPLETE
• UNGRAMHATICALITY
• EXTRA GRAMMATICALITY
• NATURAL LANGUAGE UNDERSTANDING SYSTEMS
• Taxonomy
• Descriptions
• Individuals in Natural
• Language Understanding
• The Use of Ooject Special Knowledge
• Natural Language Processing
• Mark H
• Bursteln