| Acknowledgements | 第1-5页 |
| Abstract | 第5-9页 |
| 摘要 | 第9-18页 |
| Chapter One INTRODUCTION | 第18-27页 |
| ·The Concept of Parsing | 第18-19页 |
| ·Parsing as Deduction | 第19-20页 |
| ·Parsing as Derivation | 第20-21页 |
| ·The Work of This Dissertation | 第21-25页 |
| ·The Innovative Points in This Dissertation | 第25-26页 |
| ·The Organization of This Dissertation | 第26-27页 |
| Chapter Two RELATED WORK IN LITERATURE | 第27-41页 |
| ·Head-Driven Phrase Structure Grammar (HPSG) | 第27-31页 |
| ·The semantic principle | 第28-29页 |
| ·The head feature principle and the subcategorization principle | 第29-30页 |
| ·The trace principle | 第30-31页 |
| ·Semantic Parsing and Formal Semantics | 第31-34页 |
| ·Type-driven Semantic Parsing | 第31页 |
| ·Montague Grammar | 第31-33页 |
| ·Glue semantics for HPSG | 第33-34页 |
| ·Syntactic Parsing Methods and Algorithms | 第34-39页 |
| ·Syntactic parsing formalism | 第35-37页 |
| ·Pushdown automata | 第35-37页 |
| ·Syntactic parsing algorithm | 第37-39页 |
| ·CYK algorithm | 第37-39页 |
| ·Turing machines | 第39-41页 |
| Chapter Three EXTENDING HPSG TOWARD HPSG DEDUCTIVE SYSTEM AS A FRAGMENT OF pCLL | 第41-59页 |
| ·Introduction | 第42-43页 |
| ·Main Point of the Handling of psoa and Four Principles in HDS | 第43-48页 |
| ·The handling of psoa and the semantic principle in HDS | 第43-46页 |
| ·The handling of the head feature principle and the subcategorization principle in HDS | 第46-47页 |
| ·The handling of the trace principle | 第47-48页 |
| ·Rules and Lexicon for a HPSG Deductive System | 第48-50页 |
| ·A Logical Analysis of the Syntax of HPSG | 第50-51页 |
| ·A Logical Analysis of the Trace Principle | 第51-53页 |
| ·Semantic Interpretation | 第53-59页 |
| Chapter Four AN HPSG-DEDUCTIVE-SYSTEM-BASED AUTOMATIC PARSING ALGORITHM | 第59-77页 |
| ·Introduction | 第59-60页 |
| ·The Main Content of This Chapter | 第60-64页 |
| ·The structure of HDS rules | 第60页 |
| ·Explanation of rule deductions of HDS | 第60-61页 |
| ·The concise points of n-component product elimination rule [(?)E] | 第61-63页 |
| ·The concise points of HDS-based automatic parsing algorithm | 第63-64页 |
| ·Preliminaries | 第64-67页 |
| ·The Generalization of HDS Rule [E] | 第67-70页 |
| ·Describing the n-component elimination rule [E] with meta-language | 第67-68页 |
| ·Example explaining the definition | 第68-70页 |
| ·An HDS-based Parsing Algorithm | 第70-73页 |
| ·Application Example | 第73-77页 |
| Chapter Five A T-IDP-BASED HPSG PARSING ALGORITHM | 第77-95页 |
| ·Introduction | 第77-78页 |
| ·The Main Content of This Chapter | 第78-85页 |
| ·Relevant Concepts of Attribute Grammars | 第85-86页 |
| ·Attribute Dependencies of the Structure Tree | 第86-87页 |
| ·HPSG Parsing Algorithm | 第87-90页 |
| ·An outline of the algorithm | 第87-88页 |
| ·Procedures | 第88-90页 |
| ·Analysis of Time Complexity | 第90-92页 |
| ·Application Example of the Algorithm | 第92-95页 |
| Chapter Six A Pr/T-NET FORMALISM FOR HPSG PARSING | 第95-111页 |
| ·Introduction | 第96-97页 |
| ·The Main Content of This Chapter | 第97-101页 |
| ·Preliminaries | 第101-102页 |
| ·Pr/T-Net | 第101-102页 |
| ·The HPSG-Pr/T-Net Model | 第102-106页 |
| ·Constituents include tokens, places and transitions | 第103-105页 |
| ·The overall structure of the net | 第105-106页 |
| ·Application Example of the HPSG-Pr/T-Net model | 第106-109页 |
| ·Comparison with related work | 第109-111页 |
| Chapter Seven FUSION APPROACH OF FORMAL SEMANTICS FOR HPSG PARSING | 第111-140页 |
| ·Introduction | 第111-113页 |
| ·The Main Content of This Chapter | 第113-118页 |
| ·An outline for the extraction algorithm which obtains filler co-indexed terms | 第113-114页 |
| ·An outline for the procedure FOPC which obtains WFFs of UDC sentences | 第114-117页 |
| ·Normalization of UDC sentence structures | 第117-118页 |
| ·Preliminaries | 第118-120页 |
| ·First order predicate calculus | 第118-119页 |
| ·The theoretical basis for employing λ-abstraction and λ-calculus to represent UDCs | 第119页 |
| ·The characteristics of strong and weak UDCs | 第119-120页 |
| ·The significance/justification of λ-abstraction and λ-calculus for UDCs | 第120页 |
| ·An filler-extraction-algorithm for a type of UDCs | 第120-124页 |
| ·The Procedure FILLER_EXTRACTION | 第120-122页 |
| ·The procedure HPSG_PARSING | 第122-124页 |
| ·λ-abstraction and λ-calculus for UDCs | 第124-125页 |
| ·λ-abstraction | 第124-125页 |
| ·λ-calculus | 第125页 |
| ·Approach to the Derivation of Semantic Expressions of UDCs | 第125-131页 |
| ·WFF of UDCs | 第126-129页 |
| ·Procedure FOPC | 第126-127页 |
| ·Explanation of this algorithm | 第127-129页 |
| ·λ-calculus for the derivation of D-structure of UDC sentences | 第129-130页 |
| ·The handling of WFF with λ-abstraction and λ-calculus | 第130-131页 |
| ·Application Examples | 第131-138页 |
| ·Example of SUDC | 第131-132页 |
| ·The predicate formula | 第131-132页 |
| ·λ-abstraction | 第132页 |
| ·λ-calculus | 第132页 |
| ·Example of WUDC | 第132-134页 |
| ·The predicate formula | 第133页 |
| ·λ-abstraction | 第133-134页 |
| ·λ-calculus | 第134页 |
| ·Application example 3 | 第134-136页 |
| ·The predicate formula | 第135页 |
| ·λ-abstraction | 第135-136页 |
| ·λ-calculus | 第136页 |
| ·Application example of parasitic gaps | 第136-138页 |
| ·The predicate formula | 第137页 |
| ·λ-abstraction | 第137页 |
| ·λ-calculus | 第137-138页 |
| ·Time Complexity | 第138-140页 |
| Chapter Eight CONCLUSION | 第140-144页 |
| ·Parsing as Deduction | 第140-141页 |
| ·Parsing as Derivation | 第141-142页 |
| ·Innovative Points of This Dissertation | 第142-144页 |
| BIBLIOGRAPHY | 第144-152页 |
