| 摘要 | 第3-4页 |
| ABSTRACT | 第4页 |
| 主要符号对照表 | 第10-11页 |
| 第一章 Preliminaries | 第11-39页 |
| 1.1 Motivation | 第11-13页 |
| 1.2 Outline | 第13-14页 |
| 1.3 Abstract Categorial Grammars | 第14-23页 |
| 1.3.1 Higher-Order Signatures | 第14-15页 |
| 1.3.2 Example Signature | 第15-16页 |
| 1.3.3 Lexicons | 第16-17页 |
| 1.3.4 Example Lexicon | 第17-20页 |
| 1.3.5 Example Semantic Lexicon | 第20-23页 |
| 1.4 Interaction Grammars | 第23-39页 |
| 1.4.1 The Mechanisms of Interaction Grammars | 第24-27页 |
| 1.4.2 Frigram, an Interaction Grammar | 第27-32页 |
| 1.4.3 The Link with Abstract Categorial Grammars | 第32-39页 |
| 第二章 Implementing Wide-Coverage Abstract Categorial Grammars | 第39-54页 |
| 2.1 The Tools and Techniques | 第41-43页 |
| 2.1.1 The Case for Relational Programming | 第41-42页 |
| 2.1.2 Choice of Implementation Language | 第42-43页 |
| 2.2 Defining Signatures and Lexicons | 第43-51页 |
| 2.2.1 Defining Signatures | 第43-47页 |
| 2.2.2 Defining Lexicons | 第47-51页 |
| 2.3 Checking Signatures and Lexicons | 第51-54页 |
| 2.3.1 Checking Properties of Large Structures | 第51-52页 |
| 2.3.2 Checking Signatures | 第52页 |
| 2.3.3 Checking Lexicons | 第52-54页 |
| 第三章 Treatment of Multiple Linguistic Constraints | 第54-66页 |
| 3.1 Negation | 第54-58页 |
| 3.2 Extraction | 第58-61页 |
| 3.3 Agreement | 第61-63页 |
| 3.4 Putting It All Together | 第63-66页 |
| 第四章 Graphical Abstract Categorial Grammars | 第66-86页 |
| 4.1 Intersections of Languages | 第66-72页 |
| 4.1.1 The Usual Formalization of ACGs | 第66-68页 |
| 4.1.2 Patterns of Composition in ACGs | 第68-70页 |
| 4.1.3 Interpreting ACG Diagrams | 第70-72页 |
| 4.2 Definitions | 第72-73页 |
| 4.3 General Remarks on Graphical ACGs | 第73-81页 |
| 4.3.1 On the Expressivity of Graphical ACGs | 第73-77页 |
| 4.3.2 On the Decidability of Graphical ACGs | 第77-78页 |
| 4.3.3 On Grammar Engineering with Graphical ACGs | 第78-81页 |
| 4.4 On Alternative Interpretations of Graphical ACGs | 第81-86页 |
| 第五章 In Conclusion | 第86-89页 |
| 5.1 On the Practical Consequences of Graphical ACGs | 第86-87页 |
| 5.2 Conclusion | 第87-89页 |
| 参考文献 | 第89-92页 |
| 致谢 | 第92-93页 |
| 攻读学位期间发表的学术论文目录 | 第93-94页 |
| 攻读学位期间参与的项目 | 第94-96页 |
